Skip to main content

All Questions

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

Curve without infinitesimal automorphism has no deformation with automorphism

$\DeclareMathOperator\Spec{Spec}$From studying the classical literature on deformation theory, I have the impression that if the identity morphism of a curve $C$ over an algebraically closed field $k$ ...
Matthias's user avatar
  • 223
5 votes
1 answer
589 views

Tangent Space of the Hodge bundle on the moduli space of curves

Let $k$ be an algebraically closed field and $\mathcal M_g$ denote the moduli space (stack) of smooth curves of genus $g$ over $k$. Using the universal curve $\pi \colon \mathcal C_g \to \mathcal M_g$,...
Fabian Ruoff's user avatar
4 votes
1 answer
392 views

$Ext$-algebra of stable vector bundles

Let $X$ be a smooth projective variety over $\mathbb{C}$ and $E$ a slope-stable vector bundle on $X$ with regard to some ample line bundle $H$. Question: What can we say about the algebra structure of ...
Nico Berger's user avatar
1 vote
0 answers
210 views

Ex 1.1c Hartshorne Deformation Theory: Is this family flat?

This comes from 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$ ...
nolatos's user avatar
  • 161
1 vote
1 answer
291 views

Tangent space to spaces of maps

Let $B = \{x_1,\dots,x_{d-2},y_1,\dots,y_k\}$ be a subscheme of $d-2+k$ distinct points of $\mathbb{P}^1$, and $g:B\rightarrow \mathbb{P}^2$ be a morphism mapping $x_1,\dots,x_{d-2}$ to a fixed point $...
Puzzled's user avatar
  • 8,998
13 votes
3 answers
1k views

DGLA or $L_{\infty}$-algebra controlling the deformation of Einstein metrics and instantons

As proposed by Quillen, Drinfeld, and Deligne and other important mathematicians, there is supposed to be a philosophy that, at least over a field of characteristic zero, assigns to every "deformation ...
Bilateral's user avatar
  • 2,818
5 votes
1 answer
824 views

Coarse moduli space versus Kuranishi family

We will work over complex number field $\mathbb{C}$. Let $\mathscr{M}_h$ be the moduli functor for canonically polarized manifolds with $h$ the Hilbert polynomial. Let us denote by $M_h$ the coarse ...
Higgs-Boson's user avatar
2 votes
0 answers
169 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
22 votes
5 answers
3k views

Is a 'generic' variety nonsingular? Or singular?

I'd like to know whether there's some coherent meaning of 'generic' for which one can say that a 'generic' variety over an algebraically closed field $K$, say, is nonsingular or singular. We could ...
Saul Glasman's user avatar
  • 2,168
13 votes
5 answers
3k views

Deformations of semisimple Lie algebras

In the questions Is "semisimple" a dense condition among Lie algebras? and What is the Zariski closure of the space of semisimple Lie algebras?, something equivalent to the following is ...
ndkrempel's user avatar
  • 1,810
9 votes
1 answer
524 views

Degeneration of curves inside a family of surfaces

We are interested in understanding how a higher genus curve in a smooth surface of general type can degenerate into the non-normal locus of the limit of a degeneration of surfaces. More precisely: ...
Srks's user avatar
  • 379
9 votes
1 answer
1k views

Reference request: tangent space to moduli space of coherent sheaves is $\operatorname{Ext}^1(E, E)$

Is there a standard reference for the fact that, in an appropriate algebraic-geometrical context, the tangent space at the point $[E]$ to the moduli space $\mathcal M$ is something like $\operatorname{...
evgeny's user avatar
  • 1,980
2 votes
1 answer
197 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 ...
Chen's user avatar
  • 1,593
15 votes
1 answer
3k views

Kodaira-Spencer theory of deformation done right

I thought in asking this question on Math StackExchange, but by my experience I don' t think anyone will notice me. Recently, I started studying deformation of complex manifolds in the sense of ...
user40276's user avatar
  • 2,227
10 votes
2 answers
2k views

Tangent space of the stack $\overline{\mathcal{M}}_{g,n}(X,\beta)$.

Let $\overline{\mathcal{M}}_{g,n}(X,\beta)$ be the moduli stack of stable maps $f$ from genus $g$, $n$-marked curve $C$ to a variety $X$ i nth curve class $\beta \in H^2(X,\mathbb{Z})$. I would like ...
Zheng's user avatar
  • 101
4 votes
3 answers
779 views

Classification of first order deformations of n-pointed non-singular variety

Why is the set of first order deformations equal to $H^1(X,T_{X}(-p_1 -p_2 ... -p_k))$? And what is the motivation for studying this? (I know the proof for unpointed curves, which can be found in a ...
CC Lau's user avatar
  • 41
1 vote
1 answer
203 views

Assumption of genus at least $2$ for stable curves

In the article "The irreducibility of the space of curves of given genus" by Deligne, Mumford, the definition of stable curves start with the assumption that the genus is at least $2$. Why is this ...
user43198's user avatar
  • 1,981
4 votes
2 answers
1k views

Degeneration of projective curves

Given a projective curve $C$, is it possible that $C$ can degenerate into union of lines i.e., does there exist a family of curves $\pi:\mathcal{C} \to B$ such that $\pi^{-1}(0)=C$ and there exists $a ...
Naga Venkata's user avatar
  • 1,040
4 votes
1 answer
200 views

A moduli problem inspired by Stein factorization

Let $f:X \to Y$ be a proper, birational morphism with connected fibers, $X$ is non-singular and $Y$ is normal. Does there exist a moduli space parametrizing all invertible sheaves $\mathcal{L}$ on $X$ ...
Ron's user avatar
  • 2,126
4 votes
0 answers
254 views

Deformation space and Kodaira-Spencer map of cyclic Galois coverings

This question concerns a statement from the paper by Ben Moonen "Special subvarieties arising from families of cyclic covers of the projective line. Documenta Math. 15 (2010)", Lemma 5.5. ii). More ...
Darius Math's user avatar
  • 2,221
6 votes
1 answer
288 views

Deformation long exact sequence of GW theory in the analytical setting

Let $f\!=\!(u\colon (\Sigma,p_1,\ldots,p_k) \to X)$ be an element of the moduli space of genus $g$ $k$-marked degree $A$ $J$-holomorphic maps $\mathcal{M}_{g,k}(X,A,J)$. For simplicity assume $C=(\...
Mohammad Farajzadeh-Tehrani's user avatar
3 votes
0 answers
287 views

Restriction of a global moduli functor that admits a coarse moduli space

Let $F:(Sch/k)^{o}\to Sets$ be a functor, where $Sch/k$ is the category of schemes over a field $k$. Suppose that $F$ admits a coarse moduli space, let it be $M$. Consider a $k$-point $x\in M$ (which ...
bob's user avatar
  • 81
3 votes
1 answer
317 views

deformations of vector bundles on curves

Let $X$ be a smooth algebraic curve. Suppose I have a flat family $V_y\to X$ of vector bundles on $X$ over an affine scheme $S$. Let $p=Spec(k)$ be one geometric point of $S$. If the determinant of $...
IMeasy's user avatar
  • 3,779
11 votes
1 answer
930 views

Deformations of smooth projective hypersurfaces and the Jacobian ring

It is a well-known result of Griffiths that the pieces of Hodge filtration of a smooth hypersurface $X:= (f=0)$ of degree $d$ in $\mathbb{P}^{n}$ are isomorphic to graded pieces of the Jacobian ring ...
Jack's user avatar
  • 637
9 votes
0 answers
1k views

"A theory of generalized Donaldson-Thomas invariants" by Joyce & Song

Is anyone else working through this paper: A theory of generalized Donaldson-Thomas invariants, by Dominic Joyce, Yinan Song? I am trying to verifying example 6.2 (m=2 for simplicity) using only the ...
David Steinberg's user avatar
3 votes
1 answer
415 views

Singular locus of a Hilbert scheme

Consider the Hilbert scheme $H$ of conics in $\mathbb{P}^3$. It is easy to see that there exists a closed subscheme $H'$ of $H$ parametrizing $2$ lines intersecting at a point. This can be seen as the ...
Naga Venkata's user avatar
  • 1,040
0 votes
1 answer
1k views

base-point free linear system

Let $C$ be a reduced curve in a smooth degree $d$ ($d \ge 5$) surface in $\mathbb{P}^3$. Suppose $C=C_1 \cup ... \cup C_r$ with $C_i$ irreducible and $C_i^2<0$ for all $i$. Then is the linear ...
Naga Venkata's user avatar
  • 1,040
5 votes
2 answers
1k views

Versality in deformation theory vs. versality in moduli spaces

As I mentioned before, I'm a novice at deformation theory. I was wondering if the definition of versality in deformation theory is related to the versality in moduli spaces: Deformation theory "...
Randy Brown's user avatar
  • 1,386
8 votes
1 answer
730 views

on a Deformation long exact sequence of moduli space of stable maps

I am reading the book "mirror symmetry" by Hori,Katz,Klemm,etc. And I want to understand the following Deformation long exact sequence \begin{align} 0 & \to Aut(Σ, p_1, . . . , p_n, f)\to Aut(Σ, ...
Xiaobo Zhuang's user avatar
3 votes
1 answer
382 views

Deformation of space curves to union of lines

Does every irreducible component of a Hilbert scheme of curves in $\mathbb{P}^3$ contain a curve that is a union of lines (not necessarily reduced)? Furthermore, given a curve $C \subset \mathbb{P}^3$ ...
Naga Venkata's user avatar
  • 1,040
2 votes
1 answer
474 views

Deformations of pointed stable maps with "curve held rigid" or "preserving the dual graph"

I am reading the "Notes on stable maps and quantum cohomology" by Fulton and Pandharipande and I got stuck in the proof of the Theorem 2, p.27. The authors consider the space $Def(\mu)$ of first order ...
boxdot's user avatar
  • 203
1 vote
0 answers
99 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 $...
user38276's user avatar
  • 493
1 vote
1 answer
271 views

glueing flat families of objects over a blow-up

Hi Everybody, I stumbled upon the following question for families of vector bundles (over a curve) but I guess it could be interesting to answer in general. Suppose I have $B$ the blow-up of a ...
IMeasy's user avatar
  • 3,779
2 votes
2 answers
593 views

General degree $d$ surface in $\mathbb{P}^3$

Let $H_{d_1,g_1}, H_{d_2,g_2}$ be two Hilbert schemes of curves in $\mathbb{P}^3$ with degrees $d_1, d_2$ and genus $g_1, g_2$. Denote by $H:=H_{d_1,g_1}\times H_{d_2,g_2}$ where an element in $H$ is ...
Naga Venkata's user avatar
  • 1,040
3 votes
1 answer
359 views

When is the natural projection of the HIlbert flag scheme a flat morphism

Let ${Hilb_{P,Q}}_{red}$ be the reduced scheme associated to the Hilbert flag scheme parametrizing all pairs $(C,X)$ with $C \subset X \subset \mathbb{P}^3$, where $C$ is a curve and $X$ a degree $d$ ...
Naga Venkata's user avatar
  • 1,040
0 votes
0 answers
401 views

Normal sheaf of non-reduced locally complete intersection space curves

Let $C$ be a non-reduced locally complete intersection curve on a smooth degree $d$ surface in $\mathbb{P}^3$ (for example a non-reduced Cartier divisor). For simplicity we can assume that $d>deg(C)...
Naga Venkata's user avatar
  • 1,040
2 votes
1 answer
179 views

does there exist a family of objects over the tangent space to the base space of a family of objects?

Suppose we have a family of objects $\Xi \to S$ over a base smooth projective scheme $S$. Take a closed point $p\in S$ and consider the tangent space to $S$ at $p$. Can one construct an "induced ...
IMeasy's user avatar
  • 3,779
3 votes
0 answers
250 views

Smooth curve in the Hilbert flag scheme

Let $d$ be an integer greater than $0$. Let $P_2$ be the Hilbert polynomial of a degree $d$ surface in $\mathbb{P}^3$. Recall, the Hilbert flag scheme $\mathrm{Hilb}_{P_1,P_2}$ parametrizes curves $C$ ...
Naga Venkata's user avatar
  • 1,040
3 votes
0 answers
122 views

Family with a fixed special fiber over finite fields

Let $X$ be a smooth projective variety over a finite field $\mathbb{F}_p$. What are the conditions for the existence of a projective variety $X'$ over $\mathbb{Q}_p$ such that $X$ is a special fiber ...
Naga Venkata's user avatar
  • 1,040
0 votes
0 answers
164 views

Maximum number of generators of a curve in $\mathbb{P}^3$

Let $H_{d,g}$ denote the Hilbert scheme of curves of degree $d$ and genus $g$ locally of complete intersection in $\mathbb{P}^3$. Given a curve $C \in H_{d,g}$, denote by $S(C)$ a minimal set of ...
Naga Venkata's user avatar
  • 1,040