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.

Filter by
Sorted by
Tagged with
1 vote
0 answers
78 views

A question about Hitchin discriminant

Let $X$ be a smooth projective curve over $\mathbb{C}$, $\mathcal{M}$ be moduli space of Higgs bundle of rank $r\geq2$ and degree $d$ on $X$, $W=\bigoplus_{i=2}^{r}H^{0}(X,K_{X}^{\otimes i})$, and $H\...
Aoki's user avatar
  • 297
2 votes
0 answers
178 views

Quadrics tangent to lines

I think that the following must be a basic question in enumerative geometry. Take a line $L\subset\mathbb{P}^3$. The quadric surfaces in $\mathbb{P}^3$ that are tangent to $L$ are parametrized by a ...
user avatar
1 vote
0 answers
89 views

The dimension of parameter space of unstable Higgs bundle

Let $X$:smooth projective curve of genus $g\geq 3$ over $\mathbb{C}$, $\mathcal{M}(r,d)$:moduli space of stable Higgs bundles of rank $r\geq 2$ and degree $d$ on $X$, and $N$:moduli space of stable ...
Aoki's user avatar
  • 297
3 votes
0 answers
124 views

Upper bounds for the degree of Chow varieties

Given $n, k, d$, let $\mathrm{Chow}(n, k, d)$ be the Chow variety parameterizing algebraic cycles of pure dimension $k$ and degree $d$ in $\mathbb{P}^n$. It is a projective subvariety of $\mathbb{P}(H^...
Zeyu's user avatar
  • 537
1 vote
0 answers
112 views

global algebraic functions $\Gamma(T^{*}M)$ on the cotangent bundle of moduli space

Let $X\colon$ smooth projective curve, $\mathcal{M}\colon $ moduli space of semistable higgs bundle of rank $r$ and with fixed determinat $\xi$, and $H\colon \mathcal{M}\rightarrow W=\oplus_{i=2}^{r} ...
Aoki's user avatar
  • 297
3 votes
1 answer
364 views

Moduli space of genus 1 curves with a degree n divisors

I am sure this is well known, but I don't know what to search for: Consider $M_{1,n}$, the moduli space of genus 1 curves with $n$ marked points. The symmetric group on $n$ letters acts on this space ...
Asvin's user avatar
  • 7,608
7 votes
0 answers
214 views

Moduli space of annuli with marked points satisfying some additional symmetries

Let us consider the space of configurations $\overline{\mathcal{M}}_{0,2,1,(1,1)}$ of an annulus with a marked point on the interior boundary component (let's call it "out") a marked point ...
Riccardo's user avatar
  • 1,998
1 vote
1 answer
222 views

Smoothness of moduli spaces of stable maps

If $X$ is a projective variety the moduli space of stable maps $\overline{M}_{0,0}(X,\beta)$ is a normal variety with finite quotient singularities. Can the pairs $(X,\beta)$ such that $\overline{M}_{...
user avatar
3 votes
0 answers
91 views

Nakamura graphs and moduli space cellular decomposition

I have recently started studying the cell decomposition of moduli spaces. Among the papers I read, I studied this paper, but there is something I do not understand and I can't find the answer on my ...
Tommaso Rossi's user avatar
1 vote
0 answers
348 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 ...
S.D.'s user avatar
  • 492
2 votes
1 answer
305 views

Cohomology of normal bundle and tangent bundle on Gushel-Mukai threefold

Let $X$ be a smooth general ordinary Gushel-Mukai threefold. There is an embedding $X\rightarrow\mathrm{Gr}(2,5):=G$. Consider the normal bundle $\mathcal{N}_{X|G}$, how to compute cohomology of this ...
user41650's user avatar
  • 1,922
2 votes
0 answers
96 views

The openness the set of $s\in \bigoplus H^0(C,K_{C}^{\otimes i})$ for which the spectral curve is irreducible and reduced

Let $C$ be smooth projective curve, $\mathcal{M}$ be the moduli space of semistable Higgs bundles, $H:\mathcal{M}\rightarrow W= \bigoplus H^0(C,K_{C}^{\otimes i})$ be the Hitchin map, and $\pi :C_s\...
Aoki's user avatar
  • 297
2 votes
0 answers
257 views

Fibers of Hitchin fibration are equidimensional

Let $X$ be a smooth projective curve over $\mathbb{C}$ of genus $g\ge 3$, $M$ be a moduli space of stable vector bundles on $X$ of rank $n\ge 2$ and degree $d$, $\mathcal{M}$ be a moduli space of ...
Aoki's user avatar
  • 297
1 vote
0 answers
85 views

Polarization of Prym varieites

I'm trying to understand polarization and rational Hodge structure of spectral curves and Prym varieties. Excuse me that this is similar to my previous question. I want to prove the following, Let $X$...
Aoki's user avatar
  • 297
1 vote
0 answers
129 views

The compactified Jacobian is birational to a $\mathbb{P}^1$-fibration over the Jacobian of normalization

Let $Y$ be an integral curve whose only singularity is one simple node at a point $y$, and $\pi:X\rightarrow Y$ be the normalization with $\pi^{-1}(y)=\{x,z\}$. $J(X)$ is the Jacobian of $X$, and $\...
Aoki's user avatar
  • 297
5 votes
0 answers
166 views

Correspondence between Riemannian metrics and Euclidean embeddings

Given a sufficiently smooth manifold M, a Riemannian metric on M induces an isometric embedding into Euclidean space by Nash's theorem, (non-canonically, non-uniquely) an embedding of M into ...
NaivelyCurious's user avatar
1 vote
0 answers
212 views

Fiber of the Hitchin map

Let $C$ be smooth projective curve, $\mathcal{M}$ be the moduli space of semistable Higgs bundles, $H:\mathcal{M}\rightarrow W= \bigoplus H^0(C,K_{C}^{\otimes i})$ be the Hitchin map, and $\pi :C_s\...
Aoki's user avatar
  • 297
6 votes
1 answer
246 views

Pants decomposition and moduli space of $\Sigma_g$ for $g>1$

By Section 8.3.1 of the book: A primer on mapping class groups by Farb and Margalit, a pair of pants is a compact surface of genus 0 with three boundary components. Let $S$ be a compact surface with $\...
Borromean's user avatar
  • 1,319
3 votes
0 answers
217 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
  • 492
4 votes
0 answers
131 views

Does anyone know if it's possible to construct Moduli space of J holomorphic curves using Holder spaces?

let Y be a contact (3) manifold and X be its symplectization. let's say the Reeb dynamics is at least Morse Bott. let $u: \Sigma \rightarrow X$ be a $J$ holomorphic curve. I know the usual model for a ...
Yuan Yao's user avatar
  • 113
9 votes
0 answers
184 views

Methods to compute the Kodaira dimension of moduli spaces

It is known that the moduli space $\bar{M_g}$ of genus $g$ stable curves over $\mathbb C$ is of general type for $g \geq 24$ with Kodaira dimension $3g-3=\dim \bar{M_g}$. The idea is that one can ...
loos's user avatar
  • 461
4 votes
0 answers
129 views

Global algebraic function over the moduli space of semistable higgs bundles $\mathcal{M}$

Let $X$ be a smooth projective curve over $\mathbb{C}$, $\mathcal{M}$ be the moduli space of semistable higgs bundles, and $h: \mathcal{M}\rightarrow W=\bigoplus H^0(X,K_X^{\otimes{i}})$ be the ...
Aoki's user avatar
  • 297
8 votes
0 answers
168 views

Geometry of moduli problem in practice: how to check it is connected / irreducible / normal / reduced / locally complete interesection...?

Moduli spaces are very common and useful in the world of algebraic geometry. From the point view of functors, one can already check many geoemtric properties of it. I like examples, and you can assume ...
loos's user avatar
  • 461
10 votes
0 answers
163 views

Moduli-space interpretation of a morphism of unitary Shimura varieties

Let $G$ be the quasi-split unitary similitude group $GU(2, 1)$, for some choice of imaginary quadratic field $E$; and let $T = GU(1)$ be the torus $Res_{E/Q}\mathbf{G}_m$. Then there's a morphism $\...
David Loeffler's user avatar
2 votes
1 answer
295 views

Sheaf of elliptic curves up to isogeny

For a scheme $X$, denote by $\mathcal{Ell}_X[\text{isog}^{-1}]$ the category of elliptic curves on $X$ localized at isogenies. Consider the functor $$ \mathcal{Ell}^{isog}:Sch/S^{op}\rightarrow \text{...
curious math guy's user avatar
2 votes
1 answer
124 views

Isomorphism between $\operatorname{End}_0(E)$ and $\operatorname{End}_0(E')$ as Lie algebra bundles

This may be a stupid question. I'm reading the paper "Automorphisms of moduli spaces of vector bundles over a curve" of Indranil Biswas, Tomas L. Gomez, V. Munoz (arXiv link). I have a ...
Aoki's user avatar
  • 297
1 vote
0 answers
92 views

rational Hodge structure of spectral curve and Prym variety

I have a problem about rational Hodge structure of spectral curves and Prym varieties. I want to prove the following, Let $X$ be smooth projective curve over $\mathbb{C}$, $\mathscr{M}$ be moduli ...
Aoki's user avatar
  • 297
0 votes
0 answers
352 views

Definition of Hitchin map

This may be a dumb question. $\mathcal{M}(r,d)$ is a coarse moduli scheme for semistable pairs $(E,\phi:E \rightarrow K_X \otimes E)$ of rank $r$, degree $d$ on a smooth projective curve $X$ over $\...
Aoki's user avatar
  • 297
5 votes
0 answers
165 views

Hitchin map and vector bundles

I've been learning a bit about automorphisms of moduli spaces of vector bundles and the Hitchin map. I'm reading this paper of Indranil Biswas, Tomas L. Gomez, V. Munoz, and I have a problem about ...
Aoki's user avatar
  • 297
3 votes
0 answers
150 views

The Weil pairing on a generalized elliptic curve

Now I'm trying the section 6 (and 3.20) of chapter IV of Deligne-Rapoport's "Les schemas de module de courbes elliptiques". I can't understand what $e_n$ (of 6.5.(d)) is. It seems to be the ...
k.j.'s user avatar
  • 1,352
5 votes
0 answers
185 views

Berkovich Integration on algebraic curves

Berkovich developed a theory of integrating one-forms on his analytic spaces in his book "Integration of One-forms on $P$-adic analytic spaces". As this book is difficult to digest for me, I ...
Fabian Ruoff's user avatar
3 votes
1 answer
349 views

Family over the coarse moduli space of curves

Let $k$ be an algebraically closed field. As the coarse moduli space of curves $M_g$ of genus $g$ over $k$ is not a fine moduli space, it does not have a universal family. But I am wondering if it has ...
Fabian Ruoff's user avatar
1 vote
0 answers
309 views

On definition of stable vector/Higgs bundle

Recall that the slope of a holomorphic vector bundle $\mathcal{E}$ over a smooth projective variety (or rather a compact Kähler manifold) $X$ is defined as $\mu(\mathcal{E}) :=\frac{\operatorname{deg}(...
 V. Rogov's user avatar
  • 1,115
2 votes
0 answers
169 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$ ...
S.D.'s user avatar
  • 492
2 votes
0 answers
221 views

Non-uniruled connected smooth fibers implies flat

Let $f:X\to Y$ be a surjective morphism of connected smooth projective varieties over an algebraically closed field. Assume all fibers are connected smooth and none are uniruled. Is $f$ flat? In ...
Nguyen's user avatar
  • 117
5 votes
0 answers
196 views

Use of Flattening Stratification part 2 (Nitsure's construction of Hilbert and Quot schemes)

I study Nitin Nitsure's paper Construction of Hilbert and Quot Schemes (arXiv:math/0504590) and have some problems with the content of imposed universal property (F) in the section "Use of ...
user267839's user avatar
  • 5,938
6 votes
0 answers
151 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 ...
S.D.'s user avatar
  • 492
1 vote
0 answers
84 views

How to show a contraction of singular moduli space is projective?

Let $\mathcal{H}$ be a certain kind of Hilbert scheme of curves on some smooth projective variety $X$ and $\mathcal{H}$ is projective and irreducible of dimension $3$. There is a divisor $\mathcal{D}\...
user41650's user avatar
  • 1,922
2 votes
0 answers
264 views

Absolute Galois group of Q and stratification of moduli space of curves

This is slightly related, but distinct from, a question I asked earlier. The moduli space of ribbon graphs with metric (with all vertices having degree at least 3) is isomorphic to the moduli space of ...
Waleed Qaisar's user avatar
2 votes
0 answers
162 views

Exponential map of moduli space

Let $\mathcal{M}$ be a projective smooth moduli space over $\mathbb{C}$ (the specific example I have in mind is the moduli of curves $\mathcal{M}_g)$. Consider a point $[X]\in \mathcal{M}(\mathbb{C})$....
curious math guy's user avatar
10 votes
0 answers
271 views

Kontsevich's A-infty cohomology classes of the moduli space of curves

In his paper "Feynman diagrams and low-dimensional topology," Kontsevich attaches to each $A_\infty$ algebra a cohomology class (with complex coefficients) on the moduli space of smooth, ...
Waleed Qaisar's user avatar
10 votes
0 answers
418 views

Boundary of Siegel modular variety

The moduli space of curves has a compactification whose boundary can be understood as the product of moduli spaces of curves of lower genus. Therefore (perhaps naively) one might hope that there ...
curious math guy's user avatar
4 votes
0 answers
105 views

Holomorphic maps on moduli space and Deformation theory

Let $\mathcal{M},\mathcal{F}$ be the classifiying spaces (i.e. complex manifolds) of two (possibly) different moduli problem. To give a map $$f:\mathcal{M}\rightarrow \mathcal{F}$$ means that for each ...
curious math guy's user avatar
3 votes
0 answers
84 views

Reference request: boundedness for semistable principal bundles on a family of curves

We work over an algebraically closed field $k$. Let $G$ be a reductive group and $X$ be a smooth projective curve over $k$. It is proven in [1, Theorem 1.2] that the moduli of semi-stable principal $G$...
YZhou's user avatar
  • 495
5 votes
2 answers
535 views

density of singular K3 surfaces

By singular K3 I mean a smooth complex K3 with Néron-Severi rank equal to 20. Are singular K3 surfaces dense in the moduli space of polarized K3 surfaces?
IMeasy's user avatar
  • 3,707
1 vote
0 answers
198 views

Holomorphic map from a punctured affine line to $M_g$ with Zariski-dense image

Denote by $M_g$ the coarse moduli space of connected smooth projective complex curves of genus $g$. Is there a holomorphic map $U\to M_g$ with Zariski-dense image where $U$ is the affine line with ...
user avatar
1 vote
1 answer
180 views

Is there an algorithm on an infinite time Turing machine to compute a dense subset of $M_g$ for large $g$?

Denote by $M_g$ the coarse moduli space of connected smooth projective complex curves of genus $g$. If $g$ is a random large integer (e.g. $g=100$) does there exist an algorithm on an infinite time ...
user avatar
2 votes
0 answers
92 views

Composing equal characteristic and mixed characteristic deformations

Suppose $k$ is an algebraically closed field of characteristic $p>0$ and $A$ is a $k$-point on a moduli space of certain objects over $k$. Suppose, moreover, that $A$ deforms to a $k[[t]]$-point $B$...
Huy Dang's user avatar
  • 245
1 vote
1 answer
367 views

About the type of a polarization of an abelian variety

The following is a question I posted about a week ago on Maths stackexchange there, but it didn't bring any discussion nor comment. For this reason I am posting it here also. Let $X$ be an abelian ...
Suzet's user avatar
  • 687
1 vote
0 answers
92 views

Geometry of the complex Gauge group

Let $E\rightarrow X$ be holomorphic vector bundle on a complex manifold $X$. Denote by $\mathcal{G}=\Gamma(Aut(E))$ the group of complex smooth automorphisms of $E$. Is there a way to endow $\...
BinAcker's user avatar
  • 767

1 2 3
4
5
18