Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.489770
Title: Relative Springer isomorphisms and the conjugacy classes in Sylow p-subgroups of Chevalley groups
Author: Goodwin, Simon Mark
ISNI:       0000 0001 2412 2449
Awarding Body: University of Birmingham
Current Institution: University of Birmingham
Date of Award: 2005
Availability of Full Text:
 Access from EThOS: Access from Institution:
Abstract:
Let $$G$$ be a simple linear algebraic group over the algebraically closed field $$k$$. Assume $$p$$ = char $$k$$ > 0 is good for $$G$$ and that $$G$$ is defined and split over the prime field $$\char{bbold10}{0x46}_p$$. For a power $$q$$ of $$p$$, we write $$G(q)$$ for the Chevalley group consisting of the $$\char{bbold10}{0x46}_q$$-rational points of $$G$$. Let $$F : G \rightarrow G$$ be the standard Frobenius morphism such that $$G^F$$= $$G(q)$$. Let $$B$$ be an $$F$$-stable Borel subgroup of $$G$$; write $$U$$ for the unipotent radical of $$B$$ and $$\char{eufm10}{0x75}$$ for its Lie algebra. We note that $$U$$ and $$\char{eufm10}{0x75}$$ are $$F$$-stable and that $$U(q)$$ is a Sylow $$p$$-subgroup of $$G(q)$$. We study the adjoint orbits of $$U$$ and show that the conjugacy classes of $$U(q)$$ are in correspondence with the $$F$$-stable adjoint orbits of $$U$$. This allows us to deduce results about the conjugacy classes of $$U(q)$$. We are also interested in the adjoint orbits of $$B$$ in $$\char{eufm10}{0x75}$$ and the $$B(q)$$-conjugacy classes in $$U(q)$$. In particular, we consider the question of when $$B$$ acts on a $$B$$-submodule of $$\char{eufm10}{0x75}$$ with a Zariski dense orbit. For our study of the adjoint orbits of $$U$$ we require the existence of $$B$$-equivariant isomorphisms of varieties $$U/M \rightarrow$$ $$\char{eufm10}{0x75}$$/$$\char{eufm10}{0x6d}$$, where $$M$$ is a unipotent normal subgroup of $$B$$ and $$\char{eufm10}{0x6d}$$ = Lie$$M$$. We define relative Springer isomorphisms which are certain maps of the above form and prove that they exist for all $$M$$.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.489770  DOI: Not available
Keywords: QA Mathematics
Share: