Search

Quantifying multipartite entanglement poses a significant challenge in quantum information theory, prompting recent advancements in methodologies to assess it. We introduce the notion of \enquote{Volume of Assistance} (VoA), which computes the geometric mean of entanglement of assistance across all potential parties. We demonstrate the feasibility of VoA for three-qubit pure states and certain classes of pure tripartite qudit states. We have extended this measure to four-qubit states and general multipartite scenarios. We have done a comparative analysis to illustrate VoA's distinctiveness from established entanglement measures, notably showing it serves as an upper bound for the much celebrated generalized geometric measure (GGM). Remarkably, VoA excels in distinguishing a broad class of states that elude differentiation by the recently proposed Minimum Pairwise Concurrence (MPC) measure. Finally, VoA is applied to quantify genuine entanglement in the ground states of a three-qubit Heisenberg XY model, which highlights its practical utility in quantum information processing tasks., Comment: 11 pages, 4 figures, latex2e, comments welcome

Let $M$ be a compact complex manifold, and $D\, \subset\, M$ a reduced normal crossing divisor on it, such that the logarithmic tangent bundle $TM(-\log D)$ is holomorphically trivial. Let ${\mathbb A}$ denote the maximal connected subgroup of the group of all holomorphic automorphisms of $M$ that preserve the divisor $D$. Take a holomorphic Cartan geometry $(E_H,\,\Theta)$ of type $(G,\, H)$ on $M$, where $H\, \subset\, G$ are complex Lie groups. We prove that $(E_H,\,\Theta)$ is isomorphic to $(\rho^* E_H,\,\rho^* \Theta)$ for every $\rho\, \in\, \mathbb A$ if and only if the principal $H$--bundle $E_H$ admits a logarithmic connection $\Delta$ singular on $D$ such that $\Theta$ is preserved by the connection $\Delta$., Comment: Final version to appear in Journal of Differential Geometry and its Applications

Let $f : X \rightarrow Y$ be a dominant generically smooth morphism between irreducible smooth projective curves over an algebraically closed field $k$ such that ${\rm Char}(k)> \text{degree}(f)$ if the characteristic of $k$ is nonzero. We prove that $(f_*{\mathcal O}_X)/{\mathcal O}_Y$ equipped with a natural parabolic structure is parabolic polystable. Several conditions are given that ensure that the parabolic vector bundle $(f_*{\mathcal O}_X)/{\mathcal O}_Y$ is actually parabolic stable., Comment: Final version

We give a conjectural formula for the characteristic number of rational cuspidal curves in the projective plane by extending the idea of Kontsevich's recursion formula (namely, pulling back the equality of two divisors in the four pointed moduli space). The key geometric input that is needed here is that in the closure of rational cuspidal curves, there are two component rational curves which are tangent to each other at the nodal point. While this fact is geometrically quite believable, we haven't as yet proved it; hence our formula is for the moment conjectural. The answers that we obtain agree with what has been computed earlier Ran, Pandharipande, Zinger and Ernstrom and Kennedy. We extend this technique (modulo another conjecture) to obtain the characteristic number of rational quartics with an E6 singularity., Comment: 19 pages, 8 figures. Comments are welcome

Let $C$ be an irreducible smooth complex projective curve of genus $g$, with $g_C \geqslant 2$. Let $E$ be a vector bundle on $C$ of rank $r$, with $r\geqslant 2$. Let $\mc Q:=\mc Q(E,\,d)$ be the Quot Scheme parameterizing torsion quotients of $E$ of degree $d$. We explicitly describe all deformations of $\mc Q$., Comment: Final version; Revista Matem\'atica Complutense (to appear)

A moduli space of stable maps to the fibers of a fiber bundle is constructed. The new moduli space is a family version of the classical moduli space of stable maps to a non-singular complex projective variety. The virtual cycle for this moduli space is also constructed, and an analogue of Gromov-Witten invariants is defined. As an application, we recover the formula for the number of rational degree d curves in P3, whose image lies in a plane in P3 (known as planar curves in P3), intersecting r general lines while passing through given s general points, where r + 2s = 3d + 2, firstly proved by R. Mukherjee, R. Kumar Singh and the fourth named author.

A topological space (not necessarily simply connected) is said to have finite homotopy rank-sum if the sum of the ranks of all higher homotopy groups (from the second homotopy group onward) is finite. In this article, we characterize the smooth compact complex Kaehler surfaces having finite homotopy rank-sum. We also prove the Steinness of the universal cover of these surfaces assuming holomorphic convexity of the universal cover., Comment: Final version; Proc. Amer. Math. Soc. (to appear)

We show that the Poisson structure on the smooth locus of a moduli space of 1-dimensional sheaves on a Poisson projective surface $X$ over $\mathbb C$ is a reduction of a natural symplectic structure.

Based on the conviction of switching information from locally accessible to locally hidden environs, the concept of hidden nonlocality activation has recently been highlighted by Bandyopadhyay et al. in [Phys. Rev. A 104, L050201 (2021)]. They have demonstrated that a certain locally distinguishable set of pure quantum states can be transformed into a locally indistinguishable set with certainty through orthogonality preserving local measurements (OPLMs). This transformation makes the set locally inaccessible, despite being locally accessible before. This phenomenon is defined as the activation of hidden nonlocality. In this paper, we present two classes of locally distinguishable sets within $(2m+1) \otimes 2 \otimes (2m+1)$ systems. One class reveals nonlocality through local operations, whereas the other requires joint measurements for it. As the later class depends on nonlocal operations to exhibit nonlocality, it arguably has a lower degree of nonlocality, and accordingly, can be considered as more local compared to the first class. This analysis exhibits a stronger manifestation of locality by elucidating the nuanced interplay between these distinct local phenomena within the framework of quantum state discrimination. Furthermore, we also explore their significant applications in the context of data hiding. Additionally, we introduce the concept of \emph{``strong local"} set and compare it with various activatable sets, highlighting differences in terms of locality., Comment: 15 pages, 7 figures, latex2e, revtex, updated version, comments welcome

The Caporaso-Harris formula gives a recursive algorithm to enumerate delta nodal degree d curves in P^2. The recursion is obtained in terms of curves of lower degree that are tangent to a given divisor. This paper presents two generalizations of this method. The first result is on enumeration of one cuspidal curves on P^2, and the second result is an extension to the fiber bundle setting. We solve the question of counting the characteristic number planar nodal cubics in P^3 by extending the idea of Caporaso-Harris., Comment: 38 pages, 7 figures. Comments are welcome

We prove that the direct image of an anti-ample vector bundle is anti-ample under any finite flat morphism of non-singular projective varieties. In the second part we prove some properties of big and nef vector bundles. In particular it is shown that the tensor product of a nef vector bundle with a nef and big vector bundle is again nef and big. This generalizes a result of Schneider., Comment: 7 pages. To be published in Journal of Geometry and Physics

Given a holomorphic Lie algebroid on an m-pointed Riemann surface, we define parabolic Lie algebroid connections on any parabolic vector bundle equipped with parabolic structure over the marked points. An analogue of the Atiyah exact sequence for parabolic Lie algebroids is constructed. For any Lie algebroid whose underlying holomorphic vector bundle is stable, we give a complete characterization of all the parabolic vector bundles that admit a parabolic Lie algebroid connection., Comment: 23 pages

Let $X$ be a compact connected Riemann surface, and let ${\mathcal Q}(r,d)$ denote the quot scheme parametrizing the torsion quotients of ${\mathcal O}^{\oplus r}_X$ of degree $d$. Given a projective structure $P$ on $X$, we show that the cotangent bundle $T^*{\mathcal U}$ of a certain nonempty Zariski open subset ${\mathcal U}\, \subset\, {\mathcal Q}(r,d)$, equipped with the natural Liouville symplectic form, admits a canonical deformation quantization. When $r\,=\,1\,=\, d$, then ${\mathcal Q}(r,d)\,=\, X$; this case was addressed earlier in \cite{BB}., Comment: Final version

Let $G$ be a finite abelian group acting faithfully on ${\mathbb C}{\mathbb P}^1$ via holomorphic automorphisms. In \cite{DF2} the $G$--equivariant algebraic vector bundles on $G$--invariant affine open subsets of ${\mathbb C}{\mathbb P}^1$ were classified. We classify the $G$--equivariant algebraic vector bundles on ${\mathbb C}{\mathbb P}^1$., Comment: Final version. To appear in "Bollettino dell'Unione Matematica Italiana (BUMI)."

Let $X$ be a smooth irreducible complex projective curve of genus $g\,\geq\, 2$, and let $D\,=\,x_1+\dots+x_r$ be a reduced effective divisor on $X$. Denote by $U_{\alpha}(L)$ the moduli space of stable parabolic vector bundles on $X$ of rank $n$, determinant $L$ of degree $d$ with flag type $\{\{k^i_j\}_{j=1}^{m_i}\}_{i=1}^r$. Assume that the greatest common divisor of the collection of integers $\{\text{degree}(L),\, \{\{k^i_j\}_{j=1}^{m_i}\}_{i=1}^r\}$ is $1$; this condition ensures that there is a Poincar\'e parabolic vector bundle on $X\times U_{\alpha}(L)$. The direct image, to $U_{\alpha}(L)$, of the vector bundle underlying the Poincar\'e parabolic vector bundle is called the parabolic Picard sheaf. We prove that the parabolic Picard sheaf is stable.

Let $X$ be a compact connected Riemann surface and $(V, \phi)$ a holomorphic Lie algebroid on $X$ such that the holomorphic vector bundle $V$ is stable. We give a necessary and sufficient condition on holomorphic vector bundles $E$ on $X$ to admit a Lie algebroid connection., Comment: Final version; to appear in Geometriae Dedicata

Let $G$ be a semisimple complex algebraic group with a simple Lie algebra $\mathfrak{g}$, and let $\mathcal{M}^0_{G}$ denote the moduli stack of topologically trivial stable $G$-bundles on a smooth projective curve $C$. Fix a theta characteristic $\kappa$ on $C$ which is even in case $\dim{\mathfrak{g}}$ is odd. We show that there is a nonempty Zariski open substack ${\mathcal U}_\kappa$ of $\mathcal{M}^0_{G}$ such that $H^i(C,\, \text{ad}(E_G)\otimes\kappa) \,=\, 0$, $i\,=\, 1,\, 2$, for all $E_G\,\in\, {\mathcal U}_\kappa$. It is shown that any such $E_G$ has a canonical connection. It is also shown that the tangent bundle $T{U}_\kappa$ has a natural splitting, where $U_{\kappa}$ is the restriction of $\mathcal{U}_{\kappa}$ to the semi-stable locus. We also produce an isomorphism between two naturally occurring $\Omega^1_{{M}^{rs}_{G}}$--torsors on the moduli space of regularly stable ${M}^{rs}_{G}$., Comment: 16 Pages, Final version, to appear in International Journal of Mathematics

An unextendible biseparable basis (UBB) is a set of orthogonal pure biseparable states which span a subspace of a given Hilbert space while the complementary subspace contains only genuinely entangled states. These biseparable bases are useful to produce genuinely entangled subspace in multipartite system. Such a subspace could be more beneficial for information theoretic applications if we are able to extract distillable entanglement across every bipartition from each state of this subspace. In this manuscript, we have derived a rule for constructing such a class of UBB which exhibits the phenomenon of strong quantum nonlocality. This result positively answers the open problem raised by Agrawal et al. [Phys. Rev. A 99, 032335 (2019)]; that there exists a UBB which can demonstrate the phenomenon of strong quantum nonlocality in the perspective of local irreducibility paradigm., Comment: 15 pages, 4 figures, latex2e, comments welcome

A local classification of semisimple algebras of vector fields on $\mathbb{C}^{3}$ is given, using the canonical forms of the Heisenberg algebra and of $sl(2,\mathbb{C})\times sl(2,\mathbb{C})$.

We give a characterization of genuinely ramified maps of formal orbifolds in the Tannakian framework. In particular we show that a morphism is genuinely ramified if and only if the pullback of every stable bundle remains stable in the orbifold category. We also give some other characterizations of genuine ramification. This generalizes the results of [BKP1] and [BP1]. In fact, it is a positive characteristic analogue of results in [BKP2]., Comment: Final version

Let $f:X\rightarrow Y$ be a generically smooth morphism between irreducible smooth projective curves over an algebraically closed field of arbitrary characteristic. We prove that the vector bundle $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is virtually globally generated. Moreover, $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is ample if and only if $f$ is genuinely ramified., Comment: Final version

We prove that on the product of two elliptic curves a generic nonsingular turbulent foliation does not admit any transversely projective structure.

Given a compact Riemann surface $X$, we consider the line, in the space of sections of $2\Theta$ on $J^0(X)$, orthogonal to all the sections that vanish at the origin. This line produces a natural meromorphic bidifferential on $X\times X$ with a pole of order two on the diagonal. This bidifferential is extensively investigated. In particular we show that it produces a projective structure on $X$ which is different from the standard ones., Comment: Final version to appear on IMRN

Let $f : X \rightarrow Y$ be a generically smooth nonconstant morphism between irreducible projective curves, defined over an algebraically closed field, which is \'etale on an open subset of $Y$ that contains both the singular locus of $Y$ and the image, in $Y$, of the singular locus of $X$. We prove that the following statements are equivalent: \begin{enumerate} \item The homomorphism of \'etale fundamental groups $$f_* : \pi_1^{\rm et}(X) \rightarrow\pi_1^{\rm et}(Y)$$ induced by $f$ is surjective. \item There is no nontrivial \'etale covering $\phi : Y' \rightarrow Y$ admitting a morphism $q: X \rightarrow Y'$ such that $\phi\circ q = f$. \item The fiber product $X\times_Y X$ is connected. \item $\dim H^0(X, f^*f_* {\mathcal O}_X)= 1$. \item ${\mathcal O}_Y \subset f_*{\mathcal O}_X$ is the maximal semistable subsheaf. \item The pullback $f^*E$ of every stable sheaf $E$ on $Y$ is also stable. \end{enumerate}, Comment: Final version

Interpreting tangency as a limit of two transverse intersections, we obtain a concrete formula to enumerate smooth degree d plane curves tangent to a given line at multiple points with arbitrary order of tangency. One nodal curves with multiple tangencies of any order are enumerated. Also, one cuspidal curves, that are tangent to first order to a given line at multiple points, are enumerated. We also present a new way to enumerate curves with one node; it is interpreted as a degeneration of a curve tangent to a given line. That method is extended to enumerate curves with two nodes, and also curves with one tacnode are enumerated. In the final part of the paper, it is shown how this idea can be applied in the setting of stable maps and perform a concrete computation to enumerate rational curves with first order tangency. A large number of low degree cases have been worked out explicitly., Comment: Changed the title of the paper. 48 pages

We introduce three notion of tameness of the Nori fundamental group scheme for a normal quasiprojective variety $X$ over an algebraically closed field. It is proved that these three notions agree if $X$ admits a smooth completion with strict normal crossing divisor as the complement. We also prove a Lefschetz type restriction theorem for the tame Nori fundamental group scheme for such an $X$., Comment: 12 pages

We prove that any holomorphic vector bundle admitting a holomorphic connection, over a compact K\"ahler Calabi-Yau manifold, also admits a flat holomorphic connection. This addresses a particular case of a question asked by Atiyah and generalizes a result previously obtained in \cite{BD} for simply connected compact K\"ahler Calabi-Yau manifolds. We give some applications of it in the framework of Cartan geometries and foliated Cartan geometries on K\"ahler Calabi-Yau manifolds., Comment: Final version

First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $\Sigma_g$ of genus $g\geq 2$, satisfying the condition that the image of the associated monodromy homomorphism is (real) Fuchsian \cite{BDHH} or some cocompact Kleinian subgroup $$\Gamma \subset \text{SL}(2, \mathbb C)$$ as in \cite{BDHH2}. As a consequence, there exist holomorphic maps from $\Sigma_g$ to the quotient space $\text{SL}(2, \mathbb C)/ \Gamma$, where $\Gamma \subset \text{SL}(2, \mathbb C)$ is a cocompact lattice, that do not factor through any elliptic curve \cite{BDHH2}. This answers positively a question of Ghys in \cite{Gh}; the question was also raised by Huckleberry and Winkelmann in \cite{HW}. Then we prove that when $M$ is a Riemann surface, a Torelli type theorem holds for the affine group scheme over $\mathbb C$ obtained from the category of holomorphic connections on {\it \'etale trivial} holomorphic bundles. After that, we explain how to compute in a simple way the holonomy of a holomorphic connection on a free vector bundle. Finally, for a compact K\"ahler manifold $M$, we investigate the neutral Tannakian category given by the holomorphic connections on \'etale trivial holomorphic bundles over $M$. If $\varpi$ (respectively, $\Theta$) stands for the affine group scheme over $\mathbb C$ obtained from the category of connections (respectively, connections on free (trivial) vector bundles), then the natural inclusion produces a morphism $v:{\mathcal O}(\Theta)\longrightarrow {\mathcal O}(\varpi)$ of Hopf algebras. We present a description of the transpose of $v$ in terms of the iterated integrals., Comment: To appear in the Int. Jour. Math. volume in honor of Oscar Garcia-Prada

We prove that a compact Sasakian manifolds whose first and second basic Chern classes vanish is locally isomorphic to the real Heisenberg group equipped with the standard left invariant Sasakian structure up to deformation associated to a basic $1$-from., Comment: 7 pages. arXiv admin note: text overlap with arXiv:2211.16713

Given any irreducible smooth complex projective curve $X$, of genus at least $2$, consider the moduli stack of vector bundles on $X$ of fixed rank and determinant. It is proved that the isomorphism class of the stack uniquely determines the isomorphism class of the curve $X$ and the rank of the vector bundles. The case of trivial determinant, rank $2$ and genus $2$ is specially interesting: the curve can be recovered from the moduli stack, but not from the moduli space (since this moduli space is $\mathbb{P}^3$ thus independently of the curve). We also prove a Torelli theorem for moduli stacks of principal $G$-bundles on a curve of genus at least $3$, where $G$ is any non-abelian reductive group., Comment: 19 pages

There are two canonical projective structures on any compact Riemann surface of genus at least two: one coming from the uniformization theorem, and the other from Hodge theory. They produce two (different) families of projective structures over the moduli space $M_g$ of compact Riemann surfaces. A recent work of Biswas, Favale, Pirola, and Torelli shows that families of projective structures over $M_g$ admit an equivalent characterization in terms of complex connections on the dual $\mathcal{L}$ of the determinant of the Hodge line bundle over $M_g$; the same work gave the connection on $\mathcal L$ corresponding to the projective structures coming from uniformization. Here we construct the connection on $\mathcal L$ corresponding to the family of Hodge theoretic projective structures. This connection is described in three different ways: firstly as the connection induced on $\mathcal L$ by the Chern connection of the $L^2$-metric on the Hodge bundle, secondly as an appropriate root of the Quillen metric induced by the (square of the) Theta line bundle on the universal family of abelian varieties, endowed with the natural Hermitian metric given by the polarization, and finally as Quillen connection gotten using the Arakelov metric on the universal curve, modified by Faltings' delta invariant., Comment: Revised version. To appear on Communications in Mathematical Physics

We give an algebraic-geometric proof of the fact that for a smooth fibration $\pi: X \longrightarrow Y$ of projective varieties, the direct image $\pi_*(L\otimes K_{X/Y})$ of the adjoint line bundle of an ample (respectively, nef and $\pi$-strongly big) line bundle $L$ is ample (respectively, nef and big).

We have proven the existence of new higher-genus maxfaces with Enneper end. These maxfaces are not the companions of any existing minimal surfaces, and furthermore, the singularity set is located away from the ends. The nature of the singularities is systematically investigated., Comment: 27 pages, Final version. To appear in "The Journal of Geometric Analysis"

A classification of semisimple algebras of vector fields on C^N that have a Cartan subalgebra of dimension N is given. The proof uses basic representation theory and the local canonical form of semisimple Lie algebras of vector fields.

The moduli space of projective structures on a compact oriented surface $\Sigma$ has a holomorphic symplectic structure, which is constructed by pulling back, using the monodromy map, the Atiyah--Bott--Goldman symplectic form on the character variety ${\rm Hom}(\pi_1(\Sigma), \text{PSL}(2, {\mathbb C}))/\!\!/\text{PSL}(2, {\mathbb C})$. We produce another construction of this symplectic form. This construction shows that the symplectic form on the moduli space is actually algebraic. Note that the monodromy map is only holomorphic and not algebraic, so the first construction does not give algebraicity of the pulled back form., Comment: Final version

We investigate the moduli space ${\mathcal P}_g$ of smooth complex projective curves of genus $g$ equipped with a projective structure. When $g\, \geq\, 3$, it is shown that this moduli space ${\mathcal P}_g$ does not admit any nonconstant algebraic function. This is in contrast with the case of ${\mathcal P}_2$ which is known to be an affine variety., Comment: Final version

We study which representations $\rho$ of the fundamental group of a compact oriented surface $X$ admit Higgs data that depend holomorphically on the Riemann surface $\Sigma\,=\, (X,\, J)$ via non-abelian Hodge correspondence. For representations $\rho$ into $\mathrm{SL}(2,\mathbb C)$ we show that holomorphic dependency is equivalent to $\rho$ being unitary. For higher ranks this equivalence fails -- we show the existence of non-unitary and irreducible representations of the fundamental group into $\mathrm{SL}(n,\mathbb C)$ admitting Higgs data that are holomorphic in $\Sigma$, for $n$ large enough., Comment: 14 pages

Abstract. Let G be a complex reductive group and A be an Abelian variety of dimension d over $\mathbb{C}$. We determine the Poincar\'e polynomials and also the mixed Hodge polynomials of the moduli space $\mathcal{M}_{A}^{H}(G)$ of G-Higgs bundles over A. We show that these are normal varieties with symplectic singularities, when G is a classical semisimple group. For $G=GL_{n}(\mathbb{C})$, we also compute Poincar\'e polynomials of natural desingularizations of $\mathcal{M}_{A}^{H}(G)$ and of G-character varieties of free abelian groups, in some cases. In particular, explicit formulas are obtained when dim A=d=1, and also for rank 2 and 3 Higgs bundles, for arbitrary d>1., Comment: Dedicated to Peter E. Newstead

For a simple, simply connected, complex group G, we prove an explicit formula to compute the Atiyah class of parabolic determinant of cohomology line bundle on the moduli space of parabolic $G$-bundles. This generalizes an earlier result of Beilinson-Schechtman., Comment: Split from arXiv:2103.03792 as a separate paper based on suggestions of a referee with some additional details

We consider several related examples of Fourier-Mukai transformations involving the quot scheme. A method of showing conservativity of these Fourier-Mukai transformations is described., Comment: Final version

Let $X$ be a compact complex manifold such that its canonical bundle $K_X$ is numerically trivial. Assume additionally that $X$ is Moishezon or $X$ is Fujiki with dimension at most four. Using the MMP and classical results in foliation theory, we prove a Beauville-Bogomolov type decomposition theorem for $X$. We deduce that holomorphic geometric structures of affine type on $X$ are in fact locally homogeneous away from an analytic subset of complex codimension at least two, and that they cannot be rigid unless $X$ is an \'etale quotient of a compact complex torus. Moreover, we establish a characterization of torus quotients using the vanishing of the first two Chern classes which is valid for any compact complex $n$-folds of algebraic dimension at least $n-1$. Finally, we show that a compact complex manifold with trivial canonical bundle bearing a rigid geometric structure must have infinite fundamental group if either $X$ is Fujiki, $X$ is a threefold, or $X$ is of algebraic dimension at most one., Comment: 40 pages, v3: Final version; Math. Annalen (to appear)

We prove that on a general hypersurface in $\mathbb{P}^N$ of degree $d$ and dimension at least $2$, if an arithmetically Cohen-Macaulay (ACM) bundle $E$ and its dual have small regularity, then any non-trivial Hodge class in $H^{n}(X, E\otimes\Omega^n_X)$, $n = \lfloor\frac{N-1}{2}\rfloor$, produces a trivial direct summand of $E$. As a consequence, we prove that there is no universal Ulrich bundle on the family of smooth hypersurfaces of degree $d\geq 3$ and dimension at least $4$. This last statement may be viewed as a Franchetta-type conjecture for Ulrich bundles on smooth hypersurfaces., Comment: 16 pages, final version, Annali della Scuola Normale Superiore di Pisa, Classe di Scienze (to appear)