SearcharxivSearch

arXiv subjects

L. Barbieri-Viale

Publications and source records attributed to L. Barbieri-Viale.

At least 19 recordsLinked to original sources

Quantum Information at Infinity

We introduce the Quantum Information Space at Infinity (Quinfinity) $\mathcal{Q}_\infty$ as the inverse limit of the symbolic Quantum $N$-Spaces $\mathcal{Q}_N$, identified with the complete local real algebra of formal power series under the adic topology. The pure state pro-variety is formalized as the inverse limit of $N$-level pure state varieties, driven by the algebraic colimit of a direct system of real radical ideals. This real architecture internalizes the imaginary unit, collapsing the metric landscapes onto an invariant Riemannian isometry, which identifies the pro-variety directly with the classical Fisher-Rao statistical manifold. Within this framework, the Heisenberg uncertainty principle undergoes a structural regularization at infinity being intrinsically manifested as a localized truncation obstruction governed by adic algebraic derivations. Concurrently, the continuous Liouville-von Neumann equation operates as an internal derivation tangent to the pro-variety, while the open Gorini-Kossakowski-Sudarshan-Lindblad asymptotic master equation is intrinsically obtained via a non-associative symmetric Jordan product. This dissipative flow acts as a contracting radial vector field that dampens higher-order jet configurations, driving the state trajectories down the hierarchical tree toward the absolute zero element as a non-singular universal attractor.

quant-ph

Homological periods and higher cycles

For any scheme which is algebraic over a subfield of the complex numbers we here construct an homological regulator from Suslin homology to period homology and a higher cycle class map from Bloch's higher Chow group to the period Borel-Moore homology. Over algebraic numbers, making use of the motivic Albanese, we provide a purely geometric description of these period homologies in degree 1 and we characterise the $\mathbb{Q}/\mathbb{Z}$-cokernel of these regulators in terms of torsion zero-cycles, showing that Grothendieck period conjectures imply generalised Ro\uıtman theorems.

math.AG

Universal Weil cohomology

We construct a new Weil cohomology for smooth projective varieties over a field, universal among Weil cohomologies with values in rigid additive tensor categories. A similar universal problem for Weil cohomologies with values in rigid abelian tensor categories also has a solution. We give a variant for Weil cohomologies satisfying more axioms, like Weak and Hard Lefschetz. As a consequence, we get a different construction of André's category of motives for motivated correspondences and show that it has a universal property. This theory extends over suitable bases.

math.AG

Motives

Making a survey of recent constructions of universal cohomologies we suggest a new framework for a theory of motives in algebraic geometry.

math.AG

Mixed Motives

A mixed Weil cohomology with values in an abelian rigid tensor category is a cohomological functor on Voevodsky's category of motives which is satisfying Künneth formula and such that its restriction to Chow motives is a Weil cohomology. We show that the universal mixed Weil cohomology exists. Nori motives can be recovered as a universal enrichment of Betti cohomology via a localisation. This new picture is drawing some consequences with respect to the theory of mixed motives in arbitrary characteristic.

math.AG

A universal rigid abelian tensor category

We prove that any rigid additive symmetric monoidal category can be mapped to a rigid abelian symmetric monoidal category in a universal way. This yields a novel approach to Grothendieck's standard conjecture D and Voevodsky's smash nilpotence conjecture.

math.AG

Universal cohomology theories

We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of motivic nature, where $R$ is any commutative unitary ring. Universal homology theory on the one point category yields "hieratic" $R$-modules, i.e. the indization of Freyd's free abelian category on $R$. Grothendieck $\partial$-functors and satellite functors are recovered as certain additive relative homologies on an abelian category for which we also show the existence of universal ones.

math.AG

On topological motives

Following Eilenberg-Steenrod axiomatic approach we construct the universal ordinary homology theory for any homological structure on a given category by representing ordinary theories with values in abelian categories. For a convenient category of spaces we then obtain a universal abelian category which can be actually described for CW-complexes as the category of hieratic modules.

math.AG

Tensor product of motives via Künneth formula

Following Nori's original idea we here provide certain motivic categories with a canonical tensor structure. These motivic categories are associated to a cohomological functor on a suitable base category and the tensor structure is induced by the cartesian tensor structure on the base category via a cohomological Künneth formula.

math.AG

Divisibility properties of motivic cohomology

We extend results of Colliot-Thélène and Raskind on the $\mathcal{K}_2$-cohomology of smooth projective varieties over a separably closed field $k$ to the étale motivic cohomology of smooth, not necessarily projective, varieties over $k$. Some consequences are drawn, such as the degeneration of the Bloch-Lichtenbaum spectral sequence for any field containing $k$.

math.AG

Ogus realization of 1-motives

After introducing the Ogus realization of 1-motives we prove that it is a fully faithful functor. More precisely, following a framework introduced by Ogus, considering an enriched structure on the de Rham realization of 1-motives over a number field, we show that it yields a full functor by making use of an algebraicity theorem of Bost.

math.AG

Definable categories and T-motives

Making use of Freyd's free abelian category on a preadditive category we show that if $T:D\rightarrow \mathcal{A}$ is a representation of a quiver $D$ in an abelian category $\mathcal{A}$ then there is an abelian category $\mathcal{A} (T)$, a faithful exact functor $F_T: \mathcal{A} (T) \to \mathcal{A}$ and an induced representation $\tilde T: D \to \mathcal{A} (T)$ such that $F_T\tilde T= T$ universally. We then can show that $\mathbb{T}$-motives as well as Nori's motives are given by a certain category of functors on definable categories.

math.AG

T-motives

Considering a (co)homology theory $\mathbb{T}$ on a base category $\mathcal{C}$ as a fragment of a first-order logical theory we here construct an abelian category $\mathcal{A}[\mathbb{T}]$ which is universal with respect to models of $\mathbb{T}$ in abelian categories. Under mild conditions on the base category $\mathcal{C}$, e.g. for the category of algebraic schemes, we get a functor from $\mathcal{C}$ to ${\rm Ch}({\rm Ind}(\mathcal{A}[\mathbb{T}]))$ the category of chain complexes of ind-objects of $\mathcal{A}[\mathbb{T}]$. This functor lifts Nori's motivic functor for algebraic schemes defined over a subfield of the complex numbers. Furthermore, we construct a triangulated functor from $D({\rm Ind}(\mathcal{A}[\mathbb{T}]))$ to Voevodsky's motivic complexes.

math.AG

Nori 1-motives

Let EHM be Nori's category of effective homological mixed motives. In this paper, we consider the thick abelian subcategory EHM_1 generated by the i-th relative homology of pairs of varieties for i = 0,1. We show that EHM_1 is naturally equivalent to the abelian category M_1 of Deligne 1-motives with torsion; this is our main theorem. Along the way, we obtain several interesting results. Firstly, we realize M_1 as the universal abelian category obtained, using Nori's formalism, from the Betti representation of an explicit diagram of curves. Secondly, we obtain a conceptual proof of a theorem of Vologodsky on realizations of 1-motives. Thirdly, we verify a conjecture of Deligne on extensions of 1-motives in the category of mixed realizations for those extensions that are effective in Nori's sense.

math.AG

The Neron-Severi group of a proper seminormal complex variety

We prove a Lefschetz (1,1)-Theorem for proper seminormal varieties over the complex numbers. The proof is a non-trivial geometric argument applied to the isogeny class of the Lefschetz 1-motive associated to the mixed Hodge structure on H^2.

math.AG

1-motivic sheaves and the Albanese functor

We introduce n-generated sheaves and n-motivic sheaves, describing completely for n = 0, 1 and proposing a conjecture for n > 1. We then obtain functors Lπ_0 and LAlb on DM_{eff}(k) deriving π_0 and Alb. The functor LAlb extends the one constructed (by the second author jointly with B.Kahn) to non-necessarily geometric motives. These functors are then used to define higher Néron-Severi groups and higher Albanese sheaves. The latter may be considered as an algebraic avatar of Deligne (co)homology.

math.AG

Sharp de Rham realization

We introduce the "sharp" (universal) extension of a 1-motive (with additive factors and torsion) over a field of characteristic zero. We define the "sharp de Rham realization" by passing to the Lie-algebra. Over the complex numbers we then show a (sharp de Rham) comparison theorem in the category of formal Hodge structures. For a free 1-motive along with its Cartier dual we get a canonical connection on their sharp extensions yielding a perfect pairing on sharp realizations. We thus provide "one-dimensional sharp de Rham cohomology" of algebraic varieties.

math.AG

On the theory of 1-motives

This is an overview and a preview of the theory of "mixed motives of level 1" explaining some results, projects, ideas and indicating a bunch of problems.

math.AG