MathOverflow Asked by inkspot on December 15, 2021
Suppose that $mathcal{R}=(M,R,M^*,R^*)$ is a root datum. In section 1.2 of SGA3, exp. XXI, Demazure defines the $mathbb Z$-linear map $p:Mto M^*$ by
$$p(x)=sum_{uin R^*}(u,x)u$$
and proves many things about it, especially when $mathcal{R}$ is reduced and irreducible. However, as far as I can see, he never calculates this function. Is it calculated anywhere, say when $mathcal{R}$ is also semi-simple? In particular, I wish to calculate the biggest integer $n$ such that the image of $p$ lies in $nM^*$ when $mathcal R$ is adjoint.
(N.B.: this homomorphism $p$ has no connection with the $p$-morphisms discussed later in the same exposé for prime numbers $p$.)
Get help from others!
Recent Questions
Recent Answers
© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP