The algebraic-groups tag has no wiki summary.

**-1**

votes

**0**answers

74 views

### Compact elements of $\mathrm{GL}_n(F)$, where $F$ is a nonarchimedean local field

Let $F$ be a nonarchimedean local field and let $\mathcal{O}$ be its ring of integers. An element $g$ of $\mathrm{GL}_n(F)$ is called compact if the cyclic subgroup that it generates has compact ...

**0**

votes

**0**answers

63 views

### Maximal subgroups of indefinite special orthogonal group SO(p,q)

Can someone answer the following question:
Is there any classification of maximal proper Zariski-closed real subgroups of $SO(p,q)$ which are not parabolic, and satisfy the following conditions:
...

**0**

votes

**1**answer

44 views

### Reference for finite number of Weyl groups of reductive groups of rank $r$

I'm posting this question on behalf of someone without access to mathoverflow:
Can anybody give me a reliable reference (not a proof) to the following statement?
Up to isomorphism, there are only ...

**4**

votes

**0**answers

158 views

### Tannaka categories and reductive groups

The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple.
Pro-reductive groups make sense over any scheme.
Is there an extension of the theory ...

**2**

votes

**0**answers

95 views

### quasi-split algebraic group [migrated]

While reading papers, there usually an assumption "quasi-split" for reductive algebraic groups. To use their results I need to know which groups are quasi-split. For the case I am interested in ...

**9**

votes

**3**answers

283 views

### Maximal compact subgroup of p-adic lie groups

Let $k$ be a number field and $S$ be a finite set of places of $k$.
Let $G$ be a connected semisimple algebraic group over $k$.
Let $k_S=\prod_{v\in S}k_v$
where $k_v$ is the completion of $k$ at $v$. ...

**4**

votes

**1**answer

135 views

### Pulling back quasi-coherent sheaves from a quotient stack

In a problem I am trying to solve, the following situation occurs. $X$ is a smooth variety and $G$ is a reductive group acting transitively on $X$. We have the stack $X/G$ and a morphism $\pi : X \to ...

**6**

votes

**1**answer

232 views

### An inequality on representations and subgroups of general linear groups over finite field

Let $q$ be a power of $p$, let $l$ be a prime different from $p$, and let $H_1$ and $H_2$ be two subgroups of $GL_n(\mathbb F_q)$ that are $l$-groups.
If for all characteristic $0$ representations ...

**10**

votes

**2**answers

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

**2**

votes

**2**answers

175 views

### Openness of finite index subgroups of $\mathrm{GL}_n(\prod O_v)$

Let $K$ be a global field and set $O := \prod_{v\nmid \infty} O_v$ where $v$ runs over the finite places of $K$. Equip $\mathrm{GL}_n(O) = \prod_v \mathrm{GL}_n(O_v)$ with the product of the $v$-adic ...

**3**

votes

**1**answer

118 views

### Compactness of adelic quotients for unipotent groups over global fields

Let $K$ be a global field, $\mathbb{A}_K$ the ring of adeles, and $U$ a unipotent algebraic group over $K$. Why is $U(\mathbb{A}_K)/U(K)$, when endowed with the quotient topology, compact?

**7**

votes

**1**answer

928 views

### An interesting double coset in the theory of automorphic forms

Does anyone have some idea to describe the double coset $P(F)\backslash G(F)/H(F)$ , say using Weyl group elements ? Here $G=GL_n\times GL_{n-1}$ is defined over a number field $F$ , $H=GL_{n-1}$ ...

**-1**

votes

**0**answers

54 views

### Complex conjugation of positive roots [migrated]

I have a simple question about root systems. Suppose that $G$ is a connected reductive group over the reals $\mathbb{R}$, and $T\subset G$ is a maximal torus (by this I mean that $T_{\mathbb{C}}$ is a ...

**4**

votes

**2**answers

368 views

### Are linear algebraic groups rigid?

The underlying variety of a linear elgebraic group (say, over an algebraically closed field) is affine, so doesn't have nontrivial (infinitesimal) deformations. I'm curious to know whether it's ...

**2**

votes

**1**answer

127 views

### surjective homomorphism with compact kernel (Milne's note on Shimura varieties)

I'm reading Milne's Introduction to Shimura varieties (http://www.jmilne.org/math/xnotes/svi.pdf) and there is something I don't get.
Let $G$ be a connected semisimple algebraic group $G$ over ...

**0**

votes

**0**answers

39 views

### Examples of inner forms [migrated]

Let $G$ and $G′$ be two linear algebraic groups over a field $F$. From what I understand, $G$ is called an inner form of $G′$ if $G$ and $G′$ are isomorphic over a the (or an?) algebraic closure of ...

**4**

votes

**2**answers

118 views

### Invariant planes of a nilpotent matrix with two Jordan blocks of size two

Describe all the invariant 2-dimensional subspaces of $\mathbb{C}^4$ (or $\mathbb{R}^4$) of the nilpotent map
$$
N = \begin{pmatrix}
0 & 1 & & \\
0 & 0 & & \\
& & 0 ...

**2**

votes

**1**answer

89 views

### Characteristic polynomials of reductive subgroup over C

Can any one provide a hint to prove the following statement? :
Let $H$ be a complex reductive subgroup (not necessarily connected) contained in $SO(n,\mathbb{C)})$. Consider the map $H \rightarrow ...

**3**

votes

**0**answers

103 views

### Non-linearly isomorphic non-equivalent $G-$representations?

Let $G$ be an algebraic group (or a group scheme) over a field $\Bbbk$, and let $V$ be an algebraic $G-$representation (I mean, corresponding to a homomorphism of $\Bbbk-$group schemes $G\rightarrow ...

**2**

votes

**0**answers

118 views

### Can the commuting condition in Jordan-Chevalley decomposition be replaced with this global criterion?

Let $G$ be a reductive linear algebraic group defined over an algebraically closed field $k$ of arbitrary characteristic, and write $\mathfrak{g}$ for its Lie algebra.
The Jordan-Chevalley ...

**1**

vote

**0**answers

82 views

### Symmetric spaces which are compact modulo the unipotent radical are compact

Is the following true?
Let $X = G/H$ be a symmetric space of a reductive group over a p-adic field $F$.
Let $X^0$ be an open orbit w.r.t. the action of the minimal parabolic $B$ of $G$.
Let $U$ be ...

**0**

votes

**0**answers

91 views

### Parahoric group schemes over curves

Let $X$ be a smooth projective curve over $\mathbb{C}$ and Let $G$
be a complex reductive group. By a parahoric group scheme $\mathcal{G}$
over $X$, I mean a smooth group scheme over $X$ whose ...

**1**

vote

**1**answer

76 views

### Global centralizers in Jordan-Chevalley decomposition in bad characteristic

Let $G$ be an affine algebraic group defined over an algebraically closed field $k$ of arbitrary characteristic, and write $\mathfrak{g}$ for its Lie algebra. Given $X\in\mathfrak{g}$, it has ...

**10**

votes

**1**answer

339 views

### The Mordell and Bogomolov problems in linear groups

Many things in the arithmetic of abelian varieties have counterparts not only in linear tori, but also for semisimple linear groups. Two examples are the Tamagawa number and the conjectured finiteness ...

**3**

votes

**1**answer

75 views

### Density of $\Gamma(N)$ in $\mathrm{Sp}_{2g}(\mathbb{Z}_{\ell})$ where $\ell \not | N$

Let $\mathrm{Sp}_{2g}$ denote the symplectic group of $2g \times 2g$ matrices for some $g \geq 1$, and let $\Gamma(N)$ be the level-$N$ principal congruence subgroup of $\mathrm{Sp}_{2g}(\mathbb{Z})$. ...

**2**

votes

**2**answers

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

**7**

votes

**1**answer

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

**13**

votes

**1**answer

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

**4**

votes

**0**answers

132 views

### Is a semiabelian algebraic space a scheme?

Let $S$ be a scheme and let $A$ be a commutative separated smooth $S$-group algebraic space of finite presentation each of whose geometric fibers is an extension of an abelian variety by a torus. Is ...

**2**

votes

**0**answers

90 views

### $X$-points of reductive group schemes, if $X$ is a proper smooth curve over a finite field

Let $X$ be a connected proper smooth curve over a finite field (so the generic point of $X$ is the spectrum of a global field $K$), and let $G \rightarrow X$ be an affine $X$-group scheme of finite ...

**6**

votes

**1**answer

218 views

### Generalization of Frobenius groups

Frobenius group is a transitive permutation group on a finite set, such that no non-trivial element fixes more than one point and some non-trivial element fixes a point.
In other words, if in a ...

**4**

votes

**1**answer

174 views

### Automorphisms of SO_n(k,f)

Let $k$ be a field, $n\in\mathbb{N}$ and $f:k^n\times k^n\to k$ a non-degenerate symmetric bilinear form. Let
$$O_n(k,f):=\{ g\in GL_n(k) \mid \forall x,y\in k^n : f(x,y)=f(g.x,g.y) \}$$
and
...

**0**

votes

**3**answers

124 views

### How do I show that a separable isogeny is central?

I've been trying to prove this (probably very simple) result that is stated in a paper that I'm reading:
Let $G$ and $H$ be connected semisimple algebraic groups defined over a field $F$, and let $f: ...

**1**

vote

**0**answers

303 views

### Rational structures on the flag variety over a finite field

Some Notions
A variety over a field is defined to be a scheme of finite type over this field.
An $\mathbb{F}_q$-rational structure of an $\bar{\mathbb{F}}_q$-variety $V$ is a $\mathbb{F}_q$-variety ...

**2**

votes

**0**answers

57 views

### Springer Isomorphisms for Adjoint Simple Exceptional Groups

I'm trying to understand explicitly a construction of Springer isomorphisms for adjoint exceptional groups given by Bardsley and Richardson. Their construction is as follows. Let $G$ be an adjoint ...

**4**

votes

**3**answers

699 views

### Splitting of a division algebra with an involution of second kind

Let $k$ be a field, $K/k$ a separable quadratic extension,
and $D/K$ a central division algebra of dimension $r^2$ over $K$
with an involution $\sigma$ of second kind
(i.e. $\sigma$ acts non-trivially ...

**6**

votes

**3**answers

412 views

### Does a lisse $\ell$-adic sheaf give rise to an affine group scheme?

Let $k$ be a finitely generated field, $\ell$ a prime different from the characteristic of $k$, $S$ a $k$-variety, and $\mathcal{V}$ a lisse $\ell$-adic sheaf on $S$. Fix an algebraic closure ...

**8**

votes

**1**answer

254 views

### Known norm varieties and the Bloch-Kato conjecture

The Bloch-Kato conjecture states that
$K_M^n(k)/l \simeq H^n(k,\mu^{\otimes n}_l)$ for every $n,l$,while $l$ is invertible in $k$.
A important part in the proof of the Bloch-Kato conjecture is to ...

**1**

vote

**0**answers

73 views

### What is classified by $H^1(\mathbb{R},SO(p,q))$ and by $H^1(\mathbb{R},SU(p,q))$?

We denote by $F^{\mathbb{R}}_{p,q}$ the quadratic form over the field ${\mathbb{R}}$
$$
F^{\mathbb{R}}_{p,q}(x)=x_1^2+\dots+x_p^2-(x_{p+1}^2+\dots+x_{p+q}^2)
$$
on the vector space ...

**6**

votes

**1**answer

94 views

### Number of Richardson orbits in simple Lie algebras of types $E_n$?

This is a follow-up to my question about nilpotent orbits here asked in connection with an earlier discussion of symplectic resolutions. Leaving aside the connections with algebraic geometry and ...

**5**

votes

**1**answer

183 views

### Over a finite field, does a torsor under the component group of G lift to a torsor under G?

Let $k$ be a finite field and $G$ a finite type smooth $k$-group scheme. Let $G^0$ and $\Gamma$ be the connected component of identity and the component group of $G$, so there is an exact sequence $1 ...

**0**

votes

**0**answers

116 views

### Base extension of the Weil restriction

It is a problem in Waterhouse's book, "Affine group schemes, p 61":
(a) Let $B$ be finite dimensional (commutative) $k$-algebra. Let $G$ be an affine group scheme over $B$. Define the Weil ...

**3**

votes

**1**answer

194 views

### The cardinality of first non-abelian Galois cohomology

Let $G$ be a linear algebraic group over a non-archimedean local field $F$. Let $H^1(F,G)$ be the first non-abelian Galois cohomology. It is known that when $F$ is of characteristic 0, i.e. finite ...

**8**

votes

**3**answers

554 views

### Tensor products of two irreducible representations of reductive groups and their inclusions

Let $G$ be a reductive group and $\lambda$, $\mu$ and $\nu$ be dominant weights of $G$. Denote by $V_\lambda$ the irreducible representation of $G$ of highest weight $\lambda$. It seems to be true ...

**6**

votes

**1**answer

122 views

### About G-modules with good filtrations

Let $k$ be an algebraically closed field of positive characteristic, and let $G$ be a reductive algebraic group over $k$ (for instance a classical group).
Let $V$ be a (rational) $G$-module. We say ...

**1**

vote

**2**answers

113 views

### Explicit description of algebraic hull

I wonder for an explicit description of the "algebraic hull" (and it's associated Hopf algebra) of a given (discrete) group. I know the answer only for finite groups $G$ which is equal to Spec of the ...

**7**

votes

**2**answers

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

**2**

votes

**0**answers

54 views

### Cohomology and quotients for the canonical topology

Recall that for any category $\mathcal C$, there is a unique finest topology, the canonical topology on $\mathcal C$ for which all representable functors are sheaves. I am interested in the example ...

**0**

votes

**0**answers

90 views

### torsors on quasi-split groups

Let $\mathbf{G}$ be a split connected reductive group scheme over a scheme $X$.
Let $X'\rightarrow X$ an étale Galois cover of group $\Gamma$.
We consider $G$ a quasi-split group scheme over $X$ ...

**0**

votes

**0**answers

61 views

### Group schemes decomposition

Given an abelian group scheme of finite type $(G,+)$ over $\mathbb{F}$ connected, and given two connected closed subgroup schemes of finite type $G$ over $\mathbb{F}$ connected $H$, $N$ of $G$. ...