The tag has no wiki summary.

learn more… | top users | synonyms

48
votes
9answers
4k views

What are “classical groups”?

Unlike many other terms in mathematics which have a universally understood meaning (for instance, "group"), the term classical group seems to have a fuzzier definition. Apparently it originates with ...
34
votes
2answers
1k views

What algebraic group does Tannaka-Krein reconstruct when fed the category of modules of a non-algebraic Lie algebra?

Let $\mathfrak g$ be a finite-dimensional Lie algebra over $\mathbb C$, and let $\mathfrak g \text{-rep}$ be its category of finite-dimensional modules. Then $\mathfrak g\text{-rep}$ comes equipped ...
34
votes
3answers
2k views

What to do now that Lusztig's and James' conjectures have been shown to be false?

Lusztig and James provided conjectures for dimensions of simple modules (or decomposition numbers) for algebraic groups and symmetric groups in characteristic $p$. These conjectures have been ...
30
votes
5answers
2k views

Beautiful descriptions of exceptional groups

I'm curious about the beautiful descriptions of exceptional simple complex Lie groups and algebras (and maybe their compact forms). By beautiful I mean: simple (not complicated - it means that we need ...
30
votes
3answers
3k views

Origin of terms “flag”, “flag manifold”, “flag variety”?

These terms have become common in Lie theory and related algebraic geometry and combinatorics, as seen in many questions posted on MO, but it's unclear to me where they first came into use. Probably ...
30
votes
1answer
859 views

Is the group of integer points on a finite-type group scheme over Z finitely presented?

Let $G$ be a group scheme of finite type over $\mathbf{Z}$. Must $G(\mathbf{Z})$ be finitely presented? (The question is inspired by a not yet successful attempt to answer a question of Brian ...
25
votes
6answers
2k views

Is an algebraic space group always a scheme?

Suppose G is a group object in the category of algebraic spaces (over a field, if you like, or even over ℂ if you really want). Is G necessarily a scheme? My feeling is that the answer is "yes" ...
23
votes
5answers
2k views

Deformation theory of representations of an algebraic group

For an algebraic group G and a representation V, I think it's a standard result (but I don't have a reference) that the obstruction to deforming V as a representation of G is an element of ...
21
votes
6answers
3k views

A slick proof of the Bruhat Decomposition for GL_n(k)?

On one of my exams last year, we were given a problem (we chose five or six out of eight problems) on an exam, the goal of which was to prove the Bruhat decomposition for $GL_n(k)$. I was one of the ...
21
votes
1answer
865 views

What does the Tannakian formalism reconstruct when fed the category of chain complexes?

I've recently realized that there is a gap in my understanding of the Tannakian formalism for reconstructing an (algebraic) group from its category of (finite-dimensional) representations. To warm ...
20
votes
2answers
2k views

Why are Tamagawa numbers equal to Pic/Sha?

For a connected algebraic group $G$ over a global field $K$ with adeles $A$, the Tamagawa number of $G$ is the volume of $G(A)/G(K)$. It is conjectured (and often known) to be rational, namely the ...
19
votes
3answers
2k views

What is the difference between PSL_2 and PGL_2?

Let $K$ be a field and $G:=SL_2(K)$, then $G$ is a $K-$split reductive group (to use some big words). These groups are classified by a based root datum $(X,D,X',D')$. Let $G'$ be group associated to ...
19
votes
3answers
943 views

Is SL(2,C)/SL(2,Z) a quasi-projective variety?

Consider the complex 3-fold $SL(2,\mathbb C)/SL(2,\mathbb Z)$ (just for clarity: note that $SL(2,\mathbb Z)$ acts without stabilizers, so this is a complex manifold, not a complex orbifold). Is ...
18
votes
4answers
2k views

Is strong approximation difficult?

Recently a colleague and I needed to use the fact that the natural map $SL_2(\mathbb{Z}) \rightarrow SL_2(\mathbb{Z}/N\mathbb{Z})$ is surjective for each $N$. I happily chugged my way through an ...
18
votes
4answers
3k views

Tannakian Formalism

The Tannakian formalism says you can recover a complex algebraic group from its category of finite dimensional representations, the tensor structure, and the forgetful functor to Vect. Intuitively, ...
18
votes
4answers
3k views

Is there a “universal group object”? (answered: yes!)

I want to say that a group object in a category (e.g. a discrete group, topological group, algebraic group...) is the image under a product-preserving functor of the "group object diagram", $D$. One ...
18
votes
2answers
682 views

Definition of “finite group of Lie type”?

The list of finite simple groups of Lie type has been understood for half a century, modulo some differences in notation (and identifications between some of the very small groups coming from ...
18
votes
4answers
1k views

algebraic group G vs. algebraic stack BG

I've gathered that it's "common knowledge" (at least among people who think about such things) that studying a (smooth) algebraic group G, as an algebraic group, is in some sense the same as studying ...
17
votes
8answers
2k views

Is every finite-dimensional Lie algebra the Lie algebra of an algebraic group?

Harold Williams, Pablo Solis, and I were chatting and the following question came up. In Lie group land (where you're doing differential geometry), given a finite-dimensional Lie algebra g, you can ...
17
votes
3answers
1k views

Why is this not an algebraic space?

This question is related to the following question which I've just seen which was posted by Anton. His question is whether a algebraic space which is a group object is necessarily a group scheme, and ...
17
votes
3answers
561 views

Spin group as an automorphism group

Consider the real algebraic group $SO(p,q)$, this is the automorphism group of the vector space $\mathbb{R}^n$ of dimension $n=p+q$ over $\mathbb{R}$, endowed with the diagonal quadratic form with ...
17
votes
1answer
973 views

Example of non-projective variety with non-semisimple Frobenius action on etale cohomology?

This question was motivated by a more general question raised by Jan Weidner here. In general one starts with a variety $X$ (say smooth) over an algebraic closure of a finite field $\mathbb{F}_q$ of ...
16
votes
7answers
2k views

Shuffle Hopf algebra: how to prove its properties in a slick way?

Let $k$ be a commutative ring with $1$, and let $V$ be a $k$-module. Let $TV$ be the $k$-module $\bigoplus\limits_{n\in\mathbb N}V^{\otimes n}$, where all tensor products are over $k$. We define a ...
16
votes
3answers
357 views

Real Lie groups versus real linear algebraic groups: differences in connexity and fundamental group

There are many introductory texts on real Lie groups, and many on linear algebraic groups in general, but fewer on the specific case of linear algebraic groups over the reals, and even fewer that try ...
16
votes
1answer
806 views

Hopf Algebra Reference

I was talking this morning to a colleague who thinks about combinatorial Hopf algebras. He mentioned several rings, which are of interest in combinatorics, for which he didn't know whether a Hopf ...
15
votes
3answers
952 views

Small index subgroups of SL(3,Z)

I would like to know the smallest index subgroups of SL(3,Z). The smallest I could find has even entries $a_{3,1}$ and $a_{3,2}$, along the bottom row. I could not figure out whether there are ...
15
votes
3answers
2k views

Do semisimple algebraic groups always have faithful irreducible representations?

For simplicity, I will be talking only about connected groups over an algebraically closed field of characteristic zero. The basic theorem of affine algebraic groups is that they all admit faithful, ...
15
votes
0answers
396 views

Actions on ℍⁿ generated by torsion elements

Let $n$ be a large integer. I am looking for a cocompact properly discontinuous isometric action on $n$-dimensional Lobachevky space which is generated by elements of finite order. Or equivalently, ...
14
votes
3answers
2k views

A reference for geometric class field theory?

The classic reference of this topic is Serre's Algebraic Groups and Class Fields. However, many parts of this book use Weil's language, which I find quite hard to follow. Is there another reference ...
13
votes
5answers
1k views

Comparing algebraic group orbits over big and small algebraically closed fields

For an affine algebraic group $G$ it's often convenient (and harmless) to work concretely over an algebraically closed field of definition $k$ while identifying $G$ with its group of rational points ...
13
votes
0answers
276 views

p-groups as rational points of unipotent groups

Is it true that every finite p-group can be realized as the group of rational points over $\mathbb{F_p}$ of some connected unipotent algebraic group defined over $\mathbb{F_p}$? For abelian p-groups, ...
13
votes
0answers
506 views

How much has been written down about Deligne's geometric approach to the order formula for a finite group of Lie type?

This is a follow-up to a recent mathoverflow question 34387 about computing the orders of finite unitary groups and the comments made there. Between 1955 (Chevalley's Tohoku paper) and 1968 ...
12
votes
3answers
528 views

Constructing a degeneration (as a group scheme) of G_m to G_a

SGA 3, expose 12, remark 1.6 says that one can easily construct a group scheme over a discrete valuation ring with generic fiber Gm and special fiber Ga. What is such an example?
12
votes
3answers
1k views

Questions about the Bernstein center of a $p$-adic reductive group

Dear all, The "Bernstein center" of a $p$-adic reductive group appears frequently in the literature of automorphic forms, often without a precise definition. For example, in page 233 of ...
12
votes
3answers
572 views

Does every reductive group scheme admit a maximal torus?

A theorem of Grothendieck states that any smooth reductive algebraic group over a field $k$ admits a maximal torus over $k$. My question concerns what happens for schemes. Let $S$ be a scheme and ...
12
votes
1answer
1k views

isomorphism of abelian varieties

Let $A, B, C$ and $D$ be abelian varieties (over $\mathbb{C}$) such that $A \times B \cong C \times D$, and $A \cong C$. From the irreducibility of abelian varieties, we can say that $B$ and $D$ are ...
12
votes
6answers
1k views

What is an algebraic group over a noncommutative ring?

Let $R$ be a (noncommutative) ring. (For me, the words "ring" and "algebra" are isomorphic, and all rings are associative with unit, and usually noncommutative.) Then I think I know what "linear ...
12
votes
1answer
585 views

Lie groups vs. algebraic groups and deformations

I am interested in deformations of (discrete subgroups of) Lie groups. But, as I understand it, deformation theory, as a theory, prefers to speak schemes. At least the classical Lie groups can be ...
12
votes
2answers
688 views

Suzuki and Ree groups, from the algebraic group standpoint

The Suzuki and Ree groups are usually treated at the level of points. For example, if $F$ is a perfect field of characteristic $3$, then the Chevalley group $G_2(F)$ has an unusual automorphism of ...
12
votes
6answers
1k views

How do I stop worrying about root systems and decomposition theorems (for reductive groups)?

I apologize for this being a very very vague question. Just as personal experience, I never feel that I fully grasped the theory of root systems in Lie algebras and Lie/algebraic groups (I shall ...
12
votes
1answer
530 views

automorphisms of fat points

Let $k$ be an algebraically closed field. I am looking for an easily quotable description of automorphism groups of $\mathrm{Spec} k[x]/(x^n)$. I could compute explicit matrix representations for ...
12
votes
2answers
733 views

Can a reductive group act non-linearly on a vector group?

Let $k$ be a field; I'm going to discuss linear algebraic groups over $k$. The question I'll pose is only interesting when the characteristic is $p>0$. 1. Some motivation A vector group is an ...
12
votes
1answer
2k views

Grothendieck-Messing theory for finite flat group schemes

Classical Grothendieck-Messing theory relates deformations of $p$-divisible groups to lifts of the Hodge filtration (if the ideal defining the nilpotent immersion is equipped with a PD-structure). If ...
12
votes
0answers
226 views

Which p-adic algebraic groups are type I?

It was proved by Jacques Dixmier (Sur les représentations unitaires des groupes de Lie algébriques, Annales de l'institut Fourier, 7 (1957), p. 315-328, doi: 10.5802/aif.73, MR 20 #5820 , Zbl ...
11
votes
3answers
2k views

The algebraic fundamental group of a reductive algebraic group

For a connected reductive algebraic group $G$ over a field $k$, other than the \'etale fundamental group of $G$ (regarded just as a scheme), there seems to be another notion, usually called the ...
11
votes
2answers
441 views

Can Hom_gp(G,H) fail to be representable for affine algebraic groups?

Let $G$ and $H$ be affine algebraic groups over a scheme $S$ of characteristic 0 and let $\textbf{Hom}_{S,gp}(G,H)$ be the functor $T \mapsto \text{Hom}\_{T,gp}(G,H)$ Theorem (SGA 3, expose XXIV, ...
11
votes
2answers
447 views

reductive group orbits in P(V)?

Say $G$ is a reductive group over $\mathbb{C}$. We can take a dominant highest weight $\lambda$ and look at the action of $G$ on $X = \mathbb{P} V(\lambda)$. The stabilizer of the class of the ...
11
votes
3answers
698 views

Diagonalizable subgroups of a connected linear algebraic group

Let $G$ be a connected linear algebraic group over an algebraically closed field $k$ of characteristic 0. Let $D\subset G$ be a closed diagonalizable subgroup of $G$ (a subgroup of multiplicative ...
11
votes
7answers
2k views

Quotients of Schemes by Free Group Actions

I've often seen people in seminars justify the existence of a quotient of a scheme by an algebraic group by remarking that the group action is free. However, I'm pretty sure they are also invoking ...
11
votes
3answers
2k views

Iwasawa Decomposition

Does anyone know where I can find a proof of the Iwasawa decomposition for reductive groups? I know that there are a couple of related results that are called the Iwasawa decomposition, but I am ...