Showing 1–17 of 17 results for author: Chiarellotto, B

The tempered disk and the tempered cohomology

Authors: Federico Bambozzi, Bruno Chiarellotto, Pietro Vanni

Abstract: Consider a non-archimedean valuation ring V (K its fraction field, in mixed characteristic): inspired by some views presented by Scholze, we introduce a new point of view on the non-archimedean analytic setting in terms of derived analytic geometry (then associating a "spectrum" to each ind-Banach algebra). We want to look at the behaviour of this spectrum from a differential point of view. In suc… ▽ More Consider a non-archimedean valuation ring V (K its fraction field, in mixed characteristic): inspired by some views presented by Scholze, we introduce a new point of view on the non-archimedean analytic setting in terms of derived analytic geometry (then associating a "spectrum" to each ind-Banach algebra). We want to look at the behaviour of this spectrum from a differential point of view. In such a spectrum, for example, there exist open subsets having functions with log-growth as sections for the structural sheaf. In this framework, a transfer theorem for the log-growth of solutions of p-adic differential equations can be interpreted as a continuity theorem (analogue to the transfer theorem for their radii of convergence in the Berkovich spaces). As a dividend of such a theory, we define a new cohomology theory in terms of the Hodge-completed derived de Rham cohomology of the ind-Banach derived analytic space associated to a smooth k-scheme, X_k (k residual field of V), via the use of "tempered tubes". We finally compare our tempered de Rham cohomology with crystalline cohomology. △ Less

Submitted 24 April, 2025; v1 submitted 12 October, 2024; originally announced October 2024.

Comments: Minor changes

A Conjecture of Flach and Morin

Authors: Bruno Chiarellotto, Nicola Mazzari, Yukihide Nakada

Abstract: A conjecture, recently stated by Flach and Morin, relates the action of the monodromy on the Galois invariant part of the p-adic Beilinson-Hyodo-Kato cohomology of the generic fiber of a scheme defined over a DVR of mixed characteristic to (the cohomology of) its special fiber. We prove the conjecture in the case the special fiber, of the given arithmetic scheme, is also a fiber of a geometric fam… ▽ More A conjecture, recently stated by Flach and Morin, relates the action of the monodromy on the Galois invariant part of the p-adic Beilinson-Hyodo-Kato cohomology of the generic fiber of a scheme defined over a DVR of mixed characteristic to (the cohomology of) its special fiber. We prove the conjecture in the case the special fiber, of the given arithmetic scheme, is also a fiber of a geometric family over a curve in positive characteristic. △ Less

Submitted 8 July, 2024; v1 submitted 17 March, 2023; originally announced March 2023.

Comments: In memory of Pierre Berthelot

MSC Class: 14F30; 14G22; 11G25

Journal ref: Journal of Number Theory, Volume 264, 2024, Pages 27-40, ISSN 0022-314X

A Hodge-Type Filtration on Rigid Cohomology

Authors: Bruno Chiarellotto, Yukihide Nakada

Abstract: Given a scheme X over a complete discrete valuation ring ${\mathcal O}_K$ of mixed characteristic,Gros,in his study of syntomic cohomology in the smooth and proper case, introduced a filtration on the rigid cohomology of the special fiber $X_k$.Gros claimed that this construction was independent of the choice of immersions involved, citing an unpublished paper of Berthelot. However no proofs of th… ▽ More Given a scheme X over a complete discrete valuation ring ${\mathcal O}_K$ of mixed characteristic,Gros,in his study of syntomic cohomology in the smooth and proper case, introduced a filtration on the rigid cohomology of the special fiber $X_k$.Gros claimed that this construction was independent of the choice of immersions involved, citing an unpublished paper of Berthelot. However no proofs of this have appeared: here we prove it. △ Less

Submitted 14 August, 2023; v1 submitted 16 March, 2023; originally announced March 2023.

Comments: several mistakes. sorry

Multivariable de Rham representations, Sen theory and $p$-adic differential equations

Authors: Olivier Brinon, Bruno Chiarellotto, Nicola Mazzari

Abstract: Let $K$ be a complete valued field extension of $\mathbf{Q}_p$ with perfect residue field. We consider $p$-adic representations of a finite product $G_{K,Δ}=G_K^Δ$ of the absolute Galois group $G_K$ of $K$. This product appears as the fundamental group of a product of diamonds. We develop the corresponding $p$-adic Hodge theory by constructing analogues of the classical period rings… ▽ More Let $K$ be a complete valued field extension of $\mathbf{Q}_p$ with perfect residue field. We consider $p$-adic representations of a finite product $G_{K,Δ}=G_K^Δ$ of the absolute Galois group $G_K$ of $K$. This product appears as the fundamental group of a product of diamonds. We develop the corresponding $p$-adic Hodge theory by constructing analogues of the classical period rings $\mathsf{B}_{\rm dR}$ and $\mathsf{B}_{\rm HT}$, and multivariable Sen theory. In particular, we associate to any $p$-adic representation $V$ of $G_{K,Δ}$ an integrable $p$-adic differential system in several variables $\mathsf{D}_{\rm dif}(V)$. We prove that this system is trivial if and only if the representation $V$ is de Rham. Finally, we relate this differential system to the multivariable overconvergent $(\varphi,Γ)$-module of $V$ constructed by Pal and Zábrádi, along classical Berger's construction. △ Less

Submitted 8 August, 2024; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: minor corrections, new format, to be published in Mathematical Research Letters Vol.31, no.1

Journal ref: Mathematical Research Letters, Vol. 31 (2024) n.1, p. 25-90

Extensions of filtered Ogus structures

Authors: Bruno Chiarellotto, Nicola Mazzari

Abstract: We compute the Ext group of the (filtered) Ogus category over a number field $K$. In particular we prove that the filtered Ogus realisation of mixed motives is not fully faithful. We compute the Ext group of the (filtered) Ogus category over a number field $K$. In particular we prove that the filtered Ogus realisation of mixed motives is not fully faithful. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Comments: arXiv admin note: text overlap with arXiv:1808.03146

Journal ref: Applied Categorical Structures, Vol 20, n. 1, pp. 143-148, 2020

Comparison of relatively unipotent log de Rham fundamental groups

Authors: Bruno Chiarellotto, Valentina Di Proietto, Atsushi Shiho

Abstract: In this paper, we prove compatibilities of various definitions of relatively unipotent log de Rham fundamental groups for certain proper log smooth integral morphisms of fine log schemes of characteristic zero. Our proofs are purely algebraic. As an application, we give a purely algebraic calculation of the monodromy action on the unipotent log de Rham fundamental group of a stable log curve. As a… ▽ More In this paper, we prove compatibilities of various definitions of relatively unipotent log de Rham fundamental groups for certain proper log smooth integral morphisms of fine log schemes of characteristic zero. Our proofs are purely algebraic. As an application, we give a purely algebraic calculation of the monodromy action on the unipotent log de Rham fundamental group of a stable log curve. As a corollary we give a purely algebraic proof to the transcendental part of Andreatta-Iovita-Kim's article: obtaining in this way a complete algebraic criterion for good reduction for curves. △ Less

Submitted 21 September, 2020; v1 submitted 8 March, 2019; originally announced March 2019.

Comments: Reviewed version after a referee report

Good reduction of K3 Surfaces in equicharacteristic p

Authors: Bruno Chiarellotto, Christopher Lazda, Christian Liedtke

Abstract: We show that for smooth and proper varieties over local fields with no non-trivial vector fields, good reduction descends over purely inseparable extensions. We use this to extend the Neron-Ogg-Shafarevich criterion for K3 surfaces to the equicharacteristic $p>0$ case. We show that for smooth and proper varieties over local fields with no non-trivial vector fields, good reduction descends over purely inseparable extensions. We use this to extend the Neron-Ogg-Shafarevich criterion for K3 surfaces to the equicharacteristic $p>0$ case. △ Less

Submitted 7 February, 2019; originally announced February 2019.

Comments: 15 pages, comments welcome!

MSC Class: 14J28 (primary) 11G25; 14F20; 14F30; 14G20 (secondary)

Journal ref: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 23 (2022), no. 1, 483-500

The filtered Ogus realisation of motives

Authors: Bruno Chiarellotto, Christopher Lazda, Nicola Mazzari

Abstract: We construct the (filtered) Ogus realisation of Voevodsky motives over a number field $K$. This realisation extends the functor defined on $1$-motives by Andreatta, Barbieri-Viale and Bertapelle. As an illustration we note that the analogue of the Tate conjecture holds for K3 surfaces. We construct the (filtered) Ogus realisation of Voevodsky motives over a number field $K$. This realisation extends the functor defined on $1$-motives by Andreatta, Barbieri-Viale and Bertapelle. As an illustration we note that the analogue of the Tate conjecture holds for K3 surfaces. △ Less

Submitted 20 March, 2019; v1 submitted 9 August, 2018; originally announced August 2018.

Comments: final accepted version

MSC Class: 11G35; 14F42

Journal ref: Journal of Algebra, Volume 527, 2019, Pages 348-365, ISSN 0021-8693

A Néron-Ogg-Shafarevich criterion for K3 surfaces

Authors: Bruno Chiarellotto, Christopher Lazda, Christian Liedtke

Abstract: The naive analogue of the Néron-Ogg-Shafarevich criterion is false for K3 surfaces, that is, there exist K3 surfaces over Henselian, discretely valued fields $K$, with unramified $\ell$-adic étale cohomology groups, but which do not admit good reduction over $K$. Assuming potential semi-stable reduction, we show how to correct this by proving that a K3 surface has good reduction if and only if… ▽ More The naive analogue of the Néron-Ogg-Shafarevich criterion is false for K3 surfaces, that is, there exist K3 surfaces over Henselian, discretely valued fields $K$, with unramified $\ell$-adic étale cohomology groups, but which do not admit good reduction over $K$. Assuming potential semi-stable reduction, we show how to correct this by proving that a K3 surface has good reduction if and only if $H^2_{\mathrm{\acute{e}t}}(X_{\overline{K}},\mathbb{Q}_\ell)$ is unramified, and the associated Galois representation over the residue field coincides with the second cohomology of a certain "canonical reduction" of $X$. We also prove the corresponding results for $p$-adic étale cohomology. △ Less

Submitted 21 August, 2017; v1 submitted 11 January, 2017; originally announced January 2017.

Comments: 52 pages, completely rewritten with significantly stronger main results

MSC Class: 14G20; 14F20; 14F30

Journal ref: Proc. Lond. Math. Soc. (3) 119 (2019), no. 2, 469-514

Around $\ell$-independence

Authors: Bruno Chiarellotto, Christopher Lazda

Abstract: In this article we study various forms of $\ell$-independence (including the case $\ell=p$) for the cohomology and fundamental groups of varieties over finite fields and equicharacteristic local fields. Our first result is a strong form of $\ell$-independence for the unipotent fundamental group of smooth and projective varieties over finite fields, by then proving a certain `spreading out' result… ▽ More In this article we study various forms of $\ell$-independence (including the case $\ell=p$) for the cohomology and fundamental groups of varieties over finite fields and equicharacteristic local fields. Our first result is a strong form of $\ell$-independence for the unipotent fundamental group of smooth and projective varieties over finite fields, by then proving a certain `spreading out' result we are able to deduce a much weaker form of $\ell$-independence for unipotent fundamental groups over equicharacteristic local fields, at least in the semistable case. In a similar vein, we can also use this to deduce $\ell$-independence results for the cohomology of semistable varieties from the well-known results on $\ell$-independence for smooth and proper varieties over finite fields. As another consequence of this `spreading out' result we are able to deduce the existence of a Clemens--Schmid exact sequence for formal semistable families. Finally, by deforming to characteristic $p$ we show a similar weak version of $\ell$-independence for the unipotent fundamental group of a semistable curve in mixed characteristic. △ Less

Submitted 30 November, 2017; v1 submitted 12 August, 2016; originally announced August 2016.

Comments: 23 pages, comments welcome

MSC Class: 11G20; 14F99

Journal ref: Compositio Math. 154 (2018) 223-248

Combinatorial degenerations of surfaces and Calabi--Yau threefolds

Authors: Bruno Chiarellotto, Christopher Lazda

Abstract: In this article we study combinatorial degenerations of minimal surfaces of Kodaira dimension 0 over local fields, and in particular show that the `type' of the degeneration can be read off from the monodromy operator acting on a suitable cohomology group. This can be viewed as an arithmetic analogue of results of Persson and Kulikov on degenerations of complex surfaces, and extends various partic… ▽ More In this article we study combinatorial degenerations of minimal surfaces of Kodaira dimension 0 over local fields, and in particular show that the `type' of the degeneration can be read off from the monodromy operator acting on a suitable cohomology group. This can be viewed as an arithmetic analogue of results of Persson and Kulikov on degenerations of complex surfaces, and extends various particular cases studied by Matsumoto, Liedtke/Matsumoto and Hernández-Mada. We also study `maximally unipotent' degenerations of Calabi--Yau threefolds, following Kollár/Xu, showing in this case that the dual intersection graph is a 3-sphere. △ Less

Submitted 18 January, 2017; v1 submitted 12 February, 2016; originally announced February 2016.

Comments: 27 pages. Final version, published in Algebra & Number Theory

MSC Class: 14G20

Journal ref: Algebra Number Theory 10 (2016) 2235-2266

A note on Fontaine theory using different Lubin-Tate groups

Authors: Bruno R. Chiarellotto, Francesco Esposito

Abstract: Using different Lubin-Tate groups, we compare $(φ, Γ)$ modules associated to a Galois representation via Fontaine's theory. Using different Lubin-Tate groups, we compare $(φ, Γ)$ modules associated to a Galois representation via Fontaine's theory. △ Less

Submitted 3 January, 2013; v1 submitted 19 December, 2012; originally announced December 2012.

On p-adic invariant cycles theorem

Authors: B. Chiarellotto, R. Coleman, V. Di Proietto, A. Iovita

Abstract: For a proper semistable curve $X$ over a DVR of mixed characteristics we reprove the "invariant cycles theorem" with trivial coefficients (see Chiarellotto, 1999) i.e. that the group of elements annihilated by the monodromy operator on the first de Rham cohomology group of the generic fiber of $X$ coincides with the first rigid cohomology group of its special fiber, without the hypothesis that the… ▽ More For a proper semistable curve $X$ over a DVR of mixed characteristics we reprove the "invariant cycles theorem" with trivial coefficients (see Chiarellotto, 1999) i.e. that the group of elements annihilated by the monodromy operator on the first de Rham cohomology group of the generic fiber of $X$ coincides with the first rigid cohomology group of its special fiber, without the hypothesis that the residue field of $\cal V$ is finite. This is done using the explicit description of the monodromy operator on the de Rham cohomology of the generic fiber of $X$ with coefficients convergent $F$-isocrystals given in Coleman and Iovita (2010). We apply these ideas to the case where the coefficients are unipotent convergent $F$-isocrystals defined on the special fiber (without log-structure): we show that the invariant cycles theorem does not hold in general in this setting. Moreover we give a sufficient condition for the non exactness. △ Less

Submitted 30 July, 2012; originally announced July 2012.

Clemens-Schmid exact sequence in characteristic p

Authors: Bruno Chiarellotto, Nobuo Tsuzuki

Abstract: For a semistable family of varieties over a curve in characteristic $p$, we prove the existence of a "Clemens-Schmid type" long exact sequence for the $p$-adic cohomology. The cohomology groups appearing in such a long exact sequence are defined locally For a semistable family of varieties over a curve in characteristic $p$, we prove the existence of a "Clemens-Schmid type" long exact sequence for the $p$-adic cohomology. The cohomology groups appearing in such a long exact sequence are defined locally △ Less

Submitted 28 November, 2012; v1 submitted 3 November, 2011; originally announced November 2011.

Cycle classes and the syntomic regulator

Authors: B. Chiarellotto, A. Ciccioni, N. Mazzari

Abstract: Let $V=Spec(R)$ and $R$ be a complete discrete valuation ring of mixed characteristic $(0,p)$. For any flat $R$-scheme $X$ we prove the compatibility of the de Rham fundamental class of the generic fiber and the rigid fundamental class of the special fiber. We use this result to construct a syntomic regulator map $r:CH^i(X/V,2i-n)\to H^n_{syn}(X,i)$, when $X$ is smooth over $V$, with values on the… ▽ More Let $V=Spec(R)$ and $R$ be a complete discrete valuation ring of mixed characteristic $(0,p)$. For any flat $R$-scheme $X$ we prove the compatibility of the de Rham fundamental class of the generic fiber and the rigid fundamental class of the special fiber. We use this result to construct a syntomic regulator map $r:CH^i(X/V,2i-n)\to H^n_{syn}(X,i)$, when $X$ is smooth over $V$, with values on the syntomic cohomology defined by A. Besser. Motivated by the previous result we also prove some of the Bloch-Ogus axioms for the syntomic cohomology theory, but viewed as an absolute cohomology theory. △ Less

Submitted 5 October, 2010; v1 submitted 1 June, 2010; originally announced June 2010.

Comments: 23 pages, improved exposition

MSC Class: 14F43; 14F30; 19F27

Journal ref: Algebra and Number Theory, Vol. 7 (2013), No. 3, 533-566

Arithmetic and Differential Swan Conductors of rank one representations with finite local monodromy

Authors: Bruno Chiarellotto, Andrea Pulita

Abstract: We consider a complete discrete valuation field of characteristic p, with possibly non perfect residue field. Let V be a rank one continuous representation with finite local monodromy of its absolute Galois group. We will prove that the Arithmetic Swan conductor of V (defined after Kato in [Kat89] which fits in the more general theory of [AS02] and [AS06]) coincides with the Differential Swan co… ▽ More We consider a complete discrete valuation field of characteristic p, with possibly non perfect residue field. Let V be a rank one continuous representation with finite local monodromy of its absolute Galois group. We will prove that the Arithmetic Swan conductor of V (defined after Kato in [Kat89] which fits in the more general theory of [AS02] and [AS06]) coincides with the Differential Swan conductor of the associated differential module $D^†(V)$ defined by Kedlaya in [Ked]. This construction is a generalization to the non perfect residue case of the Fontaine's formalism as presented in [Tsu98a]. Our method of proof will allow us to give a new interpretation of the Refined Swan Conductor. △ Less

Submitted 4 August, 2008; v1 submitted 5 November, 2007; originally announced November 2007.

Comments: 38 pages

MSC Class: 12h25; 11S15; 11S20; 14F30

Logarithmic De Rham, Infinitesimal and Betti Cohomologies

Authors: Bruno Chiarellotto, Marianna Fornasiero

Abstract: In this article, we analyze the connection between the Log De Rham Cohomology of an fs (not necessary log smooth) log scheme $Y$ over $\mathbb C$ (for $Y$ admitting an exact closed immersion into an fs log smooth log scheme over $\mathbb C$), its Log Infinitesimal Cohomology $H^{^.}(Y^{log}_{inf}, \mathcal O_{Y^{log}_{inf}})$, and its Log Betti Cohomology, which is the Cohomology of its associat… ▽ More In this article, we analyze the connection between the Log De Rham Cohomology of an fs (not necessary log smooth) log scheme $Y$ over $\mathbb C$ (for $Y$ admitting an exact closed immersion into an fs log smooth log scheme over $\mathbb C$), its Log Infinitesimal Cohomology $H^{^.}(Y^{log}_{inf}, \mathcal O_{Y^{log}_{inf}})$, and its Log Betti Cohomology, which is the Cohomology of its associated Kato-Nakayama topological space $Y^{an}_{log}$, and we prove that they are isomorphic. These results are the log scheme analogues of two classical comparison theorems. △ Less

Submitted 23 July, 2004; originally announced July 2004.

Comments: 22 pages

MSC Class: 14FXX