Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Jon Elmer's user avatar
  • 185
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 ...
Dr. Evil's user avatar
  • 2,751
4 votes
0 answers
103 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 $...
Abdulmuhsin Alfaraj's user avatar
4 votes
0 answers
77 views

Conjugacy of cocharacters from conjugacy of labelled diagrams

Everything to follow is over some fixed algebraically closed field $k$. Although all the definitions make sense regardless of characteristic, the meat of the question is about small positive ...
LSpice's user avatar
  • 12.9k
1 vote
1 answer
88 views

Generic finite subgroups, associated to small finite fields, of reductive algebraic groups

Theorem 1 of [LS] Liebeck and Seitz - On the subgroup structure of exceptional groups says: Let $X = X(q)$ be a quasisimple group of Lie type in characteristic $p$, and suppose that $X < G$, where ...
LSpice's user avatar
  • 12.9k
4 votes
0 answers
204 views

Explicit description of wonderful compactification for PGL_3

Let $k$ be an algebraically closed field of positive characteristics. Let $X$ be the wonderful compactification of $PGL_3$ (see for example section 6 of "Frobenius Splitting Methods in Geometry ...
Asav's user avatar
  • 163
2 votes
1 answer
185 views

Finite, normal subgroups of reductive groups in positive characteristic

Consider the following statement about a connected, reductive group $G$ over a field $k$: Every finite, normal subgroup $N$ of $G$ is central. In characteristic $0$, this is true, and the proof is ...
LSpice's user avatar
  • 12.9k
3 votes
1 answer
245 views

Can non-geometrically reduced reduced subschemes happen for reductive groups?

The title is meant to be punchy, but also a tongue-in-cheek acknowledgement of the prevalence of ‘reduce’-derived words in this area. (Unfortunately, I overlooked the fact that the question in the ...
LSpice's user avatar
  • 12.9k
5 votes
1 answer
419 views

Lifting $\mathfrak{sl}_2$-triples

Let $k$ be an algebraically closed field, $G$ a (smooth, connected) reductive algebraic group over $k$, $H$ a (smooth, connected) reductive group of semisimple rank 1, and $T$ a maximal torus in $H$. ...
LSpice's user avatar
  • 12.9k
4 votes
1 answer
428 views

p-torsion in the Picard group of a regular projective curve

Let $K$ be a field of characteristic $p>0$ and $C$ a regular projective geometrically integral curve over $K$. If $C$ is smooth, then the connected component ${\rm Pic}^0_C$ of the Picard scheme of ...
Arno Fehm's user avatar
  • 2,051
9 votes
1 answer
546 views

Showing subgroups with equal Lie algebras are equal

Let $k$ be a field. It might as well be algebraically closed, but I do not want to assume that it has characteristic $0$. I will write "group" for "affine group scheme over $k$", ...
LSpice's user avatar
  • 12.9k
3 votes
1 answer
252 views

Is this unipotent group, over characteristic 2, connected?

Let $E_{ij}(x)\in \mathrm{Mat}_{7\times7}(\overline{\mathbb{F}}_2)$ be the matrix with zeros everywhere, except for the value $x$ at $ij$. Set $$a(x)=1+E_{12}(x)+E_{34}(x)+E_{56}(x),\quad b(y)=1+E_{23}...
Dror Speiser's user avatar
  • 4,593
2 votes
0 answers
304 views

Surjectivity of map of Picard schemes implies abelian

Note: This question was asked on MSE first, but got zero reactions. So I deleted it there, and am now posting it here. I am looking for a reference or explanation of the fact that is used in Mumford'...
rollover's user avatar
  • 203
3 votes
0 answers
113 views

Cohomologies of $[V/GL_n]$ in characteristic $p$ for a representation $V$ of $GL_n$

Let $V$ be a representation of $G=GL_n$ (or more generally any reductive group $G$) over an algebraically closed field $\mathbb k$ of characteristic $p$. Let $[V/G]$ be the corresponding quotient ...
user42024's user avatar
  • 790
6 votes
0 answers
343 views

Are all stabilizer groups of the co-adjoint action smooth?

Let $k$ be a (non-archimedean) local field of positive characteristic $p$ and $\mathfrak{n}$ be any finite-dimensional nilpotent Lie algebra over $k$ with nilpotence length $l<p$. It is well-known ...
m07kl's user avatar
  • 1,702
1 vote
1 answer
241 views

locally closed orbits in metric Hausdorff topology

I learned the following fact from Bruhat and Tits's paper "Homomorphismes “abstraits” de groupes algebriques simples" Section 3.18 that Let $k$ be a local field. Suppose that a $k$-group $H$ acts $k$...
m07kl's user avatar
  • 1,702
1 vote
0 answers
187 views

Unitary dual of the Heisenberg group over non-archimedean local fields of characteristic two

What is the unitary dual of the Heisenberg group over non-archimedean local fields k of characteristic two? This is well-known for the real Heisenberg group and in fact, when local fields have ...
m07kl's user avatar
  • 1,702
5 votes
1 answer
514 views

Lifting torsors in characteristic $p$ to characteristic zero

Let $R$ be a local integral domain with residue field $k$ such that $R$ is of characteristic zero and $k$ is of characteristic $p>0$. Let $G$ be a smooth finite type affine group scheme with ...
Juan's user avatar
  • 151
9 votes
1 answer
863 views

Are there noncommutative extensions of $\alpha_p$ by $\mathbb{G}_m$?

Let $k$ be a field of characteristic $p > 0$ (algebraically closed, if you want; that doesn't make a difference). Consider a finite type $k$-group scheme $E$ that is a (central) extension of $\...
Question Mark's user avatar
5 votes
2 answers
586 views

Quotient of a reductive group by a non-smooth subgroup

This is a continuation of my question Quotient of a reductive group by a non-smooth central finite subgroup. Let $G$ be a smooth, connected, reductive $k$-group over a field $k$ of characteristic $p&...
Mikhail Borovoi's user avatar
1 vote
0 answers
192 views

"Higher" Tangent spaces in char-p geometry - definition?

Hi, everyone! I have some construction that requires exact definition. I considered polynomial homomorphisms from $\Bbbk$ to $U_n(\Bbbk)$ (unitriangular matrices), where $char \Bbbk = p>0$ (more ...
zroslav's user avatar
  • 1,422
4 votes
1 answer
918 views

Heisenberg group in characteristic two

I have seen two constructions called the Heisenberg group. If $k$ is a field of characteristic not equal to $2$ and $V$ is a $2n$-dimensional vector space over $k$ with symplectic form $\omega : V \...
Justin Campbell's user avatar
3 votes
1 answer
805 views

Finite connected groups over a perfect field of characteristic p

In 14.4 of "Introduction to Affine Group Schemes" it is proved (!) that if $A$ represents a finite connected group scheme over a perfect field $k$ of characteristic $p$ then $A$ has the form $k[X_{1}, ...
A.E.'s user avatar
  • 163
2 votes
1 answer
304 views

Connected extensions of finite by connected algebraic groups

Let $1\to H\to E\to G\to 1$ be a short exact sequence of algebraic groups defined over an algebraically closed field $k$ of characteristic $p$. Suppose $H$ is a finite group, and $G$ and $E$ are ...
David Stewart's user avatar
2 votes
0 answers
321 views

Dimension of fibres of moment maps in characteristic $p$

Suppose $G$ is a connected semisimple linear algebraic group with Lie algebra $\mathfrak{g}$ and $X$ is a homogeneous $G$-space with isotropy subgroup $H$ (associated Lie algebra $\mathfrak{h}$) that ...
Simon Wadsley's user avatar
14 votes
2 answers
1k views

Can a reductive group act non-linearly on a vector group?

Let $k$ be a field; I'm going to discuss linear algebraic groups over $k$. The question I'll pose is only interesting when the characteristic is $p>0$. 1. Some motivation A vector group is an ...
George McNinch's user avatar
10 votes
1 answer
1k views

Are there "reasonable" criteria for existence/non-existence of Levi factors or their conjugacy in prime characteristic?

Classical theorems attributed to Levi, Mal'cev, Harish-Chandra for a finite dimensional Lie algebra over a field of characteristic 0 state that it has a Levi decomposition (semisimple subalgebra plus ...
Jim Humphreys's user avatar
3 votes
2 answers
732 views

If the morphism of root data induced by an isogeny of a reductive group is a Frobenius, is then the isogeny itself a Frobenius?

Let $G$ be a reductive (or just semisimple) algebraic group over an algebraically closed field $k$ of characteristic $p > 0$, let $T$ be a maximal Torus and let $f:G \rightarrow G$ be an isogeny. ...
user717's user avatar
  • 5,243
11 votes
1 answer
2k views

Are automorphism groups of hypersurfaces reduced ?

In the following article : "H. Matsumura, P. Monsky, On the automorphisms of hypersurfaces, J. Math. Kyoto Univ. 3 (1964) 347-361", it is shown that in finite characteristic, automorphism groups of ...
Olivier Benoist's user avatar