Questions tagged [moduli-space]

A Moduli space is a space in algebraic geometry whose points are geometric objects or isomorphism classes of these kinds of objects.

Filter by
Sorted by
Tagged with
0 votes
0 answers
20 views

Computing the virtual dimension of the moduli space $M(L, \beta)$

In Auroux's paper "MIRROR SYMMETRY AND T-DUALITY IN THE COMPLEMENT OF AN ANTICANONICAL DIVISOR", in section §3 p.7 the author presents the moduli space $M(L, β)$ of J-holomorphic discs with ...
0 votes
0 answers
26 views

Construction of Deligne-Mumford curve moduli space

The standard construction of $\newcommand{\PP}{\mathbb{P}} \DeclareMathOperator{\Hilb}{Hilb} \DeclareMathOperator{\PGL}{PGL} M_g$ is as follows (At least for stable curves and other technical ...
2 votes
0 answers
29 views

Morphism of family of varieties determined on rational points

I am currently studying various Moduli problems and in order to check whether some families have non-trivial automorphisms, I have the strong intuition that the following should hold: Let $k$ be an ...
  • 612
1 vote
0 answers
28 views

representing compactified stack as a global quotient

Let $M$ be a DM stack over a field $k$. Assume I managed to represent it as $[X/G]$ for some scheme $X$ and a group scheme $G$. Does that imply that the DM compactification $\overline{M}$ of $M$ is ...
  • 1,156
0 votes
0 answers
44 views

Modular forms defined on the modular curve

I am studying the book "Harmonic maass forms and mock modular forms theory and applications" In section 7.5, they deal with p-adic harmonic maass functions. At first, they define the space $...
  • 117
1 vote
0 answers
44 views

Neron polygons and cusps on the modular curve

I am interested in understanding the computation of the number of cusps of $X_1(N)$, which is the modular curve that parameterizes the space of pairs of a generalized elliptic curves $E$ and a point $...
  • 1,098
0 votes
0 answers
57 views

Rational points on the the reduction mod $p$ of $X_0(N)$

Consider the modular curve $X_0(N)$ over $\mathbb Q$ and for $p\mid N$ consider the reduction modulo $p$ of $X_0(N)$. Let's denote this curve with the symbol $X_p$ (we know that it is a singular curve ...
  • 1,877
0 votes
0 answers
20 views

$\mu$-polystable locally free sheaf

In Huybrechts and Lehn's book "The Geometry of Moduli Space of Sheaves",a sheaf $E \in Ob(Coh_{d,d-1}(X))$ is polystable if $E \cong \bigoplus E_{i}$ in $Coh_{d,d-1}(X)$,where the sheaves $...
1 vote
0 answers
31 views

Isomorphism in $Coh_{d}(X)/Coh_{d^{'}-1}(X)$

I'm reading "The Geometry of Moduli Space of Sheaves" (Huybrechts,Lehn).On page 26,$Coh_{d}(X)$ is defined as the full subcategory of $Coh(X)$ whose objects are sheaves of dimensions $\le d$....
0 votes
0 answers
13 views

Hat Knot Floer Homology with Z coefficients calculation

I would like to ask if there is a reference which carries out the calculation of the hat knot Floer homology of a knot with $\mathbb{Z}$ coefficients, i.e., $\widehat{HFK}(K;\mathbb{Z})$, where the ...
2 votes
0 answers
62 views

Hilbert scheme of $\mathbb{P}^2$ is not a product?

Fixing a connected component in the Hilbert scheme of $\mathbb{P}^2$ is the same as fixing the Hilbert polynomial $ax+b$. Taking a primary decomposition of any subscheme in this connected component ...
  • 430
0 votes
0 answers
40 views

An examle of a stable sheaf which is not geometrically stable

I am trying to understand an example of stable sheaf which is not geometrically stable on p.19 of Huybrechts and Lehn's book Geometry of Moduli Space of Sheaves Let $X=Proj(R[x_{0},x_{1},x_{2}]/(x_{0}^...
6 votes
0 answers
63 views

Degree of Hodge bundle

Let $H$ be the Hilbert scheme parametrizes subschemes of $\mathbb P^{5g-6}$ with Hilbert polynomial $p(m)=(6g-6)m+(1-g)$ (for example, curves with genus $g$ embedding by the canonical bundle to the ...
  • 71
0 votes
1 answer
81 views

What does "intersect properly" mean?

A corollary in The Geometry of Moduli Space of Sheaves (Huybrechts, Lehn) says: Let $X$ be a normal closed subscheme in $P^{N}$ and $k$ an infinite field. Then there is a dense open subset $U$ of ...
1 vote
0 answers
70 views

Why is the definition of the dual sheaf is independent of the ambient space?

I'm reading "The Geometry of Moduli Space of Sheaves" (Huybrechts,Lehn). He gives a new definition of the dual sheaf: $\ $Let E be a coherent sheaf of dimension $d$ ,and let $c=n-d$ be its ...
0 votes
0 answers
63 views

Learning about Moduli spaces of sheaves

I am a Ph.D. student and starting a side project with a fellow student on Moduli spaces. Our plan was to start with the book on Invariants and Moduli by Mukai (starting from chapter 5) and use the ...
  • 518
3 votes
0 answers
68 views

Relationship between GIT and coarse moduli spaces

I'm trying to understand how a generic algebraic geometer constructs coarse moduli spaces. I'm familiar with the definition, and how it is usually quite involved to show that a space has the coarse ...
  • 151
1 vote
0 answers
32 views

Are points $(a:b)\in \mathbb{P}^1$ which satisfy $X\subset V(af+bg)$ closed?

Let $X\subset \mathbb{P}^m_k$ be a closed irreducible subvariety, and $f,g\in k[x_0,\dots,x_m]$ be homogenous polynomials of $\deg f=\deg g$. Then we have parametrized hypersurfaces $V(af+bg)\subset \...
  • 1,770
0 votes
0 answers
44 views

Differences between equivalent definitions of algebraic spaces

I have trouble understanding the differences between the following two equivalent definitions of algebraic spaces. Let $k$ be a field. The first one is An algebraic space is an '{e}tale sheaf $(Sch/S)...
0 votes
1 answer
26 views

What does the lattice Λ= Z.z+Z.1 mean?

I'm currently reading The 1-2-3 of Modular Forms: Lectures at a Summer School in Nordfjordeid and I got stuck (on the fourth page) on the following paragraph: ... the quotient space $\Gamma_1$ \ $\...
  • 153
2 votes
0 answers
56 views

Coarse moduli space for semi-stable vector bundles on a curve.

Given a curve $C$ of genus $g$ I know how to construct a quasi-projective variety $M_C(r,d)$ as the GIT quotient of a certain Quot scheme $Q=Quot^{r,d}(\mathcal{O}_C(-n)^N)$ by the action of a certain ...
3 votes
1 answer
150 views

"Universal family" used despite moduli space not being fine?

This is something that has nagged me for a while, and I think I basically know the issue, but thought I would see what people had to say. In the study of moduli of curves, one will sometimes see the ...
  • 2,493
1 vote
0 answers
112 views

Hilbert scheme of points on surface is a crepant resolution of symmetric product

If $S$ is a smooth projective surface, it is well-known (I believe first proven by Fogarty?) that the Hilbert scheme of points $\text{Hilb}^{n}(S)$ is a smooth irreducible variety of dimension $2n$. ...
  • 2,493
0 votes
1 answer
69 views

What does $\mathbb{C}[f]$ mean?

Let $f\colon E \to E$ be an endomorphism of stable bundles over a variety $X$ over $\mathbb{C}$. What does the notation $\mathbb{C}[f]$ mean? (This is supposed to be a field if $f$ is an isomorphism.) ...
1 vote
0 answers
57 views

Why use orientation-preserving diffeomorphism (instead of all diffeo's) in the construction of the moduli space of a Riemannian manifold

The question is basically in the title, but I want to make it more precise: Given an oriented Riemannian 2-manifold $\Sigma$ one can take a quotient of the set $$ \mathcal{M}_+(\Sigma)=\{~c~\mid (\...
  • 1,347
9 votes
1 answer
477 views

What is an instanton? (On a complex surface or a differentiable 4-manifold )

The question is as in the title. I have browsed online (Wikipedia, etc) and while they do give me the definition, it gets a bit too much physics-y for me. Therefore I would appreciate it if someone ...
2 votes
0 answers
69 views

The stack classifying non-oriented triangles is equivalent to a quotient stack $[\widetilde{T}/S_3]$

I come across problems when I try to compute the stack classifying non-oriented triangles. My reference is the book Algebriac Stacks ( K. Behrend, B. Conrad, D. Edidin, B. Fantechi, W. Fulton, L. ...
0 votes
0 answers
55 views

Singularities of arithmetic surfaces

I have a problem understanding the discussion of example 8.3.54 in Liu's Algebraic Geometry and Arithmetic Curves. The setting is the following: We have a DVR with uniformiser $t$, characteristic of ...
  • 612
2 votes
0 answers
53 views

Uniqueness of model of curve over DVR

I understood that properness of $\overline{\mathcal{M}_{g,n}}$ tells us that for a fixed field $K$, a curve $C$ over $K$ and a DVR $V$ with fraction field $K$, there is a unique curve over $V$ with ...
  • 612
0 votes
1 answer
117 views

Exercise 1.1c in Hartshorne's Deformation Theory: Is this family of conics flat?

In my attempt to solve Exercise 1.1c in Hartshorne's Deformation Theory book, which says that a family of conics in $\mathbb{P}^2$ parameterised by some finitely generated $k$-algebra $A$ ($k$ is ...
  • 373
2 votes
0 answers
33 views

calculate the dimension of moduli space

I'm learning gauge theoretic topics about 4-manifolds, and I get stuck when I try to calculate the dimension of ASD moduli space. For an oriented closed 4-manifold $M$, we first fix a riemannian ...
  • 1,107
1 vote
0 answers
11 views

local model of gauge theoretic moduli space

I'm a beginner of gauge theory and I find that most materials state the theorem(without proof) that: Given a principal bundle $P$, for a connection $A$ over $P$, a isotopy group $G_A$ of $A$ consist ...
  • 1,107
0 votes
1 answer
73 views

Compactification of $M_{1, 1}$

Let $M_{1, 1, \mathbb{Z}}$ be a moduli stack of elliptic curves. Denote $M_{1, 1, k}$ its base change to a field $k$. We have the map $j: M_{1, 1, k} \to \mathbb{A}^1_{k}$ which realizes the affine ...
  • 1,156
2 votes
0 answers
28 views

Moduli space of connection on line bundle

I want to show that for a $U(1)$ bundle $P$ over a connected smooth 4-manifold $X$, the moduli space of Yang-Mills connection over $P$ is the torus $H^1(X,\mathbb{R})/H^1(X,\mathbb{Z})$. Now I reduce ...
  • 1,107
4 votes
0 answers
81 views

Assumptions on a scheme X needed to construct the Picard scheme $\operatorname{Pic}(X)$

Let $X$ be a scheme. I believe that Grothendieck was the first to put a scheme structure on the Picard group $\operatorname{Pic}(X)$, where he assumed that X is projective and reduced. Then Mumford ...
2 votes
0 answers
23 views

What do we know about the space of homomorphisms of semistable vector bundles?

Let $X$ be an algebraic curve over $\mathbb C$ (feel free to add smoothness or other usefule properties). Fix degrees $d_1,d_2$ and ranks $r_1,r_2$. The slopes are $\mu_i=d_i/r_i$. Assume $\mu_1>\...
  • 1,281
1 vote
0 answers
41 views

Étale local universal sheaves

Moduli functors for (flat families of) semistable coherent sheaves over a projective scheme are not representable functors, which is to say that no global universal family exists. However one can ...
0 votes
0 answers
57 views

Reference request: Katz modular forms modulo $p$ at cusps vs classical modular forms modulo $p$ at cusps

I, like the author of this post, am severely lacking the background to make the connection between reducing modular forms' $q$-expansions modulo $p$ at various cusps, and $q$-expansions of modular ...
  • 1,675
0 votes
0 answers
34 views

Is a coarse moduli space whose objects have no automorphisms also fine?

We work over the complex numbers $ k = \mathbb{C} $. Let $ F $ be a moduli problem, i.e. a contravariant functor $ F : \text{Sch}/k \rightarrow \text{Sets} $. Suppose that $ M $ is a coarse moduli ...
2 votes
0 answers
56 views

Involution of Legendre Family

I'm trying to understand why automorphisms of elliptic curves lead to non-existance of the moduli space (as a variety). Some notes suggest to consider the following example: Consider the Legendre ...
  • 1,156
1 vote
1 answer
193 views

What is the moduli space $M _{0,5}$?

Let $M_{0,n}$ denote the moduli space which consists of genus 0 non singular projective curves with n distinct marked points upto marked point isomorphism. So $M_{0,3}$ is a singleton set as any 3 ...
1 vote
2 answers
159 views

How to construct the schemes $\operatorname{Hom}_S(X, Y)$ and $\operatorname{Isom}_S(X, Y)$ from the Hilbert scheme?

Let $S$ be a noetherian scheme. Grothendieck [1] constructed for any projective $S$-scheme $X$ the Hilbert scheme $\operatorname{Hilb}_{X/S}$, which represents the functor $$T \mapsto \underline{\...
  • 6,071
3 votes
0 answers
44 views

Moduli space of special Lagrangians

I'm currently reading Auroux's Mirror Symmetry and T-duality in the Complement of the Anticanonical Divisor and Special Lagrangian Fibrations, Wall-crossing, and Mirror Symmetry back and forth. I'm ...
  • 113
1 vote
1 answer
156 views

Teichmuller space of the 4-punctured sphere

I'm a bit confused working with Teichmuller space at the moment. Let's think of Teichmuller space as the space of holomorphic/conformal structures on a surface, up to diffeomorphisms isotopic to the ...
  • 2,038
3 votes
0 answers
120 views

Notation in Katz-Mazur Arithmetic Moduli of Elliptic Curves

A moduli problem $\mathcal{P}$ is a contravariant functor $\mathbf{Ell}\to\mathbf{Set}$. The objects of $\mathbf{Ell}$ are arrows $E\to S$ from an elliptic curve $E$ to a varying base scheme $S$. The ...
  • 1,227
1 vote
0 answers
43 views

Is the moduli stack of stable maps functorial?

Let $f:X\rightarrow Y$ be a morphism where $X$ and $Y$ are smooth projective varieties over $\mathbb{C}$. Does $f$ induce a well-defined "pushforward" morphism $\overline{\mathcal{M}}_{g,n}(...
3 votes
0 answers
75 views

Configuration spaces to moduli spaces

In Segal's paper on Mapping Configuration spaces to moduli spaces, I'm not understanding what the map $\Phi$ is, explicitly. Also in section 2, he goes on to say $M_{g,2} \simeq BHomeo^{+}(F_{g,2}; \...
  • 149
4 votes
1 answer
124 views

moduli space of elliptic curves, $\mathbb{H}/SL(2,\mathbb{Z})$ or $\mathbb{H}/PSL(2,\mathbb{Z})$

I see some (most) people saying the moduli space of elliptic curves is $\mathcal{M}_{1,1}=\mathbb{H}/SL(2,\mathbb{Z})$ which is an ineffective orbifold. But it is also fine to forget the trivial ...
  • 405
10 votes
2 answers
471 views

When is $\operatorname{Spec} A^G \cong (\operatorname{Spec} A)/G$ true?

Let $G$ be a group acting on a ring $A$. I would like to know in which generality we know that $\operatorname{Spec} A^G \cong (\operatorname{Spec} A)/G$. Moreover, when this is true, it also holds for ...
  • 4,174
8 votes
2 answers
596 views

What does it mean for points of the modular curve $X(N)$ to be "defined over $\mathbb{F}_p$"?

I'm trying to study a collection of elliptic curves over some fixed finite field $\mathbb{F}_p$. By browsing the literature and discussing with my supervisor, it seems like it will be fruitful to ...
  • 1,227

1
2 3 4 5