# Tagged Questions

The tag has no usage guidance.

5k views

### Intuition about the cotangent complex?

Does anyone have an answer to the question "What does the cotangent complex measure?" Algebraic intuitions (like "homology measures how far a sequence is from being exact") are as welcome as ...
3k views

### Deformation theory of representations of an algebraic group

For an algebraic group G and a representation V, I think it's a standard result (but I don't have a reference) that the obstruction to deforming V as a representation of G is an element of H2(G,V&...
5k views

### Deformation theory and differential graded Lie algebras

There is supposed to be a philosophy that, at least over a field of characteristic zero, every "deformation problem" is somehow "governed" or "controlled" by a differential graded Lie algebra. See for ...
3k views

### What is a deformation of a category?

I have several naive and possibly stupid questions about deformations of categories. I hope that someone can at least point me to some appropriate references. What is a deformation of a (linear, dg, ...
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 ...
937 views

### Strict applications of deformation theory in which to dip one's toe

I hesitate to ask a question like this, but I really have tried finding answers to this question on my own and seemed to come up short. I readily admit this is due to my ignorance of algebraic ...
1k views

### algebraic group G vs. algebraic stack BG

I've gathered that it's "common knowledge" (at least among people who think about such things) that studying a (smooth) algebraic group G, as an algebraic group, is in some sense the same as studying ...
2k views

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

### Les deux théorèmes d'existence en théorie formelle des modules

In Exposé 195 of the Séminaire Bourbaki, Grothendieck states the following two theorems of non-flat descent. Theorem 1. Let $\Lambda$ be a noetherian ring and $C$ the category of $\Lambda$-...
373 views

### Unobstructedness of braided deformations of symmetric monoidal categories in higher category theory

Let $k$ be a field of characteristic zero, and $\mathcal{C}$ be a $k$-linear additive symmetric monoidal category. A braided deformation of $\mathcal{C}$ over a local artin ring $R$ with residue ...
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 ...
731 views

### Lie groups vs. algebraic groups and deformations

I am interested in deformations of (discrete subgroups of) Lie groups. But, as I understand it, deformation theory, as a theory, prefers to speak schemes. At least the classical Lie groups can be ...
1k views

540 views

### When does the categorical definition of a module work?

$\DeclareMathOperator{\ab}{Ab}\DeclareMathOperator{\qcoh}{QCoh}$ This entry in the nlab shows that for $A$ a (commutative unital) ring, the category $\mathsf{Mod}_A$ of $A$-modules is equivalent to ...
562 views

### What is the universal deformation of the formal additive group $\widehat{\mathbb{G}}_a$ over $\mathbb{F}_p$?

Lubin and Tate show in their paper Formal moduli for one-parameter formal Lie groups that for any formal group over a field $k$ of characteristic $p>0$ with height $h<\infty$, the functor of ...