Related papers: Ramification theory for varieties over a local fie…

Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally…

We consider the local analytic behavior for a family of holomorphic differentials on a family of degenerating annuli. Three results and discussion are presented. The first is the normal families Lemma 1. The second is an isomorphism of…

We give a new geometric characterization of the motivic ramification filtration of reciprocity sheaves, by imitating a method used by Abbes and (Takeshi) Saito to study the ramification of torsors under finite \'etale groups. This new…

In this note, making use of noncommutative $l$-adic cohomology, we extend the generalized Riemann hypothesis from the realm of algebraic geometry to the broad setting of geometric noncommutative schemes in the sense of Orlov. As a first…

We axiomatize the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalized automorphic sheaf is proposed which includes sheaves of (meromorphic) sections…

The $L^2$-cohomology of a locally symmetric variety is known to have the topological interpretation as the intersection homology of its Baily-Borel Satake compactification. In this article, we observe that even without the Hermitian…

Building on ideas of Tupan, we give an elementary proof of a result of M{\oe}glin, Vign\'{e}ras and Waldspurger on the existence of automorphisms of many $p$-adic classical groups that take each irreducible smooth representations to its…

We consider Picard surfaces, locally symmetric varieties $S_{\Gamma}$ attached to the Lie group SU(2,1), and we construct explicit differential forms on $S_{\Gamma}$ representing Eisenstein classes, i.e. cohomology classes restricting…

We introduce a cohomology, called extendable cohomology, for abstract complex singular varieties based on suitable differential forms. Beside a study of the general properties of such a cohomology, we show that, given a complex vector…

We develop sheaf-theoretic methods to deal with non-smooth objects in symplectic geometry. We show the completeness of a derived category of sheaves with respect to the interleaving distance and construct a sheaf quantization of a…

Given a Galois cover of curves X to Y with Galois group G which is totally ramified at a point x and unramified elsewhere, restriction to the punctured formal neighborhood of x induces a Galois extension of Laurent series rings…

We confirm the quasi-projective case of Saito's conjecture, namely that the cohomological characteristic classes defined by Abbes and Saito can be computed in terms of the characteristic cycles. We construct a cohomological characteristic…

We prove that every connected affine scheme of positive characteristic is a K(pi, 1) space for the etale topology. The main ingredient is the special case of the affine space over a field k. This is dealt with by induction on n, using a key…

We show that all subvarieties of a quotient of a bounded symmetric domain by a sufficiently small arithmetic discrete group of automorphisms are of general type. This result corresponds through the Green-Griffiths-Lang's conjecture to a…

The ramification of a polyhedral space is defined as the metric completion of the universal cover of its regular locus. We consider mainly polyhedral spaces of two origins: quotients of Euclidean space by a discrete group of isometries and…

Normal affine algebraic varieties in characteristic 0 are uniquely determined (up to isomorphism) by the Lie algebra of derivations of their coordinate ring. This is not true without the hypothesis of normality. But, we show that (in…

We develop a sheaf theory approach to toric noncommutative geometry which allows us to formalize the concept of mapping spaces between two toric noncommutative spaces. As an application we study the `internalized' automorphism group of a…

We generalise Kahn, Miyazaki, Saito, Yamazaki's theory of modulus pairs to pairs $(X, D)$ consisting of a qcqs scheme $X$ equipped with an effective Cartier divisor $D$ representing a ramification bound. We develop theories of sheaves on…

We define the notion of inseparable coverings of schemes and we propose a ramification formalism for them, along the lines of the classical one. Using this formalism we prove a formula analogous to the classical Riemann-Hurwitz formula for…

We prove the formal degree conjecture for simple supercuspidal representations of symplectic groups and quasi-split even special orthogonal groups over a p-adic field, under the assumption that p is odd. The essential part is to compute the…