Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In the study of certain moduli spaces of $p$-divisible groups I came across the following twisted version of a Springer fiber, and I was wondering whether some expert on algebraic groups/algebraic geometry would have an idea whether this has been studied before (smooth locus, irreducibility, singularities). I am not asking for helping me to study this scheme but references would be very appreciated (if they exist).

Let $V$ be a finite-dimensional vector space over a finite field $k = {\mathbb F}_q$ and consider $G = GL(V)$ as an algebraic group over $k$. Let $F\colon G \to G$ be the Frobenius over $k$. Let $P$ be a parabolic subgroup of $G$ (defined over $k$), ${\mathfrak p} \subset {\rm End}(V)$ its Lie algebra, and let $x \in {\mathfrak p}$ be nilpotent. I am asking about the following closed subscheme of $G/P$:

$X$ = {$gP \in G/P \mid F(g)^{-1}xg \in {\mathfrak p}$}

I hope it is clear how $X$ is defined in terms of $R$-valued points for an arbitrary $k$-algebra $R$ (and therefore what its scheme structure is).

Remark: Replacing $F$ by ${\rm id}$ would make $X$ into a Springer fiber, hence the title. But this might be misleading because twisted conjugation is not an endomorphism of the Lie algebra ${\rm End}(V)$ and my definition of $X$ uses that there is a canonical embedding of $G$ into its Lie algebra (and of $P$ into ${\mathfrak p}$). This is of course very special for $G = GL(V)$.

A better way to understand $X$ (and to generalize it to arbitrary reductive groups) might be the following: Let $G$ be a reductive group over a finite field $k$ and let $V$ be a rational representation of $G$ over $k$, considered as $G$-right module. Let $V^*$ its dual representation and consider $V \otimes V^*$ as a representation of $G \times G$. Embedding $G$ into $G \times G$ by $g \mapsto (F(g),g)$ we obtain an representation $\rho$ of $G$ on $V \otimes V^*$ by restriction. Let $U \subset V$ be a subspace, let $P \subset G$ be the stabilizer of $U$. Set $W = U \otimes V^* + V \otimes U^0$, where $U^0 \subset V^*$ is the orthogonal of $U$, and let $x \in W$. Then

$X = \{gP \in G/P \mid x\rho(g) \in W\}$

is a generalization of the above variety (at least if $P$ is maximal parabolic).

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.