Sp_{2n}

Sp_{2n}
Name	Sp_{2n}
Type	Classical group
Field	Real numbers, Complex numbers, Finite fields
Related	SO_{2n}, GL_{n}, SL_{n}, U_{n}

Sp_{2n}

Sp_{2n} is the compactly denoted symplectic group of rank n appearing in the classification of classical Lie groups; it plays central roles in the theories of Élie Cartan, Hermann Weyl, Sophus Lie, André Weil and Claude Chevalley. The group arises naturally in the study of bilinear forms, algebraic geometry, number theory, and mathematical physics, and it interacts with structures studied by Évariste Galois, Alexander Grothendieck, John von Neumann, Paul Dirac, and Edward Witten.

Definition and basic properties

Sp_{2n} is defined as the group preserving a nondegenerate alternating bilinear form on a 2n-dimensional vector space; this definition connects to constructions used by Wilhelm Killing, Cartan, Weyl, David Hilbert and Emmy Noether. Over the complex numbers it is a connected simple algebraic group of type C_n in the Cartan–Killing classification developed by Élie Cartan and Hermann Weyl, while over finite fields it gives rise to families studied by Claude Chevalley and Robert Steinberg. The center, fundamental group, and real forms of Sp_{2n} are important in the work of Harish-Chandra, Langlands, Armand Borel and Jacques Tits.

Matrix realizations and symplectic form

A standard matrix model for Sp_{2n} uses the 2n×2n matrix J with block form familiar from treatments by James Joseph Sylvester and Arthur Cayley; matrices g satisfying g^T J g = J form Sp_{2n}(F) over a field F, paralleling constructions in Augustin-Louis Cauchy and Carl Gustav Jacob Jacobi. This presentation is central to explicit computations in the contexts of William Rowan Hamilton's work on quaternions, the Möbius group analogies explored by Felix Klein, and symplectic techniques used by André Weil in harmonic analysis. The matrix realization interacts with classical results of Frobenius and Noether on invariants and with the geometric perspectives of Aleksandr Lyapunov and Vladimir Arnold.

Lie algebra and root system

The Lie algebra sp_{2n} has a root system of type C_n studied by Élie Cartan and elaborated in the work of Hermann Weyl, Nicolas Bourbaki, Armand Borel and Robert Steinberg. Simple roots, coroots, and the Dynkin diagram C_n appear in classifications used by Harish-Chandra, Igor Frenkel, Victor Kac and George Lusztig. The Killing form and Cartan subalgebras of sp_{2n} figure in representation-theoretic frameworks developed by Harish-Chandra, Gelfand, I. M. Gelfand, Paul Erdős (in combinatorial contexts), and Bernard Malgrange in deformation theory.

Representation theory

Finite-dimensional irreducible representations of Sp_{2n} are highest-weight modules classified via weight lattices and dominant weights; this approach follows paradigms set by Hermann Weyl, Élie Cartan, Harish-Chandra and Armand Borel. Symplectic representations enter the study of theta correspondences of André Weil and Roger Howe, and they are crucial in the formulation of automorphic correspondences framed by Robert Langlands, James Arthur, Gérard Laumon and Jean-Pierre Serre. Characters, tensor product rules, and branching laws relate to combinatorial tools developed by Richard Stanley, William Fulton, Roger Howe and I. G. Macdonald.

Subgroups and flag varieties

Standard subgroups include Levi factors, parabolic subgroups and maximal tori as in the theories of Jacques Tits, Armand Borel, George Lusztig and Robert Steinberg. Symplectic flag varieties and isotropic Grassmannians associated with Sp_{2n} are studied in algebraic geometry by Alexander Grothendieck, Jean-Pierre Serre, David Mumford, Pierre Deligne and Shing-Tung Yau; they provide moduli spaces appearing in work of Alexander Beilinson, Yves Laszlo and Ngô Bảo Châu. Schubert calculus on these varieties connects to enumerative results of Hermann Schubert, representation-theoretic formulas of William Fulton and geometric representation theory of George Lusztig.

Applications and examples

Sp_{2n} appears in classical mechanics through canonical transformations in treatments by Joseph Louis Lagrange, Pierre-Simon Laplace, William Rowan Hamilton and Vladimir Arnold; it also underlies quantization frameworks used by Paul Dirac, John von Neumann and André Weil. In number theory and automorphic forms, Sp_{2n} underpins Siegel modular forms studied by Carl Ludwig Siegel, Igor Shafarevich, Goro Shimura and Don Zagier and is central to Langlands program instances investigated by Robert Langlands, Michael Harris and Richard Taylor. In mathematical physics Sp_{2n} symmetry emerges in gauge theory work by Edward Witten, string-theoretic contexts explored by Cumrun Vafa, and integrable systems studied by Lax and Flaschka.

Category:Classical groups