# Tagged Questions

The algebraic-groups tag has no wiki summary.

**6**

votes

**1**answer

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

**1**

vote

**0**answers

141 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

241 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

**1**answer

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

**6**

votes

**1**answer

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

**6**

votes

**1**answer

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

**8**

votes

**2**answers

288 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

**2**answers

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

**2**

votes

**0**answers

61 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

100 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$ ...

**2**

votes

**1**answer

121 views

### dimensions of strata of Pfaffian varieties

Let $V$ a complex vector space of dimension $2n$. Let us consider $W=\wedge^2V$ and the Pfaffian variety $Pf\subset \mathbb{P}W$ that parametrize degenerate skew-symmetric matrices. $Pf$ is naturally ...

**3**

votes

**2**answers

218 views

### Elementary abelian $p$-subgroups of maximal rank in finite groups of Lie type

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $G$ be a reductive group defined over $\mathbb{F}_p$. For any $d\in\mathbb{Z}^+$, let $C_d(G)$ be the set of conjugacy ...

**0**

votes

**0**answers

74 views

### Commutative algebraic groups endowed with a ring action

Let $k$ be an arbitrary closed field (of arbitrary characteristic). Assume that we have a short exact sequence of k-algebraic abelian connected groups
$$
1\rightarrow K\rightarrow G \rightarrow ...

**18**

votes

**3**answers

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

**3**

votes

**1**answer

380 views

### Is every element of $\mathrm{SL}(n,R)$ of finite order diagonalizable?

Let $k>0$ be an integer, let $R$ be a ring (commutative, unital), which contains $\mathbb{Q}$ (i.e. with a ring homomorphism $\mathbb{Q}\to R$) and all $k$-roots of unity. The examples I have in ...

**2**

votes

**1**answer

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

**1**

vote

**1**answer

86 views

### when the derived group of the group of $k$-rational points has nonempty interior in the strong topology

Suppose that $G$ is an absolutely quasi-simple algebraic group defined over a non-archimedean local field $k$ of positive characteristic. Would there be any kind of reasonable sufficient condition for ...

**3**

votes

**4**answers

400 views

### Reference for an algebraic group preserving a cubic form

Let $R=k[u,v,w]$ and $p\in R$ be a cubic form. Let $G$ be the group of graded automorphisms of $R$ which preserve $p$, i.e., $G$ is the subgroup
of $GL_3(k)$ consisting of elements $g$ such that $g(p) ...

**1**

vote

**1**answer

125 views

### Tables of data associated to reductive algebraic groups?

I am looking for a reference that contains lots of calculations for specific examples of various objects one can associate to a reductive algebraic group. For example, given a (specific) linear ...

**3**

votes

**2**answers

177 views

### an algebraic group where the function field is not separable over the ground field

Suppose we have an algebraic group $G$ defined over a field $k$. Suppose we consider the fraction field of $k[G]$. Is it possible to get a situation where this field is not a separable extension of ...

**9**

votes

**2**answers

611 views

### Is GL2( R ) - > PGL2( R ) surjective?

Consider $GL_2$ as the affine group scheme with coordinate ring
${\mathbb Z}[x_1,x_2,x_3,x_4,y]/(\det\left(\begin{array}{cc}x_1& x_2\\ x_3& x_4\end{array}\right)y-1)$.
The group scheme ...

**3**

votes

**1**answer

219 views

### Quasi-coherent sheaves on classifying stacks

Let $G$ be a smooth group scheme over some base $S$. Then we have the $S$-stack $BG$ whose $T$-points are the $G$-torsors on $T$. Under which conditions do we have $\mathsf{Qcoh}(BG) \simeq ...

**12**

votes

**3**answers

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

**1**

vote

**1**answer

195 views

### $\Gamma$-action on maximal tori in Borel-Tits

This is about section 6.2 in Borel-Tits' Groupes réductifs where they define a certain $\Gamma$-action on maximal split tori, denoted as $_\Delta \gamma$, distinct from the "usual" one. (If I am not ...

**1**

vote

**0**answers

134 views

### Reductive Group Actions and Completion

Suppose that $A$ is a Noetherian (not necessarily commutative) $\mathbb{C}[h]$-algebra equipped with a rational action of an affine reductive group $G$, i.e., $A$ is a $\mathbb{C}[G]$-comodule and ...

**1**

vote

**1**answer

164 views

### Iwasawa decomposition of the pseudo-orthogonal group

This is a soft-question, but I haven't found an answer anywhere: do the factors of the Iwasawa decomposition of the pseudo-orthogonal group SO(p, q) have a simple form, in the same way that the ...

**0**

votes

**0**answers

79 views

### What algebras does the hidden subgroup problem for finite abelian groups apply to?

Shor's algorithm is said to solve the hidden subgroup problem for finite Abelian groups, of which factoring and the discrete logarithm problem for integers belong to. Apparently the HSP for finite ...

**6**

votes

**3**answers

442 views

### $SL(n) \times SL(n)$-invariants of $m$-tuples of matrices

I work over field of complex numbers. Let $G=SL(n) \times SL(n)$, and $(A,B) \in G$ acts on $m$-tuples of matrices $M_{n \times n}(\mathbb{C})^{\oplus m}$ as follows
$$
(A,B) \cdot (M_1, \ldots, M_m) ...

**1**

vote

**4**answers

232 views

### Bruhat order and Schubert cycles

I am looking for a good (textbook) reference for the basic fact (due to Chevalley) that for every semisimple Lie group $G$ (without compact factors) with Weyl group $W$, the Bruhat order on $W$ ...

**2**

votes

**0**answers

102 views

### Is the group of rational points of an anisotropic absolutely quasi-simple algebraic group over a non-archimedean local field known to be perfect?

Suppose that $G$ is an algebraic group defined over a non-archimedean local field $k$ which is absolutely quasi-simple and anisotropic over $k$. Is it known whether the group $G(k)$ is necessarily ...

**1**

vote

**0**answers

44 views

### abstract simplicity results for anisotropic quasi-simple algebraic groups defined over a non-archimedean local field

I was wondering if anyone has some references I can look at that deal with results that identify some abstractly quasi-simple normal subgroup of the group of rational points of an anistropic ...

**16**

votes

**1**answer

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

**8**

votes

**3**answers

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

**5**

votes

**1**answer

239 views

### Is the big cell a principal open set?

Let $G$ be a complex affine reductive algebraic group, $B\subseteq G$ a Borel with maximal torus $T$ and unipotent radical $U$. Let $w\in\operatorname N_G(T)$ be a representative of the longest Weyl ...

**1**

vote

**1**answer

335 views

### What is the current status of representations of $GL_n(F)$ (and other algebraic groups)?

What is the current status of representations of $GL_n(F)$ (and other algebraic groups)?
When $F$ is a local field, the representations of $GL_n(F)$ are classified by Bernstein and Zelevinsky in ...

**1**

vote

**0**answers

213 views

### Pullback of a sheaf associated to a divisor

I am reading a paper Desingularisation des varietes de Schubert generalisees by Demazure. I am interested in Lemma 3 on page 58. In particular, I would like to know whether the lemma is true and how ...

**8**

votes

**0**answers

274 views

### Connection between two theorems on character values?

In a recent arXiv preprint here, Dipendra Prasad has revisited a 1976 theorem of Kostant (Theorem 2 in the paper On Macdonald's $\eta$-function formula, the Laplacian and generalized exponents, ...

**4**

votes

**2**answers

198 views

### Does a spherical building embeds in a building of type $A_n$?

I'm interested in the question in the title.
Does a spherical building $B$ always embeds in a building $\tilde B$ of type $A_n$ for some $n$?
By embedding I mean an isometric embedding with respect ...

**2**

votes

**0**answers

68 views

### Homomorphisms between groups of Hermitian type and Hodge type and orthogonality

By a group of Hermitian type I mean a real group $H$ with a maximal compact subgroup $K$ such that $H/K$ is Hermitan Symmetric domain. A real group $W$ is called of Hodge type if the associatd ...

**3**

votes

**3**answers

507 views

### Non existence of cyclic infinite linear algebraic groups

Let $G$ be a linear algebraic group defined over some algebraically closed field $\mathbb{K}$ and also over some subfield $k\subset \mathbb{K}$. There is thus a natural group structure on the set of ...

**6**

votes

**1**answer

240 views

### Is $G_{\operatorname{red}}$ normal in $G$?

Let $G$ be an affine group scheme of finite type over a field $k$. It is well known that the associated reduced subscheme $G_{\operatorname{red}}$ of $G$ is a subgroup if $k$ is perfect. So let us ...

**7**

votes

**1**answer

155 views

### Complexity of rational $\mathrm{GL}_{n(r)}$-modules

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $G=\mathrm{GL}_n(k)$ for some natural number $n$. For any integer $r\ge 1$, let $G_{(r)}$ denote the $r$th Frobenius ...

**4**

votes

**1**answer

174 views

### ubiquity of free subgroups of special linear groups

I have a proof that if $n$ is an integer such that $n>1$ and $k$ is any field, then if $g$ is an element of $\mathrm{SL}(n,k)$ of infinite order then the set of all $h$ with the property that $g$ ...

**1**

vote

**4**answers

313 views

### About structure of parabolic subgroups of finite classical algebraic groups

Dear Members of Mathoverflow,
I am interested about a Fact (if it is right) of the structure of parabolic subgroups of finite classical algebraic groups:
Let G be a classical algebraic group over ...

**4**

votes

**1**answer

128 views

### Weyl group action on complexified Iwasawa decomposition

Let $G$ be a complex, reductive, algebraic group and let $G=KB$ be the complexified Iwasawa decomposition of $G$, see also [SW02]. Let $T$ be a maximal torus of $B$, therefore a maximal torus of $G$. ...

**11**

votes

**1**answer

294 views

### What can the theory of automorphic forms for $SL(n,\mathbb{Z})$ say about $SL(n,\mathbb{Z})$?

While reading "Automorphic Forms and L-functions for the Group $GL(n,R)$" by D. Goldfeld, I've got a feeling that linear groups over $\mathbb{R}$ and $\mathbb{Z}$ are considered only as technical ...

**3**

votes

**1**answer

178 views

### Weyl group action on continuous characters of the group of $\mathbf{Q}_p$-points of the torus

Let $G$ be a split reductive group over $\mathbf{Q}_p$ and assume $G$ has connected center.
Let $T$ be a maximal split subtorus of $G$ and $R$ be the roots of $(G,T)$.
Let $\chi : T(\mathbf{Q}_p) \to ...

**1**

vote

**0**answers

87 views

### Splitting for Subsequence of Automorphism Sequence for Algebraic Groups

Let $G$ be a split reductive algebraic group over an arbitrary field $k$ Suppose we have a split maximal torus $T$. There is a short exact sequence of groups
$$
1\to \mathrm{Inn}(G)\to ...

**4**

votes

**2**answers

253 views

### Gelfand pair and double coset decomposition

Let $F$ be a non-Archimedean local field with ring of integers $O$, $\pi$ be a uniformizer. Let $\tilde{G}$ be a connected algebraic group over $F$ and splits over $F$, fix a split maximal torus ...

**1**

vote

**0**answers

64 views

### Reference Help: Matsuki duality Orbits

I'm studying the Matsuki duality of $G_0$-orbits and $K$-orbits over a flag manifold $G/P$ where $G$ is semisimple complex Lie group and $P$ is a parabolic subgroup. I would like to study some ...