**3**

votes

**0**answers

96 views

### When does a “universal” quot scheme exist?

Suppose $M$ is a moduli space of semistable sheaves on a projective variety $X$. Let $v$ be some the discrete invariants. I would like to form a space $\mathcal Q(v) \rightarrow M$, where the fiber ...

**10**

votes

**1**answer

180 views

### $\pi_1$ of the moduli of G-bundles on elliptic curves and the double affine braid group

For a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$, the fundamental group of $\mathfrak{h}_\text{reg}/W$ (where $\mathfrak{h}$ is the Cartan subalgebra, $\mathfrak{h}_\text{reg}$ is the subset ...

**2**

votes

**0**answers

94 views

### Dimension of the singular locus of $\mathcal M_X(r,d)$

Let $X$ be an algebraic smooth curve of genus $g$ over $\mathbb C$, and let $\mathcal M_X(r,d)$ (resp $\mathcal M_X^0(r)$) be the moduli space of vector bundle of rank $r$ and degree $d$ (resp. with ...

**4**

votes

**1**answer

168 views

### Existense of semi-stable vector bundles on smooth curves in positive characteristic

Let $k$ be an algebraically closed field of positive characteristic and $X$ be a smooth projective curve over $k$ of genus $g \ge 2$. Fix a polarization $L$ on $X$. Does there exist a semi-stable ...

**3**

votes

**0**answers

88 views

### Choosing a group action to do GIT of hypersurfaces

When studying GIT stability of hypersurfaces $d$ of $\mathbb P^n$ we look at the Hilbert Scheme $H=\mathbb P^N$ parametrizing homogeneous polynomials $f_d(x_0,\ldots,x_n)$ of degree $d$. There is ...

**14**

votes

**1**answer

265 views

### Moduli space of boundary maps with prescribed chain and homology groups?

Let $R$ be a reasonable ring (maybe I mean a PID, or $\mathbb{Z}$, and when sufficiently desperate, a field). Now consider fixed sequences $C_n$ and $H_n$ of $R$-modules, which are tame in every ...

**2**

votes

**0**answers

76 views

### Is there an algorithm to compute the intersection of tautological classes on the moduli space of genus one curves?

Let $\overline{M}_{1,1}(\mathbb{P}^2, d) $ be the moduli space of degree
$d$ genus one curves on $\mathbb{P}^2$ with one marked point. Let
$L\longrightarrow \overline{M}_{1,1}(\mathbb{P}^2, d) $ ...

**12**

votes

**0**answers

141 views

### For all schemes w/Hilbert polynomial P, exists $m_P$ s.t. no higher cohomology, $I(k)$ generated by globally sections, multiplication is surjective

Consider the following theorem.
For every polynomial $P$, there exists an integer $m_P$ such that for all ideal subsheaves $I \subset \mathcal{O}_{\mathbb{P}^n}$ with Hilbert polynomial $P$ and ...

**4**

votes

**0**answers

117 views

### Proof of theorem of Nagata, modify step for nonzero divisor?

Here is the theorem of Nagata I am working with.
Let $G$ be a geometrically reductive group acting rationally on a finitely generated $k$-algebra $R$. Then the ring of invariants $R^G$ is finitely ...

**12**

votes

**0**answers

356 views

### Easiest way to see Theorem 1.2 of Deligne-Mumford's “The irreducibility of the space of curves of given genus”?

Theorem 1.2 of Deligne-Mumford's 1969 IHÉS paper, "The irreducibility of the space of curves of given genus," is as follows.
If $g \ge 2$ and $C$ is a stable curve of genus $g$ over an ...

**3**

votes

**0**answers

59 views

### Families of trigonal curves with hyperelliptic limit

Suppose I have a family of trigonal curves $C\to D$ over a closed disk $D$ where the central fiber $C_0$ is hyperelliptic (this is of course possible since the hyperelliptic locus is in the closure of ...

**4**

votes

**0**answers

246 views

### Motivic fundamental group of the moduli space of curves?

Suppose I have a smooth projective family of varieties of varieties over $\mathcal M_g$ - i.e. a universal functor, commuting with deformations, from curves to smooth projective varieties. Can I ...

**2**

votes

**0**answers

44 views

### BCOV's holomorphic anomaly equation at genus one

BCOV in their famous paper (http://arxiv.org/abs/hep-th/9309140) state the genus one holomorphic anomaly equation (on page 53) to be $$\partial_i \partial_{\bar{j}} F_{1} = ...

**6**

votes

**1**answer

176 views

### Do general sheaves on P^2 have cohomology governed by their Euler characteristic?

Suppose $\xi$ is chern character on $\mathbb P^2$. Then there is a moduli space $M(\xi)$ of semistable sheaves of chern character $\xi$.
If $\xi$ has Euler characteristic 0, then apparently there is ...

**6**

votes

**0**answers

203 views

### Is the stack of varieties with a big line bundle algebraic

In Starr's paper https://www.math.stonybrook.edu/~jstarr/papers/moduli4.pdf the folk result that the fibred category of pairs $(X\to S, L)$, where $S$ is an affine scheme, $X\to S$ is flat proper ...

**8**

votes

**0**answers

258 views

### Coherent cohomology of the moduli space of curves

Is $H^i\left(\overline{\mathcal M}_g, \mathcal O_{\overline{\mathcal M}_g}\right)$ nontrivial for any $i>0$ and any $g$?
I was not able to find literature on this after searching for a bit, ...

**0**

votes

**0**answers

81 views

### Hilbert scheme of relative subschemes of lenght 2

Let $\mathfrak X \rightarrow S$ a smooth projective family over the spectrum of a dvr. We know that $(\mathfrak X _{\eta_R})^{[2]}$ and $(\mathfrak X _{p})^{[2]}$ are smooth, where $p$ is the closed ...

**7**

votes

**1**answer

422 views

### Do modular forms show up in the cohomology of moduli spaces of unmarked curves?

Let $\overline{\mathcal M}_{g,n}$ be the compactified Deligne-Mumford moduli stack (although I don't think taking the coarse moduli space will make much of a difference here). If we decompose $g = 1 + ...

**0**

votes

**0**answers

133 views

### Is the complex structure on a del-Pezzo surface a regular complex structure?

Let $(X, \omega, J)$ be a compact symplectic manifold with an almost complex structure. Fix some homology class $\beta \in H_2(X, \mathbb{Z})$. An almost
complex structure $J$ is said to be ...

**1**

vote

**0**answers

65 views

### local universal sheaf (moduli of stable sheaves)

I do not know much about moduli of sheaves and I wanted to shows that for a smooth (projective) family over a discrete valuation ring of mixed characteristics (relative dimension 3), the locally free ...

**0**

votes

**1**answer

111 views

### Complex plane mod lattice to elliptic curve correspondence generalization

If we observe the correspondence
$$\mathbb{C}/\Lambda \rightarrow E: Y^{2} = X^{3} - \frac{g_{2}(\Lambda)}{4}X - \frac{g_{3}(\Lambda)}{4},$$
we see the relationship between weight 4 and weight 6 ...

**2**

votes

**0**answers

76 views

### Non canonical singularities of moduli spaces of curves

Is it true that for any $g\geq 1$ and $n$ such that $\overline{M}_{g,n}$ has dimension at least two the locus in $\overline{M}_{g,n}$ parametrizing reducible curves which are union of an elliptic ...

**0**

votes

**1**answer

152 views

### When is the normal neighbourhood of the boundary of the moduli space of cuvres parametrized by exactly one branch?

Let $X$ be a compact complex manifold and $\beta \in H_2(X, \mathbb{Z}) $
a fixed homology class that is $\textit{decomposable}$. Let
$$ \overline{\mathcal{M}}_{0,n}(X, \beta) $$
denote the stable ...

**0**

votes

**0**answers

147 views

### How does one define Moduli spaces in Symplectic Geometry and naively interpret higher genus GW Invariants?

This is a very basic question about the definition of Moduli space of maps.
My reason for asking this question is because I haven't actually seen this
definition explicitly given anywhere, and hence ...

**1**

vote

**0**answers

113 views

### Moduli space of line-bundle holomorphic structures and sections over a Kahler-Hodge manifold

Let $(M,\omega)$ be a Kahler manifold with Kahler integral two-form $\omega$ and let $(L,h)$ be a rank-one complex vector bundle over $M$ equipped with a fixed hermitian metric $h$. I am interested in ...

**2**

votes

**1**answer

205 views

### Rational curves in projective spaces

Let $X\subset(\mathbb{P}^{N})^n$ be the variety defined as follows: $(p_1,...,p_n)\in (\mathbb{P}^{N})^n$ such that there exists a rational curve $C$ of degree $d$ with $p_1,...,p_n\in C$.
Is there a ...

**1**

vote

**1**answer

323 views

### Soft Question: Relationships Between Moduli Space and Objects They Parametrize

Apologies in advance if this question is not suitable for MO. My friend and I were wondering recently what, if any, are the relationships between the geometric properties of a moduli space and the ...

**1**

vote

**0**answers

82 views

### On the compactification of moduli space of vector bundles

Let $X$ be an irreducible, nodal curve over an algebraically closed field of genus at least $2$. Denote by $U(r,d)$ (resp. $U^0(r,d)$) the moduli space of torsion-free (resp. locally free) sheaves of ...

**4**

votes

**2**answers

191 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

**1**answer

283 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

**0**answers

74 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

**1**answer

114 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

**0**answers

100 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

**0**answers

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

**28**

votes

**2**answers

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

**7**

votes

**1**answer

272 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

**1**answer

132 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

**0**answers

61 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

**0**answers

167 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

**2**answers

277 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

**0**answers

147 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

**0**answers

114 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

**1**answer

155 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

**1**answer

188 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

**1**answer

197 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

**0**answers

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

**9**

votes

**1**answer

452 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

**0**answers

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

**30**

votes

**5**answers

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

**0**answers

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