Questions tagged [algebraic-groups]

Algebraic varieties with group operations given by morphisms, or group objects in the category of algebraic varieties, the category of algebraic schemes, or closely related categories.

Filter by
Sorted by
Tagged with
1
vote
0answers
47 views

Checking axiom of Category $\mathcal{O}$

Let $K$ be a finite extension of $\mathbb{Q}_p$ and $G$ be a split connected reductive algebraic group over $K$ with Borel $B$. We have the associated Lie algebras $\mathfrak{g}=$Lie$(G)$ and $\...
17
votes
0answers
343 views

Semisimplicity for tensor products of representations of finite groups

Let $G$ be a group and $k$ a field of characteristic $p>0$. Let $$\rho_i: G\to GL(V_i),~ i=1,2$$ be two finite-dimensional semisimple $k$-representations of $G$, with $\dim(V_1)+\dim(V_2)<p+2.$ ...
2
votes
1answer
123 views

Conjugacy of elements in a parabolic subgroup

Let $G$ be a complex connected reductive group, and let $P \subseteq G$ be a parabolic subgroup. My question is the following: if $g$ and $h$ are elements of $P$ which are conjugate as elements of $G$,...
4
votes
0answers
59 views

Maximal $\mathbb{Q}$-split torus in center of Weil restriction of $\text{GL}_n$ over a number ring

I'm a topologist writing a paper where I have to do a bit of work with algebraic groups, and I've managed to confuse myself about something very basic. Let $K$ be an algebraic number field. Regard $\...
1
vote
0answers
108 views

When a free action gives rise to a $G$-principal bundle

When a free action gives rise to a $G$-principal bundle Let a (topological) group $G$ act freely on a (topological) space $X$. Assume that $G \backslash X$ is Hausdorff. (equivalently the image of ...
5
votes
2answers
343 views

Picard group of symplectic group modulo orthogonal group

Let $Sp(2n)$ be the group of complex symplectic $2n\times 2n$ matrices, and $O(2n)$ the group of complex orthogonal $2n\times 2n$ matrices. Consider $Sp(2n)\cap O(2n)\subset Sp(2n)$ and the quotient $...
5
votes
1answer
165 views

Finite group ${\rm Sp}_4({\Bbb F}_3)$: involutions coming from a 4-dimensional complex representation

I am interested in the finite unitary reflection group $G= G_{32}$, the group No. 32 in Table VII on page 301 of the paper: Shephard, G. C.; Todd, J., A. Finite unitary reflection groups. Canad. J. ...
2
votes
1answer
93 views

How is Harish-Chandra restriction compatible with Harish-Chandra series?

Suppose $G$ is a connected reductive group over $\overline{\mathbb{F}}_p$, with Frobenius $F$. Let $(L_0,\Lambda_0)$ be a cuspidal pair with $L_0$ a Levi subgroup of a Levi subgroup $L$, and let ${^{\...
1
vote
0answers
90 views

Discriminant ideal in a member of Barsotti-Tate Group

Let $S = \operatorname{Spec} R$ an affine scheme (in our case latter a complete dvr) and $p$ a prime. Then Barsotti-Tate group or $p$-divisible group $G$ of height $h$ over $S$ is an inductive system ...
1
vote
0answers
78 views

Is there an infinite order $\mathbb{F}_{p}$-section for a certain elliptic surface $\mathcal{E}_n$?

Consider a natural number $n$, a finite field $\mathbb{F}_{p}$ (such that $p$ is prime, $p \equiv 1 \ (\mathrm{mod} \ 3)$, $p \equiv 3 \ (\mathrm{mod} \ 4)$, and $\sqrt[3]{2} \notin \mathbb{F}_p$), ...
2
votes
1answer
51 views

Why is the set of parabolic reductions of a G-torsor E bijective to the set of parabolic subgroups of Aut(E)?

Let $G$ be a reductive group scheme over some base $X$ and $P \subseteq G$ a parabolic subgroup. To a $P$-torsor $\mathscr{E}_P$, we may associate a $G$-torsor $\mathscr{E} = G \times^P \mathscr{E}_P$,...
5
votes
2answers
242 views

Relationship between fans and root data

A (split) reductive linear algebraic group is equivalently described by combinatorial information called a root datum. A toric variety is described by combinatorial information called a fan. Both ...
7
votes
1answer
194 views

Is a 8-dimensional quadratic form recognized by its Lie algebra, modulo equivalence and scalar multiplication?

Question. Let $K$ be a field of characteristic zero (large characteristic should be fine too). Let $q,q'$ be two non-degenerate quadratic forms on $K^n$ with $n=8$. Suppose that the Lie algebras $\...
1
vote
0answers
53 views

Reference request for finite simple exceptional group of lie type $E_7(q)$ and its Schur covering group $2.E_7(q)$?

Does anyone have the paper named 'Génerateurs, relations et revêtements de groupes algébriques' written by Robert Steinberg in 1962, or any other reference for simple groups of Lie type $E_7(q)$ and ...
10
votes
1answer
188 views

Bialynicki-Birula decompositions and fixed points

I was reading Luna's paper Toute variété magnifique est sphérique and stumbled on a few facts about Bialynicki-Birula decompositions and fixed points that I don't understand. Here is the setup. Let $...
5
votes
1answer
86 views

Element of Weyl chamber contracting $\mathbb{A}^n_k$ to a point

Let $G$ be a connected reductive group over an algebraically closed field $k$ of characteristic 0. Fix a Borel subgroup $B$ and a maximal torus $T \subset B$. Let $P \subset G$ be a parabolic subgroup ...
9
votes
3answers
378 views

Subgroup of $\mathrm{GL}_n$ stabilizing linear subspace skew-symmetric matrices

I am currently reading "Schiffer variations and the generic Torelli theorem for hypersurfaces" by Voisin, where it is claimed that the subgroup of $\mathrm{SL}_{2m}$ ($m \geq 3$) which preserves a ...
1
vote
1answer
133 views

Weyl group actions on standard parabolic subgroups of classical groups [closed]

$\DeclareMathOperator\U{U}\DeclareMathOperator\GL{GL}$Let $E/F$ be a quadratic extension of local fields and $G=U(V)$ a unitary group associated to hermitian space $V$ over $E/F$. We fix a minimal ...
3
votes
0answers
59 views

Bounds on the component group of the center of a reductive group arising as centralizer

Let $k$ be an algebraically closed field and let $G$ be a reductive, but not necessarily connected, algebraic group over $k$. (For me: reductive group = no non-trivial connected normal unipotent ...
4
votes
1answer
105 views

Is the connected centralizer of a semisimple element in a connected reductive group also a centralizer?

Let $G$ be a connected reductive algebraic group defined over an algebraically closed field and let $g\in G$ be semisimple. Write $C=\mathrm{C}_G(g)$ and $C^\circ=\mathrm{C}_G(g)^\circ$ for the ...
0
votes
0answers
42 views

Commensurability of arithmetic, irreducible, nonuniform lattices

Let $n \in \mathbb{Z}_{\geq 2}$ be arbitrary. Let $r_1$ and $r_2$ be arbitrary elements of $\mathbb{Z}_{\geq 0}$ that satisfy $r_1 + r_2 > 0.$ Let $G := {\rm SL}_n(\mathbb{R})^{r_1} \times {\rm SL}...
4
votes
1answer
260 views

Białynicki-Birula decomposition for singular projective variety

Let us have a (possibly singular) irreducible projective variety $X$ over $\mathbb{C}$, with an algebraic $\mathbb{C}^*$-action that has finitely many fixed points $\{x_1,\dotsc,x_n\}$. One can define ...
0
votes
1answer
67 views

Slicker computation of the Lie algebra of the symplectic group (and computing differentials of matrix equations of polynomials)

Let $\mathbb{k}$ be an algebraically closed field. The symplectic algebraic group is given by $$ \text{Sp}(2n,\mathbb{k})=\{M\in\text{Mat}_{2n}(\mathbb{k})\mid J=M^TJ M\}\quad\text{where}\quad J=\...
2
votes
0answers
30 views

Carter Payne homomorphisms and reduced expressions

Let $G$ be an algebraic group and $W$ denote the underlying affine Weyl group. I will label representations of the principal block of $G$ by their alcoves, which in turn I label by the corresponding ...
4
votes
0answers
40 views

The weak restriction of the Jacquet module

Let $P= MN$ be a parabolic subgroup of a reductive p-adic group $G$, and $(\pi, V)$ is an irreducible, admissible representation of $G$. The Jacquet module is the representation $(\pi_N, V_N)$, where $...
6
votes
1answer
149 views

Tannakian criterion for reducedness of Tannakian dual group

Given an affine group scheme G over a field of positive characteristic. Question: Is there a simple criterion for G to be reduced in terms of the neutral Tannakian category of its finite dimensional ...
6
votes
1answer
181 views

Explicit fundamental domain for the action of $\operatorname{O}(n,1)(\mathbb{Z})$ on $\operatorname{O}(n,1)(\mathbb{R})$

Minkowski computed explicit fundamental domains for the action of $\operatorname{SL}_n(\mathbb{Z})$ on $\operatorname{SL}_n(\mathbb{R})/\operatorname{SO}_n(\mathbb{R})$ for each $n \leq 6$. In the ...
4
votes
1answer
155 views

Connectedness of the stabilizer in a semisimple group of a semisimple element in the Lie algebra: a reference request

Let $G$ be a (connected) semisimple algebraic group over an algebraically closed field $k$ of characteristic 0. We consider the adjoint representation $$ {\rm Ad}\colon G\to {\rm GL}({\mathfrak g}),$$ ...
1
vote
0answers
59 views

simple Lie groups over C [closed]

For an affine algebraic group over $\mathbb{C}$ which is simple, in the sense of no normal subgroups closed in the Zariski topology except for finite central subgroups and the whole thing, I'm trying ...
1
vote
0answers
108 views

Descent of projective bundles

A problem studied in GIT is the descending of vector bundles (or more in general coherent sheaves) to quotients. It is a result of Kempf that whenever we have a vector bundle over a quasiprojective ...
4
votes
1answer
123 views

The Lie algebra of the subgroup of $GL(n)$ preserving a given variety

Let $V=k^n$ for an algebraically closed field $k$ of characteristic 0, and let $W \subseteq V$ a subspace. Let $G_W\subseteq GL(V)$ be the set of invertible linear maps that preserve $W$, i.e. $$ G_W=\...
5
votes
1answer
97 views

Definition of functions in the induced space from parabolic induction

Let $P$ be a parabolic subgroup of a connected, reductive group $G$ over a $p$-adic field. Let $M$ be a Levi subgroup of $P$, and let $N$ be the unipotent radical of $P$. If $(\pi,V)$ is a smooth, ...
2
votes
0answers
64 views

Iwasawa decomposition on unitary group of anisotropic kernel

Let $E/F$ be a quadratic extension of number fields. If $V$ is a hermitian space over $E$, let $V=X+V_0+Y$ be its Witt decomposition, where $X,Y$ are maximal totally isotropic subspaces and $V_0$ is ...
2
votes
0answers
72 views

Metaplectic group $Mp(2n)(\mathbb{A}_F)$ splits over $Sp(2n)(F)$?

My question is the title. In some literature, authors seem to use this without assumption. Is it ture in general?
4
votes
1answer
227 views

Is the Jordan decomposition for reductive groups algebraic?

Let $G$ be a connected affine algebraic group over $\mathbb{C}$. It's a known fact that elements of $G$ admit a decomposition into semisimple and unipotent elements. Namely, choose a faithful ...
4
votes
0answers
222 views

Certain Fourier transforms involving Whittaker function and Bessel functions

I recently meet the following two weird "Fourier transform" questions. (I), Suppose that $F$ is a $p$-adic field (the same question can be asked over any local field, including $\mathbb{R}$ and $\...
3
votes
1answer
110 views

Do rational points in a split reductive group act transitively on the orbits of the Cartan subalgebra (w.r.t. automorphism group of Lie algebra)?

Let $(G,T,M)$ be a split reductive group (over say, the integers), with Lie algebra $(\mathfrak{g}, \mathfrak{t})$, and let $R$ be a commutative ring. When $R$ is an algebraically closed field, it is ...
2
votes
0answers
111 views

Diagonal action on external product of trivial principal bundles

(Title, tags and phrasing of this problem might not very good, so please feel free to edit it.) In the course of writing a long and technical proof, I recently came across the following problem: Let ...
6
votes
1answer
242 views

Topology of the projective symplectic group

Consider the projective symplectic group $\mathrm{PSp}(n+1)$ over $\mathbb{C}$. This parametrizes $(n+1)\times (n+1)$ symplectic matrices modulo scalar multiplication. Is $\mathrm{PSp}(n+1)$ ...
1
vote
0answers
58 views

Which quotients of surface groups are linear?

Let $S$ be a compact connected Riemann surface, and let $\pi = \pi_1(S)$ be its fundamental group. Let $\pi \to G$ be a surjective homomorphism. Is $G$ linear? (That is, does $G$ admit a ...
2
votes
0answers
72 views

roots and embeddings

Let $G$ be a connected reductive group over an algebraically closed field, can we always find an embedding let $\rho:G\rightarrow GL_n$, that sends a Borel pair $(B_G,T_G)$ to $(B,T)$ and center to ...
2
votes
0answers
86 views

Full automorphism group of a Bruhat-Tits building

If we start with a semisimple algebraic group $G$ defined over a non-archimedean local field and want to understand the relationship of this group with the full type-preserving automorphism group of ...
4
votes
0answers
112 views

Reference request - conjugacy classes over local fields

Is there a nice reference for reductive groups over local fields, which for example contains discussion of things such as: Given a semisimple element in $G(F)$, its $G(F)$-conjugacy class is closed in ...
1
vote
1answer
231 views

Viewing a finite group as a group scheme

I've read books which have this statement, without explanation : 'every finite group is an algebraic group'. I'm trying to understand what exactly they mean. The definition I have in my mind of a ...
0
votes
1answer
125 views

basic question on quotient stacks

Let $X$ be a scheme over $S$, and $G$ be an affine group scheme over $S$ acting on $X$. This Wikipedia article (or also this related MO question) defines a quotient stack $[X/G]$ as a category of ...
2
votes
0answers
118 views

Confusion about the classification of isotrivial group schemes

in SGA 3, exposé X, we find the following classification result (corollaire 1.2): Let $S$ be a connected scheme and let $\xi:\mathrm{Spec}(\Omega) \to S$ be a geometric point. Let $\pi=\pi_1(S,\xi)$ ...
2
votes
1answer
154 views

Highest weight vector as a global section of an affine scheme

Let $G$ be a connected, reductive quasi-split group over a field $k$, acting on an afffine $k$-variety $X$. Let $B = TU$ be a Borel subgroup of $G$ with maximal torus $T$ and unipotent radical $U$. ...
5
votes
0answers
134 views

Homology of a semisimplicial scheme

This is a question about the homology of a complex made of algebraic varieties. Consider the following subgroups of $\mathrm{SL}_3$ (defined over $\mathbb{Z}$). $$ P_{1,2} = \left\{\left(\begin{...
2
votes
1answer
78 views

On components of centralisers in unipotent groups

Let $k$ be an algebraically closed field with $\mathrm{char}(k)=p>0$. Let $U$ be a connected unipotent algebraic group over $k$. Question: When $p$ is big enough, is it true that $Z_U(u)$ is ...
3
votes
0answers
121 views

Orbit representatives for the action of the maximal compact subgroup

Let $F$ be a non-Archimedean local field and $O$ be the ring of integers in $F$. Take $G=GL(2,F)$ and $K=GL(2,O)$. Consider the action of $K$ on $G$ by conjugation. Is it possible to explicitly write ...

1
2 3 4 5
33