The tag has no usage guidance.

learn more… | top users | synonyms

4
votes
2answers
176 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
1answer
192 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
1answer
236 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
1answer
212 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
2answers
328 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}$, ...
9
votes
0answers
486 views

Role of nontrivial component groups in Springer Correspondence?

Set-up for classical Springer Correspondence: $G$ = reductive group (usually assumed to be semisimple of adjoint type) over $\mathbb{C}$, with Borel subgroup and maximal torus $B \supset T$, Weyl ...
0
votes
0answers
36 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 ...
5
votes
1answer
407 views

Bruhat decomposition for reductive groups in characteristic zero?

Let $G$ be a reductive, linear algebraic group (variety) over an algebraically closed field $\Bbbk$ of characteristic zero. If $G$ is connected, I know from Humphrey's book that for any Borel subgroup ...
1
vote
1answer
169 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: ...
4
votes
1answer
140 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
0answers
62 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$ ...
5
votes
2answers
178 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 ...
0
votes
1answer
195 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 ...
2
votes
1answer
82 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 ...
9
votes
1answer
226 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 ...
14
votes
5answers
1k views

Comparing algebraic group orbits over big and small algebraically closed fields

For an affine algebraic group $G$ it's often convenient (and harmless) to work concretely over an algebraically closed field of definition $k$ while identifying $G$ with its group of rational points ...
2
votes
0answers
109 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$ ...
3
votes
2answers
124 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 ...
4
votes
1answer
187 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 ...
6
votes
2answers
200 views

regular semisimple elements on spherical varieties

Let $(G,H_1)$ and $(G,H_2)$ be spherical pairs (i.e. $G$ is a reductive group, $H_i$ are its closed subgroups and the Borel subgroup $B$ of $G$ has a finite number of orbits on $G/H_i$). What can ...
3
votes
3answers
243 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$ ...
2
votes
0answers
94 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
0answers
120 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 $$ ...
1
vote
2answers
194 views

Preimage of a maximal compact open subgroup in the simply connected cover

Let $G$ be a semi-simple algebraic group over $Q_p$ and $K$ in $G(Q_p)$ a maximal compact open subgroup. Let $\tilde{\pi}\colon \tilde{G}\rightarrow G$ be the simply connected cover. Then ...
3
votes
1answer
232 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
1answer
117 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
1answer
189 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
1answer
88 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
2answers
266 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
1answer
148 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
0answers
98 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
1answer
240 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$ ...
6
votes
1answer
568 views

Chopping up Dynkin diagrams

Suppose I have a simple, simply connected (linear) algebraic group $\mathcal{G}$ over an algebraically-closed field $k$, which could have any characteristic. In fact, to keep things simple, let's ...
10
votes
1answer
312 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
0answers
112 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, ...
7
votes
2answers
431 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 ...
2
votes
2answers
280 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 ...
1
vote
2answers
208 views

Reference request: Lusztig's symmetries

Let $W$ be the Weyl group of a simple algebraic group $G$. The Artin braid group $Br_{\mathfrak{g}}$ is generated by the $T_i$ , $i \in I$ such that for all $i, j \in I$, \begin{align} ...
5
votes
0answers
190 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, ...
2
votes
2answers
389 views

Reference for Unitary Group attached to $E/k$

Unitary groups are very important objects in the setting of Langland's Conjecture because of the existence of Shimura Variety ( which I don't know) and also because people know how to attach a galois ...
4
votes
0answers
152 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 ...
16
votes
2answers
719 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 ...
9
votes
2answers
535 views

Regular elements in the torus of a group of Lie type

Let $G$ be a simple linear algebraic group, and $F$ a Frobenius map, i.e. some power of $F$ is the standard Frobenius map which raises matrix entries to the $q$-th power. Then $G^F$ is a group of Lie ...
0
votes
2answers
131 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 ...
18
votes
1answer
467 views

Which p-adic algebraic groups are type I?

It was proved by Jacques Dixmier (Sur les représentations unitaires des groupes de Lie algébriques, Annales de l'institut Fourier, 7 (1957), p. 315-328, doi: 10.5802/aif.73, MR 20 #5820 , Zbl ...
0
votes
0answers
88 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 ...
19
votes
4answers
1k views

algebraic group G vs. algebraic stack BG

I've gathered that it's "common knowledge" (at least among people who think about such things) that studying a (smooth) algebraic group G, as an algebraic group, is in some sense the same as studying ...
8
votes
1answer
348 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
1answer
107 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
0answers
86 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 ...