# Tagged Questions

The tag has no usage guidance.

278 views

### Deformation theory with a view toward GW theory and DT theory

I am studying GW theory (and DT theory) in algebraic geometry. I now understand the heuristic "Aut, Def, Obs" argument written in Mirror Symmetry book (by Hori et al.), but it is too hard for me to ...
488 views

### Grothendieck-Messing theory

Hello, I would like to work out some examples of deformation of isogenies via Grothendieck-Messing theory. Let's take an easy example: Let A be an abelian variety over $k=\overline{\mathbb{F}_p}$ and ...
234 views

### linear system of non-reduced divisor and associated reduced divisors

Let $X$ be a smooth degree $d$ $(d \ge 5)$ surface in $\mathbb{P}^3$. Let $D$ be an effective Cartier divisor (hence locally of complete intersection) on $X$ and $D_{red}$ the associated reduced ...
354 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(Σ, ...
248 views

### The proof of unobstructedness of deformations for curves

I am reading Illusie's lecture notes "topics in algebraic geometry", and I have difficulty in following his proof of unobstructedness of deformation of curves. Here is the statement of the proposition:...
264 views

### Hilbert function of a Hilbert scheme

Given a Hilbert scheme $H$ of curves in $\mathbb{P}^3$ satisfying certain Hilbert polynomial, is there any way of understanding the degree or arithmetic genus of an irreducible component of the ...
574 views

### Higgs mechanism from a deformation quantization point of view

Is it possible to describe the Higgs mechanism from a deformation quantization point of view? How would one do it? Are there aspects of the Higgs mechanism and Higgs particle which one may see clearer ...
546 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 ...
313 views

### Hilbert scheme of curves in a degree $d$ surface in $\mathbb{P}^3$

Fix a Hilbert polynomial $P$ of a non-plane curve in $\mathbb{P}^3$. By a curve we mean a reduced scheme of pure dimension $1$ i.e., it can be reducible but is reduced. Suppose that the degree of ...
230 views

### Deformation of modules over noncommutaitve rings

Let $M$ be a finitely generated module over a commutative ring $R$. The first order deformation of module $M$ is parametrized by $Ext^{1}(M,M)$ and the obstruction is parametrized by $Ext^{2}(M,M)$. ...
152 views

### Deformation of Noether's first theorem

Noether's first variational theorem establishes a correspondence between symmetries and invariants. I would like to know what has been written on the following question: How do the invariants deform ...
313 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$ ...
125 views

### Rational equivalence and Hilbert flag scheme

Given a smooth surface $X \subset \mathbb{P}^3$ if we have two curves $C_1, C_2$ that are rationally equivalent is it true that both $(C_1,X)$ and $(C_2,X)$ will be in the same irreducible component ...
916 views

### How to define the equivalence of Maurer-Cartan elements in an $L_{\infty}$-algebra?

First let $L^{\bullet}$ be a pro-nilpotent differential graded Lie algebra (dgla). We have the set of Maurer-Cartan elements in $L^{\bullet}$ ($MC(L^{\bullet})$) which are $\alpha \in L^1$ such that ...
172 views

### dimension of spaces of rational curves in a variety!

Do you know calculate the dimension of the space of rational curves of degree m, through d given points, contained in some projective variety?
151 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 ...
248 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$ ...
309 views

### triangle group representation

Let $G_{\alpha,\beta,\gamma}$ be a hyperbolic triangle group. Then $G$ has a following presentation. $G=\langle a, b; a^{\alpha}, b^{\beta}, c^{\gamma}, abc\rangle, \alpha, \beta, \gamma \geq 2$. ...
308 views

### T^i functors are isomorphic for analytically isomorphic isolated singular points

I've been having trouble proving the following: Let $B$ and $B'$ be local rings, essentially of finite type over $k$, having isolated singularities at the closed points. Suppose that they are ...
301 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 ...
348 views

### Infinitesimal rigidity vs. local rigidity

I am thinking about homomorphisms $\mathrm{Hom}(\Gamma,G)$, where $G$ is a Lie group and $\Gamma$ is a discrete, finitely generated subgroup. This question talked about the difference of ...
288 views

689 views

### Examples of nice reduced singularities on Hilbert schemes--Edited

In his "Murphy's Law" paper, Vakil showed that every "singularity type" (with a precise meaning) occurs on certain Hilbert schemes; for instance, the Hilbert scheme of nonsingular curves in projective ...
406 views

### T^1 functors and Ext^1 in deformation theory

Why are the first-order deformations of a scheme $X$ over a field $k$ given by $Ext^1_{\mathcal O_X}(\Omega_X,\mathcal O_X)$, where here I mean the Ext group? Furthermore, for an integral affine ...
471 views

### Hodge numbers of a Calabi-Yau 3-fold via deformation theory

In their paper "Calabi-Yau 3-folds and Moduli of Abelian Surfaces I", Gross and Popescu calculate the hodge numbers of smooth CY 3-folds obtained in the following way (see Remark 4.11 of their paper): ...
414 views

### Irreducible components of the Hilbert scheme

Let $P_1, P_2, Q$ denote the Hilbert scheme of a plane conic in $\mathbb{P}^3$, a quartic and a degree $d$ surface in $\mathbb{P}^3$. Then there is a natural inclusion map $i$ from Hilbert flag scheme ...
2k views

### Almost Complex Structure approach to Deformation of Compact Complex Manifolds

I don't know much about the deformation of compact complex manifolds, I've only read chapter 6 of Huybrechts' book Complex Geometry: An Introduction. There are two parts to this chapter. The second ...
492 views

### Lattices in algebraic geometry

In Chriss and Ginzburg's Complex Geometry and Representation Theory, they define a lattice in the following setting: let $A$ be a ring (I guess I only care about the case that $A$ is a commutative ...
243 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 ...
477 views

### Has the cotangent complex been used in context other than morphism of schemes?

Here is what I know about the history of the cotangent complex: Quillen did it over a point (i.e. for morphism of rings), Illusie did it in a topos (i.e. for sheaves of rings in a topos). And proved ...
522 views

### what can be reached by flat degeneration of (globally) complete intersection?

Let $X\subset\mathbb{P}^n$ be a (globally) complete intersection, let $(X_t)_{t\in\mathbb{C}^1}$ be a flat family, with $X_1=X$. Which types of schemes can we get as $X_0$? Or, conversely, which (...
767 views