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 ...
- 349
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 $...
- 985
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. ...
- 1,387
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 ...
- 467
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 ...
- 6,253
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 ...
- 11
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 ...
- 125
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} := \...
- 6,253
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 ...
- 3,285
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 ...
- 3,285
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 ...
- 12.6k
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 ...
- 21
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,\...
- 980
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,\...
- 980
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}$...
- 33
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}...
- 1,738
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 ...
- 814
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 ...
- 208
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]^{...
- 685
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 ...
- 9,937
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$...
- 685
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 ...
- 1,387
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_{\...
- 191
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. ...
- 753
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 ...
- 435
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): ...
- 4,966
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,\...
- 835
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 ...
- 18.6k
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 ...
- 475
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 ...
- 691
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$ ...
- 2,299
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 ...
- 685
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 ...
- 13
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)....
- 685
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'$ ...
- 685
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 ...
- 65
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 $\...
- 12.6k
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,299
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 $\...
- 479
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 ...
- 208
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 ...
- 29
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 ...
- 41
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 ...
- 331
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_{...
- 1,443
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$ ...
- 31
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)...
- 51