Dimension of fibres of moment maps in characteristic $p$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T07:02:24Z http://mathoverflow.net/feeds/question/38984 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/38984/dimension-of-fibres-of-moment-maps-in-characteristic-p Dimension of fibres of moment maps in characteristic $p$ Simon Wadsley 2010-09-16T15:37:29Z 2010-09-17T08:14:15Z <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 is normalised by a parabolic subgroup $P$. Write $A=P/H$.</p> <p>Working over $\mathbb{C}$, Borho and Brylinski explain in Proposition 2.8 of "Differential Operators on Homogeneous Spaces I" how to use the moment map $T^\ast X\rightarrow \mathfrak{g}^\ast$ to induce a map from $\pi\colon T^\ast X/A\rightarrow \mathfrak{g}^\ast$. We may also understand this map as a map from the vector bundle $G\times^P\mathfrak{h}^\perp$ to $\mathfrak{g}^\ast$. It is a generalisation of the Springer resolution (which arises in case $H=P$ is a Borel). </p> <p>The same construction can be made over an algebraically closed field of characterstic $p>0$. My question is what is known about the dimensions of the fibres of $\pi$ in this characteristic $p$ case? I am most interested in knowing the largest possible dimension of a fibre over a non-zero point in $\mathfrak{g}^\ast$ in the case where $P$ is a Borel and $H$ is its unipotent radical but more general results where $P$ is any parobolic and $H$ is its unipotent radical are also of interest. I am not interested in the case $H=P$. </p> <p>Added following request for motivation and examples:</p> <p>My motivation comes from a project aiming to understand the possible dimensions (that is the canonical dimension defined for Auslander-Gorenstein rings that corresponds intuitively but not precisely to GK-dimension for almost commutative algebras) of simple modules for the localisation of Iwasawa algebras $\mathbb{Z}_p[[G]]$ at the m.c. set generated by $p$ where $G$ is a compact $p$-adic Lie group of semisimple type. At the moment the answer we have is a simple function of the dimension of these fibres when the group $G$ in the question is the associated Lie group over the algebraic closure of $\mathbb{F}_p$. It would be good to give precise values. </p> <p>We believe that it suffices to know the answer when $P$ is a Borel and $H$ is its unipotent radical which is why I am most interested in this case. </p>