Showing 1–23 of 23 results for author: Rülling, K

Duality for Hodge-Witt cohomology with modulus

Authors: Fei Ren, Kay Rülling

Abstract: 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 i… ▽ More 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. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Lectures on the cohomology of reciprocity sheaves

Authors: Nikolai Opdan, Kay Rülling

Abstract: 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. 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. △ Less

Submitted 30 August, 2022; originally announced August 2022.

Comments: 39 pages

MSC Class: 14F43; 14F05; 14C25

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

Authors: Kay Rülling, Shuji Saito

Abstract: 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… ▽ More 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. △ Less

Submitted 22 April, 2022; originally announced April 2022.

MSC Class: 14F52; 14F52; 14B05; 14C15

Ramification theory of reciprocity sheaves, II, Higher local symbols

Authors: Kay Rülling, Shuji Saito

Abstract: 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 var… ▽ More 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. △ Less

Submitted 27 April, 2023; v1 submitted 26 November, 2021; originally announced November 2021.

Comments: final version, to appear in Eur. J. Math

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

Authors: Kay Rülling, Shuji Saito

Abstract: 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 t… ▽ More 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. △ Less

Submitted 11 December, 2022; v1 submitted 2 November, 2021; originally announced November 2021.

Comments: Final version, accepted for publication in Crelle

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

Authors: Kay Rülling, Shuji Saito

Abstract: 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. 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. △ Less

Submitted 25 October, 2022; v1 submitted 30 October, 2021; originally announced November 2021.

Comments: v2: exposition improved, typos corrected, to appear in JPAA

Loops on schemes and the algebraic fundamental group

Authors: Kay Rülling, Stefan Schröer

Abstract: 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 monodr… ▽ More 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. △ Less

Submitted 17 March, 2024; v1 submitted 23 September, 2021; originally announced September 2021.

Comments: title changed, to appear in Rev. Mat. Complut

MSC Class: 14F35; 14E20; 14H30

On the cohomology of reciprocity sheaves

Authors: Federico Binda, Kay Rülling, Shuji Saito

Abstract: 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… ▽ More 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. △ Less

Submitted 20 June, 2022; v1 submitted 7 October, 2020; originally announced October 2020.

Comments: 111 pages. Final version, to appear in Forum of Math. Sigma

MSC Class: 14F43; 14F05; 14C25

Tensor structures in the theory of modulus presheaves with transfers

Authors: Kay Rülling, Rin Sugiyama, Takao Yamazaki

Abstract: 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 neighborhoo… ▽ More 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. △ Less

Submitted 6 July, 2021; v1 submitted 12 November, 2019; originally announced November 2019.

Comments: 60 pages, to appear in Math. Z

Grauert-Riemenschneider Vanishing via modulus sheaves with transfers

Authors: Kay Rülling

Abstract: 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. 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. △ Less

Submitted 2 March, 2019; v1 submitted 26 February, 2019; originally announced February 2019.

Comments: The proof does not work because of a gap in the reference [KSYa] which was pointed out by Joseph Ayoub

Reciprocity sheaves and their ramification filtrations

Authors: Kay Rülling, Shuji Saito

Abstract: 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$ i… ▽ More 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. △ Less

Submitted 4 February, 2021; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: References updated, title changed, improved presentation to appear in J. Inst. Math. Jussieu

Suslin homology of relative curves with modulus

Authors: Kay Rülling, Takao Yamazaki

Abstract: We compute the Suslin homology of relative curves with modulus. This result may be regarded as a modulus version of the computation of motives for curves, due to Suslin and Voevodsky. We compute the Suslin homology of relative curves with modulus. This result may be regarded as a modulus version of the computation of motives for curves, due to Suslin and Voevodsky. △ Less

Submitted 26 January, 2016; v1 submitted 21 May, 2015; originally announced May 2015.

Comments: 24 pages, to appear in Journal of the London Mathematical Society

MSC Class: 14F42 (19E15)

de Rham-Witt sheaves via algebraic cycles

Authors: Amalendu Krishna, Jinhyun Park, with an appendix by Kay Rülling

Abstract: We show that the additive higher Chow groups of regular schemes over a field induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of big de Rham-Witt complexes. This provides an explicit cycle-theoretic description of the big de Rham-Witt sheaves. Several applications are derived. We show that the additive higher Chow groups of regular schemes over a field induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of big de Rham-Witt complexes. This provides an explicit cycle-theoretic description of the big de Rham-Witt sheaves. Several applications are derived. △ Less

Submitted 21 January, 2021; v1 submitted 30 April, 2015; originally announced April 2015.

Comments: v7: final version, accepted to appear in Compositio Math. N.B. This version may not yet be identical to the official published version due to copyright reason. However there is no change in mathematical contents

MSC Class: 14C25 (Primary); 13F35; 14F30; 19E15 (Secondary)

Higher Chow groups with modulus and relative Milnor K-theory

Authors: Kay Rülling, Shuji Saito

Abstract: 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… ▽ More 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}). △ Less

Submitted 12 July, 2016; v1 submitted 10 April, 2015; originally announced April 2015.

Comments: v2: Added a vanishing result, accepted for publication in Transactions of the AMS

Introductory course on $\ell$-adic sheaves and their ramification theory on curves

Authors: Lars Kindler, Kay Rülling

Abstract: These are the notes accompanying 13 lectures given by the authors at the Clay Mathematics Institute Summer School 2014 in Madrid. The notes give an introduction into the theory of $\ell$-adic sheaves with emphasis on their ramification theory on curves. These are the notes accompanying 13 lectures given by the authors at the Clay Mathematics Institute Summer School 2014 in Madrid. The notes give an introduction into the theory of $\ell$-adic sheaves with emphasis on their ramification theory on curves. △ Less

Submitted 12 December, 2016; v1 submitted 24 September, 2014; originally announced September 2014.

Comments: Many improvements

MSC Class: 14E22; 11S15

Vanishing of the higher direct images of the structure sheaf

Authors: Andre Chatzistamatiou, Kay Rülling

Abstract: We prove that the higher direct images of the structure sheaf under a birational and projective morphism between excellent and regular schemes vanish. We prove that the higher direct images of the structure sheaf under a birational and projective morphism between excellent and regular schemes vanish. △ Less

Submitted 5 March, 2015; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: final version, to appear in Compositio Math

Journal ref: Compositio Mathematica 151 (2015) 2131-2144

K-Groups of reciprocity functors for G_a and abelian varieties

Authors: Kay Rülling, Takao Yamazaki

Abstract: We prove that the $K$-group of reciprocity functors, defined by F. Ivorra and the first author, vanishes over a perfect field as soon as one of the reciprocity functors is $\mathbb{G}_a$ and one is an abelian variety. We prove that the $K$-group of reciprocity functors, defined by F. Ivorra and the first author, vanishes over a perfect field as soon as one of the reciprocity functors is $\mathbb{G}_a$ and one is an abelian variety. △ Less

Submitted 29 August, 2014; v1 submitted 15 December, 2013; originally announced December 2013.

Comments: The title is changed. 10 pages

K-groups of reciprocity functors

Authors: Florian Ivorra, Kay Rülling

Abstract: 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 module… ▽ More 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. △ Less

Submitted 17 June, 2015; v1 submitted 6 September, 2012; originally announced September 2012.

Comments: 60 pages, final version, to appear in JAG

Hodge-Witt cohomology and Witt-rational singularities

Authors: Andre Chatzistamatiou, Kay Rülling

Abstract: We prove the vanishing modulo torsion of the higher direct images of the sheaf of Witt vectors (and the Witt canonical sheaf) for a purely inseparable projective alteration between normal finite quotients over a perfect field. For this, we show that the relative Hodge-Witt cohomology admits an action of correspondences. As an application we define Witt-rational singularities which form a broader c… ▽ More We prove the vanishing modulo torsion of the higher direct images of the sheaf of Witt vectors (and the Witt canonical sheaf) for a purely inseparable projective alteration between normal finite quotients over a perfect field. For this, we show that the relative Hodge-Witt cohomology admits an action of correspondences. As an application we define Witt-rational singularities which form a broader class than rational singularities. In particular, finite quotients have Witt-rational singularities. In addition, we prove that the torsion part of the Witt vector cohomology of a smooth, proper scheme is a birational invariant. △ Less

Submitted 12 April, 2011; originally announced April 2011.

Comments: 105 pages

Rational points over finite fields for regular models of algebraic varieties of Hodge type $\geq 1$

Authors: Pierre Berthelot, Hélène Esnault, Kay Rülling

Abstract: Let $R$ be a discrete valuation ring of mixed characteristics $(0,p)$, with finite residue field $k$ and fraction field $K$, let $k'$ be a finite extension of $k$, and let $X$ be a regular, proper and flat $R$-scheme, with generic fibre $X_K$ and special fibre $X_k$. Assume that $X_K$ is geometrically connected and of Hodge type $\geq 1$ in positive degrees. Then we show that the number of $k'$-ra… ▽ More Let $R$ be a discrete valuation ring of mixed characteristics $(0,p)$, with finite residue field $k$ and fraction field $K$, let $k'$ be a finite extension of $k$, and let $X$ be a regular, proper and flat $R$-scheme, with generic fibre $X_K$ and special fibre $X_k$. Assume that $X_K$ is geometrically connected and of Hodge type $\geq 1$ in positive degrees. Then we show that the number of $k'$-rational points of $X$ satisfies the congruence $|X(k')| \equiv 1$ mod $|k'|$. Thanks to \cite{BBE07}, we deduce such congruences from a vanishing theorem for the Witt cohomology groups $H^q(X_k, W\sO_{X_k,\Q})$, for $q > 0$. In our proof of this last result, a key step is the construction of a trace morphism between the Witt cohomologies of the special fibres of two flat regular $R$-schemes $X$ and $Y$ of the same dimension, defined by a surjective projective morphism $f : Y \to X$. △ Less

Submitted 11 September, 2011; v1 submitted 1 September, 2010; originally announced September 2010.

Comments: 85 pages. Refereed version. Signs have been modified in some definitions

MSC Class: 11G25; 13F35; 14F30; 14G05

Higher direct images of the structure sheaf in positive characteristic

Authors: Andre Chatzistamatiou, Kay Rülling

Abstract: We prove vanishing of the higher direct images of the structure (and the canonical) sheaf for a proper birational morphism with source a smooth variety and target the quotient of a smooth variety by a finite group of order prime to the characteristic of the ground field. We also show that for smooth projective varieties the cohomology of the structure sheaf is a birational invariant. These results… ▽ More We prove vanishing of the higher direct images of the structure (and the canonical) sheaf for a proper birational morphism with source a smooth variety and target the quotient of a smooth variety by a finite group of order prime to the characteristic of the ground field. We also show that for smooth projective varieties the cohomology of the structure sheaf is a birational invariant. These results are well-known in characteristic zero. △ Less

Submitted 13 April, 2011; v1 submitted 18 November, 2009; originally announced November 2009.

Comments: 69 pages, revision, to appear in ANT

Characteristic 0 and p analogies, and some motivic cohomology

Authors: Manuel Blickle, Hélène Esnault, Kay Rülling

Abstract: The purpose of this survey is to explain some recent results about analogies between characteristic 0 and characteristic $p>0$ geometry, and to discuss an infinitesimal variant of motivic cohomology. More specifically, we review results showing that the big de Rham Witt complex of a field is a complex of 0-cycles (section 2), as well as results showing analogies between char. $p>0$ and char. 0… ▽ More The purpose of this survey is to explain some recent results about analogies between characteristic 0 and characteristic $p>0$ geometry, and to discuss an infinitesimal variant of motivic cohomology. More specifically, we review results showing that the big de Rham Witt complex of a field is a complex of 0-cycles (section 2), as well as results showing analogies between char. $p>0$ and char. 0 geometry. Some of those results determine local cohomology invariants of singular varieties (section 3) and others are concerned with congruences modulo $q$-powers for the number of rational points of varieties defined over $\F_q$ (section 1). △ Less

Submitted 9 December, 2005; originally announced December 2005.

Comments: 25 pages

Journal ref: Global aspects of complex geometry, 59-82, Springer, Berlin, 2006

Additive Chow groups with higher modulus and the generalized de Rham-Witt complex

Authors: Kay Rülling

Abstract: Bloch and Esnault defined additive higher Chow groups with modulus (m+1) on the level of zero cycles over a field k, denoted by TH^n(k,n;m), n,m >0. They prove that TH^n(k,n;1) is isomorphic to the group of absolute Kaehler differentials of degree n-1 over k. In this paper we generalize their result and show that TH^n(k,n;m) is isomorphic to W_mΩ^{n-1}_k, the group of degree n-1 elements in the… ▽ More Bloch and Esnault defined additive higher Chow groups with modulus (m+1) on the level of zero cycles over a field k, denoted by TH^n(k,n;m), n,m >0. They prove that TH^n(k,n;1) is isomorphic to the group of absolute Kaehler differentials of degree n-1 over k. In this paper we generalize their result and show that TH^n(k,n;m) is isomorphic to W_mΩ^{n-1}_k, the group of degree n-1 elements in the generalized de Rham-Witt of length m over k. This complex was defined by Hesselholt and Madsen and generalizes the p-typical de Rham-Witt complex of Bloch-Deligne-Illusie. Before we can prove this theorem we have to generalize some classical results to the de Rham-Witt complex. We give a construction of the generalized de Rham-Witt complex for \bbmath{Z}_(p)-algebras analogous to the construction in the p-typical case. We construct a trace for finite field extensions L / k and if K is the function field of a smooth projective curve C over k and P in C is a point we define a residue map Res_P: W_mΩ^1_K --> W_m(k), which satisfies a "sum-of-residues-equal-zero" theorem. △ Less

Submitted 11 March, 2005; originally announced March 2005.

Comments: 74 pages, PhD thesis

MSC Class: 14C15