SearcharxivSearch

arXiv subjects

Ananyo Dan

Publications and source records attributed to Ananyo Dan.

At least 19 recordsLinked to original sources

Hodge Conjecture via Singular Varieties

In this article we study the cohomological and homological (due to Jannsen) Hodge conjecture for singular varieties. The motivation for studying singular varieties comes from the fact that any smooth projective variety X is birational to a (possibly singular) hypersurface Y in a projective space. We prove that odd dimensional hypersurfaces with $A_n$ singularities satisfy both versions of the conjecture and moreover their (smooth) resolutions satisfy the classical Hodge conjecture, thus producing new examples of smooth varieties satisfying the classical Hodge conjecture.

math.AG

Extended operational Chow group and Lefschetz (1,1)-theorem

Let $X$ be a singular, projective variety. For every $p>0$, $H^{2p}(X,\mathbb{Q})$ is equipped with a mixed Hodge structure. The elements of $\mathrm{Gr}^W_{2p}H^{2p}(X,\mathbb{Q}) \cap H^{p,p} \mathrm{Gr}^W_{2p}H^{2p}(X,\mathbb{C})$ will be called Hodge (p,p)-classes. The purpose of this article, is to study the Bloch-Gillet-Soul\'{e} (BGS) cycle class map from the $p$-th operational Chow group $A^p(X)$ to the space of $(p,p)$-Hodge classes. We show that if $p=1$ and $X$ is a normal surface with at worst rational singularities, then the BGS cycle class map is surjective. This extends the Lefschetz $(1,1)$-theorem to the setup of rational surface singularities. However, the BGS map is not always surjective. For this reason we introduce extended operational Chow group $A^p_{\mathrm{ext}}(X)$ which contains the operational Chow group. We show that the BGS cycle class map extends to $A^p_{\mathrm{ext}}(X)$. Moreover, if $p=1$ and $X$ has at worst isolated singularity (not necessarily a surface), then the extended BGS map is surjective. This further extends the Lefschetz $(1,1)$-theorem to the case of isolated singularities.

math.AG

Cohen-Macaulay modules and the Bondal-Orlov conjecture

Most of the known examples of derived categories of small resolutions arise as the derived category of the endormorphism algebra of tilting bundles or complexes. Given two resolutions connected by a flop, if the strict transform of a tilting bundle is again tilting, then the derived categories of the two resolutions are equivalent, thereby proving the Bondal-Orlov conjecture in this setup. Unfortunately, it is difficult to produce tilting bundles that are compatible with flops. In this article, we introduce the notion of CM-degree of locally-free sheaves on resolutions and use them to construct tilting generators. In particular, we show that if there exists a relative very ample line bundle on the resolution with CM degree equal to the dimension of the exceptional locus, then the generator bundles constructed by Van den Bergh and Toda-Uehara are also tilting bundles. The advantage of our approach is that the CM degree is preserved under strict transform. As a consequence we prove the Bondal-Orlov conjecture in certain cases of small resolutions.

math.AG

Failure of Lefschetz hyperplane theorem

In this article, we give a counterexample to the Lefschetz hyperplane theorem for non-singular quasi-projective varieties. A classical result of Hamm-L\^{e} shows that Lefschetz hyperplane theorem can hold for hyperplanes in general position. We observe that the condition of ``hyperplane'' is strict in the sense that it is not possible to replace it by higher degree hypersurfaces. The counterexample is very simple: projective space minus finitely many points. Moreover, as an intermediate step we prove that the Grothendieck-Lefschetz theorem also fails in the quasi-projective case.

math.AG

Matrix factorization for quasi-homogeneous singularities

Given an isolated, quasi-homogeneous singularity $X$ we prove that there is a group isomorphism between the group of rank one reflexive sheaves on $X$ and the free abelian group generated by $\mathbb{C}^*$-divisors, modulo linear equivalence. When $\dim(X)=2$ we reduce the problem of finding matrix factorizations of arbitrary reflexive $\mathcal{O}_X$-modules to the same question on rank one reflexive sheaves. We then enumerate the matrix factorizations of all rank one reflexive sheaves. As a consequence, we prove a conjecture of Etingof and Ginzburg on point modules.

math.AG

Mumford Tate groups and the Hodge conjecture

In this article we study the (cohomological) Hodge conjecture for singular varieties. We prove the conjecture for simple normal crossing varieties that can be embedded in a family where the Mumford-Tate group remains constant. We show how to produce such families. Furthermore, we show for varieties with worse singularities the conjecture can be expressed solely in terms of the algebraic classes.

math.AG

Generators of the cohomology ring, after Newstead

Newstead gave the generators of the cohomology ring of the moduli space of rank 2 semi-stable, torsion-free sheaves with fixed odd degree determinant over a smooth, projective curve. In this article, we generalize this result to the case when the underlying curve is irreducible, nodal. We show that these generators (of the cohomology ring in the nodal curve case) arise naturally as degeneration of Newstead's generators in the smooth curve case.

math.AG

On a conjecture of Harris

For $d \ge 4$, the Noether-Lefschetz locus $\mathrm{NL}_d$ parametrizes smooth, degree $d$ surfaces in $\mathbb{P}^3$ with Picard number at least $2$. A conjecture of Harris states that there are only finitely many irreducible components of the Noether-Lefschetz locus of non-maximal codimension. Voisin showed that the conjecture is false for sufficiently large $d$, but is true for $d \le 5$. She also showed that for $d=6, 7$, there are finitely many \emph{reduced}, irreducible components of $\mathrm{NL}_d$ of non-maximal codimension. In this article, we prove that for any $d \ge 6$, there are infinitely many \emph{non-reduced} irreducible components of $\mathrm{NL}_d$ of non-maximal codimension.

math.AG

Descent theory of simple sheaves on $C_1$-fields

Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on $X$. As a consequence, we show that there is a $1-1$ correspondence between the set of geometrically stable sheaves on $X$ with fixed Hibert polynomial $P$ and the set of $K$-rational points of the corresponding moduli space.

math.AG

Generalization of a conjecture of Mumford

A conjecture of Mumford predicts a complete set of relations between the generators of the cohomology ring of the moduli space of rank 2 semi-stable sheaves with fixed odd degree determinant on a smooth, projective curve of genus at least 2. The conjecture was proven by Kirwan. In this article, we generalize the conjecture to the case when the underlying curve is irreducible, nodal. In fact, we show that these relations (in the nodal curve case) arise naturally as degeneration of the Mumford relations shown by Kirwan in the smooth curve case. As a byproduct, we compute the Hodge-Poincare polynomial of the moduli space of rank 2, semi-stable, torsion-free sheaves with fixed determinant on an irreducible, nodal curve.

math.AG

Local topological obstruction for divisors

Given a smooth, projective variety $X$ and an effective divisor $D\,\subseteq\, X$, it is well-known that the (topological) obstruction to the deformation of the fundamental class of $D$ as a Hodge class, lies in $H^2(\mathcal{O}_X)$. In this article, we replace $H^2(\mathcal{O}_X)$ by $H^2_D(\mathcal{O}_X)$ and give an analogous topological obstruction theory. We compare the resulting local topological obstruction theory with the geometric obstruction theory (i.e., the obstruction to the deformation of $D$ as an effective Cartier divisor of a first order infinitesimal deformations of $X$). We apply this to study the jumping locus of families of linear systems and the Noether-Lefschetz locus. Finally, we give examples of first order deformations $X_t$ of $X$ for which the cohomology class $[D]$ deforms as a Hodge class but $D$ does not lift as an effective Cartier divisor of $X_t$.

math.AG

Néron models of intermediate Jacobians associated to moduli spaces

Let $π_1:\mathcal{X} \to Δ$ be a flat family of smooth, projective curves of genus $g \ge 2$, degenerating to an irreducible nodal curve $X_0$ with exactly one node. Fix an invertible sheaf $\mathcal{L}$ on $\mathcal{X}$ of relative odd degree. Let $π_2:\mathcal{G}(2,\mathcal{L}) \to Δ$ be the relative Gieseker moduli space of rank $2$ semi-stable vector bundles with determinant $\mathcal{L}$ over $\mathcal{X}$. Since $π_2$ is smooth over $Δ^*$, there exists a canonical family $\widetildeρ_i:\mathbf{J}^i_{\mathcal{G}(2, \mathcal{L})_{Δ^*}} \to Δ^{*}$ of $i$-th intermediate Jacobians i.e., for all $t \in Δ^*$, $(\widetildeρ_i)^{-1}(t)$ is the $i$-th intermediate Jacobian of $π_2^{-1}(t)$. There exist different Néron models $\overlineρ_i:\overline{\mathbf{J}}_{\mathcal{G}(2, \mathcal{L})}^i \to Δ$ extending $\widetildeρ_i$ to the entire disc $Δ$, constructed by Clemens, Saito, Schnell, Zucker and Green-Griffiths-Kerr. In this article, we prove that in our setup, the Néron model $\overlineρ_i$ is canonical in the sense that the different Néron models coincide and is an analytic fiber space which graphs admissible normal functions. We also show that for $1 \le i \le \max\{2,g-1\}$, the central fiber of $\overlineρ_i$ is a fibration over product of copies of $J^k(\mathrm{Jac}(\widetilde{X}_0))$ for certain values of $k$, where $\widetilde{X}_0$ is the normalization of $X_0$. In particular, for $g \ge 5$ and $i=2, 3, 4$, the central fiber of $\overlineρ_i$ is a semi-abelian variety. Furthermore, we prove that the $i$-th generalized intermediate Jacobian of the (singular) central fibre of $π_2$ is a fibration over the central fibre of the Néron model $\overline{\mathbf{J}}^i_{\mathcal{G}(2, \mathcal{L})}$. In fact, for $i=2$ the fibration is an isomorphism.

math.AG

Degeneration of intermediate Jacobians and the Torelli theorem

Mumford and Newstead generalized the classical Torelli theorem to higher rank i.e., a smooth, projective curve $X$ is uniquely determined by the second intermediate Jacobian of the moduli space of stable rank $2$ bundles on $X$, with fixed odd degree determinant. In this article we prove the analogous result in the case $X$ is an irreducible nodal curve with one node. As a byproduct, we obtain the degeneration of the second intermediate Jacobians and the associated Néron model of a family of such moduli spaces.

math.AG

Hodge conjecture for the moduli space of semi-stable sheaves over a nodal curve

In this article, we prove the Hodge conjecture for a desingularization of the moduli space of rank 2, semi-stable, torsion-free sheaves with fixed odd degree determinant over a very general irreducible nodal curve of genus at least 2. We also compute the algebraic Poincare polynomial of the associated cohomology ring.

math.AG

Examples of varieties with index one on $C_1$-fields

Let $K$ be the fraction field of a Henselian discrete valuation ring with algebraically closed residue field $k$. In this article we give a sufficient criterion for a projective variety over such a field to have index $1$.

math.AG

Singularities of the Hilbert scheme of non-reduced curves

In this article, we study the Hilbert scheme of generically non-reduced curves in $\mathbb{P}^3$. We prove the existence of generically non-reduced curves in $\mathbb{P}^3$ for which there exist infinitesimal deformations of the curve that do not induce deformations of the associated reduced scheme. We show that such infinitesimal deformations contribute to the non-reducedness of the corresponding Hilbert scheme. We introduce the notion of extension of curves and prove that such infinitesimal deformations (such that the associated reduced scheme does not deform) are inherited by the extended curve. Finally, we give examples of extension of curves.

math.AG