Source author record

Donu Arapura

Donu Arapura appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2022arXiv

Hodge cycles and the Leray filtration

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.

preprint2022arXiv

Motivic sheaves revisited

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.

preprint2020arXiv

When are braid groups of manifolds Kähler?

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.

preprint2016arXiv

A Lefschetz (1,1) theorem for singular varieties

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.

preprint2014arXiv

Geometric Hodge structures with prescribed Hodge numbers

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.

preprint2014arXiv

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

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.

preprint2013arXiv

Weights on cohomology, invariants of singularities, and dual complexes

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.

preprint2012arXiv

An Abelian Category of Motivic Sheaves

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.

preprint2005arXiv

Motivation for Hodge cycles

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.

preprint1997arXiv

Solvable fundamental groups of algebraic varieties and Kähler manifolds

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.