Let g be a complex semisimple Lie algebra, and f : g --> g/G the adjoint quotient map. Springer theory of Weyl group representations can be seen as the study of the singularities of f. We give a generalization of Springer theory to visible, polar representations. It is a class of rational representations of complex reductive groups, for which the invariant theory works by analogy with the adjoint representations. Let G|V be such a representation, f : V --> V/G the quotient map, and P the sheaf of nearby cycles of f. We show that the Fourier transform of P is an intersection homology sheaf on V*. Associated to G|V, there is a finite complex reflection group W, called the Weyl group of G|V. We describe the endomorphism ring of P as a deformation of the group algebra of W.
We provide some corrections and clarifications to the paper [Gr3] of the title. In particular, we clarify the "left/right" conventions on complex reflection groups and their braid groups. Most importantly, we fill in a gap related to the treatment of cuts in the Picard-Lefschetz theory part of the argument. The statements of the main results are not affected.
Consider the moment map $μ\colon T^*(\mathfrak{p} \times \mathbb{C}^n) \to \mathfrak{p}^*$ for a parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{gl}_n(\mathbb{C})$. We prove that the preimage of $0$ under $μ$ is a complete intersection when $\mathfrak{p}$ has finitely many $P$-orbits, where $P\subseteq \operatorname{GL}_n(\mathbb{C})$ is a parabolic subgroup such that $\operatorname{Lie}(P) = \mathfrak{p}$, and give an explicit description of the irreducible components. This allows us to study nearby fibers of $μ$ as they are equidimensional, and one may also construct GIT quotients $μ^{-1}(…
We study a certain cycle map defined on finite dimensional modules for the W-algebra with regular integral central character. Via comparison with the theory in postive characteristic, we show that this map injects into the top Borel-Moore homology group of a Springer fibre. This is the first result in a larger program to completely desribe the finite dimensional modules for the W algebras.
Using Ram's theory of alcove walks, we give a proof of the Bernstein presentation of the affine Hecke algebra. The method works also in the case of unequal parameters. We also discuss how these results help in studying sheaves of nearby cycles on affine flag manifolds.
Kottwitz conjectured a formula for the (semi-simple) trace of Frobenius on the nearby cycles for the local model of a Shimura variety with Iwahori-type level structure. In this paper, we prove his conjecture in the linear and symplectic cases by adapting an argument of Gaitsgory, who proved an analogous theorem in the equal characteristic case.
We study certain nearby cycles sheaves on an affine flag manifold which arise naturally in the Beilinson-Gaitsgory deformation of the affine flag manifold to the affine Grassmannian. We study the multiplicity functions we introduced in an earlier paper, which encode the data of the Jordan-Hoelder series. We prove the multiplicity functions are polynomials in q, and we give a sharp bound for their degrees. Our results apply as well to the nearby cycles in the p-adic deformation of Laumon-Haines-Ngo, and also to Wakimoto sheaves.
Let $G$ be a reductive group and $U,U^-$ be the unipotent radicals of a pair of opposite parabolic subgroups $P,P^-$. We prove that the DG-categories of $U(\!(t)\!)$-equivariant and $U^-(\!(t)\!)$-equivariant D-modules on the affine Grassmannian $Gr_G$ are canonically dual to each other. We show that the unit object witnessing this duality is given by nearby cycles on the Drinfeld-Gaitsgory-Vinberg interpolation Grassmannian defined in arXiv:1805.07721. We study various properties of the mentioned nearby cycles, in particular compare them with the nearby cycles studied in arXiv:1411.4206 and a…
The first author recently introduced a "nearby cycles formalism" in the framework of chain complexes of parity sheaves. In this paper, we compute this functor in two related settings: (i) affine space, stratified by the action of a torus, and (ii) the global Schubert variety associated to the first fundamental coweight of the group $PGL_n$. The latter is a parity-sheaf analogue of Gaitsgory's central sheaf construction.
We present a microlocal criterion for the equivalence of iterated nearby cycles along different flags of subspaces in a higher-dimensional base. The result is motivated by its application to Hitchin systems in the context of Betti geometric Langlands. I thank Claude Sabbah for bringing papers of Maisonobe and Kocherperger to my attention. Among many interesting results, they include assertions implying the main assertions of this paper. I will leave this paper on the arXiv as a possibly useful additional reference.
We study the Jordan-Hoelder series for nearby cycles on certain Shimura varieties and Rapoport-Zink local models, and on finite-dimensional pieces of Beilinson's deformation of the affine Grassmannian to the affine flag variety (and their p-adic analogues). We give a formula for the multiplicities of irreducible constituents in terms of certain cohomology groups, and we also provide an algorithm to compute multiplicities, in terms of the affine Hecke algebra.
We give a new geometric construction of the big projective module in the principal block of the BGG category $\mathscr{O}$, or rather the corresponding $\mathscr{D}$-module on the flag variety. Namely, given a one-parameter family of nondegenerate additive characters of the unipotent radical of a Borel subgroup which degenerate to the trivial character, there is a corresponding one-parameter family of Whittaker sheaves. We show that the unipotent nearby cycles functor applied to this family yields the big projective $\mathscr{D}$-module.
In this article we study the perverse sheaf on Drinfeld's compactification obtained by applying the geometric Jacquet functor (alias nearby cycles) to a nondegenerate Whittaker sheaf. Namely, we describe its restrictions along the defect stratification in terms of the Langlands dual Lie algebra, in particular showing that this nearby cycles sheaf is tilting. We also describe the subquotients of the monodromy filtration using the Picard-Lefschetz oscillators introduced by S. Schieder, including a proof that the subquotients are semisimple without reference to any theory of weights. This argumen…
Smooth projective varieties $X$ over a finite field $k$ with $CH_0(X\otimes \bar{k(X)})=\mathbb Z$ have a rational point, in particular Fano varieties. We also refer to http://link.springer.de/link/service/journals/00222/tocs.htm where the last version, cleaned from some typos, should be published online.
We compute the motivic nearby cycles of functions obtained by composition with a polynomial which is non-degenerate with respect to its Newton polyhedron. Our result involves new convolution operators and generalized nearby cycles.
We study holonomic D-modules on SL_n(C)xC^n, called mirabolic modules, analogous to Lusztig's character sheaves. We describe the supports of simple mirabolic modules. We show that a mirabolic module is killed by the functor of Hamiltonian reduction from the category of mirabolic modules to the category of representations of the trigonometric Cherednik algebra if and only if the characteristic variety of the module is contained in the unstable locus. We introduce an analogue of the Verdier specialization functor for representations of Cherednik algebras which agrees, on category O, with the res…
In this paper, we introduce variants of formal nearby cycles for a locally noetherian formal scheme over a complete discrete valuation ring. If the formal scheme is locally algebraizable, then our nearby cycle gives a generalization of Berkovich's formal nearby cycle. Our construction is entirely scheme-theoretic and does not require rigid geometry. Our theory is intended for applications to the local study of the cohomology of Rapoport-Zink spaces.
In this article, we give a simple proof of the comparison of nearby and vanishing cycles in the sense of Riemann-Hilbert correspondence following the idea of Beilinson and Bernstein, without using the Kashiwara-Malgrange $V$-filtrations.
We study families of algebraic spaces with a fiberwise $\mathbb{G}_m$-action and prove Braden's theorem on hyperbolic localization for arbitrary base schemes. As an application, we obtain that hyperbolic localization commutes with nearby cycles.
We will establish a nearby and vanishing cycle formalism for the arithmetic $\mathscr{D}$-module theory following Beilinson's philosophy. As an application, we define smooth objects in the framework of arithmetic $\mathscr{D}$-modules whose category is equivalent to the category of overconvergent isocrystals.
Deligne and Kato proved a formula computing the dimension of the nearby cycles complex of an l-adic sheaf on a relative curve over an excellent strictly henselian trait. In this article, we reprove this formula using Abbes-Saito's ramification theory.
The goal of this article is to prove the comparison theorem between algebraic and topological nearby cycles of a morphism without slopes. We prove in particular that for a family of holomorphic functions without slopes, if we iterate comparison isomorphisms for nearby cycles of each function the result is independent of the order of iteration.
We introduce meromorphic nearby cycle functors and study their functorial properties. Moreover we apply them to monodromies of meromorphic functions in various situations. Combinatorial descriptions of their reduced Hodge spectra and Jordan normal forms will be obtained.
We survey nearby and vanishing cycles for both perverse sheaves and D-modules under analytic setting. Following ideas of A. Beilinson, M. Kashiwara and M. Saito, we explain in detail the proof of the comparison theorem between them in the sense of Riemann-Hilbert correspondence.
We extend Ayoub's formalism of motivic nearby cycle functor to the $\infty$-categorical level, and prove some desired cohomological properties by relating the motivic nearby cycle functor to the notion of local acyclicity in motivic homotopy.
We study polynomials with complex coefficients which are nondegenerate in two senses, one of Kouchnirenko and the other with respect to its Newton polyhedron, through data on contact loci and motivic nearby cycles. Introducing an explicit description of these quantities we can answer in part to questions concerning the motivic nearby cycles of restriction functions and the integral identity conjecture in the context of Newton nondegenerate polynomials. Furthermore, in the nondegeneracy in the sense of Kouchnirenko, we give calculations on cohomology groups of the contact loci.
We prove a purely local form of a result of Saito and Yatagawa. They proved that the characteristic cycle of a constructible étale sheaf is determined by wild ramification of the sheaf along the boundary of a compactification. But they had to consider ramification at all the points of the compactification. We give a pointwise result, that is, we prove that the characteristic cycle of a constructible étale sheaf around a point is determined by wild ramification at the point. The key ingredient is to prove that wild ramification of the stalk of the nearby cycle complex of a constructible étale s…
This paper studies the sliced nearby cycle functor and its commutation with duality. Over a Henselian discrete valuation ring, we show that this commutation holds, confirming a prediction of Deligne. As an application we give a new proof of Beilinson's theorem that the vanishing cycle functor commutes with duality up to twist. Over an excellent base scheme, we show that the sliced nearby cycle functor commutes with duality up to modification of the base. We deduce that duality preserves universal local acyclicity over an excellent regular base. We also present Gabber's theorem that local acycl…
Using the Langlands-Kottwitz paradigm, we compute the trace of Frobenius composed with Hecke operators on the cohomology of nearby cycles, at places of parahoric reduction, of perverse sheaves on certain moduli stacks of shtukas. Following an argument of Ngo, we then use this to give a geometric proof of a base change fundamental lemma for parahoric Hecke algebras for GL_n over local function fields. This generalizes a theorem of Ngo, who proved the base change fundamental lemma for spherical Hecke algebras for GL_n over local function fields, and extends to positive characteristic (for GL_n) …
This paper proves that the nearby cycles complexes on a certain family of PEL local models are central with respect to the convolution product of sheaves on the corresponding affine flag varieties. As a corollary, the semisimple trace functions defined using the action of Frobenius on those nearby cycles complexes are, via the sheaf-function dictionary, in the centers of the corresponding Iwahori-Hecke algebras. This is commonly referred to as Kottwitz's Conjecture. The reductive groups associated to the PEL local models under consideration are unramified unitary similitude groups with even di…
We study restriction of logarithmic Higgs bundles to the boundary divisor and we construct the corresponding nearby-cycles functor in positive characteristic. As applications we prove some strong semipositivity theorems for analogs of complex polarized variations of Hodge structures and their generalizations. This implies, e.g., semipositivity for the relative canonical divisor of a semistable reduction in positive characteristic and it gives some new strong results generalizing semipositivity even for complex varieties.
We prove that, as was conjectured by Spencer Bloch, the Hodge period of some limit Hodge structures equals the height pairing of algebraic cycles on the resolution of singularities of the singular fiber.
We prove a finiteness theorem and a comparison theorem in the theory of étale cohomology of rigid analytic varieties. By a result of Huber, for a quasi-compact separated morphism of rigid analytic varieties with target being of dimension $\le1$, the compactly supported higher direct image preserves quasi-constructibility. Though the analogous statement for morphisms with higher dimensional target fails in general, we prove that, in the algebraizable case, it holds after replacing the target with a modification. We deduce it from a known finiteness result in the theory of nearby cycles over gen…
We propose a new sheaf-theoretical method for the calculation of the monodromy zeta functions of Milnor fibrations. As an application, classical formulas of Kushnirenko and Varchenko etc. concerning polynomials on $\CC^n$ will be generalized to polynomial functions on any toric variety.
In this article, we give a bound for the wild ramification of the monodromy action on the nearby cycles complex of a locally constant étale sheaf on the generic fiber of a smooth scheme over an equal characteristic trait in terms of Abbes and Saito's logarithmic ramification filtration. This provides a positive answer to the main conjecture in Isabel Leal's article "On the ramification of étale cohomology groups" for smooth morphisms in equal characteristic. We also study the ramification along vertical divisors of étale sheaves on relative curves and abelian schemes over a trait.
Let $G$ be a reductive group, let $Gr=G((t))/G[[t]]$ be the corresponding affine Grassmannian and let $Fl=G((t))/I$ be the affine flag variety. We construct, following an idea of Belinson, a 1-parametric deformation of the product $Gr\times G/B$ to $Fl$. We use this construction to produce perverse sheaves on $Fl$ which are central with respect to the convolution product from spherical perverse sheaves on $Gr$.
In this paper, we compare two cohomology groups associated to Shimura varieties of PEL type, which are not proper over the base. One is the compactly supported l-adic cohomology, and the other is the nearby cycle cohomology, namely, the compactly supported cohomology of the nearby cycle complex for the canonical integral model of the Shimura variety over Z_p. We prove that the G(Q_p)-cuspidal part of these cohomology groups are the same, where G denotes the reductive algebraic group naturally attached to the PEL datum. Some applications to unitary Shimura varieties are also given.
We give cases in which nearby cycles commutes with pushforward from sheaves on the moduli stack of shtukas to a product of curves over a finite field. The proof systematically uses the property that taking nearby cycles of Satake sheaves on the Beilinson-Drinfeld Grassmannian with parahoric reduction is a central functor together with a "Zorro's lemma" argument similar to that given by Xue to prove the smoothness of cohomology sheaves at unramified places. As an application, for automorphic forms at the parahoric level, we characterize the image of tame inertia under the Langlands corresponden…
We give a geometric realization of the symmetric algebra of the tensor space $C^n \bigotimes C^m$ together with the action of the dual pair $(gl_n, gl_m)$ in terms of lagrangian cycles in the cotangent bundles of certain varieties. We establish geometrically the equivalence between the $(gl_n, gl_m)$ duality and Schur duality. We establish the connection between Springer's construction of (representations of) Weyl groups and Ginzburg's construction of (representations of) Lie algebras of type $A$.
In this paper we give an introduction to our recent work on characteristic classes of complex hypersurfaces based on some talks given at conferences in Strasbourg, Oberwolfach and Kagoshima. We explain the relation between nearby cycles for constructible functions or sheaves as well as for (relative) Grothendieck groups of algebraic varieties and mixed Hodge modules, and the specialization of characteristic classes of singular spaces like the Chern-, Todd-, Hirzebruch- and motivic Chern-classes. As an application we get a description of the differences between the corresponding virtual and fun…
We first study hyperplane sections of some singular schemes over a field. We prove a Bertini theorem for the log smoothness of generic hyperplane sections of a large class of log smooth schemes over a log point. We also give an abstract generalization of the usual Bertini theorem for smoothness. We then apply this result to the study of hyperplane sections of regular schemes over a complete discrete valuation ring of characteristic zero with algebraically closed residue field. Lastly, give an exposition of a result of Faltings which states that one can compute the $p$-adic nearby cycles of smo…
