All Questions
2,543 questions
3
votes
0
answers
192
views
How can I prove this stronger version of Fedder's Criterion?
I was reading Fedder's original paper which proved what is now known as "Fedder's criterion". I noticed that the abstract stated something which is a priori stronger than what is proved in ...
- 317
1
vote
0
answers
76
views
Cartan decomposition over a not-necessarily-discretely-valued field
Let $K$ be a valued field, and let $R$ be the valuation ring of $K$. Let $G$ be a split reductive group over $K$ and $T$ a maximal torus of $G$. On page 107 Berkvoich's book "Spectral theory and ...
- 63
2
votes
0
answers
101
views
What is the natural module?
Lemma 2.9 of [1]:
Let $\operatorname{char}(K) \neq 2 $ and let $G$ be $\operatorname{Spin}(m,K)$, $n=\operatorname{rank} G$, and let $V$ be the natural $m$-dimensional module. Suppose $f\in G$ and $f^...
- 217
5
votes
0
answers
141
views
Classification of visible actions for *reducible* representations?
Is there a classification of the pairs $(G,V)$ such that $G$ is reductive [and connected, if you like], and $G$ acts faithfully and visibly on $V$ - crucially, including all cases where $V$ is ...
- 3,230
1
vote
0
answers
161
views
Computer computation of the first Galois cohomology of a $p$-adic torus?
Let $T\subset {\rm GL}(N,{\mathbb Q})$ be an $n$-dimensional ${\mathbb Q}$-torus
given by its Lie algebra $\mathfrak{t}\subset \mathfrak{gl}(N,{\mathbb Q})$.
I want to compute, in some sense ...
- 14.2k
6
votes
1
answer
257
views
Extensions of algebraic groups and extensions of fpqc sheaves
There are at least two ways to define $\operatorname{Ext}^p(F,G)$ when $F$ and $G$ are commutative algebraic groups over a field $k$:
Pass to the associated fppf sheaves and use an injective ...
- 8,004
4
votes
0
answers
148
views
Spaces of fixed points
I am reading the paper Space with $\mathbb{G}_{m}$-action, hyperbolic localization and nearby cycles by Timo Richarz and I am having some troubles in understanding the proof of Lemma 1.10.
The setting ...
- 893
8
votes
0
answers
341
views
Has the notion of a unipotent group scheme been studied?
The concept of a unipotent algebraic group over a field has been extensively studied and is fundamental in algebraic geometry. However, has the notion of a unipotent group scheme over a general base ...
- 773
3
votes
1
answer
85
views
Restriction of scalar commutes with taking maximal subtorus for semisimple group G
I was wondering such a question: for a semisimple complex Lie group $G$, whether it is true that the maximal subtorus of $\mathrm{Res}_{\mathbb{C}/\mathbb{R}}(G)$ is $\mathrm{Res}_{\mathbb{C}/\mathbb{...
- 455
1
vote
0
answers
77
views
Decomposition of $BwBw^{-1}B$
Let $(B,N,W,S)$ be a Tits system with $W$ a finite coxeter group.
Let $w\in W$, consider $BwBw^{-1}B$, then by Bruhat decomposition, it is a disjoint union of some $BxB$, $x\in W$.
My question: Let $X\...
- 653
2
votes
0
answers
70
views
Irreducibility of Białynicki-Birula cells
Let $X\subset \mathbb{P}^n$ be a smooth complex projective variety, and consider a non-trivial action of $\mathbb{C}^*$ on $X$. For any connected fixed component $Y$ of the fixed point locus, we may ...
3
votes
0
answers
196
views
A property of an irreducible root system
Let $\Phi$ be an irreducible root system. Let $\alpha_k$ be a simple root. I recently observed that the number of positive roots which are bigger than $\alpha_k$ and of height $m$ is same as the ...
- 673
5
votes
1
answer
344
views
Surjection onto endomorphisms of multiplicative group of a field
Let $k$ be an algebraically closed field of characteristic $p > 0$. Denote by $k^\times$ the multiplicative group of $k$. There is a ring homomorphism given by restriction to $k^\times$
$$
\mathbb{...
- 53
2
votes
1
answer
270
views
Prodiscreteness of rational points of algebraic groups
Let $F$ be a field of characteristic 0 complete for a discrete non-archimedean valuation.
Let $G$ be a commutative smooth algebraic group over $F$.
Let us put on $G(F)$ the topology induced by the ...
- 95
3
votes
0
answers
51
views
Algebraicity of the group of equivariant automorphisms of an almost homogeneous variety
The base field is the field of complex numbers. Let $G$ be a connected linear algebraic group. Let $X$ be an almost homogeneous algebraic variety, i.e. $G$ acts on $X$ with a dense open orbit $U \...
- 543
7
votes
2
answers
847
views
Hilbert's Satz 90 for real simply-connected groups?
$\DeclareMathOperator\Gal{Gal}\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$Let $K/k$ be a Galois extension. Then one generalisation of Hilbert's Satz 90 states that $H^1(\Gal(K/k),\GL_n(K))=...
- 1,666
3
votes
0
answers
128
views
Smooth unipotent algebraic groups over $\mathbb A^n$
Let $G\to \mathbb A^n_{\mathbb C}$ be a smooth morphism whose fibers at any point of $\mathbb A^n$ are unipotent groups. Can we conclude that $G\simeq \mathbb A^{n+N}_{\mathbb C}$ for some $N$, as a ...
- 455
4
votes
1
answer
607
views
An algebraic group has how many representations?
Let $G$ be a connected, linear algebraic group over $\mathbb{C}$. Let $\rho:G\to \mathrm{GL}(V)$ be a rational representation. Does $\rho$ have at most countably many subrepresentations (up to ...
- 615
0
votes
0
answers
118
views
Induced action on infinitesimal thickenings by an algebraic group
Let $X$ be an irreducible locally noetherian $k$-scheme (for $k$ any field), $G$ an algebraic group acting on $X$ via $a:G \times X \to X$ and $x \in X$ a closed point, which is by Zariski's lemma ...
- 5,986
3
votes
0
answers
230
views
Action of an algebraic group $G$ on a scheme $X$ with fixed rational point
Let $X$ be an irreducible locally noetherian $k$-scheme ($k$ any field) and $G$ an algebraic $k$-group acting on $X$.
Proposition 3.1.6 in these notes by M. Brion claims
Let $a : G \times X \to X$ be ...
- 5,986
4
votes
0
answers
174
views
Centers and conjugacy classes of groups relative to a pair of group homomorphisms
$\newcommand{\defeq}{\mathbin{\overset{\mathrm{def}}{=}}}$Given a group $G$, its center $\mathrm{Z}(G)$ and set of conjugacy classes $\mathrm{Cl}(G)$ are defined by
\begin{align*}
\mathrm{Z}(G) &\...
- 11.8k
4
votes
0
answers
200
views
Questions about the fixed point functor $X^G$ of a $G$-scheme
Let $X$ a (locally Noetherian; but not sure if that's really matter) $k$-scheme, $G$ a $k$-group scheme acting on $X$ via morphism $a:X \times G \to X$.
The fixed point functor of $X$ (where $X$ is ...
- 5,986
1
vote
1
answer
110
views
Torsor of finite presentation and surjectivity of map of $\overline{k}$-valued points
I have a question about the content of remark 2.6.6. (i) (p 18) from M. Brion's notes on structure of algebraic groups.
Let $G$ be a group scheme over certain fixed base field $k$ (as all other ...
- 5,986
2
votes
0
answers
73
views
Number of rational points of a connected reductive group in a compact subset
Let $G$ be a connected reductive $\mathbb{Q}$-group. Let $\mathbb{A}$ denote the ring of adèles of $\mathbb{Q}$. Let $B \subset G(\mathbb{A})$ be a compact, let $x \in G(\mathbb{A})$ and consider the ...
- 81
2
votes
1
answer
326
views
Normalizer of Levi subgroup
Let $G$ be a reductive group (we can work on an algebraically closed field if needed) and let $L$ be a parabolic subgroup, i.e. the centralizer of a certain torus $T \subseteq G$.
Associated with this ...
- 63
3
votes
0
answers
201
views
Theorem of highest weight of semisimple Lie algebras: what fails precisely for reductive case
Let $\mathfrak{g}$ a complex semisimple Lie algebra. It is well known that by the theorem of the highest weight, all finite-dimensional complex irreps of $\mathfrak{g}$ are (up to iso) classified by ...
- 5,986
3
votes
1
answer
112
views
Involution of $\text{GL}_{m+n}(\mathbb{C})$ fixing Levi and exchanging parabolic subgroups
Is there any involution of $\text{GL}_{m+n}$ which is the identity on $\text{GL}_m\times\text{GL}_n\subset\text{GL}_{m+n}$ and that exchanges the positive and negative associated parabolic subgroups $...
- 33
1
vote
0
answers
139
views
Question on two types of Frobenius theorem in $p$-adic groups
Let $G$ be a $p$-adic classical group and let $P_0$ be a minimal parabolic subgroup of $G$. Let $P=MN$ be a
standard parabolic subgroup containing $P_0$. Let $\text{Ind}$ and $\text{Jac}$ be the ...
- 1,019
6
votes
1
answer
423
views
Is every complex linear algebraic group a differential Galois group?
Let $ G $ be a complex linear algebraic group. In other words, $ G $ is a subvariety of the space of $ n \times n $ complex matrices and $ G $ is a group under matrix multiplication.
Does there always ...
- 4,081
3
votes
1
answer
220
views
Why locally algebraic characters of $\text{Gal}(\overline{\mathbb Q}/\mathbb Q)$ are associated to $A_0$ Grossencharacters/algebraic Hecke characters?
$\DeclareMathOperator\Res{Res}\DeclareMathOperator\Gal{Gal}$I am trying to understand lemma 3.1 of "Abelian Varieties over \mathbb Q and modular forms" of Ribet. ArXiv link
Just so everyone ...
- 31
2
votes
0
answers
141
views
What is the finite group $(\operatorname {PCO}^{\circ}_{2n})^{+}(q)$
In Table 22.1 on Page 193 of Malle & Testerman's book "Linear algebraic groups and finite groups of Lie type", the fixed point subgroup $G^F$ (where $F$ is a Steinberg endomorphism) of ...
- 217
5
votes
1
answer
163
views
When is $G(R)\rightarrow G^{\textrm{ad}}(R)$ surjective?
Consider a reductive group $G$ over a field $k$. The adjoint group $G^{\textrm{ad}}$ is defined by the exact sequence $$1\rightarrow Z(G)\rightarrow G\rightarrow G^{\textrm{ad}}\rightarrow 1$$The ...
- 53
2
votes
1
answer
176
views
Isomorphisms $S^d(S^m(V)^*) \cong \Lambda^d(S^{m+d-1}(V)^*)$
$\DeclareMathOperator\SL{SL}$Let $K$ be an algebraically closed field. Let $V$ be a 2-dimensional vector space over $K$. The group $G=\SL_2(K)$ acts naturally on $V$ by left-multiplication on column ...
- 185
7
votes
1
answer
336
views
Nilpotent orbits of a parabolic subgroup
Suppose $G$ is a reductive group over an algebraically closed field of characteristic $0$ with parabolic $P$, Levi quotient $M$, and unipotent radical $U$. We denote the nilpotent elements of $\mathrm{...
- 953
6
votes
4
answers
415
views
Interpretation of the algebra of natural endomorphisms of the fiber functor of $\operatorname{Rep}(G)$
Let $G$ be a connected algebraic group over an algebraically closed field $k$ of characteristic zero (I'm mostly interested in the case of a reductive group).
By the Tannakian formalism, $G(k)$ can be ...
- 3,446
4
votes
0
answers
116
views
When is the intersection of cosets of a conjugacy class $0$-dimensional?
Let $G = \mathrm{SL}_n$ (say); let $K$ be a field. Let $g$ be a regular semisimple element of $G(K)$, and $\mathrm{Cl}_g$ its conjugacy class, considered as an algebraic variety. Then $\mathrm{Cl}_g$ ...
- 20.2k
8
votes
0
answers
203
views
Word maps from $\mathrm{Cl}^{n+1}$ to $G^n$: quasi-injectivity?
Let $G = \mathrm{SL}_n$ (say). Then, for $g$ regular semisimple, the conjugacy class $\mathrm{Cl}(g)$ has dimension $= n^2-n$ as a variety, and so $\mathrm{Cl}(g)^{n+1}$ and $G^n$ have the same ...
- 20.2k
5
votes
1
answer
133
views
Normal closure of $e_{12}$ in the congruence subgroup $\Gamma_1(p)\subset \mathrm{SL}_2(\mathbb{Z})$
$\DeclareMathOperator\SL{SL}$For an odd prime $p$, let
$$\Gamma_1(p)=\left\{\begin{pmatrix}a & b \\ c & d\end{pmatrix}\in \SL_2(\mathbb{Z}):\begin{pmatrix}a & b \\ c & d\end{pmatrix}\...
- 155
1
vote
0
answers
95
views
Injection of $G(k)/Z(k)$ into $(G/Z)(k)$
In the first answer to the linked question it is mentioned that "the isogeny $G\to G^{ad}$ induces an injection of groups $G(k)/Z(k)\to G^{ad}(k)$". Is there a reference for this result? ...
- 131
2
votes
0
answers
182
views
GIT quotient and orbifolds
Let $G$ be a connected complex reductive group. Suppose $G$ acts on a smooth complex affine variety $X$. Assume the stabiliser $G_x$ of every point $x\in X$ is finite. Is it true that $X/\!/G$ is an ...
- 2,751
5
votes
2
answers
366
views
Simple connectedness of Levi subgroup
Let us consider a connected and simply connected semisimple algebraic group $G$ over $\mathbb{C}$, $B$ a Borel subgroup and $T$ a maximal torus contained in $B$.
Let $P_1$, $P_2$ be two standard ...
- 653
3
votes
0
answers
97
views
$\mathbb{Z}_p$-points of a $\mathbb{Z}_p$-model of a reductive linear algebraic $\overline{\mathbb{Q}}_p$-group
Let $G$ be a (connected) reductive linear algebraic group over $\overline{\mathbb{Q}}_p$. By definition, this means that $G$ is a closed subgroup of some $\mathrm{GL}_n$. We can always find a ...
- 31
6
votes
1
answer
396
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 ...
- 507
2
votes
0
answers
156
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 $\...
- 455
3
votes
2
answers
399
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 ...
- 7,037
3
votes
0
answers
66
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 ...
- 305
6
votes
2
answers
343
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 ...
- 387
4
votes
1
answer
172
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 $\...
- 193
1
vote
0
answers
80
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$.
- 11
13
votes
0
answers
509
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 ...
- 22.3k