arXiv subjects

Caterina Consani

Publications and source records attributed to Caterina Consani.

At least 37 records · Page 2Linked to original sources

arXiv2019

The Scaling Hamiltonian

We first explain the link between the Berry-Keating Hamiltonian and the spectral realization of zeros of the Riemann zeta function of the first author, and why there is no conflict at the semi-classical level between the "absorption" picture of A. Connes and the semiclassical "emission" computations of M. Berry and J. Keating, while the minus sign manifests itself in the Maslov phases. We then use the quantized calculus to analyse the recent attempt of X.-J. Li at proving Weil's positivity, and understand its limit. We then propose an operator theoretic semi-local framework directly related to the Riemann Hypothesis.

math.NT↗

arXiv2019

On Absolute Algebraic Geometry, the affine case

We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing together the category of commutative rings and that of pointed commutative monoids, that we used in our previous work to define F1-schemes, is naturally a full subcategory of the category of Segal's Gamma-rings. In this paper we develop the affine case of this general algebraic geometry: one distinctive feature is that the spectrum Spec(A) of a Gamma-ring is in general a Grothendieck site rather than a point set endowed with a topology. Two striking features of this new geometry are that it is the natural domain for cyclic homology and for homological algebra, and that new operations, which do not make sense in ordinary algebraic geometry, are here available. For instance, in this new context, the quotient of a ring by a multiplicative subgroup is still a Gamma-ring to which our general theory applies. Thus the adele class space gives rise naturally to a Gamma-ring. Finally, we show that our theory is not a special case of the Töen-Vaqui\' e general theory of algebraic geometry under Spec Z.

math.AG↗

arXiv2019

$\overline{Spec\mathbb Z}$ and the Gromov norm

We define the homology of a simplicial set with coefficients in a Segal's $Γ$-set ($\mathbf S$-module). We show the relevance of this new homology with values in $\mathbf S$-modules by proving that taking as coefficients the $\mathbf S$-modules at the archimedean place over the structure sheaf on $\overline{Spec\mathbb Z}$ introduced in our previous work, one obtains on the singular homology with real coefficients of a topological space $X$, a norm equivalent to the Gromov norm. Moreover, we prove that the two norms agree when $X$ is an oriented compact Riemann surface.

math.AG↗

arXiv2018

The Riemann-Roch strategy, Complex lift of the Scaling Site

We describe the Riemann-Roch strategy which consists of adapting in characteristic zero Weil's proof, of RH in positive characteristic, following the ideas of Mattuck, Tate and Grothendieck. As a new step in this strategy we implement the technique of tropical descent that allows one to deduce existence results in characteristic one from the Riemann-Roch result over the complex numbers. In order to deal with arbitrary distribution functions this technique involves the results of Bohr, Jessen and Tornehave on almost periodic functions. Our main result is the construction, at the adelic level, of a complex lift of the adele class space of the rationals. We interpret this lift as a moduli space of elliptic curves endowed with a triangular structure. The equivalence relation yielding the noncommutative structure is generated by isogenies. We describe the tight relation of this complex lift with the GL(2)-system. We construct the lift of the Frobenius correspondences using the Witt construction in characteristic one.

math.NT↗

arXiv2017

Homological algebra in characteristic one

This article develops several main results for a general theory of homological algebra in categories such as the category of sheaves of idempotent modules over a topos. In the analogy with the development of homological algebra for abelian categories the present paper should be viewed as the analogue of the development of homological algebra for abelian groups. Our selected prototype, the category Bmod of modules over the Boolean semifield B is the replacement for the category of abelian groups. We show that the semi-additive category Bmod fulfills analogues of the axioms AB1 and AB2 for abelian categories. By introducing a precise comonad on Bmod we obtain the conceptually related Kleisli and Eilenberg-Moore categories. The latter category Bmod^s is simply Bmod in the topos of sets endowed with an involution and as such it shares with Bmod most of its abstract categorical properties. The three main results of the paper are the following. First, when endowed with the natural ideal of null morphisms, the category Bmod^s is a semi-exact, homological category in the sense of M. Grandis. Second, there is a far reaching analogy between Bmod^s and the category of operators in Hilbert space, and in particular results relating null kernel and injectivity for morphisms. The third fundamental result is that, even for finite objects of Bmod^s the resulting homological algebra is non-trivial and gives rise to a computable Ext functor. We determine explicitly this functor in the case provided by the diagonal morphism of the Boolean semiring into its square.

math.AG↗

arXiv2016

Geometry of the scaling site

We construct the scaling site S by implementing the extension of scalars on the arithmetic site, from the smallest Boolean semifield to the tropical semifield of positive real numbers. The obtained semiringed topos is the Grothendieck topos semi-direct product of the Euclidean half-line and the monoid of positive integers acting by multiplication, endowed with the structure sheaf of piecewise affine, convex functions with integral slopes. We show that the points of this topos coincide with the adele class space of the rationals and that this latter space inherits the geometric structure of a tropical curve. We restrict this construction to the periodic orbit of the scaling flow associated to each prime and obtain a quasi-tropical structure which turns this orbit into a variant C of the classical Jacobi description of an elliptic curve. On C, we develop the theory of Cartier divisors, determine the structure of the quotient of the abelian group of divisors by the subgroup of principal divisors, develop the theory of theta functions, and prove the Riemann-Roch formula which involves real valued dimensions, as in the type II index theory. We show that one would have been led to the same definition of the scaling site by analyzing the well known results on the localization of zeros of analytic functions involving Newton polygons in the non-archimedean case and the Jensen's formula in the complex case.

math.AG↗

arXiv2015

Absolute algebra and Segal's Gamma sets

We show that the basic categorical concept of an S-algebra as derived from the theory of Segal's Gamma-sets provides a unifying description of several constructions attempting to model an algebraic geometry over the absolute point. It merges, in particular, the approaches using monoids, semirings and hyperrings as well as the development by means of monads and generalized rings in Arakelov geometry. The assembly map determines a functorial way to associate an S-algebra to a monad on pointed sets. The notion of an S-algebra is very familiar in algebraic topology where it also provides a suitable groundwork to the definition of topological cyclic homology. The main contribution of this paper is to point out its relevance and unifying role in arithmetic, in relation with the development of an algebraic geometry over symmetric closed monoidal categories.

math.AG↗

arXiv2015

The Scaling Site

We investigate the semi-ringed topos obtained by extension of scalars from the arithmetic site of our previous work, by replacing the smallest Boolean semifield by the tropical semifield of real numbers with the max-plus operations. The obtained site is the semi-direct product of the Euclidean half-line by the action of the monoid of positive integers by multiplication. Its points are the same as the points of the arithmetic site over the tropical semifield of real numbers, and coincide with the quotient of the adele class space of Q by the action of the maximal compact subgroup of the idele class group. The structure sheaf of the scaling topos endows it with a natural structure of tropical curve over the arithmetic topos. The restriction of this structure to the periodic orbits of the scaling flow gives, for each prime p, an analogue of an elliptic curve whose Jacobian is a cyclic group of order p-1. The Riemann-Roch formula holds and involves real valued dimensions and real degrees for divisors.

math.AG↗

arXiv2015

Geometry of the arithmetic site

We introduce the Arithmetic Site: an algebraic geometric space deeply related to the non-commutative geometric approach to the Riemann Hypothesis. We prove that the non-commutative space quotient of the adele class space of the field of rational numbers by the maximal compact subgroup of the idele class group, which we had previously shown to yield the correct counting function to obtain the complete Riemann zeta function as Hasse-Weil zeta function, is the set of geometric points of the arithmetic site over the semifield of tropical real numbers. The action of the multiplicative group of positive real numbers on the adele class space corresponds to the action of the Frobenius automorphisms on the above geometric points. The underlying topological space of the arithmetic site is the topos of functors from the multiplicative semigroup of non-zero natural numbers to the category of sets. The structure sheaf is made by semirings of characteristic one and is given globally by the semifield of tropical integers. In spite of the countable combinatorial nature of the arithmetic site, this space admits a one parameter semigroup of Frobenius correspondences obtained as sub-varieties of the square of the site. This square is a semi-ringed topos whose structure sheaf involves Newton polygons. Finally, we show that the arithmetic site is intimately related to the structure of the (absolute) point in non-commutative geometry.

math.AG↗

arXiv2014

The universal thickening of the field of real numbers

We define the universal thickening of the field of real numbers. This construction is performed in three steps which parallel the universal perfection, the Witt construction and a completion process. We show that the transposition of the perfection process at the real archimedean place is identical to the "dequantization" process and yields Viro's tropical real hyperfield. Then we prove that the archimedean Witt construction in the context of hyperfields allows one to recover a field from a hyperfield, and we obtain the universal pro-infinitesimal thickening of the field of real numbers. We provide the real analogues of several algebras used in the construction of the rings of p-adic periods. We supply the canonical decomposition of elements in terms of Teichmuller lifts, we make the link with the Mikusinski field of operational calculus and compute the Gelfand spectrum of the archimedean counterparts of the rings of p-adic periods. In the second part of the paper we discuss the complex case and its relation with the theory of oscillatory integrals in quantum physics.

math.NT↗

arXiv2014

The Cyclic and Epicyclic Sites

We determine the points of the epicyclic topos which plays a key role in the geometric encoding of cyclic homology and the lambda operations. We show that the category of points of the epicyclic topos is equivalent to projective geometry in characteristic one over algebraic extensions of the infinite semifield of max-plus integers. An object of this category is a pair of an algebraic extension of the semifield and an archimedean semimodule over this extension. The morphisms are projective classes of semilinear maps between semimodules. The epicyclic topos sits over the arithmetic topos which we recently introduced and the fibers of the associated geometric morphism correspond to the cyclic site. In two appendices we review the role of the cyclic and epicyclic toposes as the geometric structures supporting cyclic homology and the lambda operations.

math.AG↗

arXiv2014

The Arithmetic Site

We show that the non-commutative geometric approach to the Riemann zeta function has an algebraic geometric incarnation: the "Arithmetic Site". This site involves the tropical semiring viewed as a sheaf on the topos which is the dual of the multiplicative semigroup of positive integers. We prove that the set of points of the arithmetic site over the maximal compact subring of the tropical semifield is the non-commutative space quotient of the adele class space of Q by the action of the maximal compact subgroup of the idele class group. We realize the Frobenius correspondences in the square of the "Arithmetic Site" and compute their composition. This note provides the algebraic geometric space underlying the non-commutative approach to RH.

math.NT↗

arXiv2013

Cyclic structures and the topos of simplicial sets

Given a point p of the topos of simplicial sets and the corresponding flat covariant functor F from the small category Delta to the category of sets, we determine the extensions of F to the cyclic category. We show that to each such cyclic structure on a point p of the topos of simplicial sets corresponds a group G(p), that such groups can be noncommutative and that each G(p) is described as the quotient of a left-ordered group by the subgroup generated by a central element. Moreover for any cyclic set X, the fiber (or geometric realization) of the underlying simplicial set of X at p inherits canonically the structure of a G(p)-space. This gives a far reaching generalization of the well-known circle action on the geometric realization of cyclic sets.

math.AG↗

arXiv2013

Projective geometry in characteristic one and the epicyclic category

We show that the cyclic and epicyclic categories which play a key role in the encoding of cyclic homology and the lambda operations, are obtained from projective geometry in characteristic one over the infinite semifield F of "max-plus integers". Finite dimensional vector spaces are replaced by modules defined by restriction of scalars from the one-dimensional free module, using the Frobenius endomorphisms of F. The associated projective spaces are finite and provide a mathematically consistent interpretation of J. Tits' original idea of a geometry over the absolute point. The self-duality of the cyclic category and the cyclic descent number of permutations both acquire a geometric meaning.

math.AG↗

arXiv2012

Cyclic homology, Serre's local factors and the $λ$-operations

We show that for a smooth, projective variety X defined over a number field K, cyclic homology with coefficients in the ring of infinite adeles of K, provides the right theory to obtain, using the lambda-operations, Serre's archimedean local factors of the complex L-function of X as regularized determinants.

math.AG↗

arXiv2011

On the arithmetic of the BC-system

For each prime p and each embedding of the multiplicative group of an algebraic closure of F_p as complex roots of unity, we construct a p-adic indecomposable representation of the integral BC-system as additive endomorphisms of the big Witt ring of an algebraic closure of F_p. The obtained representations are the p-adic analogues of the complex, extremal KMS states at zero temperature of the BC-system. The role of the Riemann zeta function, as partition function of the BC-system over complex numbers is replaced, in the p-adic case, by the p-adic L-functions and the polylogarithms whose values at roots of unity encode the KMS states. We use Iwasawa theory to extend the KMS theory to a covering of the completion of an algebraic closure of the p-adic field. We show that our previous work on the hyperring structure of the adeles class space, combines with p-adic analysis to refine the space of valuations on the cyclotomic extension of Q as a noncommutative space intimately related to the integral BC-system and whose arithmetic geometry comes close to fulfill the expectations of the "arithmetic site". Finally, we explain how the integral BC-system appears naturally also in de Smit and Lenstra construction of the standard model of an algebraic closure of F_p which singles out the subsystem associated to the Z^-extension of Q.

math.QA↗

arXiv2010

From monoids to hyperstructures: in search of an absolute arithmetic

We show that the trace formula interpretation of the explicit formulas expresses the counting function N(q) of the hypothetical curve C associated to the Riemann zeta function, as an intersection number involving the scaling action on the adele class space. Then, we discuss the algebraic structure of the adele class space both as a monoid and as a hyperring. We construct an extension R^{convex} of the hyperfield S of signs, which is the hyperfield analogue of the semifield R_+^{max} of tropical geometry, admitting a one parameter group of automorphisms fixing S. Finally, we develop function theory over Spec(S) and we show how to recover the field of real numbers from a purely algebraic construction, as the function theory over Spec(S).

math.AG↗

arXiv2010

The hyperring of adèle classes

We show that the theory of hyperrings, due to M. Krasner, supplies a perfect framework to understand the algebraic structure of the adele class space of a global field. After promoting F1 to a hyperfield K, we prove that a hyperring of the form R/G (where R is a ring and G is a subgroup of its multiplicative group) is a hyperring extension of K if and only if G union 0 is a subfield of R. This result applies to the adele class space which thus inherits the structure of a hyperring extension H of K. We begin to investigate the content of an algebraic geometry over K. The category of commutative hyperring extensions of K is inclusive of: commutative algebras over fields with semi-linear homomorphisms, abelian groups with injective homomorphisms and a rather exotic land comprising homogeneous non-Desarguesian planes. Finally, we show that for a global field of positive characteristic, the groupoid of the prime elements of the hyperring H is canonically and equivariantly isomorphic to the groupoid of the loops of the maximal abelian cover of the curve associated to the global field.

math.AG↗