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

**4**

votes

**0**answers

144 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

**0**answers

136 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

**0**answers

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

**6**

votes

**1**answer

229 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

**1**answer

148 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

**0**answers

138 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

**0**answers

138 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

**1**answer

149 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

**1**answer

467 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

**2**answers

460 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

**0**answers

156 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

**0**answers

66 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

**1**answer

222 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

**1**answer

329 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

**1**answer

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