# Tagged Questions

Algebraic varieties with group operations given by morphisms, or group objects in the category of algebraic varieties, the category of algebraic schemes, or closely related categories.

4k 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, ...
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 ...
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 ...
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 ...
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$...
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 ...
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 ...
651 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 ...
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 ...
668 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 ...
200 views

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

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 ...
779 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-...
599 views

561 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 ...
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 ...
370 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 ...
532 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 ...
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 ...
308 views

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 ...
245 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 ...
330 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})$. ...
271 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 ...
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 ...
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 \$\...