BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Ananyo Dan

Ananyo Dan contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
17works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

17 published item(s)

preprint2023arXiv

Determinant morphism for singular varieties

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
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 $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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Logarithmic connections on principal bundles over a Riemann surface

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Non-reduced components of the Noether-Lefschetz locus

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On a conjecture due to Griffiths and Harris

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

0 citations0 reviewsNo code linkedOpen access