Lie Algebra of Group Scheme - MathOverflow

Lie Algebra of Group Scheme

2011-10-23T11:28:59Z

Given a group scheme $X$ over $S$, where $S$ is an arbitrary locally noetherian scheme, then how does one define the Lie algebra of $X$? And how does it behave with respect to base change?

Is there any good reference for the theory of group schemes apart from Demazure/Gabriel's book about Algebraic Groups?

All of the treatings I have encountered only care about affine schemes, often over a base field. Where can I find a more general exposition?

Answer by Julien Puydt for Lie Algebra of Group Scheme

2011-10-23T14:05:28Z

I think you'll find quite J.S. Milne's Algebraic Groups, Lie Groups, and their Arithmetic Subgroups course notes pretty informative.

There are also a discussion of group schemes in the book I'm currently reading ; Bosch, Lütkebohmert and Raynaud's "Néron models", but it's not the main topic.

I'm pretty certain Mumford discusses group schemes in his "Abelian varieties", but I'm not sure on what base.

Answer by Qfwfq for Lie Algebra of Group Scheme

2011-10-23T16:49:53Z

For affine group schemes you can have a look to Introduction to affine group schemes by Waterhouse. The approach is by functor-of-points, and derivations and associated Lie algebra are also discussed.

Answer by Yosemite Sam for Lie Algebra of Group Scheme

2011-10-23T23:10:05Z

the book by sancho de salas 'grupos algebraicos y theoria de invariantes' seems to work in enough generality.

Answer by S. Carnahan for Lie Algebra of Group Scheme

2011-10-24T00:37:52Z

To elaborate on a comment by ulrich: SGA3 Exp. 2, section 4 treats Lie algebras of arbitrary group-valued functors over an arbitrary scheme (no locally noetherian hypothesis). I'm not sure what results you want with respect to base change, but most will follow straightforwardly from some combination of Definition 1.1 and Proposition 3.4.