arXiv subjects

Supravat Sarkar

Publications and source records attributed to Supravat Sarkar.

At least 19 recordsLinked to original sources

arXiv2026

Tangent bundles of Quot schemes of vector bundles on curves

For a vector bundle $E$ on a smooth projective curve $C$, one defines the Quot scheme $Q:=Q_d(E,C)$ parametrizing subsheaves of $E$ having length $d$ torsion quotients. We describe the indecomposable components of the tangent bundle $T_Q$ of $Q$, thus characterizing when $T_Q$ is indecomposable. We also characterize when $T_Q$ is simple; in fact, we completely describe the endomorphism rings of the indecomposable components of $T_Q$. As an application, we determine when two products of such Quot schemes can be isomorphic.

math.AG↗

arXiv2026

Torelli theorems for Quot schemes of vector bundles on curves

For a vector bundle $E$ on a smooth projective curve $C$, one defines the Quot scheme $Q_d(E,C)$ parametrizing subsheaves of $E$ having length $d$ torsion quotients. If $E_i$ is a vector bundle of rank $r\geq 2$ on a smooth projective curve $C_i$ for $i=1,2$, isomorphisms between $\mathbb{P}_{C_i}(E_i)$ preserving the projective bundle structures induce isomorphisms of $Q_d(E_i,C_i)$, called natural isomorphisms. We show that for $d\geq 2$ all isomorphisms between $Q_d(E_i,C_i)$ are natural, except for a non-natural involution of $Q_2(\mathcal{O}_C^{\oplus r},C)$. This gives a complete description of the automorphism group of $Q_d(E,C)$, generalizing previous works of Biswas-Dhillon-Hurtubise and Gangopadhyay. This also shows that one can reconstruct the curve from the Quot scheme, a Torelli-type theorem. As a key step in our proof, we show that any isomorphism between symmetric powers of smooth projective curves preserving big diagonals is natural, which is interesting in its own right.

math.AG↗

arXiv2026

Characters of modules over negative rank-2 Borcherds-Kac-Moody Lie algebras

Let $\mathfrak{g}=\mathfrak{g}(A)$ be the Borcherds-Kac-Moody Lie algebra (BKM LA) for a BKM Cartan matrix $A$ that is filled by negative integers. Fix a Cartan subalgebra $\mathfrak{h}$ of $\mathrm{g}$ and the classical cone of dominant integral weights $P^+\subset \mathfrak{h}^*$. The non-integrable simple highest weight $\mathfrak{g}$-modules $L(μ)$'s widely studied were those by Naito ([Trans. Amer. Soc., 1995]), for $μ$'s dot-linked to $P^+$-translates of sums $- \sum_{j\in J}α_j$ of mutually orthogonal and imaginary simple roots $α_j$'s. Recently, we computed weights of all highest weight $\mathfrak{g}$-modules $V$'s (over all BKM LA's), and character of $L(ρ)$ for Weyl vector $ρ$. These needed a family of ``integrable'' $L(μ)$'s for $μ$'s inside our novel signed-dominant-integral cone $P^{\pm}$ (which generalizes $P^+$). Pairings $μ(α_i^{\vee})\leq 0$ for $μ\in P^{\pm}$ are multiples of $\frac{A_{ii}}{2}$ for all $i$. Nevertheless, $L(μ)$ contains ``Chevalley-Serre relations'' $f_i^{\frac{2}{A_{ii}}{μ(α_i^{\vee})}+1}L(μ)_μ=0$, which seem to be previously unstudied and even in Naito's works. This paper initiates in rank-2, the study of module structures and maximal vectors (or Verma embeddings) in Verma covers $M(μ)$'s of $L(μ)$'s for $μ\in P^{\pm}$. Our goal in this is to explore in weight spaces of those Vermas, the strictness, or else a uniform equality, of lower bounds by Kac and Kazhdan ([Adv. Math., 1979]) for count of linearly independent maximal vectors. We obtain presentations and characters of all $V$'s when Kac-Kazhdan equation has unique solution in the interior of root-cone. This builds on results of Kac and Kazhdan in crucial unique solution case.

math.RT↗

arXiv2026

Automorphisms of very general blow up

We show that if $X$ is a projective variety of dimension $\geq 2$ that is not a rational surface, then the blow up of $X$ at sufficiently many very general points has no nontrivial automorphism. Similar results were known before for $\mathbb{P}^2$ and $\mathbb{P}^3.$

math.AG↗

arXiv2026

Tangent bundle of punctual Hilbert scheme and distinguishing products of varieties

We describe the indecomposable components of the tangent bundle of the punctual Hilbert scheme of a smooth projective surface. As an application, we prove a recent conjecture about classification of products of punctual Hilbert schemes of smooth projective surfaces. We also determine when two products of symmetric powers of a smooth variety can be isomorphic. As a key step in our proof, we give a new characterization of abelian varieties, which states that in dimension $\geq 2$, a smooth complex projective variety whose tangent bundle is trivial upto a line bundle twist is an abelian variety.

math.AG↗

arXiv2026

Stable and unstable syzygy bundles on certain Picard rank one varieties

If $X$ is a smooth projective variety of dimension $\geq 2$ and Picard rank $1$ on which every ample line bundle has at least $2$ linearly independent sections, we prove that syzygy bundle of any nontrivial globally generated line bundle is stable. We apply this to show stability of syzygy bundles in non-general type complete intersections in weighted projective spaces, and all complete intersections in projective spaces. This extends earlier results of Jiang-Ren, Coand{ă} and others. We also show that in any dimension $\geq 2$, there is a smooth projective variety of Picard rank $1$ with an unstable syzygy bundle. This completely answers a question of Fulger-Langer.

math.AG↗

arXiv2026

Images of toric variety and amplified endomorphism of weak Fano threefolds

We show that some important classes of weak Fano $3$-folds of Picard rank $2$ do not satisfy Bott vanishing. Using this we show that any smooth projective $3$-fold $X$ of Picard rank $2$ with $-K_X$ nef which is the image of a projective toric variety is toric. This proves a special case of a conjecture by Ochetta-Wisniewski, extending a corresponding previous work for Fano $3$-folds. We also show that a weak Fano $3$-fold of Picard rank $2$ having an int-amplified endomorphism is toric. This proves a special case of a conjecture by Fakhrudding, Meng, Zhang and Zhong, extending corresponding previous work for Fano $3$-folds.

math.AG↗

arXiv2026

Extension of Ulrich bundles

We study extension of Ulrich bundles from a smooth nondegenerate subvariety $X$ of $\mathbb{P}^n$. If $X$ is a complete intersection of dimension $\geq 2$, we show that the extension is not possible except in the trivial case. For an arbitrary $X$, we characterize when the extension is possible, assuming some condition on the extended vector bundle. As an application, we generalize previous results of L{ó}pez and Zamora. We also give several classes of examples of Ulrich bundles on curves that extend to the ambient projective space.

math.AG↗

arXiv2026

Varieties with two smooth blow up structures

We classify smooth projective varieties of Picard rank 2 which has two structures of blow-up of projective space along smooth subvarieties of different dimensions. This gives a characterization of the so called quadro-cubic Cremona transformation.

math.AG↗

arXiv2026

Proof of Miyanishi's conjecture on endomorphisms of varieties

If $X$ is a quasi-projective variety over a field $k$ and $ϕ$ a birational endomorphism of $X$ that is injective outside a closed subset of codimension $\geq 2$, we prove that $ϕ$ is an automorphism. This generalizes an old theorem of Ax and proves a conjecture of Miyanishi. A key step in our proof is a finiteness result on class groups, which is of interest in its own right.

math.AG↗

arXiv2026

Generalized determinantal representation of hypersurfaces

In this article we extend the notion of determinantal representation of hypersurfaces to the determinantal representation of sections of the determinant line bundle of a vector bundle. We give several examples, and prove some necessary conditions for existence of determinantal representation. As an application, we show that for any integer $d \geq 1,$ there is an indecomposable vector bundle $E_d$ of rank $2$ on $\mathbb{P}^2$ such that almost all curves of degree $d$ of $\mathbb{P}^2$ arise as the degeneracy loci of a pair of holomorphic sections of $E_d$, upto an automorphism of $\mathbb{P}^2$. We use this result to obtain a linear algebraic application.

math.AG↗

arXiv2026

Singularity of cubic hypersurfaces and hyperplane sections of projectivized tangent bundle of projective space

We show that the normal points of a cubic hypersurface in projective space have canonical singularities unless the hypersurface is an iterated cone over an elliptic curve. As an application, we give a simple linear algebraic description of all the hyperplane sections of projectivized tangent bundle of projective space, hence describing hyperplane sections of a rational homogeneous manifold of Picard rank $2$. This also simplifies and extends recent results of Mazouni-Nagaraj in higher dimensions. We also compute the Chow ring of these hyperplane sections.

math.AG↗

arXiv2025

Descend of morphisms of varieties

Given varieties $X, Y, W$ and dominant morphisms $ϕ:X\to Y$ and $f:X\to W$ such that $f$ is constant on fibres of $ϕ$ , we give sufficient conditions to guarantee that $f$ descends to a rational map or a morphism $Y\to W.$ We pay special attention to the case that the ground field has positive characteristic. This extends previous works of Aichinger and Das, who proved similar results for some classes of affine varieties.

math.AG↗

arXiv2025

Automorphisms of punctual Hilbert schemes and symmetric powers of varieties

We classify complex smooth projective surfaces whose punctual Hilbert scheme has a non-natural automorphism preserving the big diagonal. This completely answers a question raised by Belmans, Oberdieck and Rennemo, and extends previous works by Boissi{è}re-Sarti, Hayashi, Sasaki, Girardet and Wang. We reduce this to studying the existence of non-natural automorphisms of symmetric powers. We study this question for higher dimensional varieties too, giving some sufficient conditions guaranteeing every automorphism of a symmetric power to be natural. As a corollary, we characterize smooth projective surfaces of Kodaira dimension $\geq 1$ whose punctual Hilbert scheme has a non-natural automorphism, this time not assuming the automorphism preserves the big diagonal. We also address the question, when a smooth projective variety is determined up to isomorphism by its punctual Hilbert scheme.

math.AG↗

arXiv2025

Isomorphisms and automorphisms of multiprojective bundles and symmetric powers of projective bundles

We describe when two multiprojective bundles (fibre products of projective bundles over the same base) over projective spaces are isomorphic as abstract varieties. We also describe when two relative symmetric powers of projective bundles over projective spaces are isomorphic. Finally, we describe the automorphisms of multiprojective bundles and relative symmetric powers of projective bundles over projective spaces.

math.AG↗

arXiv2025

Symmetric power of higher dimensional varieties

We study several properties of the symmetric power $S^mX$ of a smooth variety $X$. We describe the Picard and divisor class groups of $S^mX$ when $X$ is projective. We give a complete description of the stratification of $S^mX$ by iterated singular locus in terms of some combinatorial data regarding partitions of the integer $m.$ This gives a new viewpoint of a natural stratification of $S^mX$ by multiplicities.

math.AG↗

arXiv2025

Frobenius liftable hypersurfaces

Let $D$ be a reduced divisor in $\mathbb P^n_k$ for an algebraically closed field $k$ of positive characteristic $p > 0$. We prove that if $(\mathbb P^n_k, D)$ is Frobenius liftable modulo $p^2$, then $D$ is a toric divisor. As a corollary, we show that if there exists a finite surjective morphism $f\colon Y\to X$ onto a smooth projective complex variety $X$ of Picard rank $1$ such that $(Y, f^{-1}(D)_{\mathrm{red}})$ is a toric pair, then $X$ is the projective space and $D$ is a toric divisor.

math.AG↗

arXiv2025

Singularity of $\mathbb{Q}$-divisors of multidegree one in multiprojective space

We study singularity of effective $\mathbb{Q}$-divisors on products of projective spaces of multidegree $(1,1...,1).$ This generalizes works of Bath, Musta{ţ}{ă} and Walther on singularity of square-free polynomials. We also give a lower bound on the log canonical threshold of a hypersurface in products of projective spaces.

math.AG↗