**1**

vote

**0**answers

151 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

263 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

248 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

349 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

94 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

234 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

105 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

107 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

350 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

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

**6**

votes

**1**answer

258 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

272 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

245 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

310 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

170 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

163 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

299 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

416 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

122 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

137 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

228 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

260 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

154 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

716 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

118 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

343 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

952 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

123 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

108 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

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

**8**

votes

**1**answer

732 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

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

**6**

votes

**1**answer

327 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

234 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

119 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

268 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

113 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

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

**2**

votes

**2**answers

267 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

352 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

291 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

585 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

450 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

150 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

172 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

303 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

119 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

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

**0**

votes

**0**answers

153 views

### Irreducible action of an algebraic group

Is the following claim true?:
Let $G$ be an algebraic group such that $G^\circ$ is reductive. Suppose $G$ acts irreducibly on $V$. Is it true that $V$ is decomposed (written as direct sum) into ...

**2**

votes

**0**answers

91 views

### Can we classify reductive group schemes over curves

Let $C$ be a smooth quasi-projective connected curve over the complex numbers.
Can one classify all reductive group schemes over $C$?
Certainly, you have the trivial ones (coming from pulling-back ...