-
Mod $p$ sheaves on Witt flags
Authors:
Robert Cass,
João Lourenço
Abstract:
We characterize Cohen--Macaulay and $\varphi$-rational perfect schemes in terms of their perverse étale mod $p$ sheaves. Using inversion of adjunction, we prove that sufficiently small Schubert varieties in the Witt affine flag variety are perfections of globally $+$-regular varieties, and hence they are $\varphi$-rational. Our methods apply uniformly to all affine Schubert varieties in equicharac…
▽ More
We characterize Cohen--Macaulay and $\varphi$-rational perfect schemes in terms of their perverse étale mod $p$ sheaves. Using inversion of adjunction, we prove that sufficiently small Schubert varieties in the Witt affine flag variety are perfections of globally $+$-regular varieties, and hence they are $\varphi$-rational. Our methods apply uniformly to all affine Schubert varieties in equicharacteristic, as well as classical Schubert varieties, thereby answering a question of Bhatt. As a corollary, we deduce that scheme-theoretic local models always have $\varphi$-split special fiber.
△ Less
Submitted 3 March, 2025;
originally announced March 2025.
-
Central motives on parahoric flag varieties
Authors:
Robert Cass,
Thibaud van den Hove,
Jakob Scholbach
Abstract:
We construct a refinement of Gaitsgory's central functor for integral motivic sheaves, and show it preserves stratified Tate motives. Towards this end, we develop a reformulation of unipotent motivic nearby cycles, which also works over higher-dimensional bases. We moreover introduce Wakimoto motives and use them to show that our motivic central functor is t-exact. A decategorification of these fu…
▽ More
We construct a refinement of Gaitsgory's central functor for integral motivic sheaves, and show it preserves stratified Tate motives. Towards this end, we develop a reformulation of unipotent motivic nearby cycles, which also works over higher-dimensional bases. We moreover introduce Wakimoto motives and use them to show that our motivic central functor is t-exact. A decategorification of these functors yields a new approach to generic Hecke algebras for general parahorics.
△ Less
Submitted 16 March, 2024;
originally announced March 2024.
-
Geometrization of the Satake transform for mod $p$ Hecke algebras
Authors:
Robert Cass,
Yujie Xu
Abstract:
We geometrize the mod $p$ Satake isomorphism of Herzig and Henniart-Vignéras using Witt vector affine flag varieties for reductive groups in mixed characteristic. We deduce this as a special case of a formula, stated in terms of the geometry of generalized Mirković-Vilonen cycles, for the Satake transform of an arbitrary pararhoric mod $p$ Hecke algebra with respect to an arbitrary Levi subgroup.…
▽ More
We geometrize the mod $p$ Satake isomorphism of Herzig and Henniart-Vignéras using Witt vector affine flag varieties for reductive groups in mixed characteristic. We deduce this as a special case of a formula, stated in terms of the geometry of generalized Mirković-Vilonen cycles, for the Satake transform of an arbitrary pararhoric mod $p$ Hecke algebra with respect to an arbitrary Levi subgroup. Moreover, we prove an explicit formula for the convolution product in an arbitrary parahoric mod $p$ Hecke algebra. Our methods involve the constant term functors inspired from the geometric Langlands program, and we also treat the case of reductive groups in equal characteristic. We expect this to be a first step towards a geometrization of a mod $p$ Local Langlands Correspondence.
△ Less
Submitted 11 February, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
The geometric Satake equivalence for integral motives
Authors:
Robert Cass,
Thibaud van den Hove,
Jakob Scholbach
Abstract:
We prove the geometric Satake equivalence for mixed Tate motives over the integral motivic cohomology spectrum. This refines previous versions of the geometric Satake equivalence for split groups and power series affine Grassmannians. Our new geometric results include Whitney-Tate stratifications of Beilinson-Drinfeld Grassmannians and cellular decompositions of semi-infinite orbits. With future g…
▽ More
We prove the geometric Satake equivalence for mixed Tate motives over the integral motivic cohomology spectrum. This refines previous versions of the geometric Satake equivalence for split groups and power series affine Grassmannians. Our new geometric results include Whitney-Tate stratifications of Beilinson-Drinfeld Grassmannians and cellular decompositions of semi-infinite orbits. With future global applications in mind, we also achieve an equivalence relative to a power of the affine line. Finally, we use our equivalence to give Tannakian constructions of Deligne's modification of the dual group and a modified form of Vinberg's monoid over the integers.
△ Less
Submitted 21 September, 2023; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Constant term functors with $\mathbb{F}_p$-coefficients
Authors:
Robert Cass,
Cédric Pépin
Abstract:
We study the constant term functor for $\mathbb{F}_p$-sheaves on the affine Grassmannian in characteristic $p$ with respect to a Levi subgroup. Our main result is that the constant term functor induces a tensor functor between categories of equivariant perverse $\mathbb{F}_p$-sheaves. We apply this fact to get information about the Tannakian monoids of the corresponding categories of perverse shea…
▽ More
We study the constant term functor for $\mathbb{F}_p$-sheaves on the affine Grassmannian in characteristic $p$ with respect to a Levi subgroup. Our main result is that the constant term functor induces a tensor functor between categories of equivariant perverse $\mathbb{F}_p$-sheaves. We apply this fact to get information about the Tannakian monoids of the corresponding categories of perverse sheaves. As a byproduct we also obtain geometric proofs of several results due to Herzig on the mod $p$ Satake transform and the structure of the space of mod $p$ Satake parameters.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Central elements in affine mod $p$ Hecke algebras via perverse $\mathbb{F}_p$-sheaves
Authors:
Robert Cass
Abstract:
Let $G$ be a split connected reductive group over a finite field of characteristic $p > 2$ such that $G_\text{der}$ is absolutely almost simple. We give a geometric construction of perverse $\mathbb{F}_p$-sheaves on the Iwahori affine flag variety of $G$ which are central with respect to the convolution product. We deduce an explicit formula for an isomorphism from the spherical mod $p$ Hecke alge…
▽ More
Let $G$ be a split connected reductive group over a finite field of characteristic $p > 2$ such that $G_\text{der}$ is absolutely almost simple. We give a geometric construction of perverse $\mathbb{F}_p$-sheaves on the Iwahori affine flag variety of $G$ which are central with respect to the convolution product. We deduce an explicit formula for an isomorphism from the spherical mod $p$ Hecke algebra to the center of the Iwahori mod $p$ Hecke algebra. We also give a formula for the central integral Bernstein elements in the Iwahori mod $p$ Hecke algebra. To accomplish these goals we construct a nearby cycles functor for perverse $\mathbb{F}_p$-sheaves and we use Frobenius splitting techniques to prove some properties of this functor. We also prove that certain equal characteristic analogues of local models of Shimura varieties are strongly $F$-regular, and hence they are $F$-rational and have pseudo-rational singularities.
△ Less
Submitted 21 December, 2021; v1 submitted 31 March, 2020;
originally announced April 2020.
-
Perverse $\mathbb{F}_p$-sheaves on the affine Grassmannian
Authors:
Robert Cass
Abstract:
For a reductive group over an algebraically closed field of characteristic $p > 0$ we construct the abelian category of perverse $\mathbb{F}_p$-sheaves on the affine Grassmannian that are equivariant with respect to the action of the positive loop group. We show this is a symmetric monoidal category, and then we apply a Tannakian formalism to show this category is equivalent to the category of rep…
▽ More
For a reductive group over an algebraically closed field of characteristic $p > 0$ we construct the abelian category of perverse $\mathbb{F}_p$-sheaves on the affine Grassmannian that are equivariant with respect to the action of the positive loop group. We show this is a symmetric monoidal category, and then we apply a Tannakian formalism to show this category is equivalent to the category of representations of a certain affine monoid scheme. We also show that our work provides a geometrization of the inverse of the mod $p$ Satake isomorphism. Along the way we prove that affine Schubert varieties are globally $F$-regular and we apply Frobenius splitting techniques to the theory of perverse $\mathbb{F}_p$-sheaves.
△ Less
Submitted 10 November, 2022; v1 submitted 8 October, 2019;
originally announced October 2019.
-
The Bismut-Elworthy-Li formula for jump-diffusions and applications to Monte Carlo pricing in finance
Authors:
T. R. Cass,
P. K. Friz
Abstract:
We extend the Bismut-Elworthy-Li formula to non-degenerate jump diffusions and "payoff" functions depending on the process at multiple future times. In the spirit of Fournie et al [13] and Davis and Johansson [9] this can improve Monte Carlo numerics for stochastic volatility models with jumps. To this end one needs so-called Malliavin weights and we give explicit formulae valid in presence of j…
▽ More
We extend the Bismut-Elworthy-Li formula to non-degenerate jump diffusions and "payoff" functions depending on the process at multiple future times. In the spirit of Fournie et al [13] and Davis and Johansson [9] this can improve Monte Carlo numerics for stochastic volatility models with jumps. To this end one needs so-called Malliavin weights and we give explicit formulae valid in presence of jumps: (a) In a non-degenerate situation, the extended BEL formula represents possible Malliavin weights as Ito integrals with explicit integrands; (b) in a hypoelliptic setting we review work of Arnaudon and Thalmaier [1] and also find explicit weights, now involving the Malliavin covariance matrix, but still straight-forward to implement. (This is in contrast to recent work by Forster, Lutkebohmert and Teichmann where weights are constructed as anticipating Skorohod integrals.) We give some financial examples covered by (b) but note that most practical cases of poor Monte Carlo performance, Digital Cliquet contracts for instance, can be dealt with by the extended BEL formula and hence without any reliance on Malliavin calculus at all. We then discuss some of the approximations, often ignored in the literature, needed to justify the use of the Malliavin weights in the context of standard jump diffusion models. Finally, as all this is meant to improve numerics, we give some numerical results with focus on Cliquets under the Heston model with jumps.
△ Less
Submitted 8 May, 2007; v1 submitted 13 April, 2006;
originally announced April 2006.
