Showing 1–35 of 35 results for author: Barbieri-Viale, L

Homological periods and higher cycles

Authors: L. Barbieri-Viale

Abstract: 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… ▽ More 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ĭtman theorems. △ Less

Submitted 25 March, 2025; originally announced March 2025.

MSC Class: 14F42; 14F40; 14C30; 14L15

Mixed Motives

Authors: L. Barbieri-Viale

Abstract: 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… ▽ More 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. △ Less

Submitted 23 January, 2025; originally announced January 2025.

MSC Class: 18F99; 14F99; 19E15; 14F42

Motives

Authors: L. Barbieri-Viale

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

Submitted 30 January, 2025; v1 submitted 26 March, 2024; originally announced March 2024.

Comments: Published on the special issue dedicated to the memory of Jacob Murre

MSC Class: 18F99; 14F99

Universal Weil cohomology

Authors: L. Barbieri-Viale, B. Kahn

Abstract: 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… ▽ More 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. △ Less

Submitted 1 February, 2025; v1 submitted 25 January, 2024; originally announced January 2024.

Comments: Exposition improved

MSC Class: 18F99; 14F99

A universal rigid abelian tensor category

Authors: L. Barbieri-Viale, B. Kahn

Abstract: 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. 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. △ Less

Submitted 24 December, 2021; v1 submitted 22 November, 2021; originally announced November 2021.

Journal ref: Documenta Mathematica 27 (2022), 699-717

On topological motives

Authors: L. Barbieri-Viale

Abstract: 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. 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. △ Less

Submitted 16 July, 2021; originally announced July 2021.

Journal ref: Topology and its Applications, Volume 314, 1 June 2022, 108141

Universal cohomology theories

Authors: L. Barbieri-Viale

Abstract: 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… ▽ More 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. △ Less

Submitted 19 July, 2021; v1 submitted 27 May, 2021; originally announced May 2021.

Comments: References added

Journal ref: Communications in Algebra, Vol. 51 (2023) 3314-3345

Tensor product of motives via Künneth formula

Authors: L. Barbieri-Viale, M. Prest

Abstract: 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. 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. △ Less

Submitted 26 November, 2019; v1 submitted 31 October, 2018; originally announced October 2018.

Comments: Revised version to appear on JPAA

Journal ref: Journal of Pure and Applied Algebra, Vol. 224, No. 6 (2020) 106267

Motivic periods and Grothendieck arithmetic invariants

Authors: F. Andreatta, L. Barbieri-Viale, A. Bertapelle

Abstract: We construct a period regulator for motivic cohomology of an algebraic scheme over a subfield of the complex numbers. For the field of algebraic numbers we formulate a period conjecture for motivic cohomology by saying that this period regulator is surjective. Showing that a suitable Betti--de Rham realization of 1-motives is fully faithful we can verify this period conjecture in several cases. Th… ▽ More We construct a period regulator for motivic cohomology of an algebraic scheme over a subfield of the complex numbers. For the field of algebraic numbers we formulate a period conjecture for motivic cohomology by saying that this period regulator is surjective. Showing that a suitable Betti--de Rham realization of 1-motives is fully faithful we can verify this period conjecture in several cases. The divisibility properties of motivic cohomology imply that our conjecture is a neat generalization of the classical Grothendieck period conjecture for algebraic cycles on smooth and proper schemes. These divisibility properties are treated in an appendix by B. Kahn (extending previous work of Bloch and Colliot-Thélène--Raskind). △ Less

Submitted 4 November, 2019; v1 submitted 18 May, 2018; originally announced May 2018.

Comments: Appendix by B. Kahn added. Revised version to appear on Adv. Math

MSC Class: 14F42; 14F40; 19E15; 14C30; 14L15

Journal ref: Advances in Mathematics Vol. 359 (2020) 106880

Tensor structure for Nori motives

Authors: Luca Barbieri-Viale, Annette Huber, Mike Prest

Abstract: We construct a tensor product on Freyd's universal abelian category attached to an additive tensor category or a tensor quiver and establish a universal property. This is used to give an alternative construction for the tensor product on Nori motives. We construct a tensor product on Freyd's universal abelian category attached to an additive tensor category or a tensor quiver and establish a universal property. This is used to give an alternative construction for the tensor product on Nori motives. △ Less

Submitted 8 November, 2019; v1 submitted 2 March, 2018; originally announced March 2018.

Comments: Revised & updated version, 23 pages

Journal ref: Pacific J. Math. 306 (2020) 1-30

Ogus realization of 1-motives

Authors: F. Andreatta, L. Barbieri-Viale, A. Bertapelle

Abstract: 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. 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. △ Less

Submitted 30 March, 2017; v1 submitted 14 October, 2016; originally announced October 2016.

MSC Class: 14F30; 14F40; 14L05; 11G10

Journal ref: Journal of Algebra Vol. 487 (2017) 294-316

Definable categories and T-motives

Authors: L. Barbieri-Viale, M. Prest

Abstract: 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$ univ… ▽ More 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. △ Less

Submitted 15 April, 2016; v1 submitted 1 April, 2016; originally announced April 2016.

T-motives

Authors: L. Barbieri-Viale

Abstract: 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… ▽ More 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. △ Less

Submitted 4 April, 2016; v1 submitted 16 February, 2016; originally announced February 2016.

Comments: Added reference to arXiv:1604.00153 [math.AG]

Journal ref: Journal of Pure and Applied Algebra Vol. 221, Issue 7 (2017) 1495-1898

Syntactic categories for Nori motives

Authors: Luca Barbieri-Viale, Olivia Caramello, Laurent Lafforgue

Abstract: We give a new construction, based on categorical logic, of Nori's $\mathbb Q$-linear abelian category of mixed motives associated to a cohomology or homology functor with values in finite-dimensional vector spaces over $\mathbb Q$. This new construction makes sense for infinite-dimensional vector spaces as well, so that it associates a $\mathbb Q$-linear abelian category of mixed motives to any (c… ▽ More We give a new construction, based on categorical logic, of Nori's $\mathbb Q$-linear abelian category of mixed motives associated to a cohomology or homology functor with values in finite-dimensional vector spaces over $\mathbb Q$. This new construction makes sense for infinite-dimensional vector spaces as well, so that it associates a $\mathbb Q$-linear abelian category of mixed motives to any (co)homology functor, not only Betti homology (as Nori had done) but also, for instance, $\ell$-adic, $p$-adic or motivic cohomology. We prove that the $\mathbb Q$-linear abelian categories of mixed motives associated to different (co)homology functors are equivalent if and only a family (of logical nature) of explicit properties is shared by these different functors. The problem of the existence of a universal cohomology theory and of the equivalence of the information encoded by the different classical cohomology functors thus reduces to that of checking these explicit conditions. △ Less

Submitted 14 May, 2016; v1 submitted 19 June, 2015; originally announced June 2015.

Comments: 30 pages

MSC Class: 18C10; 03G30; 19E15; 14F42

Nori 1-motives

Authors: J. Ayoub, L. Barbieri-Viale

Abstract: 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,… ▽ More 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. △ Less

Submitted 26 June, 2012; originally announced June 2012.

MSC Class: 19E15; 14F42; 14C30; 18G55; 13D09

Journal ref: Math. Ann. Vol. 361, Issue 1-2 (2015) 367-402

On the derived category of 1-motives

Authors: Luca Barbieri-Viale, Bruno Kahn

Abstract: This is the final version of the 2007 preprint titled "On the derived category of 1-motives, I". It has been substantially expanded to contain a motivic proof of (two thirds of) Deligne's conjecture on 1-motives with rational coefficients, hence the new title. Compared to the 2007 preprint, the additions mainly concern an abstract theory of realisations with weight filtrations; Deligne's conjectur… ▽ More This is the final version of the 2007 preprint titled "On the derived category of 1-motives, I". It has been substantially expanded to contain a motivic proof of (two thirds of) Deligne's conjecture on 1-motives with rational coefficients, hence the new title. Compared to the 2007 preprint, the additions mainly concern an abstract theory of realisations with weight filtrations; Deligne's conjecture is tackled though them by an adjunction game. △ Less

Submitted 13 September, 2016; v1 submitted 9 September, 2010; originally announced September 2010.

Comments: 242 pages - revised before acceptation

MSC Class: 14C15; 14K99; 18G99

Journal ref: Astérisque 381 (2016)

On the derived category of 1-motives, I

Authors: Luca Barbieri-Viale, Bruno Kahn

Abstract: We consider the category of Deligne 1-motives over a perfect field k of exponential characteristic p and its derived category for a suitable exact structure after inverting p. As a first result, we provide a fully faithful embedding into an etale version of Voevodsky's triangulated category of geometric motives. Our second main result is that this full embedding "almost" has a left adjoint, that… ▽ More We consider the category of Deligne 1-motives over a perfect field k of exponential characteristic p and its derived category for a suitable exact structure after inverting p. As a first result, we provide a fully faithful embedding into an etale version of Voevodsky's triangulated category of geometric motives. Our second main result is that this full embedding "almost" has a left adjoint, that we call \LAlb. Applied to the motive of a variety we thus get a bounded complex of 1-motives, that we compute fully for smooth varieties and partly for singular varieties. As an application we give motivic proofs of Roitman type theorems (in characteristic 0). △ Less

Submitted 11 June, 2007; originally announced June 2007.

A note on relative duality for Voevodsky motives

Authors: Luca Barbieri-Viale, Bruno Kahn

Abstract: Let X be an n-dimensional smooth proper variety over a field admitting resolution of singularities, and Y,Z two disjoint closed subsets of X. We establish an isomorphism M(X-Z,Y) isomorphic to M(X-Y,Z)^*(n)[2n] in Voevodsky's triangulated category of geometric motives. Here, M(X-Z,Y) is the motive of X -Z relative to its closed subset Y. Let X be an n-dimensional smooth proper variety over a field admitting resolution of singularities, and Y,Z two disjoint closed subsets of X. We establish an isomorphism M(X-Z,Y) isomorphic to M(X-Y,Z)^*(n)[2n] in Voevodsky's triangulated category of geometric motives. Here, M(X-Z,Y) is the motive of X -Z relative to its closed subset Y. △ Less

Submitted 26 January, 2007; originally announced January 2007.

Journal ref: Tohoku Math. Journal 60, 2 (2008) 349--356

1-motivic sheaves and the Albanese functor

Authors: J. Ayoub, L. Barbieri-Viale

Abstract: 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 an… ▽ More 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. △ Less

Submitted 21 October, 2008; v1 submitted 28 July, 2006; originally announced July 2006.

Comments: 54 pages, fully revised exposition with a new "structure theorem" for 1-motivic sheaves, see Theorem 1.3.10, including finitely presented (or constructible) 1-motivic sheaves

Journal ref: Journal of Pure and Applied Algebra Vol. 213, No. 5 (2009) 809-839

Sharp de Rham realization

Authors: L. Barbieri-Viale, A. Bertapelle

Abstract: 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 conne… ▽ More 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. △ Less

Submitted 5 July, 2006; originally announced July 2006.

Comments: 30 pages

MSC Class: 14Fxx; 11G

Journal ref: Advances in Mathematics Vol. 222 Issue 4 (2009) 1308-1338

Formal Hodge Theory

Authors: L. Barbieri-Viale

Abstract: Formal (mixed) Hodge structures FHS are introduced in such a way that the Hodge realization of Deligne's 1-motives extends to a realization from Laumon's 1-motives to formal Hodge structures of level 1, providing an equivalence of categories. For the sake of exposition we here confine our study to level 1 mixed Hodge structures. However, it is conceivable and suitable to consider formal mixed… ▽ More Formal (mixed) Hodge structures FHS are introduced in such a way that the Hodge realization of Deligne's 1-motives extends to a realization from Laumon's 1-motives to formal Hodge structures of level 1, providing an equivalence of categories. For the sake of exposition we here confine our study to level 1 mixed Hodge structures. However, it is conceivable and suitable to consider formal mixed Hodge structures with arbitrary Hodge numbers: generalizing our definition herebelow it's not that difficult and we will treat such a matter nextly. △ Less

Submitted 22 November, 2005; originally announced November 2005.

Comments: 12 pages

MSC Class: 14F42; 14C30

Journal ref: Mathematical Research Letters (International Press) Vol. 14 Issue 3 (2007) 385-394.

The Neron-Severi group of a proper seminormal complex variety

Authors: L. Barbieri-Viale, A. Rosenschon, V. Srinivas

Abstract: 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. 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. △ Less

Submitted 21 October, 2008; v1 submitted 22 November, 2005; originally announced November 2005.

Comments: 16 pages; Mathematische Zeitschrift (2008)

MSC Class: 14C30

Journal ref: Math. Zeitschrift Vol. 261 N. 2 (2009) 261-276

A pamphlet on motivic cohomology

Authors: L. Barbieri-Viale

Abstract: This short note is an "elementary'' introduction to the conjectural theory of motives. This short note is an "elementary'' introduction to the conjectural theory of motives. △ Less

Submitted 8 August, 2005; originally announced August 2005.

Comments: 19 pages, to appear on Milan Journal of Math

Journal ref: Milan Journal of Mathematics Vol. 73 (2005) 53-73

On the theory of 1-motives

Authors: L. Barbieri-Viale

Abstract: 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. 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. △ Less

Submitted 12 December, 2005; v1 submitted 23 February, 2005; originally announced February 2005.

Comments: 45 pages; updated references & improved exposition

Journal ref: London Mathematical Society Lecture Note Series, Vol. 343, Cambridge University Press, London, 2007. (Proceedings of the workshop on the occasion of the 75-th birthday of J.P. Murre - 2004, Lorentz Center, Leiden).

Crystalline realizations of 1-motives

Authors: Fabrizio Andreatta, Luca Barbieri Viale

Abstract: We consider the crystalline realization of Deligne's 1-motives in positive characteristics and prove a comparison theorem with the De Rham realization of liftings to zero characteristic. We then show that one dimensional crystalline cohomology of an algebraic variety, defined by universal cohomological descent via de Jong's alterations, coincide with the crystalline realization of the (cohomolog… ▽ More We consider the crystalline realization of Deligne's 1-motives in positive characteristics and prove a comparison theorem with the De Rham realization of liftings to zero characteristic. We then show that one dimensional crystalline cohomology of an algebraic variety, defined by universal cohomological descent via de Jong's alterations, coincide with the crystalline realization of the (cohomological) Picard 1-motive, over perfect fields. △ Less

Submitted 12 November, 2003; v1 submitted 13 February, 2003; originally announced February 2003.

Comments: 54 pages, exposition improved, references & appendix added

MSC Class: 14C25; 14C30; 11Gxx

Journal ref: Mathematische Annalen Vol. 331, N. 1, (2005) 111-172

On algebraic 1-motives related to Hodge cycles

Authors: L. Barbieri-Viale

Abstract: The goal of this paper is to introduce Hodge 1-motives of algebraic varieties and to state a corresponding cohomological Grothendieck-Hodge conjecture, generalizing the classical Hodge conjecture to arbitrarily singular proper schemes. The goal of this paper is to introduce Hodge 1-motives of algebraic varieties and to state a corresponding cohomological Grothendieck-Hodge conjecture, generalizing the classical Hodge conjecture to arbitrarily singular proper schemes. △ Less

Submitted 27 March, 2001; originally announced March 2001.

Comments: 30 pages, LaTeX (using AMS symbols)

Report number: MM-01-101 MSC Class: 14C30; 14F42 (Primary) 19E15 (Secondary)

Journal ref: in "Algebraic Geometry" A Vol. in Memory of P. Francia, Walter de Gruyter, Berlin/New York, 2002

Deligne's Conjecture on 1-Motives

Authors: Luca Barbieri-Viale, Andreas Rosenschon, Morihiko Saito

Abstract: We reformulate a conjecture of Deligne on 1-motives by using the integral weight filtration of Gillet and Soulé on cohomology, and prove it. This implies the original conjecture up to isogeny. If the degree of cohomology is at most two, we can prove the conjecture for the Hodge realization without isogeny, and even for 1-motives with torsion. We reformulate a conjecture of Deligne on 1-motives by using the integral weight filtration of Gillet and Soulé on cohomology, and prove it. This implies the original conjecture up to isogeny. If the degree of cohomology is at most two, we can prove the conjecture for the Hodge realization without isogeny, and even for 1-motives with torsion. △ Less

Submitted 24 May, 2004; v1 submitted 19 February, 2001; originally announced February 2001.

Comments: 41 pages published version

MSC Class: 14C30; 32S35

Journal ref: Ann. of Math. (2), Vol. 158 (2003), no. 2, 593--633

On algebraic mixed Hodge substructures of H^2

Authors: L. Barbieri-Viale, A. Rosenschon

Abstract: This paper has been superseded to a great extent by the following: Paper: math.AG/0511558 Title: The Neron-Severi group of a proper seminormal complex variety Authors: L. Barbieri-Viale, A. Rosenschon & V. Srinivas Paper: math.AG/0102150 Title: Deligne's Conjecture on 1-Motives Authors: Luca Barbieri-Viale, Andreas Rosenschon, Morihiko Saito Journal-ref: Ann. of Math. (2), Vol. 158 (2003), n… ▽ More This paper has been superseded to a great extent by the following: Paper: math.AG/0511558 Title: The Neron-Severi group of a proper seminormal complex variety Authors: L. Barbieri-Viale, A. Rosenschon & V. Srinivas Paper: math.AG/0102150 Title: Deligne's Conjecture on 1-Motives Authors: Luca Barbieri-Viale, Andreas Rosenschon, Morihiko Saito Journal-ref: Ann. of Math. (2), Vol. 158 (2003), no. 2, 593--633 △ Less

Submitted 22 November, 2005; v1 submitted 9 December, 1999; originally announced December 1999.

Comments: This paper has been withdrawn

Albanese and Picard 1-motives

Authors: L. Barbieri-Viale, V. Srinivas

Abstract: We describe algebraically defined cohomological and homological Albanese and Picard 1-motives (or mixed motives) of any algebraic variety in characteristic zero, generalizing the classical Albanese and Picard varieties. We compute Hodge, l-adic and De Rham realizations proving Deligne's conjecture for the concerned mixed Hodge structures. We investigate functoriality, universality, homotopical… ▽ More We describe algebraically defined cohomological and homological Albanese and Picard 1-motives (or mixed motives) of any algebraic variety in characteristic zero, generalizing the classical Albanese and Picard varieties. We compute Hodge, l-adic and De Rham realizations proving Deligne's conjecture for the concerned mixed Hodge structures. We investigate functoriality, universality, homotopical invariance and invariance under formation of projective bundles. We compare our cohomological and homological 1-motives for normal schemes. For proper schemes, we obtain an Abel-Jacobi map from the (Levine-Weibel) Chow group of zero cycles to our cohomological Albanese 1-motive which is the universal regular homomorphism to semi-abelian varieties. By using this universal property we get 'motivic' Gysin maps for projective local complete intersection morphisms. This paper is an extended version of our preliminary Comptes Rendus Note, Academie des Sciences, Paris, Vol. 326, 1998. △ Less

Submitted 24 June, 1999; originally announced June 1999.

Comments: 81 pages (428 K dvi file)

Report number: DIMA-99-66

Journal ref: Memoire de la Soc. Math. de France 87, vi+104 pages, 2001

Albanese and Picard 1-motives

Authors: L. Barbieri Viale, V. Srinivas

Abstract: We define, in a purely algebraic way, 1-motives $Alb^{+}(X)$, $Alb^{-}(X)$, $Pic^{+}(X)$ and $Pic^{-}(X)$ associated with any algebraic scheme $X$ over an algebraically closed field of characteristic zero. For $X$ over $\C$ of dimension $n$ the Hodge realizations are, respectively, $H^{2n-1}(X)(n)$, $H_{1}(X)$, $H^{1}(X)(1)$ and $H_{2n-1}(X)(1-n)$. We define, in a purely algebraic way, 1-motives $Alb^{+}(X)$, $Alb^{-}(X)$, $Pic^{+}(X)$ and $Pic^{-}(X)$ associated with any algebraic scheme $X$ over an algebraically closed field of characteristic zero. For $X$ over $\C$ of dimension $n$ the Hodge realizations are, respectively, $H^{2n-1}(X)(n)$, $H_{1}(X)$, $H^{1}(X)(1)$ and $H_{2n-1}(X)(1-n)$. △ Less

Submitted 24 March, 1998; originally announced March 1998.

Comments: 5 pages, LaTeX, submitted as CR Note

Journal ref: C.R.Acad.Sci.Paris 326 (1998) 1397-1401

Balanced Varieties

Authors: L. Barbieri-Viale

Abstract: After the work of Bloch and Srinivas on correspondences and algebraic cycles we begin the study of a birational class of algebraic varieties determined by the property that a multiple of the diagonal is rationally equivalent to a cycle supported on proper subschemes. After the work of Bloch and Srinivas on correspondences and algebraic cycles we begin the study of a birational class of algebraic varieties determined by the property that a multiple of the diagonal is rationally equivalent to a cycle supported on proper subschemes. △ Less

Submitted 20 August, 1996; originally announced August 1996.

Comments: 12 pages, LaTeX

Journal ref: Symp. Algebraic K-Theory and Appl. World Scientific Publ., Singapore, 1999, pag. 298-312 (minor changes)

Roitman's theorem for singular complex projective surfaces

Authors: L. Barbieri-Viale, C. Pedrini, C. Weibel

Abstract: Let $X$ be a complex projective surface with arbitrary singularities. We construct a generalized Abel--Jacobi map $A_0(X)\to J^2(X)$ and show that it is an isomorphism on torsion subgroups. Here $A_0(X)$ is the appropriate Chow group of smooth 0-cycles of degree 0 on $X$, and $J^2(X)$ is the intermediate Jacobian associated with the mixed Hodge structure on $H^3(X)$. Our result generalizes a the… ▽ More Let $X$ be a complex projective surface with arbitrary singularities. We construct a generalized Abel--Jacobi map $A_0(X)\to J^2(X)$ and show that it is an isomorphism on torsion subgroups. Here $A_0(X)$ is the appropriate Chow group of smooth 0-cycles of degree 0 on $X$, and $J^2(X)$ is the intermediate Jacobian associated with the mixed Hodge structure on $H^3(X)$. Our result generalizes a theorem of Roitman for smooth surfaces: if $X$ is smooth then the torsion in the usual Chow group $A_0(X)$ is isomorphic to the torsion in the usual Albanese variety $J^2(X)\cong Alb(X)$ by the classical Abel-Jacobi map. △ Less

Submitted 29 March, 1995; originally announced March 1995.

Comments: 36 pages, LaTeX

Journal ref: Duke Math. J. 84 (1996), 155-190

Bloch's conjecture revisited

Authors: L. Barbieri-Viale, V. Srinivas

Abstract: Let $X$ be a non-singular projective complex surface. We can show that Bloch's conjecture (i.e., that if $p_g=0$ then the Albanese kernel vanishes) is equivalent to the following statement: If $p_g(X)=0$ then for any given Zariski open $U\subset X$ and $ω\in H^2(U,{\bf C})$ there is a smaller Zariski open $V\subset U$ such that $$ω\mid_V =ω'+ζ$$ where $ω'\in F^2H^2(V,{\bf C})$ and $ζ$ is integra… ▽ More Let $X$ be a non-singular projective complex surface. We can show that Bloch's conjecture (i.e., that if $p_g=0$ then the Albanese kernel vanishes) is equivalent to the following statement: If $p_g(X)=0$ then for any given Zariski open $U\subset X$ and $ω\in H^2(U,{\bf C})$ there is a smaller Zariski open $V\subset U$ such that $$ω\mid_V =ω'+ζ$$ where $ω'\in F^2H^2(V,{\bf C})$ and $ζ$ is integral. △ Less

Submitted 16 March, 1995; originally announced March 1995.

Comments: 4 pages, LaTeX

Journal ref: C.R.Acad.Sci.Paris 321 (1995), 211-214

On the Deligne--Beilinson cohomology sheaves

Authors: Luca Barbieri-Viale

Abstract: We are showing that the Deligne--Beilinson cohomology sheaves ${\cal H}^{q+1}({\bf Z}(q)_{\cal D})$ are torsion free by assuming Kato's conjectures hold true for function fields. This result is `effective' for $q=2$; in this case, by dealing with `arithmetic properties' of the presheaves of mixed Hodge structures defined by singular cohomology, we are able to give a cohomological characterizatio… ▽ More We are showing that the Deligne--Beilinson cohomology sheaves ${\cal H}^{q+1}({\bf Z}(q)_{\cal D})$ are torsion free by assuming Kato's conjectures hold true for function fields. This result is `effective' for $q=2$; in this case, by dealing with `arithmetic properties' of the presheaves of mixed Hodge structures defined by singular cohomology, we are able to give a cohomological characterization of the Albanese kernel for surfaces with $p_g=0$. △ Less

Submitted 7 December, 1994; originally announced December 1994.

Comments: 12 pages, LaTeX 2.09

Journal ref: Annals of K-Theory Vol. 1, Issue 1 (2016) 3-17

${\cal H}$-cohomologies versus algebraic cycles

Authors: Luca Barbieri-Viale

Abstract: Global intersection theories for smooth algebraic varieties via products in {\it appropriate}\, Poincaré duality theories are obtained. We assume given a (twisted) cohomology theory $H^*$ having a cup product structure and we let consider the ${\cal H}$-cohomology functor $X\leadsto H^{\#}_{Zar}(X,{\cal H}^*)$ where ${\cal H}^*$ is the Zariski sheaf associated to $H^*$. We show that the… ▽ More Global intersection theories for smooth algebraic varieties via products in {\it appropriate}\, Poincaré duality theories are obtained. We assume given a (twisted) cohomology theory $H^*$ having a cup product structure and we let consider the ${\cal H}$-cohomology functor $X\leadsto H^{\#}_{Zar}(X,{\cal H}^*)$ where ${\cal H}^*$ is the Zariski sheaf associated to $H^*$. We show that the ${\cal H}$-cohomology rings generalize the classical ``intersection rings'' obtained via rational or algebraic equivalences. Several basic properties e.g.\, Gysin maps, projection formula and projective bundle decomposition, of ${\cal H}$-cohomology are obtained. We therefore obtain, for $X$ smooth, Chern classes $c_{p,i} : K_i(X) \to H^{p-i}(X,{\cal H}^p)$ from the Quillen $K$-theory to ${\cal H}$-cohomologies according with Gillet and Grothendieck. We finally obtain the ``blow-up formula'' $$H^p(X',{\cal H}^q) \cong H^p(X,{\cal H}^q)\oplus \bigoplus_{i=0}^{c-2} H^{p-1-i}(Z,{\cal H}^{q-1-i})$$ where $X'$ is the blow-up of $X$ smooth, along a closed smooth subset $Z$ of pure codimension $c$. Singular cohomology of associated analityc space, étale cohomology, de Rham and Deligne-Beilinson cohomologies are examples for this setting. △ Less

Submitted 8 August, 1994; originally announced August 1994.

Comments: 51 pages, LaTeX 2.09

Journal ref: Math. Nachr. 184 (1997), 5-57