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 ...

learn more… | top users | synonyms

1
vote
0answers
78 views

On moduli space of torsion free semi-stable sheaves on nodal curves

Let $X$ be a projective irreducible nodal curve of genus at least $2$. Denote by $U(r,d)$ the moduli space of semi-stable torsion free sheaves on $X$ of rank $r$ and degree $d$. There are several ...
4
votes
2answers
151 views

actual dimension of concrete moduli space of holomorphic curves vs its virtual dimension

I am looking at exercise 6.3.3 in Mcduff's and Salamon's book J-holomorphic curves and Symplectic topology, which basically gives an example of a moduli space whose actually dimension is greater than ...
2
votes
1answer
254 views

An application of the Base Change Theorem to the moduli space of sheaves

Let $S$ be an abelian or K3 surface, $H$ an ample class on $S$, $v\in H^{ev}(S,\mathbb{Z})$ and $M$ the moduli space of $H$-stable sheaves on $S$ with invariants fixed by $v$. Let $\mathcal{E}$ be a ...
0
votes
0answers
65 views

Is there an explicit way to glue a stable map in projective space by writing down the family of maps explicitly in terms of polynomials?

Let $v_1:\mathbb{P}^1 \longrightarrow \mathbb{P}^2$ and $v_2:\mathbb{P}^1 \longrightarrow \mathbb{P}^2$ be two holomorphic maps of degree $d_1$ and $d_2$ respectively. Suppose they agree at some ...
4
votes
1answer
100 views

Singularities of the moduli stack of polarized hyperkahler varieties

Inspired by the recent question on singularities of the moduli stack of Calabi-Yau threefolds (Singularities of the moduli stack of Calabi-Yau threefolds) I'd like to ask the following question. Is ...
0
votes
0answers
93 views

Is it possible to find an explicit definition of the “universal” (co)tangent bundle?

Let $H_{0,1}(\mathbb{P}^2, d)$ be the space of holomorphic degree $d$ maps (that are not multiply covered) from $\mathbb{P}^1$ to $\mathbb{P}^2$ with one marked point $y \in \mathbb{P^1} $ ...
3
votes
0answers
170 views

Do J-holomorphic curves “very nearly” fail to be an immersion near the bubbling points?

Let $u_{t}: \mathbb{P}^1 \longrightarrow \mathbb{P}^2$ be a family of degree $2$ maps defined (for $t$ small and non zero) by $$u_t([X,Y]) := [X^2, t Y^2, XY].$$ Note that as $t$ goes to zero, ...
26
votes
2answers
648 views

Volume of the unitary group

I saw a very remarkable asymptotic formula (or a conjecture?) for the volume of of the unitary group $ U(n)$ which is the following: $$\log[\mathrm{Volume}(U(n))] \sim_{n\rightarrow \infty} ...
6
votes
1answer
252 views

Singularities of the moduli stack of Calabi-Yau threefolds

Let $M$ be the moduli of polarized Calabi-Yau threefolds over $\mathbb C$ with fixed Euler characteristic. The coarse moduli space is singular (as usual), but what about the stack? In many cases I ...
0
votes
1answer
126 views

Reflexive sheaves on stable curves

Let $C$ be a stable curve over an algebraically closed field of positive characteristic and $\mathcal{F}$ be a reflexive sheaf on $C$. Is $\mathcal{F}$ locally free? EDIT Is the projective dimension ...
2
votes
0answers
51 views

Is the Quot scheme of finite length quotients with prescribed composition factors projective?

Assume we have a scheme $X$ over a field, say $\mathbb{C}$, and a "nice" sheaf of ring $R$ on it. $E$ denotes a left $R$-module. We denote by $Q:=Quot_R(E,n)$ the scheme classifying quotients ...
6
votes
0answers
151 views

Is there a more general obstruction to the existence of moduli spaces than the existence of automorphisms?

We are taught that, in general: A type of objects that has nontrivial automorphisms cannot have a fine moduli space. The proof generally goes along the lines of: Take an object $X$ with a ...
4
votes
2answers
233 views

Universal curve of stacks of stable curve

Let $\overline{M}_{g,A}$ the moduli stack of pointed genus $g$ stable curves with weights $A = (a_1,...,a_n)$ introduced in Brendan Hassett, Moduli spaces of weighted pointed stable curves, Adv. ...
4
votes
0answers
138 views

Models for the moduli space $\overline{M}_{1,n}$

Let $\overline{M}_{1,n}$ denote the coarse moduli space of $n$-pointed elliptic curves. Is there an explicit description of these spaces (a la Kapranov's construction) for low $n$? Apparently this ...
0
votes
0answers
110 views

Moduli space of holomorphic sections

Let $(L,M,\omega,\nabla)$ be an holomorphic line bundle over a Kahler manifold $(M,\omega)$ equipped with the Chern connection $\nabla$. Let $\Gamma(L)$ denote the space of holomorphic sections of ...
0
votes
1answer
137 views

Need help on explanations of moduli space (of genus 1 curves) [closed]

Sorry about this question which is not on a research level. But I am very confused about this "first" example of coarse moduli space of genus 1 curves. The moduli space I talk about here is the ...
1
vote
1answer
171 views

Moduli space of flat connections over a torus

Let us fix a principal bundle $G\hookrightarrow P\to T^{2}$, where $T^{2}$ is a torus. Is the moduli space of flat connections on $P$ known? At least, it is known for some particular gauge groups, ...
5
votes
1answer
189 views

Evaluation maps for moduli of stable maps

Let $\overline{M}_{0,n}(\mathbb{P}^N,d)$ be the moduli space of stable maps of degree $d$ from curves of genus zero with $n$-marked points to $\mathbb{P}^N$. Consider the product of the evaluation ...
4
votes
0answers
103 views

$\mathcal{M}_{g,n}$ a scheme for $n \gg 0$? [duplicate]

I think that for $n \geq 3$, the Deligne-Mumford moduli stack $\mathcal{M}_{0,n}$ is a scheme. Is it more generally true that for every $g$, the Deligne-Mumford moduli stack $\mathcal{M}_{g,n}$ is a ...
8
votes
0answers
242 views

A question about Mirzakhani et. al.'s algebraicity theorem

While the geodesic flow on a complete hyperbolic surface is ergodic, the closure of an individual orbit (a geodesic line) can take a complicated fractal-like shape. Nonetheless, there is an ...
1
vote
0answers
70 views

miniversality vs versality

Consider a moduli problem $\mathcal{M}$. Assume, at each point $x$, the associated deformation problem $\mathcal{M}_x$ has a tangent-obstruction theory. It follows that $\mathcal{M}_x$ has a hull ...
28
votes
5answers
3k views

Maryam Mirzakhani's works

Maryam Mirzakhani has made several contributions to the theory of moduli spaces of Riemann surfaces. Mirzakhani was awarded the Fields Medal in 2014 for "her outstanding contributions to the dynamics ...
5
votes
0answers
143 views

Is the moduli space of curves arising from wild ramification smooth?

Fix a natural number $g$, a prime $p$, and a $p$-group $P$. Let $C$ be a smooth projective curve of genus $g$ with a faithful action of $P$ and an isomorphism $C / P \cong \mathbb P^1$ such that $P$ ...
2
votes
0answers
67 views

degenerate points in the moduli space of flat principal $G$-bundle with respect to a linear representation on a complex

Let $(A^\bullet,\partial)$ be a complexe of $\mathbb{C}$-vector spaces. We suppose that this complex is of finite length, and all $A^\bullet$ are finite dimensional. Let $H^\bullet$ be the cohomology ...
1
vote
1answer
227 views

Proof of “generic curve of genus at least 2 has no nontrivial maps to a positive genus curve”

I searched for it for a long time, but it seems that everybody is taking this for granted and does not bother to point out a proof. Would it be possible that someone points me to a proof or makes me ...
2
votes
1answer
173 views

Is there a formula for the number of rational cuspidal curves in surfaces other than P^2?

Let $M$ be a two dimensional compact complex manifold and $A \in H_2(M, \mathbb{Z})$ a fixed homology class. Define a rational curve in $M$ to be $\textit{1-cuspidal}$ if the singularities of the ...
4
votes
0answers
166 views

Quadrics and Moduli Spaces

It is well known that $\overline{M}_{0,5}$, the moduli space of $5$-pointed rational curves, can be realized as the blow-up of $\mathbb{P}^2$ in four general points. Therefore, we may interpret ...
6
votes
1answer
208 views

Is there an analog of compactified moduli spaces(/stacks) for smooth manifolds?

This question has been inspired by an answer to the question Reference request: Topology on the space of smooth compact submanifolds; I've asked it in a comment to that answer but then decided to make ...
0
votes
0answers
165 views

projective map from $\overline{\mathcal{M}}_{0,n}$

Suppose I have a morphism $f:\overline{\mathcal{M}}_{0,n} \to \mathbb{P}^N$ birational onto its image, and I know exactly what $F$-curves are contracted (or "dually", what divisors are contracted). ...
4
votes
2answers
320 views

How to flip one triangulation on a surface into another

Let $S$ be a compact orientable surface and $p_1,\dots, p_n\in S$ be distinct points. We consider all triangulations on $S$ with vertices $p_1,\dots, p_n$. Is there an algorithm which takes two ...
2
votes
1answer
134 views

What is the value of this hyperelliptic Hodge-type integral?

Consider the moduli space $$ \overline{M}_{0,4}(B\mathbb{Z}/2) $$ This has virtual (and real) dimension one. In a certain sense this moduli space paramaterizes "genus 1 hyperelliptic curves"; that is, ...
1
vote
1answer
163 views

Isotriviality: two definitions

Consider a proper flat morphism of $k$-schemes ($k$ is an algebraically closed field) $ f:X\longrightarrow\mathbb P^1_k$ such that every fiber $X_p$ for $p\in\mathbb P^1_{\mathbb C}$ is a reduced ...
2
votes
2answers
230 views

sanity check about a morphism from a stack to its coarse moduli space

Let $Y(3)$ be the fine moduli space (say, over $\mathbb{C}$) representing elliptic curves equipped with a full level 3 structure. Abstractly, there are 24 such structures for any elliptic curve, but ...
5
votes
1answer
250 views

Is there a Riemann existence theorem for orbifolds?

For smooth algebraic varieties $X$ over $\mathbb{C}$, the Riemann existence theorem establishes an equivalence of categories between the category of finite etale covers of $X$ and finite unramified ...
4
votes
1answer
343 views

Results about moduli of surfaces

There are early successes of the moduli theory - the construction and compactification of the moduli spaces of curves $\overline{\mathcal{M}}_g$ . I want to study about the moduli of algebraic ...
0
votes
0answers
108 views

Kodaira-Spencer theory in d=1

Consider genus $g$ Riemann surfaces, and thier moduli space $\mathcal M_g$. To determine dimension of $T\mathcal M_g$, start with a complex structure, which in some coordinates can be written ...
6
votes
2answers
290 views

Moduli spaces of connections as representation spaces

It is well known that the moduli space of flat connections over a closed manifold $M$ can be identified with the representation space $Hom(\pi_1(M), G) / G$. Furthermore, Atiyah and Bott (1983) showed ...
1
vote
1answer
189 views

Number of singular fibers in families of hypersurfaces

Consider the projection map $$\pi: X = V(t_0 f + t_1 gh) \to \mathbf P^1,$$ where $[t_0: t_1]$ are the homogeneous coordinates on $\mathbf P^1$, $f=f(x_0, \dots, x_n)$ is a homogeneous polynomial of ...
3
votes
0answers
133 views

Properties of finite quotients of quasi-projective varieties

Let $G$ be a finite group acting on a (smooth) quasi-projective variety over $\mathbb C$. One can consider the stacky quotient $[X/G]$ or the "classical" quotient $X/G$. In general, $[X/G]$ is not a ...
9
votes
1answer
249 views

Rationality of moduli spaces of rational curves

Let $\overline{M}_{0,n}$ be the moduli space of Deligne-Mumford stable pointed rational curves, and let us consider the quotient $\widetilde{M}_{0,n} = \overline{M}_{0,n}/S_n$. Clearly, there is a ...
1
vote
0answers
219 views

On the Hitchin fibration

I will refer to Simpson's "Higgs bundles and local systems". Proposition 1.4: When $X$ is a smooth projective variety, one can build up the moduli space $\mathcal{M}(X,r)$ of rank $r$ Higgs ...
5
votes
0answers
198 views

Topology of the space of foliations on a 3-manifold

Denote by $\mathcal{P} (M)$ the space of smooth plane fields(oriented and transversely oriented) on a given closed and orientable 3-manifold $M$ with the $C^{\infty}$ topology, and by $\mathcal{F}(M)$ ...
0
votes
0answers
84 views

About stable maps passing through fixed points

In "Notes On Stable Maps and Quantum Cohomology", Fulton and Pandharipande present some results, and their proofs, about the representability of the functor $\mathcal{M}_{g, n}(X, \beta)$, which maps ...
14
votes
3answers
475 views

Which mapping class group representations come from algebraic geometry?

Let $\Gamma_g$ be the mapping class group of a closed oriented surface $\Sigma$ of genus $g$. There is a natural surjection $t \colon \Gamma_g \to \mathrm{Sp}(2g,\mathbf Z)$ which sends a mapping ...
8
votes
4answers
376 views

Is there a non-abelian version of the Torelli map?

Let $C$ be a connected compact oriented real surface of genus $g$, let $G$ be a connected compact Lie group and let $G_\mathbb{C}$ be the complexification of $G$. One considers the moduli space $M ...
14
votes
1answer
413 views

Special fiber of $X(p)$ in characteristic $p$

Let $p \geq 5$ be a prime. Let $Y(p)$ be the fine moduli space representing elliptic curves + basis of the $p$-torsion over $\mathbb{Q}_p$ and let $Y_1(p)$ be the fine moduli space representing ...
27
votes
1answer
842 views

Why is there no Brauer scheme?

Let $X$ be a proper scheme over a base field $k$ (one could consider more general settings, but I am primarly interested in a "geometric" situation with $k$ being algebraically closed). Then the ...
9
votes
3answers
251 views

Locus of complete curves on $\mathcal M_g$

Is the union of the complete curves on $\mathcal M_g$ Zariski dense? ($g \gg 0$) I know it is hard to find higher-dimensional complete subvarieties of $\mathcal M_g$, but a quasiprojective variety ...
2
votes
2answers
319 views

What is the difference between the moduli space of curves and the moduli space of orbi-curves?

Edit: In my original framing of this question it was not so clear what I was looking for, so this is basically a re-write. I feel that I should already know the answer to this, but it never sits ...
7
votes
2answers
359 views

Guises of the Stasheff polytopes, associahedra for the Coxeter $A_n$ root system?

Richard Stanley keeps a famous running compilation of different guises of the celebrated Catalan numbers. The number of vertices of the associahedron is one instantiation among the multitude, and the ...