The algebraic-groups tag has no usage guidance.

**3**

votes

**2**answers

133 views

### generalization of result on K_1 of $SL(n,R)$

Let R be a "nice" ring with 1 (e.g. Euclidean domain). Then the subgroup E(n,R) generated by the elements $I+te_{i,j}$ is equal to $SL(n,R)$.
My question is as follows: Instead of $SL(n,R)$ I look ...

**2**

votes

**0**answers

108 views

### Reference request: proofs of the theorems in the paper On the representation of the group GL(n, K) where K is a local field

In the paper On the representation of the group GL(n, K) where K is a local field by Gelfand and Kazhdan, it is said that the proofs of the theorems in the paper are published in some other papers. I ...

**1**

vote

**0**answers

157 views

### The representation theory for the fake Heisenberg groups over non-perfect local field

Let $K$ be a local field of characteristic $p$, where $p$ is a prime number greater than 2. In particular, $(x+y)^p=x^p+y^p$ for $x,y\in K$.
The fake Heisenberg group is defined to be
$$
...

**3**

votes

**3**answers

255 views

### Jacobson-Morozov theorem

Jacobson-Morozov theorem for a semisimple algebraic group $G$ (presumably I am working over algebraically closed field) states that: given a unipotent u, there exists a homomorphism $\phi$ from $SL_2$ ...

**3**

votes

**1**answer

245 views

### Volume of arithmetic quotients of symmetric spaces

Now let $\textbf{G}$ be some connected semisimple linear algebraic group over a number field $F$. Let $G_{\infty}$ be $\textbf{G}(\mathbb{R}\otimes_{\mathbb{Q}} F)$. Let $K_{\infty}$ be a maximal ...

**0**

votes

**1**answer

121 views

### Picard group of a quotient of a group by its maximal parabolic subgroup

Let $G$ be a connected, linear, semi-simple algebraic group over an algebraically closed field of characteristic zero and $P$ be the maximal parabolic subgroup. We know that the quotient $Z=G/P$ is a ...

**4**

votes

**1**answer

197 views

### The stack of group algebraic spaces

The fibred category $\mathcal A$ of algebraic spaces over a scheme $S$ is a stack (over the category of affine schemes with the etale topology). This is proved in Laumon and Moret-Bailly's book (see ...

**1**

vote

**1**answer

99 views

### Compact form of symplectic groups defined over the rationals

I am a bit confused regarding the possible constructions/realizations of symplectic groups. Basically I am looking for the following:
A linear algebraic group $\mathbb{G}$ defined over $\mathbb{Q}$ ...

**3**

votes

**2**answers

288 views

### Representations of complex semi-simple algebraic group “defined over $\mathbf{Z}$”?

If $G$ is a split semisimple linear algebraic group over $\mathrm{Spec}(\mathbf{Z})$ then does every (algebraic) irrep of $G_{\mathbf{C}}$ extend to a morphism $G\to\mathrm{GL}_n$ over ...

**0**

votes

**1**answer

160 views

### Torsors and Central Extensions

In the setting of algebraic groups:
I understand that a central extension of a group $G$ by an abelian group $A$ is a exact sequence of groups :$0\rightarrow A\rightarrow \tilde{G}\rightarrow ...

**2**

votes

**0**answers

116 views

### From algebraic group actions to group scheme actions

I am trying to understand the basic results of geometric invariant theory. I want to pull off the band aid and use Mumford, but am a neophyte with respect to scheme theory. Thus, I have been trying to ...

**3**

votes

**1**answer

254 views

### Equivariant Derived Category

Can someone give me a reference for the following or an idea on why it is true? (This is taken from remark 1.5 on page 5 of http://arxiv.org/abs/0810.0794.)
Suppose we have an algebraic group $G$ ...

**10**

votes

**1**answer

323 views

### Embedding linear algebraic groups of a given dimension into a fixed $\mathrm{GL}_N$

Given $n$, can $n$-dimensional linear algebraic groups over $\mathbb{C}$ be embedded into $\mathrm{GL}(N,\mathbb{C})$ for a uniformly bounded $N$?
Thanks so much for your reply!

**5**

votes

**0**answers

121 views

### Root-theoretic formulation of characteristic polynomial

Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra of rank $n$ over $\mathbb{C}$. Let $G$ denote the corresponding simple simply connected algebraic group. By Chevalley's Theorem, ...

**2**

votes

**2**answers

285 views

### Algebraic groups “generated” by a Lie algebra element

Here is a definition which I invented and which I would like to understand better.
Let $ A $ be a complex affine algebraic group. Let $ X \in \mathfrak g $ be an element in its Lie algebra. We say ...

**5**

votes

**0**answers

208 views

### Hyperplane sections of principal homogeneous spaces

Let $P_i$ denote the $i$-th vertex in the Dynkin diagramm of an algebraic group. It symbolizes a parabolic subgroup of $G$ corresponding to the other vertices, meaning $G/P_i$ is a smooth, projective, ...

**4**

votes

**0**answers

170 views

### Correspondence between real forms and real structures on complex Lie groups

I asked this in MSE, but without success, so I hope, it will be suitable here.
E.B.Vinberg and A.L.Onishchik in their book give the following two definitions.
For a complex Lie group $G$ its real ...

**0**

votes

**2**answers

144 views

### Is any F-stable maximal torus contained in some F-stable Borel subgroup? [closed]

Denote by $\mathbb{F}_q$ the finite field with $q$ elements, and denote by $\bar{\mathbb{F}}_q$ its algebraic closure. Let $G$ be an affine algebraic group over $\bar{\mathbb{F}}_q$, and let $F$ be a ...

**0**

votes

**0**answers

90 views

### Surjectivity of ring homomophism induced by Frobenius endomorphism

Denote by $F_q$ the finite field with $q$ elements, and denote by $\bar{F_q}$ its algebraic closure. Let $V$ be an affine $\bar{F_q}$-variety and $F$ be the Frobenius endomorphism corresponding to an ...

**17**

votes

**2**answers

879 views

### How bad can $\pi_1$ of a linear group orbit be?

Let $G$ be a simply connected Lie group and $\mathcal O= G(v)=G/G_v$ a $G$-orbit in some finite-dimensional $G$-module $V$. By the homotopy exact sequence, its fundamental group $\Gamma$ is the ...

**8**

votes

**1**answer

371 views

### Group schemes, adeles, double cosets, and étale cohomology

Let $K$ be a number field, $R$ the ring of integers of $K$,
${\mathbf{A}^f}$ the ring finite adeles of $K$, and ${\widehat{R}}\subset {\mathbf{A}^f}$ the ring of integral adeles.
Let $G$ be an affine ...

**1**

vote

**1**answer

111 views

### about subgroup of general linear group [closed]

Thanks for any comments
Let $G=GL_n(F)$ be general linear group over finite field $F$. Consider two isomorphic subgeoup $H_1,H_2$ of $G$ such that $H_i\cong GL_k(\bar{F})$, where $\bar{F}$ is an ...

**2**

votes

**0**answers

87 views

### Extension of the Hilbert-Mumford Criterion

Let $X$ be a smooth variety, $L$ a line bundle on $X$ and $G$ a reductive group actin on $X$ with a linearization of the action to $L$. Say we are over the complex numbers.
Both the concept of GIT ...

**1**

vote

**1**answer

110 views

### Finite groups normalizing a torus

Let $G$ be a semi-simple linear algebraic group over the complex numbers, e.g. the special linear group. Can you find an example of a finite sub-group $H$ of $G$ which does not normalize any maximal ...

**5**

votes

**2**answers

191 views

### Lindel's theorem for semisimple simply connected G

Let $k$ be a field.
$G/k$ be a simply connected semisimple algebraic group.
Let $X/k$ be a smooth affine $k$-scheme.
Question: Is every principal $G$ bundle on $X\times {\mathbb A}^1$ a pull back ...

**3**

votes

**1**answer

153 views

### Etale Fundamental group of an algebraic group

I want to calculate the algebraic fundamental group of a an algebraic group over a riemann surface over $\mathbb C$ (or a smooth algebraic projective curve). Let me state the first case where ...

**1**

vote

**2**answers

205 views

### Examples of quotients by infinitesimal group schemes

I'm looking for examples of explicit actions of the infinitesimal group schemes $\alpha_{p^n}$ on schemes (maybe as simple as the affine plane) in characteristic $p$ or mixed characteristic, and their ...

**-1**

votes

**1**answer

73 views

### Algebraic Groups of Type H_3 and H_4 [closed]

By coincidence i stumbled over this page
http://www.fields.utoronto.ca/programs/scientific/11-12/exceptional/abstracts.html
, which was installed for a workshop on algebraic groups in 2012.
In the ...

**1**

vote

**1**answer

94 views

### Verifying that a differential is surjective

I've been reading "Weakly commensurable arithmetic groups and locally symmetric spaces" (Prasad and Rapinchuk, 2009). I'm having some trouble showing the following fact:
Let $K_v$ be a local field, ...

**4**

votes

**1**answer

121 views

### Does every group that satisfies the maximal permutizer condition then satisfy the permutizer condition?

The
permutizer of a subgroup $H$ of $G$ is defined to be the subgroup generated by all cyclic subgroups of $G$ that permute with $H$,
i.e. $\langle x \in G | \langle x \rangle H = H \langle x \rangle ...

**6**

votes

**2**answers

272 views

### Stabilisers of group actions

Let $G$ be an algebraic group acting on an irreducible algebraic variety $X$ over an algebraically closed field $k$ of characteristic $0$.
Suppose there exists some point $x \in X$ whose ...

**2**

votes

**1**answer

95 views

### Binary algebra, is it possible to partition the elements in GF(2^12) into 65 subgroups closed under addition?

The set of all binary vectors with 12 components forms a field with 2^12 elements containing 000000000000 and another 65*63 elements. Is it possible to partition these elements into 65 subgroups of 63 ...

**4**

votes

**3**answers

243 views

### Is there a generalization of the “characteristic polynomial” to other split/quasi-split algebraic groups?

Let $G = GL_n$ over a field $F$, and let $\gamma \in G(F)$ be a semisimple element. The characteristic polynomial $c_\gamma(t)$ of $\gamma$ encodes a fair bit of information about $\gamma$. ...

**3**

votes

**2**answers

216 views

### Solvable Lie algebras: embedded in upper triangular matrices?

Let $K$ be an arbitrary field and $\mathfrak{g}$ a finite-dimensional Lie $K$-algebra.
Let $\mathfrak{nil}_n\leq\mathfrak{sol}_n\leq\mathfrak{gl}_n$ be the Lie algebras of all ((strictly) ...

**1**

vote

**1**answer

151 views

### Subgroups generated by opposite root groups

Suppose $\mathbf{G}$ is a connected reductive (possibly non-split!) group over a field $F$, $\mathbf{S} \leq \mathbf{G}$ a maximal split subtorus and $\mathbf{Z} \leq \mathbf{G}$ its centralizer. For ...

**1**

vote

**2**answers

235 views

### Connected components of algebraic groups

Let $G$ be an algebraic group, and $G_{Id}$ the connected component of the identity. Then $G_{Id}$ is a normal subgroup of $G$ and $G/G_{Id}$ is the component group of $G$.
Let $G_{c}\subset G$ be ...

**2**

votes

**1**answer

161 views

### Picard group of classifying stack

Suppose $S$ is a scheme, and $G$ a smooth $S$-group scheme.
Then there exists an algebraic stack BG called the classifying stack of $G$, defined as the quotient stack $[S/G]$ where $G$ acts trivially ...

**4**

votes

**1**answer

259 views

### Motives of a variety of type D4

Over the last decade Nikita Semenov, Skip Garibaldi and others have made some progress in the theory of cohomological invariants, (Rost)-motives and motivic decompositions of algebraic groups. For ...

**4**

votes

**1**answer

131 views

### Is the upper boundary of a Schubert variety Cartier?

On $G/B$, the divisor $\bigcup_\alpha X_{r_\alpha}$ is Cartier (where $X_w := \overline{B_- w B}/B$, and $\alpha$ varies over simple roots), not least because $G/B$ is smooth.
Is the same true for ...

**3**

votes

**0**answers

107 views

### uniqueness of quotients of principal congruence subgroups

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

**2**

votes

**1**answer

211 views

### What is the cohomology of the tangent bundle of a flag variety?

Let $G$ be the general linear group $\operatorname{GL}(n,\mathbb{C})$ and $P$ a parabolic subgroup with Lie algebra $\mathfrak{p}$. Consider the vector bundles
$$
\mathcal{P} = G\times_P ...

**0**

votes

**0**answers

129 views

### Rational group scheme

Suppose $G$ is a group scheme over a field $k$, i.e., $G$ is a functor from the category $\text{Alg}_k$ of unital commutative, associative $k$-algebras to the category of $\text{Groups}$. Suppose that ...

**3**

votes

**1**answer

214 views

### Converse to Weil Restriction of Scalars

Let $k$ be a field of characteristic zero (I'm only interested in number fields), and let $\mathbb{G}_{/k}$ be a linear algebraic group defined over $k$ which is almost $k$-simple (all normal ...

**1**

vote

**1**answer

76 views

### Stalks of higher direct image under open embedding

Let $U$ be an open subset of $\mathbb P^1$ without two points (say $t=0$ and $t=\infty$) and $j: U\to \mathbb P^1$ be an open immersion. Ground field $k$ is algeraically closed. Let $G$ be the group ...

**0**

votes

**0**answers

42 views

### Invariant subalgebra and dual torus for symmetric group

Given permutation module with three generators and corresponding Galois action of symmetric group $\mathfrak S_3$ I am interested in computing corresponding dual torus $T$ (which should be of ...

**0**

votes

**1**answer

221 views

### generalization of highest weight theorem for semisimple lie algebras

Let $\mathfrak g$ be a real semisimple Lie algebra (without compact factors) with Iwasawa decomposition
$\mathfrak g=\mathfrak k\oplus \mathfrak a\oplus \mathfrak u$.
Let $\mathfrak p$ be a
...

**0**

votes

**1**answer

102 views

### Are Zariski connected and closed semisimple subgroups of semisimple and simply connected algebraic groups again simply connected? [closed]

Let $G$ be a semisimple and simply connected linear algebraic group over $\mathbb{C}$.
Let $H$ be a connected, Zariski closed and semisimple linear algebraic $\mathbb{Q}$-subgroup of $G$.
Is $H$ a ...

**0**

votes

**1**answer

124 views

### A bijection between Lusztig series induced by inflation

Context:
Let $\pi: \widehat{G} \rightarrow G$ be a surjective morphism between connected reductive groups defined over $\mathbb{F}_q$ whose kernel is a central torus. Then $\pi : \widehat{G}^F ...

**11**

votes

**0**answers

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

**1**

vote

**2**answers

392 views

### Regular embeddings of reductive groups

A regular embedding of a connected reductive linear algebraic group $G$ defined over $\mathbb{F}_q$ is a morphism $\varphi : G \rightarrow G'$ of algebraic groups which is a closed immersion where ...