**23**

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

**19**

votes

**2**answers

3k views

### When is fiber dimension upper semi-continuous?

Suppose $f\colon X \to Y $ is a morphism of schemes. We can define a function on the topological space $Y$ by sending $y\in Y$ to the dimension of the fiber of $f$ over $y$.
When is this function ...

**15**

votes

**3**answers

1k views

### Simple Tamagawa number calculations

As is well known, Euler proved the Basel identity $\displaystyle\sum\limits_{i=0}^{\infty} \frac{1}{n^2} = \frac{{\pi}^2}{6}$. By far the most illuminating explanation of this fact that I've seen is ...

**23**

votes

**2**answers

2k 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 ...

**21**

votes

**4**answers

1k views

### Hasse principle for rational times square

Does a Hasse principle hold for the property of being a rational times a square ?
Let $a \in \mathbb{K}$ be an element of a number field. Assume that at every place $\mathbb{K}_v$ of $\mathbb{K}$, $a$...

**6**

votes

**4**answers

2k 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 ...

**17**

votes

**1**answer

2k 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 ...

**9**

votes

**1**answer

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

**3**

votes

**2**answers

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

**7**

votes

**3**answers

662 views

### homomorphism into reductive groups

Let $k$ be an algebraically closed field with char($k$)$= p > 0$.
Let $P$ be a finite $p$-group. For any homomorphism
$\rho : P \rightarrow GL(n,k)$ we know that the image $im(\rho)$ can be
put ...

**8**

votes

**1**answer

197 views

### Algebraic points of uniformly bounded degree on an algebraic variety

Let $k$ be a perfect field, and let $\bar k$ be a fixed algebraic closure of $k$.
Let $\overline{X}$ be a nonempty smooth algebraic variety over $\bar k$.
Does there exist a natural number $d=d(\...

**4**

votes

**1**answer

243 views

### About the conjugation of semi-simple subgroups

Let $G$ be a semi-simple algebraic group over $\mathbb{Q}$, I would like to find an integer $d>0$ only depending on $G$ with the following property. For any two semi-simple $\mathbb{Q}$-subgroups $...

**4**

votes

**2**answers

223 views

### A finiteness property for semi-simple algebraic groups

Let $G$ be a semi-simple algebraic group over a field $K$, I am considering a question about whether there exists a finite set of semi-simple $K$-subgroups, say $H_1,...,H_r$, such that for any semi-...

**23**

votes

**3**answers

3k 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 $(...

**38**

votes

**3**answers

3k 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 ...

**17**

votes

**7**answers

3k 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 ...

**12**

votes

**3**answers

2k views

### Relation between Hecke Operator and Hecke Algebra

In the study of number theory (and in other branches of mathematics) presence of Hecke Algebra and Hecke Operator is very prominent.
One of the many ways to define the Hecke Operator $T(p)$ is in ...

**26**

votes

**8**answers

3k 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 ...

**29**

votes

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

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

**11**

votes

**2**answers

925 views

### How Does a Borel Subgroup Know Which Weights Are Dominant

Let $G$ be a simple group (say $SL_n$) and let $B$ be a Borel subgroup (say upper triangular matrices). Then all irreducible representations of $G$ are induced from one-dimensional representations of $...

**19**

votes

**1**answer

1k 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 ...

**9**

votes

**2**answers

761 views

### Examples of non-split algebraic groups

I am interested in knowing various examples of non-split (added hypothesis reductive) reductive linear algebraic groups. In particular, I would like to collect the following examples in my counter-...

**16**

votes

**0**answers

598 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, C_\...

**14**

votes

**1**answer

352 views

### Does the ring $R = \mathbb{Z}[X^{\pm1}]$ of Laurent polynomials over $\mathbb{Z}$ satisfy $SL_2(R) = E_2(R)$?

Let $R = \mathbb{Z}[X^{\pm1}]$ be the ring of Laurent polynomials on one indeterminate over $\mathbb{Z}$. Let $E_2(R)$ be the subgroup of $GL_2(R)$ generated by the matrices that differ from the ...

**12**

votes

**2**answers

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

**10**

votes

**1**answer

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

**8**

votes

**1**answer

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

**8**

votes

**2**answers

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

**6**

votes

**1**answer

608 views

### Chopping up Dynkin diagrams

Suppose I have a simple, simply connected (linear) algebraic group $\mathcal{G}$ over an algebraically-closed field $k$, which could have any characteristic. In fact, to keep things simple, let's ...

**6**

votes

**0**answers

283 views

### What is miraculous about the mirabolic subgroup?

I recently asked this question about Euler subgroups and generalizing the automorphic theory of $\mathrm{GL}_n$ to a more general setting. My question here is more specific.
As mentioned there, the ...

**9**

votes

**3**answers

907 views

### How do I describe the GL_n torsor attached to a smooth morphism of relative dimension n?

Edit: It seems I had two different constructions mixed up in my head, namely the frame torsor and the automorphism bundle of a vector bundle. This made the main question a bit confusing. The first ...

**7**

votes

**2**answers

459 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

**2**answers

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

**5**

votes

**1**answer

276 views

### line bundle descends?

Let the permutation group $S_4$ act on $\mathbb C^4$ by permuting the coordinates. Consider the categorical quotient $\mathbb P(\mathbb C^4)/S_4$. It is a projective variety by a theorem of Mumford. ...

**5**

votes

**1**answer

250 views

### Intersections of $B$ and $B^-$ orbits in the flag variety $G/B$

Let $G = SL_n(\mathbb{C})$, $B$ be a Borel subgroup, and $B^-$ be the opposite Borel.
Both the $B$ and $B^-$ orbits on the flag variety $G/B$ are indexed by the Weyl group $W$. Let $S_{w_1}$ and $S^-...

**3**

votes

**1**answer

555 views

### Group Cohomology for Reductive Groups

Can anyone provide a reference to proofs of statements of the following type: The higher algebric group cohomology of a reductive group $G$ over $\mathbb{C}$ vanishes.
I am interested not just in ...

**11**

votes

**0**answers

368 views

### Can an abelian variety/Q have no non-trivial points over Q_sol?

Let $A/\mathbb{Q}$ be an abelian variety. Must there be a finite solvable
extension $K/\mathbb{Q}$ such that $A(K)$ is nontrivial?
This follows from the conjecture that the maximal (pro-)solvable ...

**11**

votes

**2**answers

1k views

### Why are $S$-arithmetic groups interesting?

Let $K$ be a number field and $S$ a finite set of valuations of $K$, including $\infty$.
Define the $S$-numbers $K_S$ to be the direct product $\prod_{s \in S} K_s$ where $K_s$ denotes the completion ...

**7**

votes

**1**answer

525 views

### Is every reductive group scheme etale locally trivial?

Let $S$ be a scheme over a field $k$, and let $G$ be a reductive group scheme over $S$. Let us call it trivial, if it is a pull-back of a group scheme over $k$ via the structure morphism $S\to k$. Is ...

**6**

votes

**3**answers

2k 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 ...

**3**

votes

**2**answers

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

**3**

votes

**1**answer

567 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 \...

**3**

votes

**2**answers

308 views

### Representations of complex semi-simple algebraic group “defined over $\mathbf{Z}$”?

If $G$ is a split semisimple linear algebraic group over $\mathrm{Spec}(\mathbf{Z})$ then does every (algebraic) irrep of $G_{\mathbf{C}}$ extend to a morphism $G\to\mathrm{GL}_n$ over $\mathrm{Spec}(\...

**1**

vote

**1**answer

244 views

### Zariski-closed subgroups of ${\mathbf G}_{\mathbf a}^n$

Let's work over an algebraically closed field $K$. A $1$-dimensional Zariski-closed connected subgroup of ${\mathbf G}_{\mathbf a}^n$ is isomorphic to ${\mathbf G}_{\mathbf a}^1$. If $K$ has ...

**6**

votes

**0**answers

329 views

### Real approximation for homogeneous spaces of linear algebraic groups

Let $X$ be a smooth geometrically integral variety over $\mathbf{Q}$, having a $\mathbf{Q}$-point.
We say that $X$ has the real approximation property if $X(\mathbf{Q})$ is dense in $X(\mathbf{R})$.
...

**4**

votes

**1**answer

268 views

### Structure of abelian connected complex linear algebraic groups?

Let $G$ be an abelian connected complex linear algebraic group.
Is it true that $G$ is isomorphic to $(\mathbb{G}_m)^k\times (\mathbb{G}_a)^\ell$, where the nonnegative exponents denote repeated ...

**3**

votes

**2**answers

359 views

### Suslin's Stability Theorem for Chevalley Groups

I am looking for a version of Suslin's Stability Theorem for Chevalley groups.
The version of the theorem for $G=SL_n({\mathbb Z}[x_1, \dots , x_m])$ states that the if $n\ge m+2$, the elementary ...

**3**

votes

**2**answers

309 views

### Specialisations of flag varieties

Recall that a flag variety over a field $k$ is a smooth projective variety over $k$, which is a homogeneous space for some linear algebraic group.
My question concerns specialisations of flag ...

**3**

votes

**0**answers

112 views

### uniqueness of quotients of principal congruence subgroups

For each $n \geq 2$, is $\Gamma(2^{n})$ the unique normal subgroup of $\Gamma(2)$ with quotient isomorphic to $\Gamma(2) / \Gamma(2^{n})$ (here we are talking about principal congruence subgroups of $\...