Searcharxiv⌕ Search

arXiv subjects

Kay Rülling

Publications and source records attributed to Kay Rülling.

At least 19 recordsLinked to original sources
arXiv2026

Birational and $\mathbf{A}^1$-invariant lattices in the cohomology of the structure sheaf over non-archimedean fields

We show that the cohomology of the structure sheaf of smooth and proper schemes over a complete non-archimedean field $K$ of characteristic zero, can be refined to an $\mathbf{A}^1$-invariant cohomology theory of smooth (not necessarily proper) schemes over $K$ with values in $\mathcal{O}_K$-lattices, and the same holds for $K$ of positive characteristic in dimensions at most $3$. As one application, we obtain that the automorphism group of the function field of a proper smooth variety $X$ of dimension at most 3 over a field of positive characteristic acts quasi-unipotently on the cohomology of the structure sheaf of $X$. The construction of the lattices relies on a variant of the tame cohomology of H\"ubner--Schmidt with coefficients in a twisted version of the tame structure sheaf and uses results from rigid analytic geometry on the cohomology of twisted integral rigid structure sheaves due to Bartenwerfer and van der Put.

math.AG↗
arXiv2026

A construction of tame sheaves and tame de Rham--Witt cohomology

In this article, we consider an algebraic version of the tame site of a pair $(X,\widetilde{X})$. With this definition, we provide a general machinery to construct a tame sheaf from the data of an \'etale sheaf on $X$ and a family of local tame sections. We apply this construction to the big de Rham--Witt sheaves with tame sections defined by log poles and, over a field, to reciprocity sheaves, and deduce some consequences. As an application, we compare tame syntomic cohomology with the Nygaard filtration on the tame de Rham--Witt complex.

math.AG↗
arXiv2024

Duality for Hodge-Witt cohomology with modulus

Given an effective Cartier divisor D with simple normal crossing support on a smooth and proper scheme X over a perfect field of positive characteristic p, there is a natural notion of de Rham-Witt sheaves on X with zeros along D. We show that these sheaves correspond under Grothendieck duality for coherent sheaves to de Rham-Witt sheaves on X with modulus (X,D), as defined in the theory of cube invariant modulus sheaves with transfers developed by Kahn-Miyazaki-Saito-Yamazaki. From this we deduce refined versions of Ekedahl - and Poincaré duality for crystalline cohomology generalizing results of Mokrane and Nakkajima for reduced D, and a modulus version of Milne-Kato duality for étale motivic cohomology with p-primary torsion coefficients, which refines a result of Jannsen-Saito-Zhao. We furthermore get new integral models for rigid cohomology with compact supports on the complement of D and a modulus version of Milne's perfect Brauer group pairing for smooth projective surfaces over finite fields.

math.AG↗
arXiv2024

Loops on schemes and the algebraic fundamental group

In this note we give a re-interpretation of the algebraic fundamental group for proper schemes that is rather close to the original definition of the fundamental group for topological spaces. The idea is to replace the standard interval from topology by what we call interval schemes. This leads to an algebraic version of continuous loops, and the homotopy relation is defined in terms of the monodromy action. Our main results hinge on Macaulayfication for proper schemes and Lefschetz type results.

math.AG↗
arXiv2023

Ramification theory of reciprocity sheaves, II, Higher local symbols

We construct a theory of higher local symbols along Parsin chains for reciprocity sheaves. Applying this formalism to differential forms, gives a new construction of the Parsin-Lomadze residue maps, and applying it to the torsion characters of the fundamental group gives back the reciprocity map from Kato's higher local class field theory in the geometric case. The higher local symbols satisfy various reciprocity laws. The main result of the paper is a characterization of the modulus attached to a section of a reciprocity sheaf in terms of the higher local symbols.

math.AG↗
arXiv2022

Ramification theory of reciprocity sheaves, I, Zariski-Nagata purity

We prove a Zariski-Nagata purity theorem for the motivic ramification filtration of a reciprocity sheaf. An important tool in the proof is a generalization of the Kato-Saito reciprocity map from geometric global class field theory to all reciprocity sheaves. As a corollary we obtain cut-by-curves and cut-by-surfaces criteria for various ramification filtrations. In some cases this reproves known theorems, in some cases we obtain new results.

math.AG↗
arXiv2022

Cycle class maps for Chow groups of zero-cycles with modulus

For a quasi-projective smooth scheme X of pure dimension d over a field k and an effective Cartier divisor D on X whose support is a simple normal crossing divisor, we construct a cycle class map from the Chow group of zero-cycles with modulus to the top cohomology of the dth relative Milnor K-sheaf.

math.AG↗
arXiv2022

Lectures on the cohomology of reciprocity sheaves

These are the notes accompanying three lectures given by the second author at the Motivic Geometry program at CAS, which aim to give an introduction and an overview of some recent developments in the field of reciprocity sheaves.

math.AG↗
arXiv2022

On the cohomology of reciprocity sheaves

In this paper we show the existence of an action of Chow correspondences on the cohomology of reciprocity sheaves. In order to do so, we prove a number of structural results, such as a projective bundle formula, a blow-up formula, a Gysin sequence, and the existence of proper pushforward. In this way we recover and generalize analogous statements for the cohomology of Hodge sheaves and Hodge-Witt sheaves. We give several applications of the general theory to problems which have been classically studied. Among these applications, we construct new birational invariants of smooth projective varieties and obstructions to the existence of zero-cycles of degree one from the cohomology of reciprocity sheaves.

math.AG↗
arXiv2022

Ramification theory for reciprocity sheaves, III, Abbes-Saito formula

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 étale groups. This new characterization is used to define characteristic forms for reciprocity sheaves. We obtain applications on pseudo-rational singularities and on questions regarding the representability of certain cohomology groups of reciprocity sheaves in the triangulated category of motives with modulus introduced by Kahn-Miyazaki-Saito-Yamazaki.

math.AG↗
arXiv2021

Tensor structures in the theory of modulus presheaves with transfers

The tensor product of $\mathbb{A}^1$-invariant sheaves with transfers introduced by Voevodsky is generalized to reciprocity sheaves via the theory of modulus presheaves with transfers. We prove several general properties of this construction and compute it in some cases. In particular we obtain new (motivic) presentations of the absolute Kähler differentials and the first infinitesimal neighborhood of the diagonal.

math.AG↗
arXiv2021

Reciprocity sheaves and their ramification filtrations

We define a motivic conductor for any presheaf with transfers $F$ using the categorical framework developed for the theory of motives with modulus by Kahn-Miyazaki-Saito-Yamazaki. If $F$ is a reciprocity sheaf this conductor yields an increasing and exhaustive filtration on $F(L)$, where $L$ is any henselian discrete valuation field of geometric type over the perfect ground field. We show if $F$ is a smooth group scheme, then the motivic conductor extends the Rosenlicht-Serre conductor; if $F$ assigns to $X$ the group of finite characters on the abelianized étale fundamental group of $X$, then the motivic conductor agrees with the Artin conductor defined by Kato-Matsuda; if $F$ assigns to $X$ the group of integrable rank one connections (in characteristic zero), then it agrees with the irregularity. We also show that this machinery gives rise to a conductor for torsors under finite flat group schemes over the base field, which we believe to be new. We introduce a general notion of conductors on presheaves with transfers and show that on a reciprocity sheaf the motivic conductor is minimal and any conductor which is defined only for henselian discrete valuation fields of geometric type with {\em perfect} residue field can be uniquely extended to all such fields without any restriction on the residue field. For example the Kato-Matsuda Artin conductor is characterized as the canonical extension of the classical Artin conductor defined in the perfect residue field case.

math.AG↗
arXiv2019

Grauert-Riemenschneider Vanishing via modulus sheaves with transfers

We observe that the classical Grauert-Riemenschneider Vanishing Theorem is a direct consequence of basic results from the theory of modulus sheaves with transfers as developed by Kahn-Saito-Yamazaki. We also obtain a new characterization of rational singularities in characteristic 0.

math.AG↗
arXiv2016

Higher Chow groups with modulus and relative Milnor K-theory

Let X be a smooth variety over a field k and D an effective divisor whose support has simple normal crossings. We construct an explicit cycle map from the r-th Nisnevich motivic complex of the pair (X,D) to a shift of the r-th relative Milnor K-sheaf of (X,D). We show that this map induces an isomorphism for all i greater or equal the dimension of X between the motivic Nisnevich cohomology of (X,D) in bidegree (i+r,r) and the i-th Nisnevich cohomology of the r-th relative Minor K-sheaf of (X,D). This generalizes the well-known isomorphism in the case D=0. We use this to prove a certain Zariski descent property for the motivic cohomology of the pair (\A^1_k, (m+1){0}).

math.AG↗
arXiv2015

K-groups of reciprocity functors

In this work we introduce reciprocity functors, construct the associated K-group of a family of reciprocity functors, which itself is a reciprocity functor, and compute it in several different cases. It may be seen as a first attempt to get close to the notion of reciprocity sheaves imagined by B. Kahn. Commutative algebraic groups, homotopy invariant Nisnevich sheaves with transfers, cycle modules or Kähler differentials are examples of reciprocity functors. As commutative algebraic groups do, reciprocity functors are equipped with symbols and satisfy a reciprocity law for curves.

math.AG↗