Search

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., Comment: 18 pages

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., Comment: 5 pages

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., Comment: 22 pages

In this article we give several examples of line bundles on certain non-compact surfaces that cannot be equipped with a flat connection., Comment: Submitted

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., Comment: Published in Communications in Contemporary Mathematics

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., Comment: Appeared in the Proceedings of the ICM 2018 satellite 'Moduli spaces in Algebraic Geometry and Applications'

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$., Comment: To appear in Revista Matem\'atica Complutense

Let $\pi_1:\mathcal{X} \to \Delta$ 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 $\pi_2:\mathcal{G}(2,\mathcal{L}) \to \Delta$ be the relative Gieseker moduli space of rank $2$ semi-stable vector bundles with determinant $\mathcal{L}$ over $\mathcal{X}$. Since $\pi_2$ is smooth over $\Delta^*$, there exists a canonical family $\widetilde{\rho}_i:\mathbf{J}^i_{\mathcal{G}(2, \mathcal{L})_{\Delta^*}} \to \Delta^{*}$ of $i$-th intermediate Jacobians i.e., for all $t \in \Delta^*$, $(\widetilde{\rho}_i)^{-1}(t)$ is the $i$-th intermediate Jacobian of $\pi_2^{-1}(t)$. There exist different N\'{e}ron models $\overline{\rho}_i:\overline{\mathbf{J}}_{\mathcal{G}(2, \mathcal{L})}^i \to \Delta$ extending $\widetilde{\rho}_i$ to the entire disc $\Delta$, constructed by Clemens, Saito, Schnell, Zucker and Green-Griffiths-Kerr. In this article, we prove that in our setup, the N\'{e}ron model $\overline{\rho}_i$ is canonical in the sense that the different N\'{e}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{\rho}_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{\rho}_i$ is a semi-abelian variety. Furthermore, we prove that the $i$-th generalized intermediate Jacobian of the (singular) central fibre of $\pi_2$ is a fibration over the central fibre of the N\'{e}ron model $\overline{\mathbf{J}}^i_{\mathcal{G}(2, \mathcal{L})}$. In fact, for $i=2$ the fibration is an isomorphism., Comment: to appear in Revista Matem\'atica Complutense

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$., Comment: Published in Journal of Number Theory

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., Comment: To appear in Annali di Matematica Pura ed Applicata

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., Comment: Very minor changes, as suggested by the referee. To appear in Advances in Mathematics

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., Comment: Published in Proceedings of AMS

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\'{e}ron model of a family of such moduli spaces., Comment: to appear in Documenta Mathematica vol. 24, p. 1739-1767

In this article, we study subloci of solvable curves in $\mathcal{M}_g$ which are contained in either a K3-surface or a quadric or a cubic surface. We give a bound on the dimension of such subloci. In the case of complete intersection genus $g$ curves in a cubic surface, we show that a general such curve is solvable., Comment: 11 pages

Let $E_G$ be a holomorphic principal $G$-bundle on a compact connected Riemann surface $X$, where $G$ is a connected reductive complex affine algebraic group. Fix a finite subset $D \subset X$, and for each $x\in D$ fix $w_x \in \text{ad}(E_G)_x$. Let $T$ be a maximal torus in the group of all holomorphic automorphisms of $E_G$. We give a necessary and sufficient condition for the existence of a $T$-invariant logarithmic connection on $E_G$ singular over $D$ such that the residue over each $x \in D$ is $w_x$. We also give a necessary and sufficient condition for the existence of a logarithmic connection on $E_G$ singular over $D$ such that the residue over each $x \in D$ is $w_x$, under the assumption that each $w_x$ is $T$-rigid.

A theorem of Weil and Atiyah says that a holomorphic vector bundle $E$ on a compact Riemann surface $X$ admits a holomorphic connection if and only if the degree of every direct summand of $E$ is zero. Fix a finite subset $S$ of $X$, and fix an endomorphism $A(x) \in \text{End}(E_x)$ for every $x \in S$. It is natural to ask when there is a logarithmic connection on $E$ singular over $S$ with residue $A(x)$ at every $x \in S$. We give a necessary and sufficient condition for it under the assumption that the residues $A(x)$ are rigid., Comment: Final version

Let $X$ be a projective variety (possibly singular) over an algebraically closed field of any characteristic and $\mathcal{F}$ be a coherent sheaf. In this article, we define the determinant of $\mathcal{F}$ such that it agrees with the classical definition of determinant in the case when $X$ is non-singular. We study how the Hilbert polynomial of the determinant varies in families of singular varieties. Consider a singular family such that every fiber is a normal, projective variety. Unlike in the case when the family is smooth, the Hilbert polynomial of the determinant does not remain constant in singular families. However, we show that it exhibits an upper semi-continuous behaviour. Using this we give a determinant morphism defined over flat families of coherent sheaves. This morphism coincides with the classical determinant morphism in the smooth case. Finally, we give applications of our results to moduli spaces of semi-stable sheaves on $X$ and to Hilbert schemes of curves., Comment: to appear in The Annali della Scuola Normale Superiore di Pisa, Classe di Scienze

We know that semi-regular sub-varieties satisfy the variational Hodge conjecture i.e., given a family of smooth projective varieties $\pi:\mathcal{X} \to B$, a special fiber $\mathcal{X}_o$ and a semi-regular subvariety $Z \subset \mathcal{X}_o$, the cohomology class corresponding to $Z$ remains a Hodge class (as $\mathcal{X}_o$ deforms along $B$) if and only if $Z$ remains an algebraic cycle. In this article, we investigate examples of such sub-varieties. In particular, we prove that any smooth projective variety $Z$ of dimension $n$ is a semi-regular sub-variety of a smooth projective hypersurface in $\mathbb{P}^{2n+1}$ of large enough degree., Comment: 5 pages, published at Comptes rendus - Math\'ematique, 2016

In this article we study certain specialization properties of the index of varieties defined by Koll\'{a}r., Comment: Some of the results needed additional hypothesis. We prove a slightly different, but more general result in the article titled "Examples of varieties with index one on $C_1$-fields"

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., Comment: 21 pages, revised from the previous version with corrections

Given a family $\pi:\mc{X} \rightarrow B$ of smooth projective varieties, a closed fiber $\mc{X}_o$ and an invertible sheaf $\mc{L}$ on $\mc{X}_o$, we compare the Hodge locus in $B$ corresponding to the Hodge class $c_1(\mc{L})$ with the locus of points $b\,\in\, B$ such that $\mc{L}$ deforms to an invertible sheaf $\mc{L}_b$ on $\mc{X}_b$ with at least $h^0(\mc{L})$--dimensional space of global sections (it is a Brill-Noether type locus associated to $\mc{L}$). We finally give an application by comparing the Brill-Noether locus to a family of curves on a surface passing through a fixed set of points.

In this article we generalise the well-known example due to Mumford for a generically non-reduced component of the Hilbert scheme of curves in $\mathbb{P}^3$ whose general element is smooth. The example considers smooth curves in smooth cubic surfaces in $\mathbb{P}^3$. In this article we give similar examples of generically non-reduced component of the Hilbert scheme of curves in $\mathbb{P}^3$, for every integer $d \ge 5$, whose general element is a smooth curve contained in a smooth degree $d$ surface in $\mathbb{P}^3$ and not in any surface of smaller degree. The techniques used are motivated by the study of Noether-Lefschetz locus., Comment: 13 pages. arXiv admin note: text overlap with arXiv:1407.8491

For a fixed integer $d \ge 5$, the Noether-Lefschetz locus parametrizes smooth degree $d$ complex hypersurfaces in $\mathbb{P}^3$ with Picard number greater than $1$. There are infinitely many irreducible components of this locus. The aim of this article is to understand the scheme structure of these components. In particular, we study when is such a component non-reduced. We give a criterion for such a component to be non-reduced. Finally, we give examples of such components., Comment: 26 pages

For a fixed integer $d$, we study here the locus of degree $d$ hypersurfaces $X$ in $\mathbb{P}^{2n+1}$ such that $H^{2n}(X,\mathbb{Q}) \cap H^{n,n}(X,\mathbb{C}) \not= \mathbb{Q}$. We call this locus \textit{the Noether-Lefschetz locus}. Any irreducible component of this locus is locally a Hodge locus. So, we see that the study of this locus is very closely related to the variational Hodge conjecture. In this article we show that the Hodge locus corresponding to the cohomology class of a complete intersection subscheme in $\mathbb{P}^{2n+1}$ of codimension $n+1$ and degree less than $d$ satisfies the variational Hodge conjecture. The interesting part is that we use techniques from commutative algebra to prove this statement (after certain identifications coming from Hodge theory). In the case $n=1$, we use similar methods to characterize all non-reduced components of the Noether-Lefschetz locus of codimension less than or equal to $3d$., Comment: 11 pages

For a fixed $d \ge 5$, the Noether-Lefschetz locus parametrizes smooth degree $d$ surfaces in $\mathbb{P}^3$ with Picard number greater than $1$. This is a countable union of proper algebraic varieties. It is known (due to works of Voisin, Green and others) that the largest irreducible component is of codimension (in the space of all smooth surface in $\mathbb{P}^3$ of degree $d$) equal to $d-3$. The main object of study in this article is: For fixed $r$ greater than $2$ and less than $d$, the locus parametrizing degree $d$ surfaces in $\mathbb{P}^3$ with Picard number at least equal to $r$. It has been conjectured by Griffiths and Harris that the largest component of this locus is of codimension equal to $(r-1)(d-3)-\binom{r-3}{2}$. Furthermore, the irreducible component of this locus parametrizing surfaces with $r$ lines on the same plane is of this codimension. In this article we prove the statement for $d \gg r$., Comment: 16 pages