Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [moduli-spaces]

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.

5
votes
0answers
70 views

Mapping Class Group and Triangulations

I am a physicist who's getting started with Mapping Class Group for Riemann surfaces, pants decompositions and triangulations so I apologise in advance if the following is a stupid question/wrong. I ...
6
votes
0answers
106 views

Moduli space of flat connections of Lie group over a 2-torus

We know that the moduli space of SU($N$) flat connections over a torus, is equivalent to a complex projective space $\mathbb{P}^{N-1}$ Namely, $$ M_{\rm flat}=\mathbb{E} / {S}_N = \mathbb{P}^{N-1} $$ ...
10
votes
2answers
326 views

Moduli space of curves

Let $(M,\omega)$ be a symplectic manifold, and let $\mathscr{J}$ be the set of compatible almost complex structures on $M$.Finally let $A \in H^2(M,\mathbb{Z})$. Then we can consider the moduli space ...
1
vote
0answers
107 views

SL(2,R) invariant which are not SL(2,C) invariants

Consider four points, $\sigma_i$ i=1,2,3,4 on the line $\mathrm{Im}(z) = 0$ in the complex plane $\mathbb{C}$. Does it exist a rational function of these four points which is $\mathrm{SL}(2,\mathbb{R})...
2
votes
0answers
61 views

Decorated Teichmuller space of a punctured disk and moduli space of the annuls

The decorated Teichmuller space of a disk with n punctures on the boundary and one in the interior is the the space of hyperbolic metrics on such a surface with an extra marking of an horocycle at ...
4
votes
0answers
165 views

A website which explains Mazur's torsion point theorem

I'm about to read Mazur's paper "Modular curves and the Eisenstein ideal". It's so long and difficult for me, but I found a website which shows the Mazur's theorem. This is very short and very very ...
2
votes
0answers
74 views

Local factoriality of moduli space of semistable G-Higgs bundles on curve

Let $X$ be an irreducible smooth complex projective curve of genus $g \geq 2$. Let $G$ be a connected reductive affine algebraic group over $\mathbb{C}$. Let $\mathcal{M}_{G, Higgs}^{\delta}$ be the ...
1
vote
0answers
157 views

The Deligne-Mumford Compactification for Closed Surfaces

I am reading this note on super-Riemann surfaces. In the second paragraph of section 7.4.1 (page 87), there is a statement that I am trying to understand: The compactified moduli space of closed ...
4
votes
1answer
432 views

Prerequisites for reading papers of arithmetic such as Ribet, Mazur, Faltings, Wiles

I've studied some fundamentals of algebraic geometry and number theory, and now I want to read papers which seem to be the "main stream" of frontier research on arithmetic. I've heard that Mazur's "...
4
votes
0answers
176 views

Is a Procesi bundle equipped with a hyperholomorphic connection?

Haiman has constructed in the paper the unusual tautological bundle $P$, called Procesi bundle, of rank $n!$ over the Hilbert schemes of points on the affine plane in the following way. Let $H _ { n }...
2
votes
0answers
145 views

Moduli space is a Calabi-Yau manifold?

I asked a question here where a moduli space of flat connection is related to the $n$-dimensional complex projective space: $$\Bbb E/S_n \cong \Bbb P^{n-1}. $$ This is related to a 4d SU(N) Yang-...
1
vote
0answers
135 views

The construction of moduli space of stable maps

In FP-notes for proving existence of $\overline{M}_{0,n}(P^r,d)$ we first defined $\bar{t}$-rigid stable family and found fine modulo space for it where $\bar{t}=(t_0,...,t_r)$ is basis for $H^0(P^r,O(...
7
votes
1answer
257 views

The Precise Meaning of the Moduli Space of Flat Connections?

Questions: I would like to have a precise description of the meanings of the Moduli Space of Flat Connections, such that it is understandable by mathematical physicists and physicists. For 3d Chern-...
3
votes
1answer
158 views

Derived functor giving algebraic map between moduli

Let $X$ be a smooth variety and $M$ a fine moduli space of certain kind of sheaves on $X$. Let $\mathcal{E}$ be the universal family on $X\times M$. Suppose there is a derived functor $F$ from $D^b(X)$...
0
votes
0answers
140 views

How to construct $ \mathcal{H} ( \mathbb{P}^n ) = \{ \ \text{Smooth projective subvarieties of } \mathbb{P}^n \ \} $?

Set : $$ \mathcal{H} ( \mathbb{P}^n ) = \{ \ \text{Smooth projective subvarieties of } \mathbb{P}^n \ \} $$ I would like to know if there exists a projective variety $ H ( \mathbb{P}^n ) $ whose ...
7
votes
0answers
143 views

Maps between moduli of curves

Let $M_{g,n}$ be the moduli space of $n$-pointed curves, and $M_g[m]$ the moduli space of (unpointed) curves with $m$-level structure. Fix $m>0$. Is it true that for $n$ large enough, there is a ...
2
votes
1answer
157 views

Is the stack of stable curves with no rational component algebraic?

Let $g\geq 2$ be an integer and let $\overline{\mathcal{M}}_g$ be the (smooth proper Deligne-Mumford) algebraic stack of stable curves of genus $g$. Let $\mathcal{M}_g^{nr}$ be the substack of ...
13
votes
1answer
494 views

Moduli space of linear partial differential equations

Is there a way to view "the space of all possible linear PDE's" as an algebraic variety with singularities? This is in connection with a quote from someone on the web that I saw a long time ago. At ...
10
votes
2answers
517 views

Good introductory references on moduli (stacks), for arithmetic objects

I've studied some fundation of algebraic geometry, such as Hartshorne's "Algebraic Geometry", Liu's "Algebraic Geometry and Arithmetic Curves", Silverman's "The Arithmetic of Elliptic Curves", and ...
1
vote
0answers
159 views

How to calculate : $ \mathrm{Hdg}^{ 2 \bullet } ( \mathcal{H}\mathrm{ilb} ( \mathbb{P}^n ),\mathbb{Q} ) $?

I try to calculate the rational cohomology algebra $ \mathrm{Hdg}^{ 2 \bullet } ( \mathcal{H}\mathrm{ilb} ( \mathbb{P}^n ),\mathbb{Q} ) = \displaystyle \bigoplus_{k=0}^{+ \infty} \mathrm{Hdg}^{ 2 k } (...
4
votes
0answers
68 views

The ¨irreducible¨ representation variety of surface group

Let S be a closed surface of genus larger than 1, G be a compact, simply connected simple Lie group with finite center. Consider the representation variety M(S,G)=Rep($\pi_1$(S), G). Witten´s Formula ...
4
votes
1answer
229 views

Confusion in known result about Moduli space of vector bundle of rank 2 degree 0 vector bundles over smooth curve of genus 2

Theorem: Let $X$ be a complete, non-singular algebraic curve of genus $2$. Let $U(2, \Theta)$ be the space of $S$-equivalence classes of semi-stable vector bundles of rank $2$ and degree $\Theta$. The ...
7
votes
1answer
356 views

What are some open problems in moduli spaces and moduli stacks?

I would like to know what are the open big and interesting problems related to moduli spaces and moduli stacks ? Thanks in advance for your help.
-5
votes
1answer
254 views

Computing $H^*(BDiff(W_{\infty},D^{\infty});\mathbb{Q})$ via Mumford-Morita-Miller classes

Galatius and Randal-Williams proved the following generalized Mumford conjecture in their joint paper, "Stable Moduli spaces of High Dimensional Manifolds". For each characteristic class of oriented $...
-2
votes
1answer
404 views

Generalizing the Madsen-Weiss Theorem via the scanning map $\mathscr{C}(M,\mathbb{R}^{\infty})\to\Omega^{\infty}AG^+_{\infty,d}$

The Madsen-Weiss Theorem, as described by Hatcher, states that there is an isomorphism $H_*( \mathscr{C}_{\infty})\cong H_*(\Omega_0^{\infty}AG^+_{\infty,2})$ where $\Omega_0^{\infty}AG^+_{\infty,2}$ ...
4
votes
0answers
104 views

Virtual fundamental class of Moduli space of stable maps in genus 1

What is the virtual fundamental class of $\overline{M}_{1,n}(\mathbb{P}^2,d)$? In general the virtual fundamental class is difficult to compute I guess. But if you look at Proposition 2.5 of https://...
7
votes
2answers
236 views

Is a torsion free sheave of rank one on a reducible curve the pushforward of a line bundle on a normalization?

Let $X$ be a nodal curve, possibly reducible. Then can any torsion free sheaf of rank one on $X$ be expressed as $\pi_*(L)$, where $L$ is a line bundle on a partial normalization of $X$? This looks ...
8
votes
0answers
227 views

Moduli interpretation of Fargues-Fontaine curve

The Fargues-Fontaine curve is, in his schematic version, a noetherian regular scheme $X$ of dimension 1 associated to a pair $(E,F)$, where $E$ is a local field (i.e. complete w.r.t. a discrete ...
3
votes
0answers
77 views

Stable torsion free sheaf on smooth projective surface

Let $E$ be a torsion-free sheaf on a smooth projective variety $X$ over $\mathbb{C}$. Let $H$ be an ample line bundle on $X$. Then we say $E$ is stable if $\mu_{H}(F)<\mu_{H}(E),\,\forall 0\neq F \...
2
votes
1answer
95 views

When is the moduli of generalized parabolic bundles with fixed determinant smooth?

Let $X$ be a smooth, projective curve of genus at least $2$, $x_1, x_2$ two distinct closed points, $d$ an odd integer and $\alpha$ a positive real number less than $1$. By a generalized parabolic ...
6
votes
1answer
244 views

Rationality of the moduli space of genus g curves

I'm not an expert in this topic, so please excuse my negligence. I'd also appreciate references to the literature. Throughout, I will work over the complex numbers, although the analogous questions ...
8
votes
2answers
404 views

Moduli 'space' of stacks?

In algebraic geometry, we are frequently interested in parametrizing geometric objects. Formally, parametrization of geometric objects having some property can be viewed as a functor $F:Sch\rightarrow ...
6
votes
0answers
159 views

Moduli of stable and semistable $G$-Higgs bundles on curves

Let $X$ be an irreducible smooth projective curve of genus $g \geq 2$ over $\mathbb{C}$. Let $G$ be a connected reductive affine algebraic group over $\mathbb{C}$. Let $\mathcal{M}_{G,Higgs}^s$ (resp.,...
2
votes
0answers
188 views

Tangent and cotangent bundle of a smooth algebraic stack

Are there any good notion of tangent and cotangent bundle (and stacks) of a smooth algebraic stack, similar to the notion of tangent and cotangent bundles (and spaces) of smooth schemes? I am ...
2
votes
1answer
182 views

How to split a Multi-section into finitely many Sections via base-change?

Let $:f:X\to Y$ be a projective surjective morphism between two normal varieties over $\mathbb{C}$. Assume that $f$ has only $1$-dimensional fibers. Let $D$ be a multi-section of $f$, i.e., $D$ is a ...
2
votes
1answer
146 views

Metric on moduli space of semistable principal G-bundles on curves

Let $X$ be an irreducible smooth projective curve over $\mathbb{C}$. Let $G$ be a connected reductive linear algebraic group over $\mathbb{C}$. Let ${\rm M}_{G,X}$ be the moduli space of semistable ...
2
votes
1answer
173 views

Moduli problem of stable nodal curves over the integers

Over an algebraically closed field of characteristic zero, e.g. $\overline{\mathbb{Q}}$, the Deligne-Mumford stack $\overline{\mathcal{M}}_{g,n}$ represents the functor $$\overline{\mathcal{M}}_{g,n}(...
4
votes
2answers
247 views

Generic Mumford Tate group and algebraic points

I will stick with a concrete example for this question, but it should probably be cast in a more general framework. Let $Sym_g(\mathbf{C})$ be the space of symmetric matrices of order $g$ with ...
8
votes
0answers
182 views

Genus=2 theta functions, Arnold's relation, and KZ connection

Let $C_5:=\{{(z_1 \dots, z_5) \in (\mathbb{C})^5 | z_i \neq z_j \forall i\neq j }\}$ be the configuration space of five distinct ordered points in $\mathbb{C}$. Arnold showed that the holomorphic one ...
7
votes
0answers
234 views

Galois representations associated to the modular tower and automorphy

Consider $\mathcal{M} = \{M_{g,n}, \mu_{g,n}^{g’,n’}\}$, the system of moduli spaces of $n$-pointed smooth algebraic curves along with the basic maps amongst them coming from identifying and ...
8
votes
0answers
149 views

Fundamental group of moduli space of K3's

According to Rizov (https://arxiv.org/abs/math/0506120), the moduli stack of primitively polarized K3 surfaces of degree 2d $\mathcal{M}_{d}$ is a Deligne-Mumford stack over $\mathbb{Z}$. I'm looking ...
4
votes
1answer
76 views

On a presentation of $\bar{M}_{2,1}$

In this answer it is said that $\bar{M}_{2,1}\cong \bar{M}_{0,7}/S_6$. However, I cannot see this. Given a curve of genus $2$ and a marked point, quotienting by the involution surely gives a rational ...
5
votes
2answers
252 views

A log structure on the moduli space of curves

Let $M_{g, n}$ be the moduli space of curves of genus $g$ with $n$ marked points. Let $M_{g, \vec{n}}$ be the moduli space of marked curves with a choice of a (possibly zero) tangent vector at each ...
3
votes
1answer
208 views

determinant of a coherent sheaf, locally free on a big open set

Let $f:X\rightarrow S$ be a smooth projective morphisms of noetherian schemes and let $\mathcal{O}(1)$ be a relatively ample line bundle. Let $\mathcal{E}$ be a coherent sheaf over $X$ and flat over $...
15
votes
2answers
485 views

Is a cubic hypersurface determined by its Fano variety of lines?

Consider a smooth cubic complex hypersurface $X\subset\mathbf{P}^{n+1}$ of dimension $n\geqslant 3$. The associated Fano variety of lines $F(X)$ is a smooth variety of dimension $2n-4$. Can one ...
4
votes
1answer
206 views

moduli stack of double covers of $\mathbb{P}^1$ with one marked point

I am trying to improve my moderate knowledge of moduli spaces/stacks by examining the moduli stack of stable double covers of $\mathbb{P}^1$ with one marked point. My idea is to ignore the stack ...
3
votes
1answer
362 views

Isomorphism classes of line bundles with connections

Isomorphism classes of line bundles over a scheme $X$ are described by the Picard group $Pic(X)$. Now there is a paper that describes the moduli space of line bundles with connections. This paper is ...
2
votes
1answer
145 views

Build a Fuchsian group starting from punctures on a disk

Consider the moduli space of hyperbolic metrics on the disk with $n>3$ marked points on its boundary, $\mathcal{M}_{D,n}$. $\mathcal{M}_{D,n}$ can be parametrised in terms of cross ratios of the ...
1
vote
0answers
92 views

Cutting a circle from the hyperbolic plane

Let D be the Poincare' disk its natural hyperbolic metric and with at least 1 marked point on $\partial D$. Suppose I cut an hyperbolic circle of radius $r$ away from it, then I get a Riemann surface ...
3
votes
1answer
195 views

What is a half cusp in hyperbolic geometry?

I already asked this question on math.stackexchange, but it was suggested that I post it here as well. The paper Devadoss, Heath, and Vipismakul - Deformations of bordered Riemann surfaces and ...