Search arXivSearch

arXiv subjects

Debaditya Raychaudhury

Publications and source records attributed to Debaditya Raychaudhury.

At least 19 recordsLinked to original sources

A Hodge Theoretic Generalization of $\mathbb{Q}$-Homology Manifolds II: Local Complete Intersections

Recently, the authors introduced and studied a singularity invariant of a complex algebraic variety $Z$, written $\HRH(Z)$ (for ``Hodge rational homology'' manifold level). In this paper, we focus on local complete intersection subvarieties. We relate $\HRH(Z)$ to various well-known invariants, like Bernstein--Sato polynomials and the Dimca-Maisonobe-Saito spectrum. In the hypersurface case it turns out that $\HRH(Z)$ can be completely characterized by these invariants, though higher codimension case is more subtle.

math.AG

Characterization and finite descent of local cohomological invariants

We provide simple ``left-inverse characterizations'' of the recently introduced singularity invariants $c(Z)$, $w(Z)$, and ${\rm HRH}(Z)$ of an equidimensional variety $Z$. Combining this with a trace morphism, we establish descent results of these invariants for finite surjective morphisms.

math.AG

Hodge theory of secant varieties

We study the local cohomology modules for the secant variety of lines of a smooth projective variety $Y$ and for higher secant varieties of smooth projective curves. We show that the local cohomological defect in the first case is related to the primitive cohomology of $Y$, and in the second case it is $0$. As applications, we compute their (intersection) Hodge-Lyubeznik numbers, the mixed Hodge structure on their singular cohomology, the pure Hodge structure on their intersection cohomology, the generating level of the Hodge filtration on their local cohomology modules and their $\mathbf Q$-factoriality defect. As byproducts, we recover and refine various results from the literature by removing restrictive positivity assumptions.

math.AG

Hyperbolicity of adjoint linear series on varieties with positive tangent bundle

Let $X$ be a smooth projective variety of dimension $n\geq 3$, and let $L$ be an ample line bundle on $X$. In this article, we study the algebraic hyperbolicity of a very general section of the adjoint linear series $|K_X+mL|$ when the tangent bundle $T_X$ of $X$ has suitable positivity properties. As a consequence, we show that the linear system $|K_X+mL|$ is hyperbolic (or pseudo-hyperbolic) for $m\geq 3n+1$, for various classes of polarized pairs $(X,L)$, thus providing new evidence of a conjecture that was proposed by the second and fourth authors. Moreover, when $X$ is abelian, we show that the linear system $|mL|$ is hyperbolic for $m\geq n$, and the same holds when $m\geq n-1$, if $|L|$ has no base divisors. It turns out that these bounds for abelian varieties are sharp. We also prove analogous statements for Kummer varieties and certain classes of hyperelliptic varieties.

math.AG

Extendable codimension two subvarieties in a general hypersurface

We exhibit a class of extendable codimension $2$ subvarieties in a general hypersurface of dimension at least $4$ in projective space. As a consequence, we prove that a general hypersurface of degree $d$ and dimension at least $4$ does not support globally generated indecomposable ACM bundles of any rank if their first Chern class $e \ll d$.

math.AG

A Hodge Theoretic generalization of $\mathbb{Q}$-Homology Manifolds I: General Case

We study a natural Hodge-theoretic generalization of rational (or $\mathbb{Q}$-)homology manifolds through an invariant $\HRH(Z)$ attached to a complex algebraic variety $Z$. The defining property of this notion encodes the difference between higher Du Bois and higher rational singularities for local complete intersections, which are two classes of singularities that have recently gained much attention. We show that $\HRH(Z)$ can be characterized when the variety $Z$ is embedded into a smooth variety using the local cohomology mixed Hodge modules. Near a point, this is also characterized by the local cohomology of $Z$ at the point, and hence, by the cohomology of the link. We give an application to partial Poincar\'{e} duality. We also introduce the generic local cohomological defect ${\rm lcdef}_{\textrm{gen}}(Z)$ and relate it to $\HRH(Z)$. Various examples are discussed at the end.

math.AG

On the local cohomology of secant varieties

Given a sufficiently positive embedding $X\subset\mathbb{P}^N$ of a smooth projective variety $X$, we consider its secant variety $\Sigma$ that comes equipped with the embedding $\Sigma\subset\mathbb{P}^N$ by its construction. In this article, we determine the local cohomological dimension $\textrm{lcd}(\mathbb{P}^N,\Sigma)$ of this embedding, as well as the generation level of the Hodge filtration on the topmost non-vanishing local cohomology module $\mathcal{H}^{q}_{\Sigma}(\mathcal{O}_{\mathbb{P}^N})$, i.e., when $q=\textrm{lcd}(\mathbb{P}^N,\Sigma)$. Additionally, we show that $\Sigma$ has quotient singularities (in which case the equality $\textrm{lcd}(\mathbb{P}^N,\Sigma)=\textrm{codim}_{\mathbb{P}^N}(\Sigma)$ is known to hold) if and only if $X\cong\mathbb{P}^1$. We also provide a complete classification of $(X,L)$ for which $\Sigma$ has ($\mathbb{Q}$-)Gorentein singularities. As a consequence, we deduce that if $\Sigma$ is a local complete intersection, then either $X$ is isomorphic to $\mathbb{P}^1$, or an elliptic curve.

math.AG

Non-existence of low rank Ulrich bundles on Veronese varieties

We show that Veronese varieties of dimension $n \ge 4$ do not carry any Ulrich bundles of rank $r \le 3$. In order to prove this, we prove that a Veronese embedding of a complete intersection of dimension $m \ge 4$, which if $m=4$ is either $\mathbb P^4$ or has degree $d \ge 2$ and is very general and not of type $(2), (2,2)$, does not carry any Ulrich bundles of rank $r \le 3$.

math.AG

Ulrich subvarieties and the non-existence of low rank Ulrich bundles on complete intersections

We characterize the existence of an Ulrich vector bundle on a variety $X \subset P^N$ in terms of the existence of a subvariety satisfying some precise conditions. Then we use this fact to prove that a complete intersection of dimension $n \ge 4$, which if $n=4$ is very general and not of type $(2,2)$, does not carry any Ulrich bundles of rank $r \le 3$ unless $n=4, r=2$ and $X$ is a quadric.

math.AG

On partially ample Ulrich bundles

We characterize $q$-ample Ulrich bundles on a variety $X \subseteq \mathbb P^N$ with respect to $(q+1)$-dimensional linear spaces contained in $X$.

math.AG

Singularities of secant varieties from a Hodge theoretic perspective

We study the singularities of secant varieties of smooth projective varieties using methods from birational geometry when the embedding line bundle is sufficiently positive. More precisely, we study the Du Bois complex of secant varieties and its relationship with the sheaves of differential forms. Through this analysis, we give a necessary and sufficient condition for these varieties to have $p$-Du Bois singularities (in a sense that was proposed in [SVV23]). In addition, we show that the singularities of these varieties are never higher rational, by giving a classification of the cases when they are pre-1-rational. From these results, we deduce several consequences, including a Kodaira-Akizuki-Nakano type vanishing result for the reflexive differential forms of the secant varieties.

math.AG

On varieties with Ulrich twisted conormal bundles

We study varieties $X \subset P^r$ such that is $N_X^*(k)$ is an Ulrich vector bundle for some integer $k$. We first prove that such an $X$ must be a curve. Then we give several examples of curves with $N_X^*(k)$ an Ulrich vector bundle.

math.AG

On varieties with Ulrich twisted tangent bundles

We study varieties $X \subseteq \mathbb P^N$ of dimension $n$ such that $T_X(k)$ is an Ulrich vector bundle for some $k \in \mathbb Z$. First we give a sharp bound for $k$ in the case of curves. Then we show that $k \le n+1$ if $2 \le n \le 12$. We classify the pairs $(X,\mathcal O_X(1))$ for $k=1$ and we show that, for $n \ge 4$, the case $k=2$ does not occur.

math.AG

Continuous CM-regularity and generic vanishing

We study the continuous CM-regularity of torsion-free coherent sheaves on polarized irregular smooth projective varieties $(X,\mathcal{O}_X(1))$, and its relation with the theory of generic vanishing. This continuous variant of the Castelnuovo-Mumford regularity was introduced by Mustopa, and he raised the question whether a continuously $1$-regular such sheaf $\mathcal{F}$ is GV. Here we answer the question in the affirmative for many pairs $(X,\mathcal{O}_X(1))$ which includes the case of any polarized abelian variety. Moreover, for these pairs, we show that if $\mathcal{F}$ is continuously $k$-regular for some integer $1\leq k\leq \dim X$, then $\mathcal{F}$ is a GV$_{-(k-1)}$ sheaf. Further, we extend the notion of continuous CM-regularity to a real valued function on the $\mathbb{Q}$-twisted bundles on polarized abelian varieties $(X,\mathcal{O}_X(1))$, and we show that this function can be extended to a continuous function on $N^1(X)_{\mathbb{R}}$. We also provide syzygetic consequences of our results for $\mathcal{O}_{\mathbb{P}(\mathcal{E})}(1)$ on $\mathbb{P}(\mathcal{E})$ associated to a $0$-regular bundle $\mathcal{E}$ on polarized abelian varieties. In particular, we show that $\mathcal{O}_{\mathbb{P}(\mathcal{E})}(1)$ satisfies $N_p$ property if the base-point freeness threshold of the class of $\mathcal{O}_X(1)$ in $N^1(X)$ is less than $\frac{1}{p+2}$. This result is obtained using a theorem in the Appendix written by Atsushi Ito.

math.AG

Koszul property of Ulrich bundles and rationality of moduli spaces of stable bundles on Del Pezzo surfaces

Let $\mathcal{E}$ be a vector bundle on a smooth projective variety $X\subseteq\mathbb{P}^N$ that is Ulrich with respect to the hyperplane section $H$. In this article, we study the Koszul property of $\mathcal{E}$, the slope-semistability of the $k$-th iterated syzygy bundle $\mathcal{S}_k(\mathcal{E})$ for all $k\geq 0$ and rationality of moduli spaces of slope-stable bundles on Del Pezzo surfaces. As a consequence of our study, we show that if $X$ is a Del Pezzo surface of degree $d\geq 4$, then any Ulrich bundle $\mathcal{E}$ satisfies the Koszul property and is slope-semistable. We also show that, for infinitely many Chern characters ${\bf v}=(r,c_1, c_2)$, the corresponding moduli spaces of slope-stable bundles $\mathfrak{M}_H({\bf v})$ when non-empty, are rational, and thereby produce new evidences for a conjecture of Costa and Mir\'o-Roig. As a consequence, we show that the iterated syzygy bundles of Ulrich bundles are dense in these moduli spaces.

math.AG

A note on stability of syzygy bundles on Enriques and bielliptic surfaces

In this note, we prove that the syzygy bundle $M_L$ is cohomologically stable with respect to $L$ for any ample and globally generated line bundle $L$ on an Enriques (resp. bielliptic) surface over an algebraically closed field of characteristic $\neq 2$ (resp. $\neq 2,3$). In particular our result on complex Enriques surfaces improves a result of Torres-L\'opez and Zamora by removing a condition on Clifford index. Together with the results of Camere and Caucci--Lahoz, it implies that $M_L$ is stable with respect to $L$ for an ample and globally generated line bundle $L$ on any smooth minimal complex projective surface $X$ of Kodaira dimension zero.

math.AG