Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 6856

for questions about deformation theory, including deformations of manifolds, schemes, Galois representations, and von Neumann algebras.

2 votes
1 answer
432 views

Representability of deformation functors via SGA

I'm trying to understand Böckle's proof of Theorem 2.1.1 in his notes on deformation theory. Let's start with some motivation. Let $\Gamma$ be a profinite group (I'm thinking of an absolute Galois g …
7 votes

Infinitesimal deformations of the formal group of $\mathbb{G}_m$

This isn't a complete answer, but I think the general case is subtle. If $R\supset\mathbf{Q}$ is (pro-)artinian, then [SGA 3, VIIB 3.2] tells us that formal groups over $R$ are uniquely determined b …
Daniel Miller's user avatar
1 vote
Accepted

Representability of deformation functors via SGA

It turns out that the only thing Böckle is using is the smoothness of $\widehat{\mathrm{PGL}}_d$. I claim that the following more general result is true. Suppose $R\rightrightarrows X$ is an equi …
Daniel Miller's user avatar
8 votes
2 answers
965 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 th …