Showing 1–50 of 53 results for author: Arapura, D

Hodge-theoretic variants of the Hopf and Singer Conjectures

Authors: Donu Arapura, Laurentiu Maxim, Botong Wang

Abstract: We propose several Hodge theoretic analogues of the conjectures of Hopf and Singer, and prove them in some special cases. We propose several Hodge theoretic analogues of the conjectures of Hopf and Singer, and prove them in some special cases. △ Less

Submitted 14 February, 2024; v1 submitted 21 October, 2023; originally announced October 2023.

Comments: v1. Submitted to the Proceedings of the AMS Special Session on Singer-Hopf Conjecture in Geometry and Topology; comments are very welcome! v2. Incorporated referees' suggestions, in particular Remark 2.5 is new. To appear in Contemp. Math

MSC Class: 14F35; 14F45; 14C30; 14J45; 32S60

Equivariant Hodge modules and rational singularities

Authors: Donu Arapura, Scott Hiatt

Abstract: We define a notion of Hodge modules with rational singularities. A variety has rational singularities in the usual sense, if it is normal and the Hodge module related to intersection cohomology has rational singularities in the present sense. Our main result is a generalization of Boutot's theorem that if a reductive group acts on an affine variety with a stable point, and $H$ is an equivariant Ho… ▽ More We define a notion of Hodge modules with rational singularities. A variety has rational singularities in the usual sense, if it is normal and the Hodge module related to intersection cohomology has rational singularities in the present sense. Our main result is a generalization of Boutot's theorem that if a reductive group acts on an affine variety with a stable point, and $H$ is an equivariant Hodge module with rational singularities, then the induced module on the GIT quotient also has rational singularities. △ Less

Submitted 25 March, 2024; v1 submitted 4 December, 2022; originally announced December 2022.

Comments: Final version. To appear in Mich. Math. J

MSC Class: 14B05; 14F10; 14L39

Residues of connections and the Chevalley-Weil formula for curves

Authors: Donu Arapura

Abstract: Given a finite group of automorphisms of a compact Riemann surface, the Chevalley-Weil formula computes the character valued Euler characteristic of an equivariant line bundle. The goal of this article is to give a proof by computing using residues of a Gauss-Manin connection. Given a finite group of automorphisms of a compact Riemann surface, the Chevalley-Weil formula computes the character valued Euler characteristic of an equivariant line bundle. The goal of this article is to give a proof by computing using residues of a Gauss-Manin connection. △ Less

Submitted 9 April, 2022; originally announced April 2022.

Comments: To appear in L'Enseignement Math

Perverse sheaves on varieties with large fundamental groups

Authors: Donu Arapura, Botong Wang

Abstract: We conjecture that any perverse sheaf on a compact aspherical Kähler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the Kähler setting. We verify the stronger conjecture when the manifold X has non-positive holomorphic bisectional curvature. We also show that the conjecture holds when X is projective and in possession of a faithful semi-simple rigid loca… ▽ More We conjecture that any perverse sheaf on a compact aspherical Kähler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the Kähler setting. We verify the stronger conjecture when the manifold X has non-positive holomorphic bisectional curvature. We also show that the conjecture holds when X is projective and in possession of a faithful semi-simple rigid local system. The first result is proved by expressing the Euler characteristic as an intersection number involving the characteristic cycle, and then using the curvature conditions to deduce non-negativity. For the second result, we have that the local system underlies a complex variation of Hodge structure. We then deduce the desired inequality from the curvature properties of the image of the period map. △ Less

Submitted 26 September, 2023; v1 submitted 16 September, 2021; originally announced September 2021.

Comments: Some arguments were clarified; to appear in JDG

Hodge cycles and the Leray filtration

Authors: Donu Arapura

Abstract: This is loosely a continuation of the author's previous paper arXiv:1802.09496. In the first part, given a fibered variety, we pull back the Leray filtration to the Chow group, and use this to give some criteria for the Hodge and Tate conjectures to hold for such varieties. In the second part, we show that the Hodge conjecture holds for a good desingularization of a self fibre product of a non-iso… ▽ More This is loosely a continuation of the author's previous paper arXiv:1802.09496. In the first part, given a fibered variety, we pull back the Leray filtration to the Chow group, and use this to give some criteria for the Hodge and Tate conjectures to hold for such varieties. In the second part, we show that the Hodge conjecture holds for a good desingularization of a self fibre product of a non-isotrivial elliptic surface under appropriate conditions. We also show that the Hodge and Tate conjectures hold for natural families of abelian varieties parameterized by certain Shimura curves. This uses Zucker's description of the mixed Hodge structure on the cohomology of a variation of Hodge structures on a curve, along with appropriate "vanishing" theorems. △ Less

Submitted 25 June, 2022; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: Final version to appear in Pacific Journal of Math. Theorem 2.1 replaced with a weaker statement which requires further genericiity and non degeneracy conditions

Journal ref: Pacific J. Math. 319 (2022) 233-258

When are braid groups of manifolds Kähler?

Authors: Donu Arapura

Abstract: Sometime ago, we showed that a pure Artin braid group is not Kähler, i.e. it is not the fundamental group of a compact Kähler manifold. This used a result of Bressler, Ramachandran and the author that Kähler groups cannot be too "big". The goal here is to study the problem of Kählerness for other braid groups. The main result is that, with some trivial exceptions, the pure braid group of a Riemann… ▽ More Sometime ago, we showed that a pure Artin braid group is not Kähler, i.e. it is not the fundamental group of a compact Kähler manifold. This used a result of Bressler, Ramachandran and the author that Kähler groups cannot be too "big". The goal here is to study the problem of Kählerness for other braid groups. The main result is that, with some trivial exceptions, the pure braid group of a Riemann surface with at least 2 strands is never Kähler. In some cases the proof uses the previous strategy, for others it plays off some homological properties of braid groups established beforehand against consequences of the Beauville-Catanese-Siu theorem. The braid group of a projective manifold of complex dimension 2 or more is shown to the fundamental group of a projective manifold, and hence Kähler. △ Less

Submitted 27 July, 2020; originally announced July 2020.

Comments: 17 pages

Motivic sheaves revisited

Authors: Donu Arapura

Abstract: In earlier work (arXiv:0801.0261), we gave a definition of an abelian category of motivic (constructible) sheaves over a base in characteristic zero using Nori's method. This category has Hodge and etale realizations, and is stable under inverse and direct images for projective and constant maps. The goal of this paper is to give a simpler definition of (a slight modification of) the category, and… ▽ More In earlier work (arXiv:0801.0261), we gave a definition of an abelian category of motivic (constructible) sheaves over a base in characteristic zero using Nori's method. This category has Hodge and etale realizations, and is stable under inverse and direct images for projective and constant maps. The goal of this paper is to give a simpler definition of (a slight modification of) the category, and to give an easier proof of the direct image theorem. This paper relies on the previous article for some technical results, but is otherwise self contained. △ Less

Submitted 14 April, 2022; v1 submitted 22 August, 2019; originally announced August 2019.

Comments: Final version. To appear in JPAA

Kodaira vanishing for singular varieties revisited

Authors: Donu Arapura, Lei Song

Abstract: We correct the proof and slightly strengthen a Kodaira-type vanishing theorem for singular varieties originally due to Jaffe and the first author. Specifically, we show that if $L$ is a nef and big line bundle on a projective variety of characteristic zero, the $i^{\text{th}}$ cohomology of $L^{-1}$ vanishes for $i$ in a range determined by the depth and dimension of the singular locus. We correct the proof and slightly strengthen a Kodaira-type vanishing theorem for singular varieties originally due to Jaffe and the first author. Specifically, we show that if $L$ is a nef and big line bundle on a projective variety of characteristic zero, the $i^{\text{th}}$ cohomology of $L^{-1}$ vanishes for $i$ in a range determined by the depth and dimension of the singular locus. △ Less

Submitted 11 September, 2018; originally announced September 2018.

Comments: comments are welcome

A Kawamata-Viehweg type formulation of the Logarithmic Akizuki-Nakano Vanishing Theorem

Authors: Donu Arapura, Kenji Matsuki, Deepam Patel, Jarosław Włodarczyk

Abstract: In this largely expository article, we present a Kawamata-Viehweg type formulation of the (logarithmic) Akizuki-Nakano Vanishing Theorem. While the result is likely known to the experts, it does not seem to appear in the existing literature. In this largely expository article, we present a Kawamata-Viehweg type formulation of the (logarithmic) Akizuki-Nakano Vanishing Theorem. While the result is likely known to the experts, it does not seem to appear in the existing literature. △ Less

Submitted 3 September, 2018; v1 submitted 4 June, 2018; originally announced June 2018.

Comments: 20 pages. A reference added

Algebraic cycles on genus two modular fourfolds

Authors: Donu Arapura

Abstract: We study universal families of stable genus two curves with level structure. Among other things, it is shown that the (1,1) part is spanned by divisor classes, and that there are no cycles of type (2,2) in the third cohomology of the first direct image. Using this, we deduce the Hodge and Tate conjectures hold for these varieties. We study universal families of stable genus two curves with level structure. Among other things, it is shown that the (1,1) part is spanned by divisor classes, and that there are no cycles of type (2,2) in the third cohomology of the first direct image. Using this, we deduce the Hodge and Tate conjectures hold for these varieties. △ Less

Submitted 4 December, 2018; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: This is in final form. To appear in Algebra and Number Theory

Journal ref: Alg. Number Th. 13 (2019) 211-225

Vanishing theorems for parabolic Higgs bundles

Authors: Donu Arapura, Feng Hao, Hongshan Li

Abstract: This is a sequel to "Kodaira-Saito vanishing via Higgs bundles in positive characteristic" (arXiv:1611.09880). However, unlike the previous paper, all the arguments here are in characteristic zero. The main result is a Kodaira vanishing theorem for semistable parabolic Higgs bundles with trivial parabolic Chern classes. This implies a general semipositivity theorem. This also implies a Kodaira-Sai… ▽ More This is a sequel to "Kodaira-Saito vanishing via Higgs bundles in positive characteristic" (arXiv:1611.09880). However, unlike the previous paper, all the arguments here are in characteristic zero. The main result is a Kodaira vanishing theorem for semistable parabolic Higgs bundles with trivial parabolic Chern classes. This implies a general semipositivity theorem. This also implies a Kodaira-Saito vanishing theorem for complex variations of Hodge structure. △ Less

Submitted 30 August, 2018; v1 submitted 8 January, 2018; originally announced January 2018.

Comments: Final revision. To appear in Math. Res. Lett

Lefschetz decompositions for eigenforms on a Kähler manifold

Authors: Donu Arapura

Abstract: We show that the eigenspaces of the Laplacian $Δ_k$ on $k$-forms on a compact Kähler manifold carry Hodge and Lefschetz decompositions. Among other consequences, we show that the positive part of the spectrum of $Δ_k$ lies in the spectrum of $Δ_{k+1}$. We show that the eigenspaces of the Laplacian $Δ_k$ on $k$-forms on a compact Kähler manifold carry Hodge and Lefschetz decompositions. Among other consequences, we show that the positive part of the spectrum of $Δ_k$ lies in the spectrum of $Δ_{k+1}$. △ Less

Submitted 31 October, 2017; v1 submitted 9 August, 2017; originally announced August 2017.

Comments: Final revision. To appear in Proc. AMS

Integral Gassman equivalence of algebraic and hyperbolic manifolds

Authors: D. Arapura, J. Katz, D. B. McReynolds, P. Solapurkar

Abstract: In this paper we construct arbitrarily large families of smooth projective varieties and closed Riemannian manifolds that share many algebraic and analytic invariants. For instance, every non-arithmetic, closed hyperbolic $3$--manifold admits arbitrarily large collections of non-isometric finite covers which are strongly isospectral, length isospectral, and have isomorphic integral cohomology wher… ▽ More In this paper we construct arbitrarily large families of smooth projective varieties and closed Riemannian manifolds that share many algebraic and analytic invariants. For instance, every non-arithmetic, closed hyperbolic $3$--manifold admits arbitrarily large collections of non-isometric finite covers which are strongly isospectral, length isospectral, and have isomorphic integral cohomology where the isomorphisms commute with restriction and co-restriction. We can also construct arbitrarily large collections of pairwise non-isomorphic smooth projective surfaces where these isomorphisms in cohomology are natural with respect to Hodge structure or as Galois modules. In particular, the projective varieties have isomorphic Picard and Albanese varieties, and they also have isomorphic effective Chow motives. Our construction employs an integral refinement of the Gassman--Sunada construction that has recently been utilized by D. Prasad. One application of our work shows the non-injectivity of the map from the Grothendieck group of varieties over $\overline{\mathbf{Q}}$ to the Grothendieck group of the category of effective Chow motives. We also answer a question of D. Prasad. △ Less

Submitted 30 March, 2018; v1 submitted 3 May, 2017; originally announced May 2017.

Comments: V2: 14 pages. Corrected minor typos. To appear in Math. Z

Kodaira-Saito vanishing via Higgs bundles in positive characteristic

Authors: Donu Arapura

Abstract: The goal of this paper is to give a new proof of a special case of the Kodaira-Saito vanishing theorem for a variation of Hodge structure on the complement of a divisor with normal crossings. The proof does not use the theory of mixed Hodge modules, but instead reduces it to a more general vanishing theorem for semistable nilpotent Higgs bundles, which is then proved by using some facts about Higg… ▽ More The goal of this paper is to give a new proof of a special case of the Kodaira-Saito vanishing theorem for a variation of Hodge structure on the complement of a divisor with normal crossings. The proof does not use the theory of mixed Hodge modules, but instead reduces it to a more general vanishing theorem for semistable nilpotent Higgs bundles, which is then proved by using some facts about Higgs bundles in positive characteristic. △ Less

Submitted 22 August, 2017; v1 submitted 29 November, 2016; originally announced November 2016.

Comments: Final revision. To appear in Crelle's Journal. Contains new material on cohomology jump loci

Simpson's construction of varieties with many local systems

Authors: Donu Arapura

Abstract: The purpose of this largely expository note is to give some examples of smooth projective varieties with zero first Betti number but nontrivial families of local systems of higher ranks. The most interesting examples are due to Simpson. The purpose of this largely expository note is to give some examples of smooth projective varieties with zero first Betti number but nontrivial families of local systems of higher ranks. The most interesting examples are due to Simpson. △ Less

Submitted 1 October, 2016; originally announced October 2016.

Comments: This will appear in the proceedings of Zucker's birthday conference

MSC Class: 14H30

A Lefschetz (1,1) theorem for singular varieties

Authors: Donu Arapura

Abstract: The goal of this article is to try understand where Hodge cycles on a singular complex projective variety X come from. As a first step we consider Hodge cycles on the maximal pure quotient $H^{2p}(X)/W_{2p-1}$, and introduce a class of algebraic cycles that we call homologically Cartier, that should conjecturally describe all such Hodge cycles. Secondly, given a singular complex projective variety… ▽ More The goal of this article is to try understand where Hodge cycles on a singular complex projective variety X come from. As a first step we consider Hodge cycles on the maximal pure quotient $H^{2p}(X)/W_{2p-1}$, and introduce a class of algebraic cycles that we call homologically Cartier, that should conjecturally describe all such Hodge cycles. Secondly, given a singular complex projective variety $X$, we show that there is a cycle map from motivic cohomology group $H^{2p}_M(X,Q(p))$ to the space of weight 2p Hodge cycles in $H^{2p}(X,Q)$. We conjecture that this is surjective when X is defined over the algebraic closure of $\mathbb{Q}$. We show that this holds integrally when p=1, and we also give a concrete interpretation of motivic classes in this degree. Finally, we show that the general conjecture holds for a self fibre product of elliptic modular surfaces. △ Less

Submitted 2 May, 2016; originally announced May 2016.

Comments: 33 pages, latex

MSC Class: 14C15; 14C30

Toward the structure of fibered fundamental groups of projective varieties

Authors: Donu Arapura

Abstract: The fundamental group of a smooth projective variety is fibered if it maps onto the fundamental group of smooth curve of genus 2 or more. The goal of this paper is to establish some strong restrictions on these groups, and in particular on the fundamental groups of Kodaira surfaces. In the specific case of a Kodaira surface, these results are in the form of restrictions on the monodromy representa… ▽ More The fundamental group of a smooth projective variety is fibered if it maps onto the fundamental group of smooth curve of genus 2 or more. The goal of this paper is to establish some strong restrictions on these groups, and in particular on the fundamental groups of Kodaira surfaces. In the specific case of a Kodaira surface, these results are in the form of restrictions on the monodromy representation into the map** class group. When the monodromy is composed with certain standard representations, the images are Zariski dense in a semisimple group of Hermitian type. △ Less

Submitted 17 May, 2017; v1 submitted 26 October, 2015; originally announced October 2015.

Comments: The main results have been sharpened. This will appear in J. l'École polytechnique

On the fundamental groups of normal varieties

Authors: Donu Arapura, Alexandru Dimca, Richard Hain

Abstract: We show that the fundamental groups of normal complex algebraic varieties share many properties of the fundamental groups of smooth varieties. The jump loci of rank one local systems on a normal variety are related to the jump loci of a resolution and of a smoothing of this variety. We show that the fundamental groups of normal complex algebraic varieties share many properties of the fundamental groups of smooth varieties. The jump loci of rank one local systems on a normal variety are related to the jump loci of a resolution and of a smoothing of this variety. △ Less

Submitted 8 December, 2014; v1 submitted 3 December, 2014; originally announced December 2014.

Comments: version 2: Thanks to references communicated by János Kollár, one proof became unnecessary and is removed. On the other hand, Theorem 1.1 has a stronger form in this version

Journal ref: Commun. Contem. Math. 18 (4)(2016), (17 pages)

A new class of surfaces with maximal Picard number

Authors: Donu Arapura, Partha Solapurkar

Abstract: A new class of examples of surfaces with maximal Picard number is constructed. These carry pencils of genus two or three curves such their Jacobian fibrations are isogenous to fibre products of elliptic modular surfaces. A new class of examples of surfaces with maximal Picard number is constructed. These carry pencils of genus two or three curves such their Jacobian fibrations are isogenous to fibre products of elliptic modular surfaces. △ Less

Submitted 9 June, 2014; originally announced June 2014.

Geometric Hodge structures with prescribed Hodge numbers

Authors: Donu Arapura

Abstract: Call a pure Hodge structure geometric if it is contained in the cohomology of a smooth complex projective variety. The main goal is to show that for any set of Hodge numbers (subject to the obvious constraints), there exists a geometric Hodge structure with precisely these Hodge numbers. This is related to recent work of Schreieder, but the construction here is simpler. This also contains some spe… ▽ More Call a pure Hodge structure geometric if it is contained in the cohomology of a smooth complex projective variety. The main goal is to show that for any set of Hodge numbers (subject to the obvious constraints), there exists a geometric Hodge structure with precisely these Hodge numbers. This is related to recent work of Schreieder, but the construction here is simpler. This also contains some speculations about 2 dimensional geometric Hodge structures. △ Less

Submitted 3 December, 2014; v1 submitted 9 June, 2014; originally announced June 2014.

Comments: revised and expanded, 7 pages

Restrictions on the prime to $p$ fundamental group of a smooth projective variety

Authors: Donu Arapura

Abstract: The goal of this paper is to obtain restrictions on the prime to p quotient of the étale fundamental group of a smooth projective variety in characteristic $p\ge 0$. The results are analogues some theorems in the study of Kähler groups. Our first main result is that such groups are indecomposable under coproduct. The second gives a classification of the pro-$\ell$ parts of one relator groups in th… ▽ More The goal of this paper is to obtain restrictions on the prime to p quotient of the étale fundamental group of a smooth projective variety in characteristic $p\ge 0$. The results are analogues some theorems in the study of Kähler groups. Our first main result is that such groups are indecomposable under coproduct. The second gives a classification of the pro-$\ell$ parts of one relator groups in this class. △ Less

Submitted 5 October, 2014; v1 submitted 12 January, 2014; originally announced January 2014.

Comments: Final revision; to appear in Compositio Math

MSC Class: 14F35

Journal ref: Compositio Mathematica 151 (2015) 1083-1095

Decomposition of direct images of logarithmic differentials

Authors: Donu Arapura

Abstract: The purpose of this note is to give a short proof of a theorem of Kollár that the derived direct image of the canonical sheaf splits into a sum of its cohomology sheaves. This is deduced from a stronger decomposition theorem for direct images of sheaves of logarithmic differentials, together with the weak semistable reduction theorem. The purpose of this note is to give a short proof of a theorem of Kollár that the derived direct image of the canonical sheaf splits into a sum of its cohomology sheaves. This is deduced from a stronger decomposition theorem for direct images of sheaves of logarithmic differentials, together with the weak semistable reduction theorem. △ Less

Submitted 12 September, 2013; v1 submitted 8 April, 2013; originally announced April 2013.

Comments: Final revision; to appear in IMRN; 7 pages

The smooth center of the cohomology of a singular variety

Authors: Donu Arapura, Xi Chen, Su-Jeong Kang

Abstract: We study constraints on the Chern classes of a vector bundle on a singular variety. We use this constraint to study a variety which carries a Hodge cycle that are not a linear combination of Chern classes of vector bundles on it. We study constraints on the Chern classes of a vector bundle on a singular variety. We use this constraint to study a variety which carries a Hodge cycle that are not a linear combination of Chern classes of vector bundles on it. △ Less

Submitted 31 March, 2013; v1 submitted 14 January, 2013; originally announced January 2013.

Comments: 19 pages

MSC Class: 14C30; 14C25

Hodge theory of cyclic covers branched over a union of hyperplanes

Authors: Donu Arapura

Abstract: Suppose that Y is a cyclic cover of projective space branched over a hyperplane arrangement D, and that U is the complement of the ramification locus in Y. The first theorem implies that the Beilinson-Hodge conjecture holds for U if certain multiplicities of D are coprime to the degree of the cover. For instance this applies when D is reduced with normal crossings. The second theorem shows that wh… ▽ More Suppose that Y is a cyclic cover of projective space branched over a hyperplane arrangement D, and that U is the complement of the ramification locus in Y. The first theorem implies that the Beilinson-Hodge conjecture holds for U if certain multiplicities of D are coprime to the degree of the cover. For instance this applies when D is reduced with normal crossings. The second theorem shows that when D has normal crossings and the degree of the cover is a prime number, the generalized Hodge conjecture holds for any toroidal resolution of Y. The last section contains some partial extensions to more general nonabelian covers. △ Less

Submitted 19 September, 2013; v1 submitted 30 January, 2012; originally announced January 2012.

Comments: 18 pages; final revision; to appear in Can. J. Math

Journal ref: Can. J. Math.-J. Can. Math. 66 (2014) 505-524

Weights on cohomology, invariants of singularities, and dual complexes

Authors: Donu Arapura, Parsa Bakhtary, Jarosław Włodarczyk

Abstract: In this paper, we extract natural invariants of a singularity by using the Deligne weight filtration on the cohomology of an exceptional fibre of a resolution, and also on the intersection cohomology of the link. Our primary goal is to study and give natural bounds on the weights in terms of direct images of differential forms. These bounds can be made explicit for various standard classes such as… ▽ More In this paper, we extract natural invariants of a singularity by using the Deligne weight filtration on the cohomology of an exceptional fibre of a resolution, and also on the intersection cohomology of the link. Our primary goal is to study and give natural bounds on the weights in terms of direct images of differential forms. These bounds can be made explicit for various standard classes such as rational, isolated normal Cohen-Macaulay and toroidal singularities, and lead to strong restrictions on the topology of these singularities. A secondary goal of this paper is to make the weight filtration, and related constructions, more widely accessible. So we have tried to make the presentation somewhat self contained. This is supersedes our earlier preprint arXiv:0902.4234. △ Less

Submitted 24 January, 2013; v1 submitted 21 February, 2011; originally announced February 2011.

Comments: Final Revision. To appear in Math. Annalen

Beilinson-Tate cycles on semiabelian varieties

Authors: Donu Arapura, Manish Kumar

Abstract: Along the lines of Hodge and Tate conjectures, Beilinson conjectured that in the qth cohomology all the weight 2q Hodge cycles of a smooth complex variety and all the weight 2q Tate cycles of a smooth variety over a finitely generated field comes from the higher Chow groups. For product of curves and semiabelian varieties, Beilinson-Hodge conjecture was shown in a previous paper by the authors. He… ▽ More Along the lines of Hodge and Tate conjectures, Beilinson conjectured that in the qth cohomology all the weight 2q Hodge cycles of a smooth complex variety and all the weight 2q Tate cycles of a smooth variety over a finitely generated field comes from the higher Chow groups. For product of curves and semiabelian varieties, Beilinson-Hodge conjecture was shown in a previous paper by the authors. Here both Beilinson-Hodge and Beilinson-Tate conjectures are shown to be true for varieties dominated by product of curves. We also show that lower weight Hodge cycles (resp. Tate cycles) are algebraic in these situations. △ Less

Submitted 2 June, 2010; v1 submitted 14 September, 2009; originally announced September 2009.

Comments: This is an improved version. "Strong" form of Beilinson's Hodge and Tate conjectures for the varieties under consideration have been proved. 15 pages

Homomorphisms between Kaehler groups

Authors: Donu Arapura

Abstract: This is partly a survey and partly a research article. Some known results and open problems about Kaehler groups (fundamental groups of compact Kaehler manifolds) are discussed. A new notion of Kaehler homomorphism is introduced. This is a homomorphism induced by a holomorphic map between these types of manifolds. Some obstructions for a homomorphism to be Kaehler are discussed. Among these is t… ▽ More This is partly a survey and partly a research article. Some known results and open problems about Kaehler groups (fundamental groups of compact Kaehler manifolds) are discussed. A new notion of Kaehler homomorphism is introduced. This is a homomorphism induced by a holomorphic map between these types of manifolds. Some obstructions for a homomorphism to be Kaehler are discussed. Among these is the main result on the vanishing of a certain cohomology class associated to such map. This is reduced to the decomposition theorem for perverse sheaves suitably extended to Kaehler orbifolds. △ Less

Submitted 6 August, 2009; originally announced August 2009.

Comments: 17 pages, latex, expanded talk at conference in Jaca for Anatoly Libgober

The Hodge theoretic fundamental group and its cohomology

Authors: Donu Arapura

Abstract: In this paper, we explore a notion of nonabelian Hodge structure on the fundamental group of an algebraic variety. This is approach is compared to some alternative approaches due to Morgan, Hain and others. We also give criteria for a variety to be a Hodge theoretic K(pi,1), which roughly means that the cohomology of variations of mixed Hodge structure can be determined from the group. In this paper, we explore a notion of nonabelian Hodge structure on the fundamental group of an algebraic variety. This is approach is compared to some alternative approaches due to Morgan, Hain and others. We also give criteria for a variety to be a Hodge theoretic K(pi,1), which roughly means that the cohomology of variations of mixed Hodge structure can be determined from the group. △ Less

Submitted 6 August, 2009; v1 submitted 24 February, 2009; originally announced February 2009.

Comments: 19 pages, final revision, to appear in Proc. Alg. Cycles Conf. Ohio State

The combinatorial part of the cohomology of a singular variety

Authors: Donu Arapura, Parsa Bakhtary, Jarosław Włodarczyk

Abstract: We study the first step of the weight filtration on the cohomology of a proper complex algebraic variety, which we call the combinatorial part. We obtain a natural upper bound on its size, which gives rather strong information about the topology of rational singularities. We study the first step of the weight filtration on the cohomology of a proper complex algebraic variety, which we call the combinatorial part. We obtain a natural upper bound on its size, which gives rather strong information about the topology of rational singularities. △ Less

Submitted 24 February, 2009; originally announced February 2009.

Comments: 9 pages

Beilinson-Hodge cycles on semiabelian varieties

Authors: Donu Arapura, Manish Kumar

Abstract: Beilinson conjectured that all rational cycles of type (q,q) on the qth cohomology of a smooth complex algebraic variety should come from motivic cohomology. The purpose of this note is to prove this when the variety is a semiabelian variety or a product of curves. The proof is based on the study of invariants under the Mumford-Tate group. Beilinson conjectured that all rational cycles of type (q,q) on the qth cohomology of a smooth complex algebraic variety should come from motivic cohomology. The purpose of this note is to prove this when the variety is a semiabelian variety or a product of curves. The proof is based on the study of invariants under the Mumford-Tate group. △ Less

Submitted 24 February, 2009; v1 submitted 21 August, 2008; originally announced August 2008.

Comments: 6 pages; final revision (to appear Math. Res. Lett.)

Frobenius Amplitude, Ultraproducts, and Vanishing on Singular Spaces

Authors: Donu Arapura

Abstract: When X is a singular complex projective variety, we prove a Kodaira type vanishing theorem generalizing results of Navarro Aznar and others. This is proved by extending the Deligne-Illusie decomposition to the Du Bois complex. We also give a new definition of Frobenius amplitude (introduced in math.AG/0202129) using ultraproducts. When X is a singular complex projective variety, we prove a Kodaira type vanishing theorem generalizing results of Navarro Aznar and others. This is proved by extending the Deligne-Illusie decomposition to the Du Bois complex. We also give a new definition of Frobenius amplitude (introduced in math.AG/0202129) using ultraproducts. △ Less

Submitted 11 October, 2011; v1 submitted 5 June, 2008; originally announced June 2008.

Comments: Final revision. To appear Illinois J. Math

An Abelian Category of Motivic Sheaves

Authors: Donu Arapura

Abstract: The goal of this paper is to construct a category of motivic "sheaves" on an algebraic variety defined over a subfield of C, using Nori's method. This categoryis abelian and it possesses faithful exact realization functors to the categoriesof constructible sheaves for the classical and etale topologies. Moreover, there is a tannakian subcategory of motivic local systems with a realization functor… ▽ More The goal of this paper is to construct a category of motivic "sheaves" on an algebraic variety defined over a subfield of C, using Nori's method. This categoryis abelian and it possesses faithful exact realization functors to the categoriesof constructible sheaves for the classical and etale topologies. Moreover, there is a tannakian subcategory of motivic local systems with a realization functor into the category of variations of mixed Hodge structures. Conversely, all basic geometric examples of the latter come from this motivic category. △ Less

Submitted 9 October, 2012; v1 submitted 31 December, 2007; originally announced January 2008.

Comments: Final revision. To appear in Adv. Math. 72 pages

Varieties with very little transcendental cohomology

Authors: Donu Arapura

Abstract: Given a complex algebraic variety X, we define a natural number called the motivic dimension which measures the amount of transcendental (co)homology of X. It is zero precisely when all the (co)homolgy is spanned by algebraic cycles. Most of this paper is concerned with giving estimates on this number, along with examples where it is small. As an application, we check or recheck the Hodge conjec… ▽ More Given a complex algebraic variety X, we define a natural number called the motivic dimension which measures the amount of transcendental (co)homology of X. It is zero precisely when all the (co)homolgy is spanned by algebraic cycles. Most of this paper is concerned with giving estimates on this number, along with examples where it is small. As an application, we check or recheck the Hodge conjectue in a number of examples: uniruled fourfolds, rationally connected fivefolds, fourfolds fibred by surfaces with p_g=0, Hilbert schemes of a small number points on surfaces with p_g=0, and generic hypersurfaces. △ Less

Submitted 17 June, 2007; originally announced June 2007.

Comments: 13 pages

Mixed Hodge structures associated to geometric variations

Authors: Donu Arapura

Abstract: The purpose of this note is prove that the mixed Hodge structure constructed by the author in math.AG/0301140 [The Leray spectral sequence is motivic, Invent. 2005] for geometric variations of Hodge structure coincides with the structure coming from M. Saito's mixed Hodge module theory. This note also contains a small erratum for the earlier paper. The purpose of this note is prove that the mixed Hodge structure constructed by the author in math.AG/0301140 [The Leray spectral sequence is motivic, Invent. 2005] for geometric variations of Hodge structure coincides with the structure coming from M. Saito's mixed Hodge module theory. This note also contains a small erratum for the earlier paper. △ Less

Submitted 29 April, 2008; v1 submitted 27 November, 2006; originally announced November 2006.

Comments: The paper has essentially been rewritten. It now contains a long exposition of Hodge modules. It's now 25 pgs

The motive of the moduli stack of G-bundles over the universal curve

Authors: Donu Arapura, Ajneet Dhillon

Abstract: An abelian category of relative pure motives is constructed along the lines of André (over a field of characteristic 0). An algebraic stack is shown to possess a motive in this sense. This motive is studied for the moduli stack of G-bundles over the universal curve for appropriate G, and a motivic Atiyah-Bott formula is obtained. By taking Hodge realization, a description of the corresponding va… ▽ More An abelian category of relative pure motives is constructed along the lines of André (over a field of characteristic 0). An algebraic stack is shown to possess a motive in this sense. This motive is studied for the moduli stack of G-bundles over the universal curve for appropriate G, and a motivic Atiyah-Bott formula is obtained. By taking Hodge realization, a description of the corresponding variations of Hodge structures over M_g is given. In particular, it follows that these lie in the tensor category generated by the variation of Hodge structure associated to the curve itself. Similar results are also given for low degree variations of Hodge structures associated to the moduli space of stable G-bundles. △ Less

Submitted 18 September, 2006; originally announced September 2006.

Comments: 20 pages, latex

Coniveau and the Grothendieck group of varieties

Authors: Donu Arapura, Su-Jeong Kang

Abstract: It is shown that if the generalized Hodge conjecture, or some weaker form of it, holds for a Calabi-Yau variety then it holds for any Calabi-Yau variety birationally equivalent to it. The key idea is to construct suitable homomorphisms between the Grothendieck group of varieties and the Grothendieck group of the exact category of filtered Hodge structures. This along with motivic integration yie… ▽ More It is shown that if the generalized Hodge conjecture, or some weaker form of it, holds for a Calabi-Yau variety then it holds for any Calabi-Yau variety birationally equivalent to it. The key idea is to construct suitable homomorphisms between the Grothendieck group of varieties and the Grothendieck group of the exact category of filtered Hodge structures. This along with motivic integration yields the first statement. △ Less

Submitted 30 November, 2005; v1 submitted 10 June, 2005; originally announced June 2005.

Comments: Final revision (to appear in Mich. Math. J), 10 pages, latex

The Hodge conjecture for rationally connected fivefolds

Authors: Donu Arapura

Abstract: The Hodge conjecture is shown to hold for rationally connected fivefolds, or more generally for fivefolds for which the base of the maximal rationally connected fibration is at most 3 dimensional. The Hodge conjecture is shown to hold for rationally connected fivefolds, or more generally for fivefolds for which the base of the maximal rationally connected fibration is at most 3 dimensional. △ Less

Submitted 18 February, 2005; v1 submitted 12 February, 2005; originally announced February 2005.

Comments: 5 pages; references added

Motivation for Hodge cycles

Authors: Donu Arapura

Abstract: Given two smooth projective varieties X and Y over a field, we say that X motivates Y if the (suitably defined) motive of Y is contained in the category generated from X by taking sums, summands and products. This notion has appeared implicitly in many places, but it seems useful to make it explicit. Some techniques are given for checking this condition, but in a nutshell it involves building a… ▽ More Given two smooth projective varieties X and Y over a field, we say that X motivates Y if the (suitably defined) motive of Y is contained in the category generated from X by taking sums, summands and products. This notion has appeared implicitly in many places, but it seems useful to make it explicit. Some techniques are given for checking this condition, but in a nutshell it involves building a correspondence which "dominates" Y. Among the more interesting examples dealt with are moduli spaces. We show that in number of cases moduli spaces of sheaves over curves or surfaces are motivated by underly curve or surface. This allows us to check (or recheck) the (generalized) Hodge and Lefschetz standard conjectures for some of these examples. The dominating correspondence in these examples is built from the universal sheaf, and can, in some instances, be realized as a kind of Fourier-Mukai transform. △ Less

Submitted 16 December, 2005; v1 submitted 21 January, 2005; originally announced January 2005.

Comments: 18 pages, latex; Final revision (to appear in Adv. in Math)

Functoriality of the coniveau filtration

Authors: Donu Arapura, Su-Jeong Kang

Abstract: There is a natural descending filtration on the singular cohomology of a complex smooth projective variety called the coniveau filtration. The generalized Hodge conjecture would imply, rather trivially, that the coniveau filtration is compatible with pushforwards, pullbacks and products. The purpose of this paper is to prove this statement unconditionally. This completes the argument in math.AG/… ▽ More There is a natural descending filtration on the singular cohomology of a complex smooth projective variety called the coniveau filtration. The generalized Hodge conjecture would imply, rather trivially, that the coniveau filtration is compatible with pushforwards, pullbacks and products. The purpose of this paper is to prove this statement unconditionally. This completes the argument in math.AG/0102070. △ Less

Submitted 21 January, 2005; originally announced January 2005.

Comments: 10 pages, latex

Partial Regularity and Amplitude

Authors: Donu Arapura

Abstract: This is a sequel to the paper "Frobenius amplitude and strong vanishing theorems for vector bundles" (math.AG/0202129). We introduce a more elementary variant of the notion of F-amplitude from the earlier paper which we call amplitude. This provides another measure of positivity of a vector bundle which is related to a number of preexisting positivity notions such as k-ampleness or q-convexity.… ▽ More This is a sequel to the paper "Frobenius amplitude and strong vanishing theorems for vector bundles" (math.AG/0202129). We introduce a more elementary variant of the notion of F-amplitude from the earlier paper which we call amplitude. This provides another measure of positivity of a vector bundle which is related to a number of preexisting positivity notions such as k-ampleness or q-convexity. We use this to refine the estimates of F-amplitude from the first paper, and to deduce some further vanishing theorems as a consequence. We also give some new proofs of some known vanishing theorems for Abelian and toric varieties by analogous methods. For technical reasons, we need to develop a theory of partial Castelnuovo-Mumford regularity which provides a rough measure of the cohomological complexity of a sheaf. Since this material may have independent interest, it is contained in a section which can be read on its own. △ Less

Submitted 7 March, 2006; v1 submitted 26 January, 2004; originally announced January 2004.

Comments: The final revision (to appear in Amer. J Math) contains several corrections

Kähler Solvmanifolds

Authors: Donu Arapura

Abstract: Compact Kähler solvmanifolds are classified up to biholomorphism. A proof of a conjecture Benson and Gordon, that completely solvable compact Kähler solvmanifolds are tori is deduced from this. The main ingredient in the proof is a restriction theorem for polycyclic Kähler groups proved by Nori and the author. Compact Kähler solvmanifolds are classified up to biholomorphism. A proof of a conjecture Benson and Gordon, that completely solvable compact Kähler solvmanifolds are tori is deduced from this. The main ingredient in the proof is a restriction theorem for polycyclic Kähler groups proved by Nori and the author. △ Less

Submitted 29 June, 2003; v1 submitted 25 June, 2003; originally announced June 2003.

Comments: 5 pages, latex; important references added

The Leray spectral sequence is motivic

Authors: Donu Arapura

Abstract: Our goal is to prove that the Leray spectral sequence associated to a map of algebraic varieties is motivic in the following sense: If the singular cohomology groups of the category of quasiprojective varieties defined over a subfield of C can be canonically endowed with some additional structure, such as its mixed Hodge structure or its motive (in Nori's sense or as a product of realizations).… ▽ More Our goal is to prove that the Leray spectral sequence associated to a map of algebraic varieties is motivic in the following sense: If the singular cohomology groups of the category of quasiprojective varieties defined over a subfield of C can be canonically endowed with some additional structure, such as its mixed Hodge structure or its motive (in Nori's sense or as a product of realizations). Then the Leray spectral sequence for a projective map in this category is automatically compatible with this structure. As byproduct, we get a relatively cheap construction of a mixed Hodge structure on the cohomology of variation of Hodge structure of geometric origin. △ Less

Submitted 19 October, 2004; v1 submitted 13 January, 2003; originally announced January 2003.

Comments: 19 pages, latex, uses xypic, contain eps graphics; Final Revision (to appear in Invent. Math.)

Frobenius amplitude and strong vanishing theorems for vector bundles

Authors: Donu Arapura, Dennis S. Keeler

Abstract: The primary goal of this paper is to systematically exploit the method of Deligne-Illusie to obtain Kodaira type vanishing theorems for vector bundles and more generally coherent sheaves on algebraic varieties. The key idea is to introduce a number which provides a cohomological measure of the positivity of a coherent sheaf called the Frobenius or F-amplitude. As the terminology indicates, the d… ▽ More The primary goal of this paper is to systematically exploit the method of Deligne-Illusie to obtain Kodaira type vanishing theorems for vector bundles and more generally coherent sheaves on algebraic varieties. The key idea is to introduce a number which provides a cohomological measure of the positivity of a coherent sheaf called the Frobenius or F-amplitude. As the terminology indicates, the definition is most natural over a field of positive characteristic, however it can be forced into characteristic 0 by standard tricks. The F-amplitude enters into the statement of the basic vanishing theorem, and this leads to the problem of calculating, or at least estimating, this number. Most of the work in this paper is devoted to doing this various situations. The key result in this direction is a bound on the F-amplitude of an ample vector bundle. When combined with the vanishing theorem, this has some reasonably down to earth corollaries (both old and new). △ Less

Submitted 19 June, 2002; v1 submitted 13 February, 2002; originally announced February 2002.

Comments: 30 pages, Latex, uses xypic; revised, the appendix by D. Keeler has been expanded

Journal ref: Duke Math. J. 121, no. 2 (2004), 231-267

Hodge cycles on some moduli spaces

Authors: Donu Arapura

Abstract: The goal is to verify the Hodge conjecture (and some related conjectures) for certain moduli spaces. It is shown that the (generalized) Hodge conjecture holds for the projective moduli spaces of vector bundles over an abelian or K3 surface or a curve if it holds for all powers of the surface or curve. In the latter case, the curve can be replaced by its Jacobian. As a consequence the generalized… ▽ More The goal is to verify the Hodge conjecture (and some related conjectures) for certain moduli spaces. It is shown that the (generalized) Hodge conjecture holds for the projective moduli spaces of vector bundles over an abelian or K3 surface or a curve if it holds for all powers of the surface or curve. In the latter case, the curve can be replaced by its Jacobian. As a consequence the generalized Hodge conjecture holds for these moduli spaces when the curve is very general. A similar result is proved for the Hilbert schemes of points over an arbitrary surface. △ Less

Submitted 26 August, 2002; v1 submitted 8 February, 2001; originally announced February 2001.

Comments: 28 pages latex; This is a major revision with new material on generalized Hodge conjecture and moduli of bundles over abelian and K3 surfaces

Kodaira dimension of symmetric powers

Authors: Donu Arapura, Sviatoslav Archava

Abstract: In this short note, we determine the Kodaira dimension and some of the plurigenera of (a desingularization of) a symmetric power of a smooth projective variety. We use it to obtain bounds on the genus of curve passing through a fixed number of general points. In this short note, we determine the Kodaira dimension and some of the plurigenera of (a desingularization of) a symmetric power of a smooth projective variety. We use it to obtain bounds on the genus of curve passing through a fixed number of general points. △ Less

Submitted 14 June, 2000; originally announced June 2000.

Comments: 4 pages, latex

Intermediate Jacobians and Hodge Structures of Moduli Spaces

Authors: Donu Arapura, Pramathanath Sastry

Abstract: Let SU_X(n,L) be the moduli space of rank n semistable vector bundles with fixed determinant L on a smooth projective genus g>1 curve X. Let SU_X^s(n,L) denote the open subset parameterizing stable bundles. We show that for small i, the mixed Hodge structure on H^i(SU_X^s(n, L), Q) is independent of the degree of L, and hence pure of weight i. Moreover any simple factors is, up to Tate twisting,… ▽ More Let SU_X(n,L) be the moduli space of rank n semistable vector bundles with fixed determinant L on a smooth projective genus g>1 curve X. Let SU_X^s(n,L) denote the open subset parameterizing stable bundles. We show that for small i, the mixed Hodge structure on H^i(SU_X^s(n, L), Q) is independent of the degree of L, and hence pure of weight i. Moreover any simple factors is, up to Tate twisting, isomorphic to a summand of a tensor power of H^1(X,Q). A more precise statement for i = 3, yields a Torelli theorem complementing earlier work of several authors. This is a replacement of our preprint Intermediate Jacobians of Moduli spaces which contained a gap. △ Less

Submitted 10 December, 2007; v1 submitted 9 August, 1999; originally announced August 1999.

Comments: It was brought to our attention, by H. Esnault, that the hyperplane H in our thm 6.1.1 needs to be general. Further comments are contained in the text

MSC Class: 14F05

Journal ref: Proc. Indian Acad. Sci. Math. Sci. 110 (2000)

Building Mixed Hodge Structures

Authors: Donu Arapura

Abstract: This is primarily an expository piece and the first sentence of the introduction pretty much sums it up: This article is aimed at people who already know what mixed Hodge structures are and what they are good for, but who are not sure how to construct them. This is primarily an expository piece and the first sentence of the introduction pretty much sums it up: This article is aimed at people who already know what mixed Hodge structures are and what they are good for, but who are not sure how to construct them. △ Less

Submitted 9 August, 1999; originally announced August 1999.

Comments: 20 pages latex, To appear in Proc. of Banff Conf. 1998

MSC Class: 14F25

A class of sheaves satisfying Kodaira's vanishing theorem

Authors: Donu Arapura

Abstract: This paper contains a Kawamata-Viehweg-Kollár type vanishing theorem for vector bundles. In order to formulate and prove this cleanly, we introduce a class of sheaves that automatically satisfies a vanishing theorem. This is obtained by closing up the subclass of sheaves of adjoint type under extensions, direct images, and taking direct summands. This paper contains a Kawamata-Viehweg-Kollár type vanishing theorem for vector bundles. In order to formulate and prove this cleanly, we introduce a class of sheaves that automatically satisfies a vanishing theorem. This is obtained by closing up the subclass of sheaves of adjoint type under extensions, direct images, and taking direct summands. △ Less

Submitted 20 March, 2000; v1 submitted 23 March, 1999; originally announced March 1999.

Comments: 16 pages, latex; fin. revision; to appear in Math. Ann

Solvable fundamental groups of algebraic varieties and Kähler manifolds

Authors: Donu Arapura, Madhav Nori

Abstract: This is a long overdue write up of the following: If the fundamental group of a normal complex algebraic variety (respectively Zariski open subset of a compact Kähler manifold) is a solvable group of matrices over Q (respectively polycyclic group), then it is virtually nilpotent. This should be interpreted as saying that a large class of solvable groups will not occur as fundamental groups of su… ▽ More This is a long overdue write up of the following: If the fundamental group of a normal complex algebraic variety (respectively Zariski open subset of a compact Kähler manifold) is a solvable group of matrices over Q (respectively polycyclic group), then it is virtually nilpotent. This should be interpreted as saying that a large class of solvable groups will not occur as fundamental groups of such spaces. The essential strategy is to first "complete" these groups to algebraic groups (generalizing constructions of Malcev and Mostow), and then check that the identity component is unipotent. This is done by Galois theoretic methods in the algebraic case, and is reduced to homological properties of one dimensional characters in the analytic case. △ Less

Submitted 24 June, 1997; v1 submitted 24 June, 1997; originally announced June 1997.

Comments: 16 pages, latex2e

Geometry of cohomology support loci II: integrability of Hitchin's map

Authors: Donu Arapura

Abstract: In very rough terms, the main theorem is that the set, which consists of semistable vector bundles with trivial rational Chern classes and nontrivial kth cohomology on a smooth complex projective variety, is a degeneration of a union of abelian varieties. More precisely, we consider the subset of the moduli space of Higgs bundles satisfying the analogous cohomological condition. We show that thi… ▽ More In very rough terms, the main theorem is that the set, which consists of semistable vector bundles with trivial rational Chern classes and nontrivial kth cohomology on a smooth complex projective variety, is a degeneration of a union of abelian varieties. More precisely, we consider the subset of the moduli space of Higgs bundles satisfying the analogous cohomological condition. We show that this set is Zariski closed and that if Sigma is the normalization of an irreducible component containing a stable point, then a connected component of a general fiber of the restriction of the Hitchin map to Sigma is an abelian variety. This should be interpreted as a nonabelian version of a theorem of Green and Lazarsfeld. The Hitchin map in this setting is in fact Simpson's generalization of it. The key point is to show that the general fibers of this map are lagrangian (where the target of the map is taken to be the image). This hinges on the fact that this property is essentially hereditary for hyperkaehler submanifolds. We establish various other properties of these sets including a codimension estimate which may be viewed as a generic vanishing theorem. △ Less

Submitted 26 January, 1997; originally announced January 1997.

Comments: 17 pages, AMS LaTeX