Source author record

Ananyo Dan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

19works
2topics
4close collaborators

Published work

19 publications

preprint2023arXiv

Determinant morphism for singular varieties

Let XX be a projective variety (possibly singular) over an algebraically closed field of any characteristic and F\mathcal{F} be a coherent sheaf. In this article, we define the determinant of F\mathcal{F} such that it agrees with the classical definition of determinant in the case when XX 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 XX and to Hilbert schemes of curves.

preprint2023arXiv

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ê 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.

preprint2023arXiv

Matrix factorization for quasi-homogeneous singularities

Given an isolated, quasi-homogeneous singularity XX we prove that there is a group isomorphism between the group of rank one reflexive sheaves on XX and the free abelian group generated by C∗\mathbb{C}^*-divisors, modulo linear equivalence. When dim⁡(X)=2\dim(X)=2 we reduce the problem of finding matrix factorizations of arbitrary reflexive OX\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.

preprint2022arXiv

Descent theory of simple sheaves on C1C_1-fields

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

preprint2022arXiv

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.

preprint2022arXiv

On a conjecture of Harris

For d≥4d \ge 4, the Noether-Lefschetz locus NLd\mathrm{NL}_d parametrizes smooth, degree dd surfaces in P3\mathbb{P}^3 with Picard number at least 22. 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 dd, but is true for d≤5d \le 5. She also showed that for d=6,7d=6, 7, there are finitely many \emph{reduced}, irreducible components of NLd\mathrm{NL}_d of non-maximal codimension. In this article, we prove that for any d≥6d \ge 6, there are infinitely many \emph{non-reduced} irreducible components of NLd\mathrm{NL}_d of non-maximal codimension.

preprint2020arXiv

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 XX is uniquely determined by the second intermediate Jacobian of the moduli space of stable rank 22 bundles on XX, with fixed odd degree determinant. In this article we prove the analogous result in the case XX 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.

preprint2020arXiv

Néron models of intermediate Jacobians associated to moduli spaces

Let π1:X→Δπ_1:\mathcal{X} \to Δ be a flat family of smooth, projective curves of genus g≥2g \ge 2, degenerating to an irreducible nodal curve X0X_0 with exactly one node. Fix an invertible sheaf L\mathcal{L} on X\mathcal{X} of relative odd degree. Let π2:G(2,L)→Δπ_2:\mathcal{G}(2,\mathcal{L}) \to Δ be the relative Gieseker moduli space of rank 22 semi-stable vector bundles with determinant L\mathcal{L} over X\mathcal{X}. Since π2π_2 is smooth over Δ∗Δ^*, there exists a canonical family ρ~i:JG(2,L)Δ∗i→Δ∗\widetildeρ_i:\mathbf{J}^i_{\mathcal{G}(2, \mathcal{L})_{Δ^*}} \to Δ^{*} of ii-th intermediate Jacobians i.e., for all t∈Δ∗t \in Δ^*, (ρ~i)−1(t)(\widetildeρ_i)^{-1}(t) is the ii-th intermediate Jacobian of π2−1(t)π_2^{-1}(t). There exist different Néron models ρ‾i:J‾G(2,L)i→Δ\overlineρ_i:\overline{\mathbf{J}}_{\mathcal{G}(2, \mathcal{L})}^i \to Δ extending ρ~i\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 ρ‾i\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≤i≤max⁡{2,g−1}1 \le i \le \max\{2,g-1\}, the central fiber of ρ‾i\overlineρ_i is a fibration over product of copies of Jk(Jac(X~0))J^k(\mathrm{Jac}(\widetilde{X}_0)) for certain values of kk, where X~0\widetilde{X}_0 is the normalization of X0X_0. In particular, for g≥5g \ge 5 and i=2,3,4i=2, 3, 4, the central fiber of ρ‾i\overlineρ_i is a semi-abelian variety. Furthermore, we prove that the ii-th generalized intermediate Jacobian of the (singular) central fibre of π2π_2 is a fibration over the central fibre of the Néron model J‾G(2,L)i\overline{\mathbf{J}}^i_{\mathcal{G}(2, \mathcal{L})}. In fact, for i=2i=2 the fibration is an isomorphism.

preprint2017arXiv

Logarithmic connections on principal bundles over a Riemann surface

Let EGE_G be a holomorphic principal GG-bundle on a compact connected Riemann surface XX, where GG is a connected reductive complex affine algebraic group. Fix a finite subset D⊂XD \subset X, and for each x∈Dx\in D fix wx∈ad(EG)xw_x \in \text{ad}(E_G)_x. Let TT be a maximal torus in the group of all holomorphic automorphisms of EGE_G. We give a necessary and sufficient condition for the existence of a TT-invariant logarithmic connection on EGE_G singular over DD such that the residue over each x∈Dx \in D is wxw_x. We also give a necessary and sufficient condition for the existence of a logarithmic connection on EGE_G singular over DD such that the residue over each x∈Dx \in D is wxw_x, under the assumption that each wxw_x is TT-rigid.

preprint2016arXiv

Hodge locus and Brill-Noether type locus

Given a family $π:\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 BB corresponding to the Hodge class $c_1(\mc{L})$ with the locus of points b ∈ Bb\,\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.

preprint2016arXiv

Semi-regular varieties and variational Hodge conjecture

We know that semi-regular sub-varieties satisfy the variational Hodge conjecture i.e., given a family of smooth projective varieties π:X→Bπ:\mathcal{X} \to B, a special fiber Xo\mathcal{X}_o and a semi-regular subvariety Z⊂XoZ \subset \mathcal{X}_o, the cohomology class corresponding to ZZ remains a Hodge class (as Xo\mathcal{X}_o deforms along BB) if and only if ZZ remains an algebraic cycle. In this article, we investigate examples of such sub-varieties. In particular, we prove that any smooth projective variety ZZ of dimension nn is a semi-regular sub-variety of a smooth projective hypersurface in P2n+1\mathbb{P}^{2n+1} of large enough degree.

preprint2014arXiv

Noether-Lefschetz locus and a special case of the variational Hodge conjecture

For a fixed integer dd, we study here the locus of degree dd hypersurfaces XX in P2n+1\mathbb{P}^{2n+1} such that H2n(X,Q)∩Hn,n(X,C)≠QH^{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 P2n+1\mathbb{P}^{2n+1} of codimension n+1n+1 and degree less than dd 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=1n=1, we use similar methods to characterize all non-reduced components of the Noether-Lefschetz locus of codimension less than or equal to 3d3d.

preprint2014arXiv

Non-reduced components of the Noether-Lefschetz locus

For a fixed integer d≥5d \ge 5, the Noether-Lefschetz locus parametrizes smooth degree dd complex hypersurfaces in P3\mathbb{P}^3 with Picard number greater than 11. 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.

preprint2014arXiv

On a conjecture due to Griffiths and Harris

For a fixed d≥5d \ge 5, the Noether-Lefschetz locus parametrizes smooth degree dd surfaces in P3\mathbb{P}^3 with Picard number greater than 11. 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 P3\mathbb{P}^3 of degree dd) equal to d−3d-3. The main object of study in this article is: For fixed rr greater than 22 and less than dd, the locus parametrizing degree dd surfaces in P3\mathbb{P}^3 with Picard number at least equal to rr. It has been conjectured by Griffiths and Harris that the largest component of this locus is of codimension equal to (r−1)(d−3)−(r−32)(r-1)(d-3)-\binom{r-3}{2}. Furthermore, the irreducible component of this locus parametrizing surfaces with rr lines on the same plane is of this codimension. In this article we prove the statement for d≫rd \gg r.

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.