All Questions
2,543 questions
3
votes
0
answers
66
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 ...
4
votes
1
answer
283
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. ...
4
votes
0
answers
108
views
Shafarevich conjecture for Abelian varieties over global function fields
Let $S$ be a finite set of places of a global function field $K$. Are there finitely many Abelian varieties over $K$ with good reduction outside $S$? What if we exclude isotrivial families?
2
votes
1
answer
106
views
Does a polynomial $P(X,Y)$ that specializes to a polynomial $P(x_0,Y)$ with distinct roots in $\overline{k}$ have distincts roots in $\overline{k(X)}$
Let $k$ be a field, $P\in k[X][Y]$ be a monic polynomial of degree $n$ in $Y$.
I am looking for a simple proof of the following fact.
"If there exists $x_0\in k$ such that $P(x_0,Y) \in k[Y]$ has ...
2
votes
0
answers
55
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 ...
4
votes
0
answers
109
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 ...
0
votes
0
answers
62
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 ...
4
votes
0
answers
135
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 ...
10
votes
0
answers
274
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 ...
0
votes
1
answer
173
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. ...
6
votes
0
answers
277
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. &...
2
votes
1
answer
151
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 ...
2
votes
1
answer
262
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 ...
4
votes
0
answers
310
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{...
0
votes
1
answer
102
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[...
0
votes
1
answer
88
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[
\...
5
votes
0
answers
152
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 ...
2
votes
0
answers
142
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)$ ...
4
votes
0
answers
183
views
Characters of finite fields - Reference request
Let $\mathbf{F}_q$ ($q=p^f$) be a finite field. We are interested in the characters $\chi: \mathbf{F}_q\rightarrow \mathbf{K}$ ($\chi(0)=0$) where the $ \mathbf{K}$ is an alg.closed field of ...
6
votes
1
answer
352
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
$$
...
2
votes
0
answers
241
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 ...
10
votes
0
answers
371
views
How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?
$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
1
vote
0
answers
64
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 ...
1
vote
0
answers
161
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 ...
2
votes
1
answer
446
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 $...
2
votes
0
answers
125
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
$...
4
votes
1
answer
160
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 ...
0
votes
0
answers
64
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.....
1
vote
0
answers
127
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 ...
4
votes
1
answer
333
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$...
3
votes
0
answers
76
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)$, ...
2
votes
0
answers
74
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$ ...
7
votes
0
answers
140
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 ...
2
votes
0
answers
127
views
Classification of restricted Lie algebras of reductive groups
$\DeclareMathOperator\Lie{Lie}$Let $G/K$ be a reductive group over a field $K$. In characteristic $0$ the Lie algebra is invariant under base change of fields, so to understand $\Lie(G)$ it is enough ...
23
votes
2
answers
969
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 ...
2
votes
0
answers
142
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 ...
1
vote
0
answers
146
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)$. ...
8
votes
1
answer
535
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 ...
7
votes
1
answer
201
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 $\...
6
votes
1
answer
355
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}_{...
2
votes
0
answers
180
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 \...
1
vote
0
answers
97
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?...
1
vote
2
answers
197
views
What are the finite étale coverings of a quasi-hyperelliptic surface?
Let $X$ be a quasi-hyperelliptic surface in characteristic 3 where the canonical bundle $K_X$ is trivial.
Question: Is there a finite étale covering $Y \rightarrow X$ such that
$Y$ is an abelian ...
1
vote
0
answers
185
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 $...
1
vote
0
answers
151
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 ...
0
votes
0
answers
246
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$. ...
1
vote
2
answers
350
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 ...
2
votes
1
answer
227
views
Component group of stabilizer group of a nilpotent element
Let $G$ be a semisimple complex algebraic group, and $\mathfrak{g}$ be its Lie algebra. $G$ acts on $\mathfrak{g}$ by adjoint action. Let $x$ be an nilpotent element in $\mathfrak{g}$, and $G(x)\...
3
votes
2
answers
979
views
The adjoint representation of a Lie group
Let $G$ be a Lie group and $\text{Ad}(G)$ denote its adjoint representation i.e. the adjoint action of the group $G$ on its Lie algebra $\mathfrak{g}$. The adjoint representation is a real $G$-...
3
votes
1
answer
134
views
Connected components of a spherical subgroup from spherical data?
This question is in a similar spirit to this one by Mikhail Borovoi.
Let $G$ be a reductive group over $\mathbb{C}$ and let $X=G/H$ be a homogeneous spherical variety.
Losev proved that the spherical $...