The algebraic-groups tag has no usage guidance.

**7**

votes

**2**answers

455 views

### Global Affine Flag Variety and Affine Flag Variety

There is a construction of a global affine flag variety over $\mathbb{A}^1$ (or another curve) $Fl_{\mathbb{A}_1}$ such that each fiber above $\epsilon \neq 0$ is isomorphic to a direct product of the ...

**4**

votes

**1**answer

490 views

### Tannakian fundamental group of two explicit tensor categories

Let $K/k$ is a field extension and $G$ an affine group scheme over $K$. What are the Tannakian fundamental groups of these two $k$-tensor categories (with trivial fiber functors over $k$):
1. The ...

**1**

vote

**0**answers

144 views

### Zariski dense subgroups and conjugates

Let $H \leq \mathrm{SL}_3(\mathbb{Z})$ be a finitely generated subgroup which is not Zariski dense, and let $g \in \mathrm{SL}_3(\mathbb{Z})$. Must there be some $a \in \mathrm{SL}_3(\mathbb{Z})$ such ...

**2**

votes

**1**answer

246 views

### twists of algebraic groups

If $k$ is some field - for convenience, of characteristic 0 -, $\bar{k}$ is an alg. closure of $k$, and $G$ is some $k$-algebraic group, one can define a twist of $G$ to be some $k$-algebraic group ...

**5**

votes

**1**answer

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

**2**

votes

**1**answer

289 views

### highest weight representations inside tensor product

Let $G$ be a semisimple simply connected group over an algebraically closed field $k$ of characteristic zero, $B$ a Borel and $T$ a maximal torus.
Let $\lambda,\mu,\nu$ be dominant characters of $T$.
...

**1**

vote

**0**answers

93 views

### Need information about particular kind of quotients of semisimple algebraic groups by free abelian discrete subgroups

Let me start with the simplest version of the question since already there I don't know anything.
For a complex number $q$, consider the quotient space $X_q:=\mathrm{SL}_2(\mathbb ...

**6**

votes

**1**answer

230 views

### Extensions of an abelian variety by a torus vs. extensions of their $\ell$-adic Tate modules

Let $K$ be a number field, let $A$ be an abelian variety over $K$, and let $H$ be a torus over $K$. For a prime $l$, we have the natural map
$$\mathrm{Ext}^1(A, H) \otimes_{\mathbb{Z}} \mathbb{Z}_l ...

**1**

vote

**0**answers

95 views

### Exponential map on a unipotent group

Let $G$ by a unipotent linear algebraic group defined over a field of characteristic $0$, with Lie algebra $\mathfrak{g}$. The exponential map $\mathfrak{g}\to G$ is bijective, and we can recover the ...

**2**

votes

**1**answer

102 views

### Rational Points of a Quotient of a Reductive Group by a Parabolic Subgroup

Let $G$ be a reductive group and let $P$ be a parabolic subgroup of $G$ all defined over $\mathbb{Z}$.
Also, let $F$ be a number field, is it true (and if so, please provide a reference) that
$$ ...

**3**

votes

**0**answers

340 views

### A Step in the Proof of the Drinfeld-Simpson theorem

I hope that this is the appropriate place for asking about a step I don't understand in a proof which I think is due to a lack of knowledge. This is a step in Drinfeld-Simpson's paper: ``$B$ ...

**3**

votes

**1**answer

232 views

### How to think about the simple reflection s_0 in the affine Weyl group?

Let $G$ be a simply connected algebraic group over $\mathbb{C}$, $W$ be the Weyl group for $G$ and $W_{aff}$ be the affine Weyl group for the loop group $G(\mathbb{C}((t)))$, $\Phi$ be the coweight ...

**5**

votes

**1**answer

247 views

### Closure order on nilpotent orbits in exceptional Lie algebras

Let $G$ be a simple algebraic group over the algebraically closed field $k$ of positive characteristic, and let ${\mathfrak g}={\rm Lie}(G)$. It is well known that there are finitely many nilpotent ...

**7**

votes

**3**answers

264 views

### Polarizations generate the ring of invariants?

The symmetric group $S_n$ acts on $\mathbb R^n$ by permuting the coordinates and the ring of polynomial invariants is generated by the elementary symmetric polynomials. If we restrict the action to ...

**3**

votes

**1**answer

239 views

### Lifting one parameter subgroups of algebraic groups

Let $G$ be a linear algebraic group over an algebraically closed field $\mathbb C$ of characteristic zero and $U$ its unipotent radical, then $H:=G/U$ is a reductive group. Assume that I have a one ...

**8**

votes

**1**answer

294 views

### what is the intersection of all congruence subgroups of the profinite completion of SL(2,Z)?

Let $\widehat{SL(2,\mathbb{Z})}$ be the profinite completion of $SL(2,\mathbb{Z})$. Let $\Gamma(N)$ denote the typical principal congruence subgroup of $SL(2,\mathbb{Z})$ (ie, all matrices congruent ...

**1**

vote

**0**answers

161 views

### The definition of $SK_1$ for an arbitrary ring

Let $R$ be a unitary associative ring. If $R$ is commutative, then one defines $SK_1(R)$ as the quotient $$SK_1(R)=SL(R)/E(R)$$ (Definition 2.8 of ...

**4**

votes

**0**answers

154 views

### An extension of group schemes admitting Neron models

Let $R$ be a discrete valuation ring, $K$ its field of fractions, and
$$ 0 \rightarrow G_K' \rightarrow G_K \rightarrow G_K'' \rightarrow 0$$
a short exact sequence of smooth $K$-group schemes of ...

**5**

votes

**1**answer

295 views

### Geometrically connected components of an algebraic group

Suppose that $G$ is an algebraic group over a field $k$. Let $G^o$be the connected component of the identity. Since $G^0$ contains a $k$-rational point (the identity) therefore it is geometrically ...

**5**

votes

**0**answers

383 views

### Torsors and twists of algebraic groups

Let $G/S$ be an affine group scheme. Then the automorphism group of every $G$-torsor over $S$ is a twist of $G$, but it this functor isn't essentially surjective in general (It may be not full nor ...

**1**

vote

**1**answer

121 views

### Decomposing quasi-finite separated group schemes

Let $U$ be a punctured disk, and let $G\to U$ be a quasi-finite separated group scheme. (Assume $K$ of char zero if it helps)
Why is $G = G_1\sqcup G_2$, where $G_1 \to U$ is finite and $G_2\to U$ ...

**4**

votes

**1**answer

136 views

### orders of maximal abelian subgroups

What are the orders of maximal abelian subgroups of the simple groups $F_4(q)$ and $C_4(q)$, where $F_4(q)$ is an exceptional group and $C_4(q)$ is a symplectic group?

**3**

votes

**1**answer

220 views

### Quotient of a (non-linear) algebraic group by a closed subgroup

Let G be a (not necessarily linear) algebraic group and H a closed algebraic subgroup. Does the, say categorical, quotient G/H exist?
If yes, where do I find a proof?
If no, do you have a ...

**3**

votes

**1**answer

252 views

### Representation of GL(n, F_p) over F_p, for n small

The question is related to this post
Representation theory of the general linear group over a finite prime field
However, I am asking for more detailed references for n small, for example, for n=2, ...

**2**

votes

**0**answers

150 views

### Analogies, Riemann surfaces and Algebraic groups

Let G be a complex simple Lie group of adjoint type. Then, it is well known that every such $G$ contains, unique up to conjugacy, an irreducibly embedded copy of $PSL(2,\mathbb{C}).$ This fact seems ...

**1**

vote

**0**answers

712 views

### Picard functor of an algebraic group

Let $K$ be a field, $G$ a $K$-group scheme of finite type, and $X$ a $G$-torsor. Is the Picard functor $\mathrm{Pic}_{X/K}$ representable? I recall that $\mathrm{Pic}_{X/K}$ is the fppf sheafification ...

**2**

votes

**0**answers

116 views

### $\mathbb{Q}$-forms of $\mathrm{SL}_2\times \mathrm{SL}_2$

I am learning something about lattices in algebraic groups. Consider the algebraic group $\mathrm{SL}_2\times \mathrm{SL}_2$. What are the $\mathbb{Q}$-forms of such groups?

**2**

votes

**2**answers

312 views

### Connected unipotent algebraic groups

Let $G$ be a connected unipotent algebraic (affine) group defined over a perfect field $k$. Then $G$ is $k$-isomorphic as an algebraic $k$-variety to the affine space $\mathbb A^n_k$.
Is there any ...

**12**

votes

**2**answers

894 views

### Is there a scheme parametrizing the closed subgroups of an algebraic group?

In the following, let $G=\operatorname{GL}_n(\mathbb{C})$ or $G=\operatorname{\mathbb PGL}_n(\mathbb{C})$, depending on whichever has a better chance of yielding an affirmative answer. One could more ...

**3**

votes

**1**answer

121 views

### On Serre's problem regarding the injectivity of Albert-Algebra cohomological invariants

In these Lecture Notes http://molle.fernuni-hagen.de/~loos/jordan/archive/cohinv/cohinv.pdf from 2006 by Garibaldi on page 21. 7.5 there is the following open problem mentioned:
Is the map
$g_3 ...

**1**

vote

**1**answer

104 views

### Reducible reductive Lie subalgebras of so(p,q)

Is it true that $S(O(p) \times O(q))$ is the only proper subgroup of $SO(p,q)$ of full rank acting on the natural representation $\mathbb{R}^{p+q}$ of $SO(p,q)$ that stabilizes a $p$-dimensional ...

**0**

votes

**1**answer

92 views

### Reductive subgroup and its derived subgroup with an irreducible represenation

Could you please answer the following question: Let $V$ be a faithful irreducible representation of a connected reductive group $H$ defined over $\mathbb{R}$ Is it true that the derived group of $H$, ...

**7**

votes

**1**answer

676 views

### Representation theory of the general linear group over a finite prime field

I am re-posting a question I asked on math.se here because I am unsatisfied with the answers I obtained.
The irreducible modules of $\operatorname{GL}_n(\mathbb C)$ over $\mathbb C$ are completely ...

**1**

vote

**0**answers

56 views

### exponential and anisotropic torus

Let $F$ be a local p-adic field and $G$ a semisimple simply connected group over $F$, $\mathfrak{g}$ its Lie algebra. Let $T$ a maximal anisotropic torus of $G$, split over an etale extension of $F$ ...

**5**

votes

**1**answer

289 views

### Optimal definition of “paving by affine spaces”?

Cell decompositions have been used in topology for a long time as a tool in computing cohomology, but the notion in algebraic geometry and arithmetic geometry of paving by affine spaces (or "affine ...

**7**

votes

**1**answer

231 views

### Meaning of fibration in Kazhdan and Lusztig's paper on affine flag manifolds

Kazhdan and Lusztig's paper "Fixed point varieties on affine flag manifolds" has the following definition on p.143: define inductively a variety $Z$ to be an "almost affine space" if $Z$ is affine or ...

**0**

votes

**1**answer

115 views

### on lifting extensions

Let $G$ be a connected reductive group with $G_{der}$ simply connected and $T$ a maximal torus over an algebraically field $k$.
We consider a extension $\tilde{T}$ of the maximal torus $T$ by a torus ...

**4**

votes

**2**answers

264 views

### Is a “central” extension of $\mathbb{Z}/m\mathbb{Z}$ by $\mathrm{GL}_n$ necessarily split?

Let $m \ge 1$ be an integer, let $k$ be a field of characteristic $0$, and let
$$
1 \rightarrow \mathrm{GL}_n \rightarrow E \rightarrow \mathbb{Z}/m\mathbb{Z} \rightarrow 1
$$
be an extension of ...

**2**

votes

**0**answers

112 views

### Generators of the algebra of invariant polynomials on a Lie algebra and the root-space decomposition

Let $G$ be a connected, simply-connected complex semisimple group with Lie algebra $\mathfrak{g}$. Fix a pair $T\subseteq B\subseteq G$ of a maximal torus and Borel subgroup, and let $\mathfrak{t}$ ...

**3**

votes

**1**answer

215 views

### Is $G \rightarrow G/P$ surjective on $K$-points over a local field?

Let $K$ be a local field, $G$ a (connected) reductive $K$-group, and $P \le G$ a parabolic subgroup. Is the map $G(K) \rightarrow (G/P)(K)$ necessarily surjective, and, if so, then why?

**1**

vote

**2**answers

263 views

### A question from the proof of affine algebraic group is a linear

In (some version of) the proof of the fact that any affine algebraic group is a linear algebraic group, there is an important step as follows (for example in Borel's book "Linear Algebraic Groups", ...

**7**

votes

**1**answer

321 views

### On unramified p-adic groups

Let G be a reductive group over a local field F. Let O be the ring of integers of F.
The following are equivalent (and groups satisfying these conditions are called unramified):
(a) G is quasisplit ...

**2**

votes

**2**answers

284 views

### Compact elements in $G(K)$ for a reductive group $G$ over a nonarchimedean local field $K$

Let $K$ be a nonarchimedean local field and $G$ a (connected) reductive group over $K$, so that $G(K)$ carries a natural topology. An element $g \in G(K)$ is compact if it is contained in a compact ...

**9**

votes

**1**answer

574 views

### Are there noncommutative extensions of $\alpha_p$ by $\mathbb{G}_m$?

Let $k$ be a field of characteristic $p > 0$ (algebraically closed, if you want; that doesn't make a difference). Consider a finite type $k$-group scheme $E$ that is a (central) extension of ...

**3**

votes

**0**answers

436 views

### polynomials with roots on the unit circle

Suppose $P(x) \in \mathbb{Z}[x]$ is irreducible, and such that at least one of its roots has modulus $1.$ Is there anything we can say about the reduction of $P(x)$ modulo primes? Do these have some ...

**3**

votes

**1**answer

145 views

### algebraic groups over non-archimedean local fields acting on buildings

I was wondering could anyone tell me a reference for the fact that an absolutely quasi-simple algebraic group over a non-archimedean local field which is centreless and non-compact acts faithfully and ...

**1**

vote

**1**answer

167 views

### On the reductive group [closed]

I know that the automorphic representation can be defined only for reductive algebraic group.
What property of algebriac group makes it hinder to define for all algebraic group and what nice property ...

**5**

votes

**1**answer

302 views

### Smooth and $GL(n)$-equivariant implies algebraic?

Context: Let $B_n$ be the space of symmetric bilinear forms on $\mathbb{R}^n$ and $L_n\subset B_n$ be the subset of non-degenerate forms of Lorentzian signature $(-,+,\ldots,+)$. Let $T$ be a finite ...

**2**

votes

**0**answers

114 views

### Intuition for the structure theorem for connected solvable algebraic groups over an algebraically closed field of positive characteristic

In the theory of algebraic groups one of the fundamental results is the structure theorem for connected solvable groups. I never understood the proof in any of the standard textbooks, so I just moved ...

**0**

votes

**0**answers

109 views

### Can any reductive $k$-group be written as a semidirect product of $k$-linear groups?

This might be an easy question for the experts, so I apologise in advance. By a reductive group over a field $k$, I mean a linear algebraic group (not necessarily connected) such that the unipotent ...