The algebraic-groups tag has no wiki summary.

**19**

votes

**4**answers

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, ...

**3**

votes

**2**answers

341 views

### Hopf algebra of Chevalley group from the root system

Has anyone worked out a uniform way of constructing the Hopf algebra of a Chevalley group out of the root system (or, more precisely out of the root datum for reductive groups).
By "uniform", I mean ...

**25**

votes

**6**answers

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" ...

**19**

votes

**2**answers

714 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 ...

**9**

votes

**2**answers

1k views

### Explicit cocycle for the central extension of the algebraic loop group G(C((t))).

Let G be a simple Lie group and let G(ℂ((t))) be its loop group.
The Lie algebra g[[t]][t-1] has a well known central extension
(see e.g.
Wikipedia) given by the cocycle
c(f,g) = Res0 < f ...

**17**

votes

**8**answers

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

**1**answer

994 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 ...

**8**

votes

**5**answers

697 views

### Non-conjugate words with the same trace

Let n>=2, p a large prime, G = SL_n(Z/pZ).
If n=2, there are words that, while not conjugate in the free group, do have identical trace in G. For example, tr(g h^2 g^2 h)= tr(g^2 h^2 g h) for all g, ...

**5**

votes

**4**answers

1k views

### method of finding roots of polynominal equations with arithmetic operations and roots and other functions

Lets recall Platonic construction in plane geometry. It is impossible to square a circle using only ruler and callipers. But is also known that it is possible to do it with ruler which has a mark on ...

**12**

votes

**2**answers

293 views

### Do orbits and stable loci of group actions have natural scheme structures?

Suppose G is an algebraic group with an action G×X→X on a scheme. Then many of the usual constructions you make when you talk about group actions on sets can be made scheme-theoretically. ...

**7**

votes

**1**answer

434 views

### Uniform proof of dimension formula for minimal special nilpotent orbit?

Given a simple Lie algebra over an algebraically closed field of good characteristic such
as $\mathbb{C}$, its subvariety $\mathcal{N}$ of nilpotent elements has dimension $2N$ (where $N$ is the ...

**7**

votes

**1**answer

675 views

### Are automorphism groups of hypersurfaces reduced ?

In the following article : "H. Matsumura, P. Monsky, On the automorphisms of hypersurfaces, J. Math. Kyoto Univ. 3 (1964) 347-361", it is shown that in finite characteristic, automorphism groups of ...

**13**

votes

**1**answer

823 views

### What is the status of the Friedlander-Milnor conjecture today?

For the purposes of this question, the Friedlander-Milnor (FM) conjecture asserts an equality of the group homology for algebraic groups, and their discretizations in the following sense:
Conjecture ...

**10**

votes

**1**answer

771 views

### Are there “reasonable” criteria for existence/non-existence of Levi factors or their conjugacy in prime characteristic?

Classical theorems attributed to Levi, Mal'cev, Harish-Chandra for a finite
dimensional Lie algebra over a field of characteristic 0 state that it has a Levi decomposition (semisimple subalgebra plus ...

**7**

votes

**2**answers

214 views

### $G_\mathbb{Z}$-homotopy type of rational Tits building $\Delta_{G, \mathbb{Q}}$

Take $G$ to be a standard semisimple algebraic $\mathbb{Q}$-group, e.g. $Sp_{2g}$ or $SO(h)$ for $h$ a nondegenerate quadratic form over $\mathbb{Q}$. The arithmetic group $\Gamma=G_{\mathbb{Z}}$ has ...

**7**

votes

**2**answers

374 views

### Equivariant normalization?

Let $G=\mathrm{Gl}_n\mathbb C$ and let $X$ be an affine $G$-variety. Let $\phi:\tilde X\to X$ be the normalization of $X$, i.e. the spectrum of the integral closure of $\mathbb C[X]$ in its fraction ...

**6**

votes

**3**answers

1k views

### Whenever I read “centraliser of maximal split torus”, I think of…

Inspired by this question
I'd like to ask something more specific:
In the theory of connected reductive groups over fields, one often reads about the centraliser of a maximal split torus. Here is ...

**5**

votes

**1**answer

222 views

### Levi decomposition in disconnected linear algebraic group (characteristic 0)?

For algebraic groups or Lie groups, the subject of Levi decompositions tends to be surrounded by some mystery in the literature (and in an older question raised here). While I postpone further my ...

**3**

votes

**2**answers

248 views

### Simple representations of products of algebraic groups

I am looking for a reference for the following assertion that I believe to be true. All representations are assumed to be finite-dimensional.
Let $G_1$ and $G_2$ be affine algebraic group schemes ...

**9**

votes

**0**answers

433 views

### Should the Dynkin diagrams of types $A_1$ and $B_2$ be labelled $C_1$ and $C_2$?

The labels $A$--$G$ attached to connected Dynkin diagrams are of course arbitrary,
the result of historical accidents. In order to avoid repetitions, the four infinite
families $A_\ell, B_\ell, ...

**5**

votes

**2**answers

473 views

### Failure of Jacobson Morozov in positive characteristics

The Jacobson-Morozov theorem that any nilpotent $e$ in the lie algebra of a simple algebraic group $G$ can be embedded in an $sl_2$-triple, has a restriction (in terms of the coxeter number) on the ...

**2**

votes

**0**answers

176 views

### Chevalley groups over $k[t]/t^n$

This question is motivated partly by a recent question on Chevalley groups over arbitrary commutative rings (and see also this older question). The answers to that question point to a large and ...

**2**

votes

**1**answer

181 views

### On the $F$-rational points of the derived group of a connected reductive algebraic group

Let $F$ be a local non-archimedean field and let $G$ be a connected reductive algebraic group defined over $F$. Let $G_{der}$ denote the algebraic derived group of $G$; this is connected and ...

**2**

votes

**1**answer

448 views

### Heisenberg group in characteristic two

I have seen two constructions called the Heisenberg group. If $k$ is a field of characteristic not equal to $2$ and $V$ is a $2n$-dimensional vector space over $k$ with symplectic form $\omega : V ...

**1**

vote

**2**answers

333 views

### Abstract Commensurator Group of $\mathbb{Z}^n$ $Comm(\mathbb{Z}^n)\cong GL(n,\mathbb{Q})$?

Hello! In a paper I read that $\mathrm{Comm}(\mathbb{Z}^n)\cong \mathrm{GL}(n,\mathbb{Q})$. Why is that true? How can I find an isomorphism of this groups?
I know that ...