Related papers: Ramification theory for varieties over a local fie…
We prove the rationality of the characteristic form for a degree one character of the Galois group of an abelian extension of henselian discrete valuation fields. We prove the integrality of the characteristic form for a rank one sheaf on a…
We develop a theory of general sheaves over weighted projective lines. We define and study a canonical decomposition, analogous to Kac's canonical decomposition for representations of quivers, study subsheaves of a general sheaf, general…
The noncommutative (Cohn) localization S^{-1}R of a ring R is defined for any collection S of morphisms of f.g. projective left R-modules. We exhibit S^{-1}R as the endomorphism ring of R in an appropriate triangulated category. We use this…
We study sheaves of Lie-Rinehart algebras over locally ringed spaces. We introduce morphisms and comorphisms of such sheaves and prove factorization theorems for each kind of morphism. Using this notion of morphism, we obtain (higher)…
We show that the continuous \'etale cohomology groups $H^n_{\mathrm{cont}}(X,\mathbf{Z}_l(n))$ of smooth varieties $X$ over a finite field $k$ are spanned as $\mathbf{Z}_l$-modules by the $n$-th Milnor $K$-sheaf locally for the Zariski…
We develop local cohomology techniques to study the finite slope part of the coherent cohomology of Shimura varieties. The local cohomology groups we consider are a generalization of overconvergent modular forms, and they are defined by…
We present a general theorem which computes the cohomology of a homological vector field on global sections of vector bundles over smooth affine supervarieties. The hypotheses and results have the clear flavor of a localization theorem.
We prove, using invariant Zariski-Riemann spaces, that every normal toric variety over a valuation ring of rank one can be embedded as an open dense subset into a proper toric variety equivariantly. This extends a well known theorem of…
Let X be a separated scheme of finite type over an algebraically closed field k and let m be a natural number. By an explicit geometric construction using torsors we construct a pairing between the first mod m Suslin homology and the first…
We study algebraic varieties parametrized by topological spaces and enlarge the domains of Lawson homology and morphic cohomology to this category. We prove a Lawson suspension theorem and splitting theorem. A version of Friedlander-Lawson…
We combine the theory of traces in homotopical algebra with sheaf theory in derived algebraic geometry to deduce general fixed point and character formulas. The formalism of dimension (or Hochschild homology) of a dualizable object in the…
We prove a universal property for the $(\infty, n)$-category of correspondences, generalizing and providing a new proof for the case $n = 2$ from [GR17]. We also provide conditions under which a functor out of a higher category of…
Let ${\mathcal A}$ be a Banach algebra with the properties that $\mathrm{rad}({\mathcal A})={\rm rann}({\mathcal A})$ and the algebra ${\mathcal A}/\mathrm{rad}({\mathcal A})$ is commutative. We show that a derivation of ${\mathcal A}$ maps…
We prove an analogue of the Riemann-Hurwitz theorem for computing Euler characteristics of pullbacks of coherent sheaves through finite maps of smooth projective varieties, subject only to the condition that the irreducible components of…
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,…
The classical Serre-Swan's theorem defines a bijective correspondence between vector bundles and finitely generated projective modules over the algebra of continuous functions on some compact Hausdorff topological space. We extend these…
We prove that two cusps of the same dimension in the Baily-Borel compactification of some classical series of modular varieties are linearly dependent in the rational Chow group of the compactification. This gives a higher dimensional…
We introduce a new formulation of the so-called topological recursion, that is defined globally on a compact Riemann surface. We prove that it is equivalent to the generalized recursion for spectral curves with arbitrary ramification. Using…
In this paper, We develop the stratified de Rham theory on singular spaces using modern tools including derived geometry and stratified structures. This work unifies and extends the de Rham theory, Hodge theory, and deformation theory of…
This is the first in a series of papers in which we construct and study a new $p$-adic cohomology theory for varieties over Laurent series fields $k(\!(t)\!)$ in characteristic $p$. This will be a version of rigid cohomology, taking values…