Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 152042

Given a concrete category C, with objects denoted Obj(C), and an equivalence relation ~ on Obj(C) given by morphisms in C. The moduli set for Obj(C) is the set of equivalence classes with respect to ~; denoted Iso(C). When Iso(C) is an object in the category Top, then the moduli set is called a moduli space.

3 votes
0 answers
231 views

Kodaira-Spencer map in logarithmic geometry

Can anyone provide a reference for the Kodaira-Spencer map in the logarithmic geometry setting?
S.D.'s user avatar
  • 494
2 votes
0 answers
170 views

A silly doubt on Log structures

Let $X=\operatorname{Spec} A$ be an affine variety. Consider the log structure given by $\mathbb N\rightarrow A$ which sends $1\mapsto 0$. Also consider the log structure $\mathbb N^r \rightarrow A$ g …
S.D.'s user avatar
  • 494
1 vote
0 answers
148 views

Semistable curves of genus $g\geq 2$ form an Artin algebraic stack in the etale topology?

I need the reference to a detailed proof the following fact. Let $g\geq 2$ be an integer. Let $\mathcal M^{ss}_g: Sch\rightarrow Groupoids$ be the prestack which sends a scheme $T$ to the groupoid of …
S.D.'s user avatar
  • 494
0 votes
0 answers
211 views

On linear schemes

Let $X$ be a smooth projective curve and $T$ is any smooth variety. Let $E$ be a family of vector bundles over $X\times T$ which is flat over $T$. Then there exists a scheme $Y$ over $T$ such that for …
S.D.'s user avatar
  • 494
6 votes
0 answers
154 views

Logarithmic Darboux theorem

Let $X$ be a smooth complex analytic manifold and $D$ be a normal crossing divisor. Suppose that there is a complex analytic logarithmic symplectic structure on $X$. Is there a Darboux like theorem th …
S.D.'s user avatar
  • 494
1 vote
0 answers
351 views

On logarithmic schemes

I have two questions on logarithmic schemes Can we explicitly construct a chart for any coherent logarithmic scheme? By definition of coherence it must have a chart but given a coherent sheaf of mon …
S.D.'s user avatar
  • 494
0 votes
0 answers
140 views

Cartesian square in the category of Algebraic stacks

Suppose we have a commutative diagram of Artin stacks $ \newcommand{\ra}[1]{\kern-1.5ex\xrightarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex} \newcommand{\ras}[1]{\kern-1.5ex\xrightarrow{\ \ \smash{#1}\ \ }\p …
S.D.'s user avatar
  • 494
2 votes
1 answer
268 views

On the stack of semistable curves

This is a question related to Semistable curves of genus $g\geq 2$ form an Artin algebraic stack in the etale topology? Let $\mathcal C\rightarrow \mathcal M^{ss}_g$ be the universal curve over the A …
S.D.'s user avatar
  • 494
3 votes
0 answers
266 views

On the normal crossing divisor of $\overline{\mathcal M}_g$

Let $g\geq 2$ be an integer. Let $\overline{\mathcal M}_g$ denote the DM stack of stable curves of genus $g$. It is well-known that the moduli stack is smooth and has a natural normal-crossing divisor …
S.D.'s user avatar
  • 494