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
5 votes
1 answer
217 views

Parabolic subgroups of reductive group as stabilizers of flags

$\DeclareMathOperator\GL{GL}$Let $G$ be a linear algebraic group (probably reductive will be needed). Consider a faithful representation $G \to \GL(V)$. Given a parabolic subgroup $P < G$, we can ...
a_g's user avatar
  • 497
2 votes
0 answers
116 views

Classifying stack for finite flat group scheme

Let $G$ be a finite flat non-smooth group scheme over an algebraically closed field $k$, for example, $G$ can be $\operatorname{Spec}(\overline{\mathbb{F}}_p[t]/(t^p))$. Then the classifying stack $\...
mhahthhh's user avatar
  • 381
3 votes
1 answer
308 views

Cohomology of the partial flag variety associated with the minimal nilpotent orbit

Let $G$ be a semi-simple group over complex number; for simplicity let us assume that it is simply laced. Let $X$ be the orbit of the highest root line in the adjoint representation of $G$. This is a ...
Alexander Braverman's user avatar
3 votes
0 answers
46 views

Arithmetic lattices are finitely presented

In the book "Kazhdan's Property (T)" by Bekka-de la Harpe-Valette, the following is stated on p.6 of the introduction: "Of course, it is classical that arithmetic lattices are finitely ...
studiosus's user avatar
  • 295
6 votes
2 answers
236 views

Reference for Langlands dual homomorphisms

I am looking for a reference that explains in detail the existence of Langlands dual homomorphisms. It seems that in the literature two references are given most often. The first is Borel's article ...
user449595's user avatar
4 votes
1 answer
127 views

Which Lie groups admit finite generation by a set of Lie algebra elements? And what are some known choices of generators which realize this?

Consider a (finite-dimensional) real connected Lie group $G$ with Lie algebra $\frak{g}$. Take a generating set $\mathcal{G} = \{ X_1, \cdots X_n \} $ of $\frak{g}$, i.e. such that any element of $\...
Another User's user avatar
1 vote
0 answers
66 views

How to know the character table of the twisted group algebra of the symmetric group $S_4$

Given the character table of its Schur cover group, is there a way to obtain the character table of twisted group algebra from that? I am particularly interested in the symmetric group $S_4$.
Wenxia Wu's user avatar
13 votes
0 answers
438 views

Is there a simple proof that representations of GL(n,k) are determined by their restriction to diagonal matrices?

Let $k$ be a field of characteristic zero. The general linear group $\mathrm{GL}(n,k)$ has a subgroup $\mathrm{D}(n,k)$ consisting of invertible diagonal matrices. These are linear algebraic groups ...
John Baez's user avatar
  • 21.3k
3 votes
0 answers
46 views

One parameter subgroups of reductive algebraic groups

If I have a reductive algebraic group $G$ defined over a non-archimedean local field $F$. We can define a one-parameter subgroup to be a group homomorphism from $G_{m}$ to $G$. I was wondering, if I ...
Ekta's user avatar
  • 63
4 votes
1 answer
239 views

Fppf or étale extension of group algebraic spaces

Let $S$ be a scheme and let $$0 \to A \to B \to C \to 0$$ be an exact sequence of abelian sheaves on $(\mathrm{Sch}/S)_\text{fppf}$. Assume that $A$ and $C$ are representable by flat algebraic spaces. ...
Joseph's user avatar
  • 41
1 vote
0 answers
81 views

Question on the geometric lemma in $p$-adic representation theory

$\DeclareMathOperator\GL{GL} \DeclareMathOperator\Sp{Sp} \DeclareMathOperator\Ind{Ind}\DeclareMathOperator\B{B} $ Let $F$ be a $p$-adic field and $\Sp_{2n}$ the symplectic group over a $2n$-...
Andrew's user avatar
  • 875
2 votes
0 answers
51 views

Question on generic A-packet

Let $G$ be a classical group and $\phi$ be a generic $A$-parameter of $G$. I am wondering whether each automorphic representations in the $A$-packet associated to $\phi$ are locally generic at almost ...
Andrew's user avatar
  • 875
4 votes
0 answers
85 views

Anisotropic semisimple groups with no real compact factor

Let $F$ be a number field, and let $G$ be a semi-simple connected, anisotropic algebraic group over $F$ which is $F$-simple (or almost simple, the question is agnostic to isogenies). Suppose further ...
jacob's user avatar
  • 2,814
0 votes
0 answers
56 views

Involutions in $\operatorname {PSO}(4,K)$

In the algebraic group $G=\operatorname {PSO}(4,K)$ where $K$ is an algebraically closed field of an odd characteristic, how many different classes of involutions are there and what are the ...
scsnm's user avatar
  • 105
3 votes
0 answers
100 views

Nilpotent orbits in characteristic $0$ vs. positive characteristics

Let $G_\mathbb{C}$ be a connected reductive group over $\mathbb{C}$ with Lie algebra $\mathfrak{g}_{\mathbb{C}}$. For any algebraically closed field $k$, let $G_k$ denote the connected reductive group ...
Dr. Evil's user avatar
  • 2,641
9 votes
0 answers
252 views

Looking for counterexamples: Are maximal tori in the automorphism groups of smooth complex quasiprojective varieties conjugate?

Let $X$ be a smooth quasiprojective variety over $\mathbb{C}$. It has a group of (algebraic) automorphisms $ \DeclareMathOperator{\Aut}{Aut} \Aut(X)$. Define a torus in $\Aut(X)$ to be a faithful ...
Carlos Esparza's user avatar
0 votes
1 answer
143 views

Show that $\mathrm{PSL}_2(C)$ is complex algebraic [closed]

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\PSL{PSL}\DeclareMathOperator\GL{GL}\DeclareMathOperator\M{M}\DeclareMathOperator\im{im}$I meet this problem when reading Artin's book Algebra. ...
Math Diego's user avatar
6 votes
0 answers
257 views

Is every free additive action on the affine space conjugate to a translation?

Is every free action of the additive group $\mathbb{G}_a$ on the affine space $\mathbb{A}^3$ conjugate to a translation? In characteristic zero, the answer is yes, and is due to Kaliman. [Kaliman, S. &...
Jérémy Blanc's user avatar
1 vote
0 answers
43 views

Openness of strong irreducibility

Let $\Gamma$ be a finitely generated group. A linear representation of $\Gamma$ is irreducible if it does not preserve a proper subspace, and strongly irreducible if it does not preserve a finite ...
FMB's user avatar
  • 645
2 votes
1 answer
106 views

Connecting homomorphism in non-abelian cohomology

Let $G$ be a simply connected, semisimple algebraic group over $\mathbb{R}$ and let $X$ be a homogeneous space for $G$ with finite commutative stabilizer $\mu$. There is a connecting homomorphism from ...
Victor de Vries's user avatar
4 votes
0 answers
216 views

GIT quotient of a reductive Lie algebra by the maximal torus

Let $G$ be a connected complex reductive group with Lie algebra $\mathfrak{g}$. One knows a lot about the GIT quotient $\mathfrak{g}/\!/G$: the invariant ring is a free polynomial algebra on $\mathrm{...
Dr. Evil's user avatar
  • 2,641
0 votes
1 answer
94 views

An explicit matrix form in the symplectic group

In the algebraic group $G=\operatorname {PCSp}(2^{r},K)$ where $K$ is an algebraically closed field of an odd characteristic, there is a conjugacy class of involutions with representative: $$ e=\left[...
scsnm's user avatar
  • 105
0 votes
1 answer
83 views

An explicit matrix form

In the algebraic group $G=\operatorname {PCGO}(2m,K)$ where $K$ is an algebraically closed field of an odd characteristic, there is a conjugacy class of involutions with representative: $$ e=\left[ \...
scsnm's user avatar
  • 105
5 votes
0 answers
135 views

Group homology of $\mathrm{GL}_2(\mathbb{R})$ with real coefficients

What is known about the group homology of $\mathrm{GL}_2(\mathbb{R})$ with real coefficients and what are strategies to compute it (or at least some groups for low degrees)? Here I want to consider ...
ThorbenK's user avatar
  • 1,175
2 votes
0 answers
135 views

A possible generalization of "homotopy" to study group actions of various kinds

This is a naive question about abstract homotopy theory by someone who knows nothing about it, except that it involves some generalization of the notion of "homotopy". If we think of $O(n)$ ...
semisimpleton's user avatar
6 votes
1 answer
343 views

All surjections onto trivial irrep split equivalent to being reductive

$\DeclareMathOperator\Hom{Hom}$Let $ G $ be linear algebraic group over a field $ k $. Is it true that every short exact sequence of algebraic $ G $-representations $$ 0 \to W \to V \to k \to 0 $$ ...
Ian Gershon Teixeira's user avatar
2 votes
0 answers
228 views

Action of algebraic group in cohomology of equivariant algebraic vector bundle

Let $X$ be a projective algebraic variety over an algebraically closed field. Let an algebraic group $G$ act algebraically on $X$. Let $\mathcal{F}$ be a $G$-equivariant vector bundle (or, more ...
asv's user avatar
  • 21.1k
1 vote
0 answers
60 views

A variation of the dual group of the adjoint group

Let $\mathbf{G}$ be connected reductive group over a $p$-adic field $F$. Denote by $\mathbf{Z}$ the center of $\mathbf{G}$, and $\mathbf{A}$ the maximal split torus of $\mathbf{Z}$ (also called the ...
youknowwho's user avatar
1 vote
0 answers
149 views

N(H)/H and the Weyl group

Let $ H $ be a connected subgroup of $ G=\mathrm{SU}(n) $ such that $ N_G(H)/H $ is finite. Is $ N_G(H)/H $ always a subgroup of the symmetric group $ \mathrm{S}_n $? I just noticed this from the ...
Ian Gershon Teixeira's user avatar
2 votes
1 answer
221 views

Question on the modulus character of classical p-adic group

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Sp{Sp}$It is well known for the formula of the computation of modulus character of general linear groups. For example, for the standard Borel subgroup $...
Andrew's user avatar
  • 875
2 votes
0 answers
116 views

The double quotient of SU(N) by its diagonal maximal torus

$\DeclareMathOperator\SU{SU}$The special unitary group $\SU(N)$ contains $T^{N-1}$ as a maximal torus, which we take to be the diagonal subgroup of $\SU(N)$. Can we describe the double quotient space $...
Yilmaz Caddesi's user avatar
3 votes
1 answer
142 views

Symmetric tensor of highest weight modules for $\mathrm{SU}(2)$

Let $V_i$ be the $(i+1)$-dimensional representation of the special unitary group $\mathrm{SU}(2)$ with the highest weight $i$. Is there any uniform way to compute the irreducible decomposition for the ...
Hebe's user avatar
  • 821
0 votes
0 answers
59 views

What does it mean for a linear algebraic group to act reductively

I was reading this paper by Baues and on page 918 he mention that $S$ acts reductively on the cochain complex and on page 919 again he mention the word "Since $T$ acts reductively on the complex.....
Uncool's user avatar
  • 181
1 vote
0 answers
121 views

A Weierstrass product theorem for invertible formal Laurent series over local Artinian rings?

Let $(A,\mathfrak{m},\kappa)$ denote a commutative local Artinian ring. Somewhat by accident, I've stumbled across the following interesting decomposition: $$ A(\!(t)\!)^\times = t^\mathbb{Z} \cdot (1 ...
M.G.'s user avatar
  • 6,683
4 votes
1 answer
218 views

Question regarding the definition of linearization of line bundles

I'm reading Dolgachev's book 'Lectures on invariant theory'. In Chapter 7, the linearization of a group action is discussed. Let $G$ be a linear algebraic group acting on a quasi-projective variety $X$...
Hajime_Saito's user avatar
3 votes
0 answers
57 views

Anisotropic kernel of groups of type A

I'm studying the results of classification of reductive groups using Tits index and anisotropic kernel. It is known that simple groups with Tits index $^1 A_{n,r}^{(d)}$ are of the form $SL_{r+1}(D)$, ...
YJ Kim's user avatar
  • 313
2 votes
0 answers
66 views

Arbitrary base change of a parahoric subgroup in split case

Assume $R\subset R'$ are henselien discretly valued rings with fraction field $K$ and $K'$, $G$ is a semisimple split group over $K$. Consider the parahoric group scheme $\mathcal{P}_F$ over $R$ ...
Allen Lee's user avatar
  • 271
7 votes
0 answers
125 views

Quasisplit forms of wonderful varieties

I will assume that $k$ is a characteristic $0$ non-archimedean field. A classical result of Tits [T] states that a quasisplit connected reductive group $G$ over $k$ is classified up to strict isogeny ...
R. Chen's user avatar
  • 101
23 votes
2 answers
908 views

Solvable groups that are linear over $\mathbb{C}$ but not over $\mathbb{Q}$?

Let $\Gamma$ be a finitely generated finitely presented virtually solvable group. Assume that there exists an injective representation $\Gamma \to \operatorname{GL}_n(\mathbb{C})$. Is it true that ...
 V. Rogov's user avatar
  • 1,115
2 votes
0 answers
134 views

Unipotent closure in classical groups

Let $G=\mathrm{SL}_n(\mathbb{R}),\mathrm{Sp}_{2n}(\mathbb{R}),\mathrm{Spin}_n(\mathbb{R})$ be a semi-simple simply connected classical group, $\Gamma\subset G$ a discrete and cocompact subgroup. Then ...
Mathew's user avatar
  • 21
1 vote
0 answers
141 views

Is the functor $\mathrm{Hom}(\mathrm{spec}\,k[x^{1/{p^\infty}}]/(x), -)$ from the category of finite commutative group schemes exact?

Question. Let $B \twoheadrightarrow C$ be a fully faithful homomorphism of finite connected commutative group schemes over a perfect field $k$. Let $T = k[x^{1/p^\infty}]/(x) = \varinjlim k[t]/(t^p)$. ...
HJK's user avatar
  • 135
8 votes
1 answer
467 views

Representation theory of $\mathrm{GL}_n(\mathbb{Z})$

I want to understand the (complex) representation theory of $\mathrm{GL}_n(\mathbb{Z})$, the general linear group of the integers. I have gone through several representation theory texts but all of ...
Kenji's user avatar
  • 81
7 votes
1 answer
187 views

Representations of the symmetric group with image in a given subgroup of $\operatorname{GL}_m$

Let $S_n$ be the symmetric group on $n$ elements. The irreducible representations of $S_n$ are parametrised by partitions $\lambda$ of $n$ and are defined already over the integers $\mathbb Z$. Let $\...
bsbb4's user avatar
  • 291
6 votes
1 answer
290 views

Exactness of the Weil restriction functor $\mathrm{Res}_{X/k}$

Question. Let $X$ be an Artinian scheme over a perfect field $k$. Consider the abelian category $\mathcal{C}$ of affine commutative group schemes of finite type. Is the Weil restriction $\mathrm{Res}_{...
HJK's user avatar
  • 135
2 votes
0 answers
160 views

Are parabolic Springer fibers equal dimensional?

Let $G$ be a simple algrbraic group ( of type BCDEFG ) over the complex number $\mathbb{C}$, let $P$ be a parabolic subgroup of $G$, suppose we have a resolution of singularities $\mu: T^*(G/P)\to \...
fool rabbit's user avatar
1 vote
0 answers
88 views

Non-vanishing principal minors up to swapping columns

An undergraduate student asked me the following seemingly easy question. After a few days of thinking, I still couldn't come up with an answer, nor could I find one online. Maybe folks here could help?...
Qixian Zhao's user avatar
1 vote
0 answers
132 views

Langlands dual of torus

Let $T$ be a split torus over a field $k$. Then the dual torus $\hat{T}$ is defined to be the unique torus such that $$ X_*(T)=X^*(\hat{T}), $$ where the left hand side is the cocharacter lattice of $...
Windi's user avatar
  • 833
1 vote
0 answers
120 views

On the existence of non-arithmetic lattices in algebraic groups over $\mathbb{Q}$

$\newcommand{\Q}{\mathbb{Q}}\newcommand{\R}{\mathbb{R}}\DeclareMathOperator\PU{PU}$Let $G$ be a simple algebraic group over $\Q$ such that $G(\R) \simeq \prod_i G_i$, with each $G_i$ being the Lie ...
naf's user avatar
  • 10.5k
0 votes
0 answers
169 views

What does the set of all fundamental coweights look like?

Let $\Phi$ be an irreducible root system in a Euclidean vector space $V$. Let $W$ denote its Weyl group. Choose a base $\Delta=\{\alpha_1,...,\alpha_r\}$ for $\Phi$. Then $\Delta$ is a basis for $V$. ...
Dr. Evil's user avatar
  • 2,641
1 vote
2 answers
295 views

Finding lectures PDF "Four lectures on simple groups and singularities"

I would be very interested to find the PDF "Four lectures on simple groups and singularities" by Peter Slodowy, especially the lecture 4. I used to print them but lost it. Does anyone has ...
Nicolas Hemelsoet's user avatar

1
2 3 4 5
43