The Steinberg Representation
2026TheorySean Cotner
An introduction to the Steinberg representation of a finite group of Lie type — its alternating-sum construction from parabolic inductions, worked out explicitly for SL_2.
0
270
Search results for “finite groups of Lie type”
26 results
Some examples of algebraic groups
2026TheorySean Cotner
Two pathological phenomena for algebraic groups over general bases — a group degenerating between the multiplicative and additive group across a DVR, and a non-affine identity component — built as centralizers in SL_n.
0
180
An example of a non-reduced Picard scheme
2026TheorySean Cotner
An example, due to Serre, of a smooth projective surface in positive characteristic whose Picard scheme fails to be reduced, worked out via the two governing dimension inequalities.
1
170
Finite flat commutative group schemes embed locally into abelian schemes
2026TheorySean Cotner
A proof of Raynaud's theorem: every finite flat commutative group scheme over a locally noetherian base embeds, Zariski-locally, as a closed subgroup of an abelian scheme.
1
150
The torsion component of the Picard scheme
2026OtherBogdan Zavyalov
Every finite flat commutative group scheme over a noetherian local ring is the torsion component of the Picard scheme of a smooth projective scheme with 3-dimensional fibers, built as a quotient of a complete intersection. An application: Hodge numbers that jump in a smooth projective family.
1
500
CMI 2000, The Millennium Prize Problems
2026Problem sheet
The Millennium Meeting, Paris, 24 May 2000, at which the seven problems were announced.
0
360
A curiosity: “supersmooth” varieties
2026TheorySean Cotner
A rigidity condition on schemes, strictly stronger than smoothness, introduced with examples and a look at where it fails to be geometric — no known application, just a curiosity.
1
120
Fun example: empty colimit does not commute with empty limit
2026NotesBogdan Zavyalov
Why the definition of a filtered category insists on non-emptiness: the empty colimit fails to commute with the empty limit, and that is the only failure.
0
310