-
arXiv:2506.07498 [pdf, ps, other]
Algebraic flat connections and o-minimality
Abstract: We prove that an algebraic flat connection has definable flat sections in the analytic exponential structure if and only if it is regular singular with unitary monodromy eigenvalues at infinity, refining previous work of Bakker and Mullane. This provides an o minimal characterisation of classical properties of the Gauss-Manin connection.
Submitted 9 June, 2025; originally announced June 2025.
Comments: 9 pages
-
arXiv:2408.13910 [pdf, ps, other]
A non-abelian version of Deligne's Fixed Part Theorem
Abstract: We formulate and prove a non-abelian analog of Deligne's Fixed Part theorem on Hodge classes, revisiting previous work of Jost--Zuo, Katzarkov--Pantev and Landesman--Litt. To this aim we study algebraically isomonodromic extensions of local systems and we relate them to variations of Hodge structures, for example we show that the Mumford-Tate group at a generic point stays constant in an algebraic… ▽ More
Submitted 5 March, 2025; v1 submitted 25 August, 2024; originally announced August 2024.
Comments: 24 pages
-
arXiv:2406.19772 [pdf, ps, other]
A remark on crystalline cohomology
Abstract: We propose a new approach to crystalline cohomology based on the observation that one can lift smooth algebras uniquely "up to coherent homotopy."
Submitted 20 December, 2024; v1 submitted 28 June, 2024; originally announced June 2024.
Comments: 10 pages, final version
Journal ref: Math. Z. 309, No. 3, Paper No. 48, 10 p. (2025)
-
arXiv:2311.15886 [pdf, ps, other]
Semi-stable Lefschetz Pencils
Abstract: We study the geometry and cohomology of Lefschetz pencils for semi-stable schemes over a discrete valuation ring. We relate the global cohomological properties of the Lefschetz pencil and the monodromy-weight conjecture, in particular we show that if one assumes the monodromy-weight conjecture in smaller dimensions then one can obtain a rather complete understanding of the relative cohomology of t… ▽ More
Submitted 31 December, 2023; v1 submitted 27 November, 2023; originally announced November 2023.
Comments: 47 pages
-
arXiv:2103.06711 [pdf, ps, other]
K-theory of non-archimedean rings II
Abstract: We study fundamental properties of analytic $K$-theory of Tate rings such as homotopy invariance, Bass fundamental theorem, Milnor excision, and descent for admissible coverings.
Submitted 30 January, 2023; v1 submitted 11 March, 2021; originally announced March 2021.
Comments: v1: 16 pages; v2: 18 pages, final version
Journal ref: Nagoya Math. J. 251, 669-685 (2023)
-
arXiv:2101.00487 [pdf, ps, other]
Local systems with quasi-unipotent monodromy at infinity are dense
Abstract: We show that complex local systems with quasi-unipotent monodromy at infinity over a normal complex variety are Zariski dense in their moduli. v2: we waited for feedback and added a consequence of Alexandr Petrov's theorem. 3: we tightened the last section. Final version: appears in Israel Journal of Mathematics. footnote added to Conjecture 1.1: Aaron Landesman and Daniel Litt just made available… ▽ More
Submitted 19 January, 2022; v1 submitted 2 January, 2021; originally announced January 2021.
Comments: 11 pages
-
Density of Arithmetic Representations of Function Fields
Abstract: We propose a conjecture on the density of arithmetic points in the deformation space of representations of the étale fundamental group in positive characteristic. This? conjecture has applications to étale cohomology theory, for example it implies a Hard Lefschetz conjecture. We prove the density conjecture in tame degree two for the curve $\mathbb{P}^1\setminus \{0,1,\infty\}$. v2: very small typ… ▽ More
Submitted 4 March, 2022; v1 submitted 26 May, 2020; originally announced May 2020.
Comments: 18 pages
MSC Class: 11G99; 14G99
Journal ref: Ãpijournal de Géométrie Algébrique, Volume 6 (March 7, 2022) epiga:6568
-
arXiv:1908.08291 [pdf, ps, other]
Étale cohomology of rank one $\ell$-adic local systems in positive characteristic
Abstract: We show that in positive characteristic special loci of deformation spaces of rank one $\ell$-adic local systems are quasilinear. From this we deduce the Hard Lefschetz theorem for rank one $\ell$-adic local systems and a generic vanishing theorem. Last version: a few typos corrected
Submitted 19 May, 2021; v1 submitted 22 August, 2019; originally announced August 2019.
Comments: 26 pages
-
arXiv:1902.02961 [pdf, ps, other]
Arithmetic subspaces of moduli spaces of rank one local systems
Abstract: We show that closed subsets of the character variety of a complex variety with negatively weighted homology, which are $p$-adically integral and Galois invariant, are motivic. Final version: Cambridge Journal of Mathematics
Submitted 26 March, 2020; v1 submitted 8 February, 2019; originally announced February 2019.
Comments: latex 20 pages
-
arXiv:1812.05342 [pdf, ps, other]
Towards Vorst's conjecture in positive characteristic
Abstract: Vorst's conjecture relates the regularity of a ring with the $\mathbb{A}^1$-homotopy invariance of its $K$-theory. We show a variant of this conjecture in positive characteristic.
Submitted 3 November, 2020; v1 submitted 13 December, 2018; originally announced December 2018.
Comments: v1: 23 pages; v2: added a result for curves in mixed characteristic, 30 pages; v3: final version, 31 pages
Journal ref: Compositio Math. 157 (2021) 1143-1171
-
arXiv:1804.00603 [pdf, ps, other]
Higher ideles and class field theory
Abstract: We use higher ideles and duality theorems to develop a universal approach to higher dimensional class field theory.
Submitted 21 August, 2018; v1 submitted 2 April, 2018; originally announced April 2018.
Comments: final, 24 pages
-
arXiv:1802.09819 [pdf, ps, other]
K-theory of non-archimedean rings I
Abstract: We introduce a variant of homotopy K-theory for Tate rings, which we call analytic K-theory. It is homotopy invariant with respect to the analytic affine line viewed as an ind-object of closed disks of increasing radii. Under a certain regularity assumption we prove an analytic analog of the Bass fundamental theorem and we compare analytic K-theory with continuous K-theory, which is defined in ter… ▽ More
Submitted 30 August, 2019; v1 submitted 27 February, 2018; originally announced February 2018.
Comments: 43 pages, final version
Journal ref: Doc. Math. 24 (2019), 1365-1411
-
arXiv:1611.08466 [pdf, ps, other]
Algebraic K-theory and descent for blow-ups
Abstract: We prove that algebraic K-theory satisfies `pro-descent' for abstract blow-up squares of noetherian schemes. As an application we derive Weibel's conjecture on the vanishing of negative K-groups.
Submitted 16 August, 2017; v1 submitted 25 November, 2016; originally announced November 2016.
Comments: 48 pages, final version
Journal ref: Invent. Math. 211 (2018), no. 2, 523-577
-
arXiv:1608.00703 [pdf, ps, other]
Towards a non-archimedean analytic analog of the Bass-Quillen conjecture
Abstract: We suggest an analog of the Bass-Quillen conjecture for smooth affinoid algebras over a complete non-archimedean field. We prove this in the rank-1 case, i.e. for the Picard group. For complete discretely valued fields and regular affinoid algebras that admit a regular model (automatic if the residue characteristic is zero) we prove a similar statement for the Grothendieck group of vector bundles.
Submitted 12 December, 2018; v1 submitted 2 August, 2016; originally announced August 2016.
Comments: 17 pages
Journal ref: J. Inst. Math. Jussieu 19 (2020), no. 6, 1931-1946
-
arXiv:1601.08075 [pdf, ps, other]
On the vanishing of negative homotopy K-theory
Abstract: We show that the homotopy invariant algebraic K-theory of Weibel vanishes below the negative of the Krull dimension of a noetherian scheme. This gives evidence for a conjecture of Weibel about vanishing of negative algebraic K-groups.
Submitted 20 December, 2016; v1 submitted 29 January, 2016; originally announced January 2016.
Comments: 4 pages
-
arXiv:1503.08187 [pdf, ps, other]
A restriction isomorphism for cycles of relative dimension zero
Abstract: We study the restriction map to the closed fiber of a regular projective scheme over an excellent henselian discrete valuation ring, for a cohomological version of the Chow group of relative zero-cycles. Our main result extends the work of Saito--Sato to general perfect residue fields.
Submitted 4 May, 2016; v1 submitted 27 March, 2015; originally announced March 2015.
Comments: 34 pages; final version
Journal ref: Cambridge Journal of Mathematics 4 (2016), no. 2, 163-196
-
arXiv:1502.01923 [pdf, ps, other]
Transfinite limits in topos theory
Abstract: For a coherent site we construct a canonically associated enlarged coherent site, such that cohomology of bounded below complexes is preserved by the enlargement. In the topos associated to the enlarged site transfinite compositions of epimorphisms are epimorphisms and a weak analog of the concept of the algebraic closure exists. The construction is a variant of the work of Bhatt and Scholze on th… ▽ More
Submitted 2 February, 2016; v1 submitted 6 February, 2015; originally announced February 2015.
Comments: 23 pages
-
arXiv:1310.1773 [pdf, ps, other]
Deformation of algebraic cycle classes in characteristic zero
Abstract: We study a formal deformation problem for rational algebraic cycle classes motivated by Grothendieck's variational Hodge conjecture. We argue that there is a close connection between the existence of a Chow-Künneth decomposition and the existence of expected deformations of cycles. This observation applies in particular to abelian schemes.
Submitted 24 February, 2014; v1 submitted 7 October, 2013; originally announced October 2013.
Comments: 21 pages
-
arXiv:1304.4400 [pdf, ps, other]
Chow group of 0-cycles with modulus and higher dimensional class field theory
Abstract: One of the main results of this paper is a proof of the rank one case of an existence conjecture on lisse l-adic sheaves on a smooth variety over a finite field due to Deligne and Drinfeld. The problem is translated into the language of higher dimensional class field theory over finite fields, which describes the abelian fundamental group by Chow groups of zero cycles with moduli. A key ingredie… ▽ More
Submitted 24 November, 2015; v1 submitted 16 April, 2013; originally announced April 2013.
Comments: 59 pages, arguments rearranged
Journal ref: Duke Math. J. 165, no. 15 (2016), 2811-2897
-
arXiv:1304.3896 [pdf, ps, other]
Lefschetz theorem for abelian fundamental group with modulus
Abstract: We prove a Lefschetz hypersurface theorem for abelian fundamental groups allowing wild ramification along some divisor. In fact, we show that isomorphism holds if the degree of the hypersurface is large relative to the ramification along the divisor.
Submitted 11 May, 2023; v1 submitted 14 April, 2013; originally announced April 2013.
Comments: 10 pages, final version; for erratum see https://msp.org/ant/2022/16-8/pC1.xhtml
Journal ref: https://msp.org/ant/2014/8-3/p06.xhtml
-
arXiv:1208.0128 [pdf, ps, other]
A finiteness theorem for Galois representations of function fields over finite fields (after Deligne)
Abstract: Revised: just some typos, reorganized a bit the article. It will be published in the VIASM Annual meeting, Hanoi. We give a detailed account of Deligne's letter to Drinfeld dated June 18, 2011, in which he shows that there are finitely many irreducible lisse $\bar \Q_\ell$-sheaves with bounded ramification, up to isomorphism and up to twist, on a smooth variety defined over a finite field. The p… ▽ More
Submitted 29 November, 2012; v1 submitted 1 August, 2012; originally announced August 2012.
Comments: 37 pages
-
arXiv:1203.2776 [pdf, ps, other]
p-adic deformation of algebraic cycle classes
Abstract: We study the p-adic deformation properties of algebraic cycle classes modulo rational equivalence. We show that the crystalline Chern character of a vector bundle lies in a certain part of the Hodge filtration if and only if, rationally, the class of the vector bundle lifts to a formal pro-class in K-theory on the p-adic scheme.
Submitted 7 March, 2013; v1 submitted 13 March, 2012; originally announced March 2012.
Comments: 39 pages, final version
-
arXiv:1111.7177 [pdf, ps, other]
Cohomological Hasse principle and resolution of quotient singularities
Abstract: In this paper we study weight homology of singular schemes. Weight homology is an invariant of a singular scheme defined in terms of hypercoverings of resolution of singularities. Our main result is McKay principle for weight homology of quotient singularities, i.e. we describe weight homology of a quotient scheme in terms of weight homology of an equivariant scheme. Our method is to reduce the ge… ▽ More
Submitted 4 September, 2013; v1 submitted 30 November, 2011; originally announced November 2011.
Comments: 35 pages
MSC Class: 14G15; 14G10
-
arXiv:1010.5930 [pdf, ps, other]
Cohomological Hasse principle and motivic cohomology for arithmetic schemes
Abstract: In 1985 Kazuya Kato formulated a fascinating framework of conjectures which generalizes the Hasse principle for the Brauer group of a global field to the so-called cohomological Hasse principle for an arithmetic scheme. In this paper we prove the prime-to-characteristic part of the cohomological Hasse principle. We also explain its implications on finiteness of motivic cohomology and special value… ▽ More
Submitted 6 December, 2011; v1 submitted 28 October, 2010; originally announced October 2010.
Comments: 47 pages, final version
MSC Class: 14G15; 14G10
-
arXiv:0907.5337 [pdf, ps, other]
Ideles in higher dimension
Abstract: We propose a notion of idele class groups of finitely generated fields using the concept of Parshin chains. This new class group allows us to give an idelic interpretation of the higher class field theory of Kato and Saito.
Submitted 2 May, 2011; v1 submitted 30 July, 2009; originally announced July 2009.
Comments: 16 pages, final version
MSC Class: 19F05; 14C35
-
arXiv:0807.0979 [pdf, ps, other]
On different notions of tameness in arithmetic geometry
Abstract: The notion of a tamely ramified covering is canonical only for curves. Several notions of tameness for coverings of higher dimensional schemes have been used in the literature. We show that all these definitions are essentially equivalent. Furthermore, we prove finiteness theorems for the tame fundamental groups of arithmetic schemes.
Submitted 11 August, 2009; v1 submitted 7 July, 2008; originally announced July 2008.
Comments: final version, minor changes, 24 pages
MSC Class: 11G99; 14G99
-
arXiv:0804.3419 [pdf, ps, other]
Covering data and higher dimensional global class field theory
Abstract: For a connected regular scheme X, flat and of finite type over Spec(Z), we construct a reciprocity homomorphism ρ_X: C_X --> π_1^\ab(X), which is surjective and whose kernel is the connected component of the identity. The (topological) group C_X is explicitly given and built solely out of data attached to points and curves on X. A similar but weaker statement holds for smooth varieties over fini… ▽ More
Submitted 17 March, 2009; v1 submitted 22 April, 2008; originally announced April 2008.
Comments: 31 pages, corrected minor mistakes and added some remarks
MSC Class: 19F05; 11R37
-
arXiv:0711.4485 [pdf, ps, other]
Higher class field theory and the connected component
Abstract: In this note we present a new self-contained approach to the class field theory of arithmetic schemes in the sense of Wiesend. Along the way we prove new results on space filling curves on arithmetic schemes and on the class field theory of local rings. We show how one can deduce the more classical version of higher global class field theory due to Kato and Saito from Wiesend's version. One of our… ▽ More
Submitted 25 November, 2010; v1 submitted 28 November, 2007; originally announced November 2007.
Comments: Extended version includes higher class field theory
-
arXiv:math/0601175 [pdf, ps, other]
The Milnor-Chow homomorphism revisited
Abstract: The aim of this note is to give a simplified proof of the surjectivity of the natural Milnor-Chow homomorphism $ρ: K^M_n(A) \to CH^n(A,n)$ between Milnor $K$-theory and higher Chow groups for essentially smooth (semi-)local $k$-algebras $A$ with $k$ infinite. It implies the exactness of the Gersten resolution for Milnor $K$-theory at the generic point. Our method uses the Bloch-Levine moving tec… ▽ More
Submitted 9 January, 2006; originally announced January 2006.
Comments: 8 pages
MSC Class: 14C15; 19E15
-
arXiv:math/0410261 [pdf, ps, other]
The complex of words and Nakaoka stability
Abstract: We give a new simple proof of the exactness of the complex of injective words and use it to prove Nakaoka's homology stability for symmetric groups. The methods are generalized to show acyclicity in low degrees for the complex of words in general position.
Submitted 2 March, 2005; v1 submitted 11 October, 2004; originally announced October 2004.
Comments: 8 pages, improved notation
Journal ref: Homology, Homotopy and Applications, Vol. 7(2005), No. 1, pp. 77-85