Search arXiv⌕ Search

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↗