-adic dynamical systems and formal groups
The purpose of this paper is to generalize, to certain commutative formal groups of dimension one and height greater than one defined over the ring of integers of a finite extension of , some results on -adic interpolation developed by Kubota, Leopoldt, Iwasawa, Mazur, Katz and others notably for the multiplicative group , and which they used to construct -adic -functions.
The set of conjugacy classes appearing in a product of conjugacy classes in a compact, -connected Lie group can be identified with a convex polytope in the Weyl alcove. In this paper we identify linear inequalities defining this polytope. Each inequality corresponds to a non-vanishing Gromov-Witten invariant for a generalized flag variety , where is the complexification of and is a maximal parabolic subgroup. This generalizes the results for of Agnihotri and the second author and Belkale on...
We show that the Braden-MacPherson algorithm computes the stalks of parity sheaves. As a consequence we deduce that the Braden-MacPherson algorithm may be used to calculate the characters of tilting modules for algebraic groups and show that the -smooth locus of a (Kac-Moody) Schubert variety coincides with the rationally smooth locus, if the underlying Bruhat graph satisfies a GKM-condition.
In this paper we emphasize Deligne's theory of weights, in order to prove that some stratifications of algebraic varieties are perfect. In particular, we study in some detail the Bialynicki-Birula's stratifications and the stratifications considered by F. Kirwan to compute the cohomology of symplectic or geometric quotients. Finally we also appoint the motivic formulation of this approach, which contains the Hodge theoretic formulation.