The algebraic-groups tag has no usage guidance.

**3**

votes

**0**answers

124 views

### What is the algebraic fundamental groups of $SO(n)$ and $Sp(2n)$?

Let $k$ be an algebraically closed field of characteristic zero. and let $$\sigma: SL_n(k)\rightarrow SL_n(k)$$
be an involution.
My questions are:
How could one calculate the fundamental group of ...

**6**

votes

**1**answer

71 views

### Structure of Deligne-Lusztig representations $R_{T,\theta}$ for ministropic $T$ and cuspidal representations

Let $G$ be a reductive group over a finite field $k$, let $F$ be a Frobenius morphism on $G$.
I'll start with a somewhat vague question and make my question more specific further down:
How do ...

**2**

votes

**1**answer

75 views

### When is the image of the adjoint representation of a real algebraic group Zariski closed?

Let $\operatorname{Ad}:\operatorname{SL}_n(\mathbb{R}) \to \operatorname{GL}(\mathfrak{sl}_n(\mathbb{R}))$ be the adjoint representation (i.e. $\operatorname{Ad}(g)X=gXg^{-1}$) of $SL_n(\mathbb{R})$. ...

**5**

votes

**2**answers

178 views

### “Interesting” projective varieties being quotients of $\mathbb{A}^n\setminus \{0\}$ by an action of an algebraic group?

The algebraic (multiplicative) group $G^m$ acts on $\mathbb{A}^n$ (diagonally) and the quotient of $\mathbb{A}^n\setminus \{0\}$ by $G_m$ is $\mathbb{P}^{n-1}$ (which is a proper variety). I would ...

**2**

votes

**0**answers

43 views

### maximal elementary abelian p-subgroups of finite groups of Lie type

Let $G$ be a simple algebraic group over an algebraically closed field k of characteristic $p$. Let $G(\mathbb{F}_{p^r})$ be the corresponding finite group of Lie type. Is it true that every maximal ...

**7**

votes

**0**answers

134 views

### A conjecture of Lubotzky on ranks of subgroups of special linear groups over the integers

In a 1985 paper named "Dimension function for discrete groups" Lubotzky conjectured that:
For any integer $n \geq 3$ the group $\mathrm{SL}_n(\mathbb{Z})$
contains infinitely many finite index ...

**1**

vote

**0**answers

57 views

### Maximal $k$-split $k$-tori are $G(k)$-conjugate, but maximal $k$-tori are not?

Suppose $G$ is a reductive algebraic group defined over a field $k$.
Is this right?
If so, it means for each maximal $k$-split $k$-tori $T$ there are many maximal $k$-anisotropic ones $T'$ that ...

**3**

votes

**1**answer

94 views

### Parametrization of Schubert varieties in isotropic Grassmannians by partitions

Let $X=\mathbb{G}_Q(l,p)$ be the isotropic Grassmannian, where $l\leq p-2$. Let $q=p-l$. Let $W^P$ be the set of minimal length representatives. Let $\tilde{\mathcal{Q}}(l,p)$ be the set of partition ...

**1**

vote

**0**answers

44 views

### Jordan decomposition of elements in non-connected component of algebraic group

Let $G$ be a Linear Algebraic Group (over algebraically closed field). We know that the connected component $G^o$ is a normal subgroup of finite index in $G$. Let $g$ be an element of $G$ which is not ...

**6**

votes

**1**answer

226 views

### Do representations of real semisimple algebraic group have to be algebraic?

If $G$ is the real points of a semisimple algebraic group and $\rho:G\to GL(n,\mathbb R)$ is continuous representation. Is $\rho$ an algebraic morphism?

**1**

vote

**1**answer

123 views

### Is it possible to describe the action of the Weyl group on the cohomology of the fibers of the Grothendieck-Springer resolution?

I am confused about the following: can one describe the action of the Weyl group on the cohomology of each fiber of the Grothendieck-Springer resolution? I only need the case of ${\mathfrak sl}_n$. ...

**-2**

votes

**0**answers

102 views

### Free abelian subgroups of SL(3,$\mathbb{Z}$) [migrated]

Does SL(3,$\mathbb{Z}$) have any free abelian subgroup of rank > 2?
I want to find 3 $\times$ 3 integer matrices with determinant 1 such that the matrices are commutative, but there exists no other ...

**1**

vote

**0**answers

116 views

### Does the functor of taking invariants commute with tensor products? [closed]

Suppose that $G$ is a group acting on a commutative ring $R$, inducing an action on each $R$-module. For any $R$-module $M$, let $M^G$ denote the collection of elements of $M$ invariant under the ...

**3**

votes

**1**answer

219 views

### Maximal ideal of group ring

Let $R$ be a finite commutative ring with identity and $G$ an finite abelian group. Is there any more conditions (on $R$ or on $G $) under which we can characterize maximal ideals of group ring $RG $, ...

**8**

votes

**2**answers

245 views

### Parahoric Group Scheme

I am looking for the definition of a parahoric group scheme in the sense of Bruhat and Tits? I couldn't find a reference for that? at least a "clear" reference!
thanks

**6**

votes

**1**answer

96 views

### Pullback of line bundles and existence of divisors representing line bundles

I am studying the proof of Lemma 7.2. on page 108 in Dolgachev's "Lectures on invariant theory". It states (everything is done over the field $k = \overline{k}$):
Let $X$ be a normal affine ...

**1**

vote

**0**answers

83 views

### Form over $ \mathbb{Z} $ of non-split simple algebraic groups over non-archimedean local fields

Here is a basic observation :
On page 68 of his article Reductive groups over local fields, Jacques Tits writes:
All types of groups listed (...) exist over an arbitrary [non-archimedean local] ...

**-1**

votes

**0**answers

60 views

### writing certain diagonal element as a product of unipotents in the unitary group

In the group $SL_2(\mathbb C)$ I can write the diagonal matrix $diag(t,t^{-1})$ as a product of 6 unipotents as follows: $x_{12}(t)x_{21}(-t^{-1})x_{12}(t) x_{12}(-1)x_{21}(1)x_{12}(-1)$ where ...

**4**

votes

**2**answers

165 views

### Questions about $\mathbb{C}[G/U^-]$ and $\mathbb{C}[B]$

Let $G = GL_n$. By algebraic Peter-Weyl theorem, we have
$$
\mathbb{C}[G] = \bigoplus_{\lambda} V_{\lambda} \otimes V_{\lambda}^*,
$$
where $\lambda$'s are dominant weights. Let $U^-$ be the ...

**2**

votes

**1**answer

202 views

### Any representation is a sub representation of direct sum of regular representation

I need a reference for the following statement:
Let G be a linear algebraic group over algebraically closed field k. Let V be a finite dimensional G-module. The V is sub representation of k[G]^n for ...

**6**

votes

**1**answer

253 views

### Is there a non-smooth algebraic group scheme in char $p$, all of whose defining relations have degree less than $p$?

Let $k$ be an algebraically closed field of characteristic $p>0$.
All the examples of non-smooth algebraic group schemes over $k$ that
I have seen (apart from "artificial" examples; see below) have ...

**0**

votes

**1**answer

227 views

### Classification of finite group schemes over a field

What is known about the classification of finite group schemes over a field? By a finite group scheme I mean $Spec A$ where $A$ is a finite-dimensional algebra over a field.
Is there a full ...

**6**

votes

**2**answers

334 views

### How simple does a $\mathbb{Q}$-simple group remain after base change to $\mathbb{Q}_{\ell}$?

Of course the general answer to the question in the title is: not very simple.
I could not think of a better title, so let me explain my question in more detail.
I have a number field $E/\mathbb{Q}$, ...

**0**

votes

**0**answers

41 views

### Relation between $\Gamma$-percuspidal parabolic subgroups and split parabolic subgroups of real semisimple Lie groups

Let $G$ be a reductive algebraic group defined over $\mathbb{Q}$. Let $\Gamma$ be a lattice in $\mathcal{G}:= G(\mathbb{R})$. I am interested in knowing under what conditions on either of ...

**1**

vote

**1**answer

220 views

### Generalization of a theorem of Steinberg

Steinberg has a beautiful theorem counting $F$-stable maximal tori in a reductive group. Here's the version of the result that you can find as Theorem 3.4.1 of Carter's Finite groups of Lie type:
...

**2**

votes

**0**answers

65 views

### Connected components of a certain real homogeneous space

Let $m>0$ be a natural number.
Consider the following semisimple algebraic groups over ${\mathbb{R}}$:
$$ G={\mathrm{SU}}(2m,4m),\ \ H={\mathrm{SU}}(2m,2m)\times{\mathrm{SU}}(2m). $$
We embed $H$ ...

**4**

votes

**1**answer

147 views

### Matrix from a homomorphism of simply connected groups

Let $H$ be a simple algebraic group of type $\mathbf{G}_2$ over $\mathbb{C}$.
Let $\rho$ be the standard 7-dimensional complex representation
$$ \rho\colon H=\mathbf{G}_2\to \mathrm{SO}_7.$$
We ...

**2**

votes

**1**answer

88 views

### How to associate a proper parabolic subgroup of a real s.s Lie group $G$ to a non-trivial unipotent element in a non uniform lattice in $G$?

Let $G$ be a real semi-simple Lie group. Let $\Gamma$ be a non-uniform lattice in $G$.
Then it is known that $\Gamma$ contains a non-trivial unipotent element. When $\mathbb{R}$-rank of $G$ is 1, it ...

**3**

votes

**2**answers

208 views

### degeneration of reductive group

If $A$ is a mixed characteristic complete DVR (I'm only actually interested in $\mathbf{Z}_p$) and $G/A$ is a closed subgroup scheme of $GL(n)$ whose generic fibre is connected reductive and split, is ...

**2**

votes

**0**answers

113 views

### Hasse diagrams of G/P_1 and G/P_2

in the Paper http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.30.5052&rep=rep1&type=pdf at the end, we can see Hasse diagrams for several projective, homogeneous $G$-varieties for $G$ ...

**9**

votes

**1**answer

230 views

### Torsors trivializing over a fixed finite etale cover

Let $S$ be an integral regular scheme and let $T\to S$ be a finite etale morphism. Let $G$ be a smooth affine finite type group scheme over $S$.
Is the set of $S$-isomorphism classes of $G$-torsors ...

**4**

votes

**1**answer

199 views

### Lifting torsors in characteristic $p$ to characteristic zero

Let $R$ be a local integral domain with residue field $k$ such that $R$ is of characteristic zero and $k$ is of characteristic $p>0$. Let $G$ be a smooth finite type affine group scheme with ...

**3**

votes

**2**answers

130 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

100 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

147 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

249 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

237 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

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

**3**

votes

**1**answer

193 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

92 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

277 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

154 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

106 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

248 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

319 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

114 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

283 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

191 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

158 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

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