Lie algebras of algebraic groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T10:19:38Z http://mathoverflow.net/feeds/question/63939 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/63939/lie-algebras-of-algebraic-groups Lie algebras of algebraic groups Ana 2011-05-04T18:54:41Z 2011-05-05T16:49:33Z <p>Where can i find material about the definition of the exponential morphism from the Lie algebra of an algebraic affine group to the group?</p> http://mathoverflow.net/questions/63939/lie-algebras-of-algebraic-groups/63960#63960 Answer by Jim Humphreys for Lie algebras of algebraic groups Jim Humphreys 2011-05-05T00:11:35Z 2011-05-05T12:54:25Z <p>In the classical theory of Lie groups and Lie algebras, the exponential map defined in terms of the usual power series is a standard tool for passing from the Lie algebra to the group. This makes sense for matrix groups over the real and complex fields because the series converges when evaluated at a square matrix, etc. When Chevalley set out to write a six-volume series of books on Lie-type groups over more general fields of characteristic 0, he adapted the classical theory to algebraic matrix groups by working with <em>formal power series</em> in one or more indeterminates, which allowed him to construct "generic points" in an algebraic group starting from its Lie algebra. This was in the spirit of algebraic geometry as studied at the time. Following his 1940s Princeton volume (in English) on Lie groups, he wrote only two more volumes (in French) before abandoning the project in favor of a study of algebraic groups over arbitrary algebraically closed fields based more on Borel's early work. </p> <p>As far as I know, the only systematic attempt to use such formal exponential methods for the study of linear algebraic groups (in characteristic 0) was the second volume by Chevalley, <em>Groupes algebriques</em> (Hermann, Paris, 1951). His third volume was devoted essentially to Lie algebras. [Chevalley's characteristic 0 methods also appear in Chapter 4 of Hochschild's eclectic introductory text <em>Basic Theory of Algebraic Groups and Lie Algebras</em> (Springer, 1981). Hochschild presents an array of algebraic tools but these don't carry the theory very far in the direction of the structure and classification of semisimple groups in arbitrary characteristic.]</p> <p>Over fields of characteristic <code>\$p&gt;0\$</code> it's also possible to make some use of the exponential power series, but only when applied to "nilpotent" elements of a restricted Lie algebra (also called Lie <code>\$p\$</code>-algebra) satisfying <code>\$x^{[p]}=0\$</code>. Such Lie algebras arise from linear algebraic groups, since the <code>\$p\$</code>-th power of a derivation is again a derivation. This technique continues to be useful in specialized questions involving nilpotent elements, although Chevalley's 1950s approach in characteristic 0 has been bypassed in favor of more powerful geometric techniques. </p> http://mathoverflow.net/questions/63939/lie-algebras-of-algebraic-groups/64023#64023 Answer by Victor Petrov for Lie algebras of algebraic groups Victor Petrov 2011-05-05T16:49:33Z 2011-05-05T16:49:33Z <p>Could be that Takeuchi's approach from "A hyperalgebraic proof of the isomorphism and isogeny theorems for reductive groups" is what you want. Steinberg in his lecture notes uses a slightly modified version of it (he doesn't mention any Hopf-theoretic stuff, though).</p>