arXiv subjects

Debaditya Raychaudhury

Publications and source records attributed to Debaditya Raychaudhury.

25 records · Page 2Linked to original sources

arXiv2022

Construction of varieties of low codimension with applications to moduli spaces of varieties of general type

In this article we develop a new way of systematically constructing infinitely many families of smooth subvarieties $X$ of any given dimension $m$, $m \geq 3$, and any given codimension in $\mathbb P^N$, embedded by complete subcanonical linear series, and, in particular, in the range of Hartshorne's conjecture. We accomplish this by showing the existence of everywhere non--reduced schemes called ropes, embedded in $\mathbb P^N$, and by smoothing them. In the range $3 \leq m < N/2$, we construct smooth subvarieties, embedded by complete subcanonical linear series, that are not complete intersections. We also go beyond a question of Enriques on constructing simple canonical surfaces in projective spaces, and construct simple canonical varieties in all dimensions. The canonical map of infinitely many of these simple canonical varieties is finite birational but not an embedding. Finally, we show the existence of components of moduli spaces of varieties of general type (in all dimensions $m$, $m \geq 3$) that are analogues of the moduli space of curves of genus $g > 2$ with respect to the behavior of the canonical map and its deformations. In many cases, the general elements of these components are canonically embedded and their codimension is in the range of Hartshorne's conjecture.

math.AG↗

arXiv2022

Deformations and moduli of irregular canonical covers with $K^2=4p_g-8$

In this article, we study the moduli of irregular surfaces of general type with at worst canonical singularities satisfying $K_X^2 = 4p_g(X)-8$, for any even integer $p_g\geq 4$. These surfaces also have unbounded irregularity $q$. We carry out our study by investigating the deformations of the canonical morphism $φ:X\to \mathbb{P}^N$, where $φ$ is Galois of degree 4. These canonical covers are classified in by the first two authors into four distinct families. We show that any deformation of $φ$ factors through a double cover of a ruled surface and, hence, is never birational. More interestingly, we prove that, with two exceptions, a general deformation of $φ$ is two-to-one onto its image, whose normalization is a ruled surface of appropriate irregularity. We also show that with the exception of one family, the deformations of $X$ are unobstructed, and consequently, $X$ belongs to a unique irreducible component of the Gieseker moduli space, which we prove is uniruled. As a result of all this, we show the existence of infinitely many moduli spaces, satisfying the strict Beauville inequality $p_g > 2q-4$, with an irreducible component that has a proper "quadruple" sublocus where the degree of the canonical morphism jumps up. The existence of jumping subloci is a contrast with the moduli of surfaces with $K_X^2 = 2p_g - 4$, studied by Horikawa. There is a similarity and difference to the moduli of curves of genus $g\geq 3$, for, like in the case of curves, the degree of the canonical morphism goes down outside a closed sublocus but, unlike in the case of curves, it is never birational.

math.AG↗

arXiv2022

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ópez 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↗

arXiv2021

Smoothing of multiple structures on embedded Enriques manifolds

We show that given an embedding of an Enriques manifold of index $d$ in a large enough projective space, there will exist embedded multiple structures with conormal bundle isomorphic to the trace zero module of the universal covering map, the universal cover being either a hyperkähler or a Calabi-Yau manifold. We then show that these multiple structures (also known as $d$-ropes) can be smoothed to smooth hyperkähler or Calabi-Yau manifolds respectively. Hence we obtain a flat family of hyperkähler (or Calabi-Yau) manifolds embedded in the same projective space which degenerates to an embedded $d$-rope structure on the given Enriques manifold of index $d$. The above shows that these $d$-rope structures on the embedded Enriques manifold are points of the Hilbert scheme containing the fibres of the above family. We show that they are smooth points of the Hilbert scheme when $d=2$.

math.AG↗

arXiv2021

K3 carpets on minimal rational surfaces and their smoothings

In this article, we study K3 double structures on minimal rational surfaces $Y$. The results show there are infinitely many non-split abstract K3 double structures on $Y = \mathbb{F}_e$ parametrized by $\mathbb P^1$, countably many of which are projective. For $Y = \mathbb{P}^2$ there exist a unique non-split abstract K3 double structure which is non-projective (see Drézet's article in arXiv:2004.04921). We show that all projective K3 carpets can be smoothed to a smooth K3 surface. One of the byproducts of the proof shows that unless $Y$ is embedded as a variety of minimal degree, there are infinitely many embedded K3 carpet structures on $Y$. Moreover, we show any embedded projective K3 carpet on $\mathbb F_e$ with $e<3$ arises as a flat limit of embeddings degenerating to $2:1$ morphism. The rest do not, but we still prove the smoothing result. We further show that the Hilbert points corresponding to the projective K3 carpets supported on $\mathbb{F}_e$, embedded by a complete linear series are smooth points if and only if $0\leq e\leq 2$. In contrast, Hilbert points corresponding to projective K3 carpets supported on $\mathbb{P}^2$ and embedded by a complete linear series are always smooth. The results in a recent paper of Bangere, Gallego, and González show that there are no higher dimensional analogues of the results in this article.

math.AG↗

arXiv2019

Remarks on projective normality for certain Calabi-Yau and hyperkähler varieties

We prove some results on effective very ampleness and projective normality for some varieties with trivial canonical bundle. In the first part we prove an effective projective normality result for an ample line bundle on regular smooth four-folds with trivial canonical bundle. More precisely we show that for a regular smooth fourfold with trivial canonical bundle, $A^{\otimes 15}$ is projectively normal for $A$ ample. In the second part we emphasize on the projective normality of multiples of ample and globally generated line bundles on certain classes of known examples (upto deformation) of projective hyperkähler varieties. As a corollary we show that excepting two extremal cases in dimensions $4$ and $6$, a general curve section of any ample and globally generated linear system on the above mentioned examples is non-hyperelliptic.

math.AG↗

arXiv2019

On The Projective Normality And Normal Presentation On Higher Dimensional Varieties With Nef Canonical Bundle

In this article we prove new results on projective normality and normal presentation of adjunction bundle associated to an ample and globally generated line bundle on higher dimensional smooth projective varieties with nef canonical bundle. As one of the consequences of the main theorem, we give bounds on very ampleness and projective normality of pluricanonical linear systems on varieties of general type in dimensions three, four and five. These improve known such results.

math.AG↗