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

2,004
questions

2
votes

0
answers

120
views

### Centralizers and algebraic groups

Suppose $G$ is a linear algebraic group - I am also happy to assume $G$ is a simple algebraic group over an algebraically closed field of characteristic zero, but the question won't require this.
The ...

1
vote

0
answers

78
views

### Geometric induction of modules for algebraic groups

Let $\Bbbk$ be an algebraically closed field (of any characteristic). Let $G$ be an algebraic group over $\Bbbk$, and $H$ a closed (hence algebraic) subgroup of $G$.
Let $V$ be a finite-dimensional $...

0
votes

1
answer

43
views

### Isogeny of connected linear algebraic group stabilizes Borel subgroup

I am trying to understand a result on algebraic groups, namely that if $\sigma:G\to G$ is an isogeny of a connected linear algebraic group over an algebraically closed field, then $\sigma$ stabilizes ...

3
votes

0
answers

76
views

### Has the determinant of a involution of the first kind ever been considered as an invariant?

Let $k$ be a field of characteristic zero.
Let $A, B$ be central, simple algebras over $k$ of even degree $n,m > 1$.
Let $\sigma$ be an involution on $A$, which is either symplectic or orthogonal. ...

2
votes

1
answer

254
views

### Representation ring of the general linear group

The ring of representations of the symmetric group is isomorphic to the ring of symmetric functions. The Schur-Weyl duality relates the irreducible representations of the symmetric group and that of ...

3
votes

0
answers

82
views

### Describing the outer automorphism of a special unitary group in terms of the Hermitian form

$\DeclareMathOperator\U{U}\DeclareMathOperator\SU{SU}\DeclareMathOperator\GL{GL}$Let $h$ be a non-degenerate Hermitian form on $\mathbb{C}^n$ with signature $(p,q)$. Let $\U_h$ denote the associated ...

1
vote

0
answers

85
views

### Finite groups acting on algebraic groups and representations

Let $H$ be a connected algebraic group over an algebraically closed field $k$, and $I$ a finite group which acts on $H$ through group scheme morphisms. Denote by $Rep(H)$ the category of finite ...

4
votes

1
answer

311
views

### Étale group schemes and specialization

If $A$ is an abelian variety over a finite field $\mathbf{F}_q$, then $A(\mathbf{F}_q)$ (resp. $A(\overline{\mathbf{F}}_q)$) is a finite (resp. infinite torsion) group, but $A(\mathbf{F}_q(t))$ is a ...

0
votes

0
answers

157
views

### The largest value of $k$ for $\mathbb{Z}^k$ to be embedded in $GL(n,\mathbb{Z})$

This is just a question originated from This conversation (commented by Moishe Kohan). I tried to prove those two assertions but I don't know where to start:
If H is a free abelian subgroup of $SL(n, ...

4
votes

0
answers

85
views

### Boundary divisor of an equivariant compactification of a non-trivial twist of $\mathbb{G}_a^n$

Let $K$ be a non-perfect field of positive characteristic. Then there exist non-trivial forms of $\mathbb{G}_a^n$ which split over finite purely inseparable extensions of $K$, i.e., algebraic groups $...

2
votes

2
answers

215
views

### Zariski closure of the image of an induced representation

Let $G$ be a finitely generated discrete group, $H\le G$ a subgroup of finite index $d$, and let $\rho : H\rightarrow \operatorname{GL}(n,\mathbb{C})$ be a representation.
Let $\tilde{\rho} := \...

5
votes

1
answer

192
views

### Commuting matrices and cyclic modules

Let $A, B\in M_n(\mathbb{C})$ be matrices that commute. We suppose that there exists a vector $v\in\mathbb{C}^{n}$ such that $(\mathbb{C}[A,B]).v$ generates $\mathbb{C}^{n}$. We call such a pair a ...

0
votes

1
answer

103
views

### Functions on products of tori

Let $T$ be an algebraic torus over an algebraically closed field $k$.
Let $d\in\mathbb{N}^{*}$. For every $d$-tuple of integers $\underline{n}=(n_1,\dotsc, n_d)$ and a function $f\in k[T]$, we can ...

4
votes

2
answers

211
views

### Biquadratic extension of global function fields with cyclic decomposition groups

Let $F$ be a global function field, for example $F={\mathbb F}_q(t)$, the field of rational functions in one variable over a finite field ${\mathbb F}_q\,$.
Question. What would be an example of a ...

1
vote

0
answers

97
views

### Equivariant subcategory of Tannakian category

Let $\mathcal C$ be a neutral Tannakian category over a field $K$ of characteristic $0$, with Tannakian fundamental group $U$.
Assume there is a pseudo-functor $G \to \operatorname{Aut}_K(\mathcal C)$ ...

2
votes

1
answer

78
views

### Rationality of quasi-elementary group actions

I am learning the paper https://arxiv.org/pdf/1604.01005.pdf "Reductive group actions" by Knop and Krotz.
They defined that a linear k-algebraic group $H$ with unipotent radical $H_{u}$ is ...

1
vote

0
answers

211
views

### Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\widehat{\mathbb{G}}_a,\mathbb{G}_m)=0$ for $i>0$?

Let $k$ be a characteristic zero field and consider the category $(\mathsf{Sch}/k)_\text{fppf}$ of schemes over $k$ with the fppf topology. I know that $\underline{\operatorname{Hom}}(\mathbb{G}_a,\...

5
votes

1
answer

386
views

### Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\mathbb{G}_a,\mathbb{G}_m)=0$ for $i>0$?

Let $k$ be a characteristic zero field and consider the category $(\mathsf{Sch}/k)_\text{fppf}$ of schemes over $k$ with the fppf topology. I know that $\underline{\operatorname{Hom}}(\mathbb{G}_a,\...

1
vote

0
answers

85
views

### Equivariant cohomology with compact support of the generalized Jacobian of a nodal elliptic curve

[Question forwarded from SE for lack of interaction]
Given an geometric genus $1$ curve with $1$ node $C$ (hence with arithmetic genus $2$), its normalization is given by the elliptic curve $\tilde{C}$...

1
vote

0
answers

116
views

### Reference request: Weil's uniformization theorem

The Weil uniformization theorem says that if $k$ is an algebraically closed field, $G$ a reductive group, and $C$ a curve, we have an isomorphism of stacks $Bun_G(C)\cong G(F_C)\backslash G(\mathbb{A}...

2
votes

0
answers

58
views

### On classifying space of normalizer of maximal torus

I am reading Marc Levine's paper 'Motivic Euler characteristics and Witt-valued characteristic classes'. In that paper he considers the $BN_T(SL_n)$, namely the classifying space of the group of ...

3
votes

0
answers

132
views

### Disconnected reductive algebraic groups in Sage

All simply connected split simple groups have been implement on Sage and it is possible to find their highest roots, fundamental weights, Dynkin diagrams or compute the tensor of two of their ...

1
vote

0
answers

94
views

### Software for computing invariant rings

I have an linearly reductive algebraic group $G$ acting regularly on an affine variety $X$(over an algebraically closed field of characteristic 0). I want to compute the invariant ring $\mathbb{K}[X]^{...

5
votes

1
answer

170
views

### Fields of definition of conjugates

Let $k$ be a field, not necessarily algebraically closed, $G$ an affine group scheme over $k$, $H$ a subgroup of $G$, and $N$ a normal subgroup of $H$, none of them assumed to be smooth. Suppose that ...

2
votes

0
answers

139
views

### How are tangent spaces related via geometric quotient?

Let $G$ be a linearly reductive group acting regularly on an irreducible affine variety $X$ (over an algebraically closed field of characteristic zero). Suppose there's a $G$-stable open subvariety $U$...

6
votes

0
answers

200
views

### Tits construction of algebraic groups of type D₆ and E₇ via C₃

As shown in the Freudenthal magic square, the Tits construction of $D_6$ takes as input
an quaternion algebra and the Jordan algebra of a quaternion algebra (see The Book of Involutions § 41). In ...

2
votes

0
answers

231
views

### Galois cohomology of $\breve{\mathbb Q}_p \otimes_{\mathbb Q_p} \breve{\mathbb Q}_p$

Let $\breve{\mathbb Q}_p$ denote the completion of the maximal unramified extension of $\mathbb Q_p$. I‘d like to compute Galois cohomology groups and sets related to $\breve{\mathbb Q}_p \otimes_{\...

5
votes

2
answers

314
views

### Integrating on orbits of algebraic groups

Suppose $G$ is a $\mathbb{Q}$-algebraic group (I am interested in the semisimple case) acting rationally on a vector space $V_\mathbb{Q}$. Let $x \in V_\mathbb{Q}$ be a non-zero rational vector. ...

11
votes

1
answer

360
views

### Do people prefer working on $\mathrm{GSp}$ and $\mathrm{GU}$ rather than $\mathrm{Sp}$ and $\mathrm{U}$, and why?

I am a new learner of Iwasawa theory and currently reading the famous paper by Skinner-Urban in 2014, and the following-up works by many other people. When reading these papers, I found that some ...

2
votes

1
answer

204
views

### Product decomposition into semisimple and unipotent parts of an algebraic group (in Borel’s LAG)

Let $G$ be an algebraic group, i.e., an affine reduced, separated $k$-scheme of finite type with structure of a group. In Borel’s Linear Algebraic Groups Theorem III.10.6(4) says
Theorem 10.6 (3): ...

1
vote

1
answer

76
views

### Character group functor of an exact sequence of algebraic groups

Let $k$ be a number field and $\mathbb{G}_m$ be the multiplicative group sheaf. For an algebraic group $G$, we define the character group $\widehat{G}:= \mathrm{Hom}_{\bar{k}}(\bar{G},\mathbb{G}_{m,\...

11
votes

4
answers

871
views

### Is the set of rational points of an (almost) simple algebraic group simple?

Let $G$ be an almost simple algebraic group defined over a field $K$. Then we know that, for $H = G/Z(G)$, the set of rational points $H(\overline{K})$ is a simple group (when considered with the ...

0
votes

0
answers

60
views

### Is Deodhar decomposition defined over arbitrary field?

Let G be a semisimple algebraic group defined over k. In Deodhar's paper: On some geometric aspects of Bruhat ordering. Ⅰ. A finer decomposition of Bruhat cell. (DOI link) Deodhar give a decomposition ...

7
votes

3
answers

1k
views

### Has anyone researched additive analogues of toric geometry in characteristic zero?

One definition of an $ n $-dimensional toric variety is that it is a variety $ Z $ for which there exists an equivariant embedding of
$ \mathbb{G}_{m}^{n} $ as a Zariski dense, open sub-variety of $ Z ...

1
vote

0
answers

85
views

### Connected stabilisers for actions of reductive groups

Let $G$ be a connected split reductive group over a field $k$ acting on a variety $X$ over $k$. For each $x\in X$, let $G_x$ be the stabiliser. In general, $G_x$ may be disconnected.
Now suppose $G$ ...

1
vote

0
answers

75
views

### When is $Y$ not an orbit closure?

Let $G$ be a linearly reductive algebraic group acting regularly on an affine space over $\mathbb{A}^n$ an algebraically closed field $\mathbb{K}$. Let $Y$ be a $G$-invariant (closed) affine ...

1
vote

1
answer

178
views

### Lie algebras and pulled back group schemes

Suppose I have an extension of fields $L/K$, a group scheme $G_K$ over $\operatorname {Spec} K$. Let $G_L$ denote the pullback of $G_K$ to $\operatorname{Spec} L$. Then, under what conditions on the ...

1
vote

0
answers

202
views

### Is $\langle\chi,\lambda\rangle=0$, whenever the limit exists? Where is the mistake?

Suppose $G$ is a linearly reductive algebraic group acting linearly on a finite dimensional vector space $V$ over $\mathbb{C}$. This induces an action on the coordinate ring $\mathbb{C}[V]$ (see here)....

2
votes

0
answers

101
views

### Getting an equivariant morphism

Let $X\subset\mathbb{A}^n$ be an irreducible affine variety over an algebraically closed field $\mathbb{K}$ of characteristic zero. Suppose we have two linearly reductive algebraic groups $G$, $G'$ ...

1
vote

1
answer

75
views

### Inclusion of flag varieties and Schubert decomposition

$\newcommand\Fl{\mathrm{Fl}}$Let $G$ be a connected, reductive algebraic group over $\mathbb{C}$. Fix a maximal torus $T$ and Borel subgroup $B$. Let $L$ be a generalized Levi ($L = Z_G(s)^\circ$, for ...

1
vote

0
answers

77
views

### A duality of finite groups coming from a surjective homomorphism with finite kernel of algebraic tori

$\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Gm}{{{\mathbb G}_{m,{\Bbb C}}}}
\newcommand{\X}{{\sf X}}
$ I am looking for a reference for the following lemma (for which I know a proof):
Lemma.
Let $\...

4
votes

0
answers

111
views

### Derived subgroup of rational points vs. rational points of derived subgroups

Let $G$ be a connected split reductive group over a field $k$. In general, we have an inclusion
$$
f: [G(k), G(k)] \rightarrow [G,G](k).
$$
If $k$ is not algebraically closed, $f$ is not necessarily ...

2
votes

0
answers

66
views

### Decompositions of groups and the existence of apartments

Let $X$ be an affine building and $G$ a group with isometric action on $X$. For any non-empty subset $\Omega$ of $X$, we denote by $P_{\Omega}$ the fixer of $\Omega$. Similarly, for any sector $\...

5
votes

1
answer

446
views

### Clebsch–Gordan decomposition formula for algebraic groups

$\DeclareMathOperator\SL{SL}$There is a well-known Clebsch–Gordan decomposition formula for irreducible representations of $\SL_2$. If $V_n$ denotes the unique $n+1$-dimensional irreducible ...

1
vote

1
answer

133
views

### Solution to commutator equation in semisimple algebraic group

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$Let $K$ be a field of characteristic zero, and $\SL_n$ and $\GL_n$ the special and general linear groups over $K$. Let $\Phi \in \GL_n(K), H \in ...

3
votes

0
answers

57
views

### Conditions for a $p$-divisible group to be represented by a formal Lie group

Let $S$ be a scheme where $p$ is locally nilpotent and let $G$ be a $p$-divisible group over $S$.
Is connectedness of $G$ equivalent to $G[p] := \ker(p : G \to G) \to S$ radicial (universally ...

5
votes

1
answer

342
views

### Geometric properties of the adjoint action of a reductive group

$\newcommand{\g}{\mathfrak{g}}$Let $G$ be a reductive algebraic group over field $k = \overline{k}$ and consider the characteristic polynomial $\g \to \g/\!/G := \operatorname{Spec} (k[\g]^G)$ induced ...

2
votes

1
answer

66
views

### primal identity in matrix semigroup

Given a finite set of matrix $\{M_1,M_2,\cdots,M_n\}\subseteq \mathbb{C}^{d\times d}$, we consider the semigroup generated by matrix product.
We call $s_1\cdots s_k$ an identity index if
$M_{s_1}M_{...

3
votes

0
answers

86
views

### Algebraic K-theory of a scheme with group action of a semidirect product

Given $A$ and $H$ linear algebraic groups over a field $k$ and a homomorphism $\phi\colon H \rightarrow \mathrm{Aut}(A)$ we can form the semi-direct product $G = A \rtimes_{\phi} H$.
Suppose that $G$ ...

5
votes

1
answer

184
views

### Torus gerbes over curves

Setup: Let $k$ be an algebraically closed field. Let $C$ be a smooth connected curve over $k$. Let $K(C)$ be the function field of $C$.
Tsen's Theorem implies that every $\mathbb{G}_m$-gerbe over $K(C)...