# Tagged Questions

The deformation-theory tag has no wiki summary.

**4**

votes

**2**answers

336 views

### $H^1$ of the pull back of the tangent bundle.

If $C$ is a smooth elliptic curve and $f: C \to \mathbb P^n$, then
$H^1(C,f^*T_{\mathbb P^n}) = 0.$ How do I prove this? The implication is that map
from $C$ to $\mathbb P^n$ is unobstructed.

**18**

votes

**4**answers

1k views

### A matrix algebra has no deformations?

I have often heard the slogan that "a matrix algebra has no deformations," and I am trying to understand precisely what that means. While I would be happy with more general statements about ...

**5**

votes

**1**answer

508 views

### Why are people interested in Cohen-Macaulay of codimension 2?

In deformation theory, Cohen-Macaulay in codimension 2 is the first to be considered in higher order deformation. Does Cohen-Macaulay in codim. 2 have some good property to work with? Does it somehow ...

**3**

votes

**5**answers

292 views

### Reference Request: Deformations of a map bijective to global sections of the pullback of the tangent sheaf

I have been trying to learn some deformation theory, and came across the following in a paper:
The first order deformations of a morphism of smooth curves $f:X\rightarrow Y$ is in bijection with ...

**16**

votes

**1**answer

1k views

### Accumulation of algebraic subvarieties: Near one subvariety there are many others (?), 3

Part 3 of this series of questions. In the meantime, I realized that there is some very simple question that was left open in Accumulation of algebraic subvarieties: Near one subvariety there are many ...

**5**

votes

**2**answers

668 views

### About Kodaira's book on deformations

I happened to read the following sentence in the blog by the physicist Jacques Distler:
"What makes Kodaira’s Complex Manifolds and Deformation of Complex Structures such a delight to read is that ...

**3**

votes

**1**answer

411 views

### Algebra Deformations and Maurer-Cartan elements

Hello to all,
If $(A,\mu)$ is an algebra, it is very well known that set of deformations mod equivalence is isomorphic to the of Maurer-Cartan set of the DG Lie algebra of the hochschild cocomplex ...

**2**

votes

**2**answers

558 views

### Tamarkin-Tsygan Formalism

Hello to all.
There is a well-known formalism in deformation-quantization which puts the algebraic structure of polyvector fields in a noncommutative setting. Tamarkin-Tsygan define a (pre)calculus ...

**5**

votes

**1**answer

683 views

### A simple proof of the Weyl algebra's rigidity.

I am wondering if there is a nice presentation of the Hochschild cohomology of $A_n$ the Weyl algebra. It is known that $H^m(A_n,A_n)=0$ for $m>0$, and thus it is rigid. A proof can be found in ...

**1**

vote

**1**answer

561 views

### Galois Cohomology maps

Let $\bar{\rho}$ be a residual ordinary and locally split galois representation associated to a weight $k$ level $1$ form (more specifically a mod $p$ companion form). In the sense of deformation ...

**13**

votes

**2**answers

1k views

### obstruction theories in algebraic geometry

I'd like to know about the history of obstruction theories in algebraic geometry, as well as the relationship with concepts of the same name in topology. I would also like to know where obstruction ...

**10**

votes

**1**answer

735 views

### Accumulation of algebraic subvarieties: Near one subvariety there are many others (?), 2

This is a sequel to the question Accumulation of algebraic subvarieties: Near one subvariety there are many others (?) .
Let $Y$ be some projective variety, over $\mathbb{C}$. Let $X\subset Y$ be ...

**21**

votes

**2**answers

2k views

### Accumulation of algebraic subvarieties: Near one subvariety there are many others (?)

Let's work over the field $\mathbb{C}$ of complex numbers, and let $X\subset \mathbb{P}^n$ be a projective variety. Let $\tilde{X}\subset \mathbb{P}^n$ be any small open neighborhood of $X$, in the ...

**7**

votes

**3**answers

853 views

### In the dictionary between Poisson and Quantum, what corresponds to Coisotropic?

I work entirely over a field of characteristic $0$, in case it matters.
Recall that a Poisson algebra is a commutative algebra $A$ with a bracket $\lbrace,\rbrace : A^{\wedge 2} \to A$ which is (1) a ...

**16**

votes

**2**answers

675 views

### What is an explicit example of a variety X which is finite over Spec F_p but which does not lift to a scheme Y which is finite and flat over Spec Z_p?

What is an explicit example of a variety X which is finite over Spec F_p but which does not lift to a scheme Y which is finite and flat over Spec Z_p?

**6**

votes

**2**answers

809 views

### Relationship between Hilbert schemes and deformation spaces

Hi, I'm just starting to learn about deformation theory (via Hartshorne's Deformation theory, as well as Fantechi's section of FGA explained), and I feel like I'm confused about fundamental concepts. ...

**9**

votes

**1**answer

379 views

### Reverse Engineering to find deformation problem (from cohomology groups)?

One of my favorite explanation of the cohomology groups of low degree is that they arise as the automorphism group, tangent space and obstruction space (or where the obstruction lives) of a certain ...

**10**

votes

**0**answers

440 views

### Deformations of some simple quotient stacks.

I am interested in stacks of vector bundles on varieties and how deformations of the variety (including non-commutative ones) reflect themselves in deformations of the stack of vector bundles.
I will ...

**10**

votes

**1**answer

883 views

### Kontsevich's formality theorem from an explicit homotopy

Suppose that $X$ is a smooth manifold, whose $C^{\infty}$-functions we denote by $A$. Let $D_{poly}^*(A):=\bigoplus_{n\geq -1}Hom(A^{\otimes n+1},A)$ be the Lie algebra of polydifferential operators ...

**4**

votes

**1**answer

331 views

### Extension of a first order deformation of a sheaf

Given a coherent and torsion free sheaf $F$ on a smooth projective scheme $S$.
Then we have a bijection between $Ext^1_S(F,F)$ and deformations of $F$ over $k[\epsilon]$, $\epsilon^2=0$.
Assume all ...

**8**

votes

**1**answer

883 views

### About the Serre-Tate theorem

It is somehow a general principle that the (infinitesimal) local behavior of a representable moduli functor $X$ at some point $x$ is closely related to the deformation problem of the structure ...

**6**

votes

**1**answer

478 views

### Extension of the formality theorem?

The following question came up in a discussion the other day and I have been wondering whether something is known about it. Everything below takes place over $\mathbb{C}$. I don't have the expertise ...

**6**

votes

**1**answer

461 views

### “Twisted” universal enveloping algebra?

Let $\mathfrak{g}$ be a $k$-Lie algebra, and $Q: \bigwedge^2 \mathfrak{g}^* \rightarrow k$; define $U_Q(\mathfrak{g})$ to be the quotient of the full tensor algebra over $\mathfrak{g}$ by the ideal ...

**5**

votes

**3**answers

1k views

### Differential Hochschild Cohomology, general tools?

Background: in deformation quantization one wants to construct formal associative deformations (the star products $\star$) of the algebra of smooth complex-valued functions on a Poisson manifold $M$ ...

**9**

votes

**2**answers

425 views

### Geometric meaning of small extensions ?

Let $(A,\mathfrak{m}_A)$ be a local Artinian $k$-algebra with residue field $k$. Then the scheme $\mathrm{Spec}(A)$ can be loosely seen as a "fat point", or an "infinitesimal neighbourhood" of a point ...

**5**

votes

**1**answer

438 views

### How does Schlessinger's criterion sit with Grothendieck Existence (aka GFGA)?

Grothendieck Existence, which I imagine is the less well known result among the two, states the following:
Let $A$ be a noetherian ring that is complete w.r.t. a proper ideal $I$. Let $V$ be a proper ...

**6**

votes

**1**answer

370 views

### Looking for a particular family of C.Y quintics

It is possible to construct (in many ways) a family of Calabi-Yau quintics $\mathcal{X}\rightarrow \Delta$, over disk, such that the fiber over $0$ has a singularities locally given by the equation ...

**2**

votes

**0**answers

109 views

### Measuring the obstruction of extending a cover

Let $E$ be a 1-dimensional integral scheme (if you need to assume more, do so). Let $\hat{E}$ be $Spec$ of the completion of a stalk of $E$ at some closed point (think for example ...

**10**

votes

**3**answers

960 views

### Deformation theory over the field of algebraic numbers

Let $X_0$ be a smooth projective variety over $\mathbb{C}$ and let $\Theta_{X_0}$ be the locally free sheaf of $O_{X_0}$-module corresponding to tangent space of $X_0$.
Goal: To find a sufficient ...

**7**

votes

**2**answers

919 views

### Deformation theory of co-$A_\infty$ structures.

The following question is related to my previous post on co-$A_\infty$ spaces (co-$A_\infty$ spaces), but goes in a somewhat different direction.
Some Background:
In trying to classify $A_\infty$ ...

**2**

votes

**0**answers

700 views

### deformation of abelian varieties

$k$ is a field of characteristic p, $C_k$ is the category of all artinian local rings with residue field an extension of $k$. $A$ is a dim-$g$ abelian variety over $k$, $L$ is a CM field with ...

**2**

votes

**0**answers

267 views

### Are schematic fixed points of a torus action on an affinized twistor deformation flat?

This is a follow-up to some earlier questions about flatness of schematic fixed points of certain deformations. Since I could never come up with good enough hypotheses in those examples, let me try a ...

**6**

votes

**1**answer

244 views

### Words in two infinitismal rotations

I asked this as subquestion in a comment pursuant to my Banach-Tarski
question. I think it is worth promoting here to a question in its own right.
Consider these two matrices over ${\Bbb ...

**8**

votes

**1**answer

680 views

### Is the generic deformation of a symplectic variety affine?

Kaledin and Verbitsky have shown that symplectic varities have a remarkably nice deformation theory as symplectic varieties.
Let $X$ be a symplectic variety (a smooth quasi-projective variety over ...

**4**

votes

**2**answers

327 views

### “un-nil-ifying” ideals via deformation

This is perhaps a naïve question; given an irreducible scheme $X$, is there a general procedure to find a flat family $Y \to T$ such that over some point $t_0$ we have $Y \times_T {t_0} \cong X$ but ...

**12**

votes

**5**answers

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

**15**

votes

**2**answers

3k views

### Kontsevich's conjectures on the Grothendieck-Teichmüller group?

Reading Kontsevich's "Operads and Motives in Deformation Quantization", I was wondering about the state of the many conjectures concerning the Grothendieck-Teichmüller group in chapter 4. (Also, where ...

**7**

votes

**0**answers

641 views

### Innovations in deformation theory

I've been trying to get into deformation theory lately, and I became thirsty for a bit of context.
Has Deformation Theory seen a lot of development since its inception? If I read Michael Artin's ...

**2**

votes

**0**answers

603 views

### A versal deformation of a simple node

I have a passing familiarity with moduli theory, which gets me in trouble when I want to understand specific examples.
The basic question I would like to understand is how to prove something is a ...

**7**

votes

**2**answers

645 views

### Deformations of hypersurfaces

Suppose I have a smooth hypersurface $X$ in $\mathbb{P}^n$ which is invariant under a (say finite) group $G$ of projective transformations. What can be said about the action of $G$ on the deformation ...

**4**

votes

**1**answer

324 views

### Maurer-Cartan and representable functors on differential graded commutative algebras

Let $\mathfrak{g}$ be a differential graded Lie algebra on a charcteristic zero field, whose underlying chain complex is bounded below and degreewise finite dimensional. Then $\mathfrak{g}$ defines a ...

**12**

votes

**1**answer

2k views

### Grothendieck-Messing theory for finite flat group schemes

Classical Grothendieck-Messing theory relates deformations of $p$-divisible groups to lifts of the Hodge filtration (if the ideal defining the nilpotent immersion is equipped with a PD-structure). If ...

**8**

votes

**5**answers

1k views

### Deformations and the dual numbers

The question I have is pretty straightforward, and its answer could very well be contained in some more complicated question(s) asked previously. Here it is:
Why are deformations typically ...

**8**

votes

**1**answer

827 views

### “Spec” of graded rings?

From the discussion here, it seems that general Hochschild cohomology classes correspond to deformations where the deformation parameter can have nonzero degree.
So I have some naive and maybe stupid ...

**3**

votes

**1**answer

621 views

### Variation of the Albanese map

Let $S$ be an irregular surface of general type over $\mathbb{C}$ and $a \colon S \to A:=\textrm{Alb}(S)$ be its Albanese map. Let Def($S$) and Def($A$) be the bases of the Kuranishi family of $S$ and ...

**0**

votes

**1**answer

541 views

### algebraic geometry and complex geometry in dimension 2

Even if in dimension 2, complex structure is equivalent to algebraic structure for surfacs, but when studying deformation theory or moduli theory for surface, they are different, for example, the ...

**3**

votes

**3**answers

1k views

### Hochschild cohomology and A-infinity deformations

When we are dealing with ordinary things or dg things (where thing = algebra or category), I think I understand how HH^2 corresponds to 1st order deformations and HH^3 corresponds to obstructions.
...

**9**

votes

**1**answer

466 views

### Are periods of rigid Calabi-Yau threefolds over $Q$ algebraic?

Let $X$ be a (smooth) compact complex manifold, and suppose that $H^1(X, \Theta_X) = 0$, where $\Theta_X$ is the tangent sheaf. In other words, suppose that $X$ is rigid.
Suppose moreover that $X$ ...

**0**

votes

**0**answers

750 views

### Formal deformation theory

I found the following argument in more than one article:
Let $X_0$ be a complex space and define the functor $F:Art \to Sets$ s.t. $F(A)=\{\text{Isomorphism classes of deformations of X_0 over A}\}$.
...

**0**

votes

**1**answer

326 views

### Locally free modules

Consider M a locally free $\mathcal{O}_{\mathbb{C}^{n}}$-module. does exist a theory of deformation for that type of object? I would like to know, which conditions has to satisfy the total space of a ...