Showing 1–50 of 77 results for author: Bruzzo, U

Nested Hilbert Schemes on Hirzebruch surfaces and quiver varieties

Authors: Ugo Bruzzo, Valeriano Lanza, Pedro H. Dos Santos

Abstract: For $n\ge 1$ we show that the length 1 nested Hilbert scheme of the total space $X_n$ of the line bundle $\mathcal O_{\mathbb P^1}(-n)$, parameterizing pairs of nested 0-cycles in $X_n$, is a quiver variety associated with a suitable quiver with relations. This generalizes previous work about nested Hilbert schemes on $\mathbb C^2$ in one direction, and about the Hilbert schemes of points of… ▽ More For $n\ge 1$ we show that the length 1 nested Hilbert scheme of the total space $X_n$ of the line bundle $\mathcal O_{\mathbb P^1}(-n)$, parameterizing pairs of nested 0-cycles in $X_n$, is a quiver variety associated with a suitable quiver with relations. This generalizes previous work about nested Hilbert schemes on $\mathbb C^2$ in one direction, and about the Hilbert schemes of points of $X_n$ in another direction. △ Less

Submitted 8 May, 2024; v1 submitted 26 March, 2024; originally announced March 2024.

Comments: 28 pages. v2: Minor changes, including improvements in the presentation and the correction of typos

MSC Class: 14C05; 14D20; 14D23; 14J10; 14J26; 16G20

Positivity for Higgs vector bundles: criteria and applications

Authors: Ugo Bruzzo, Armando Capasso, Beatriz Graña Otero

Abstract: Working in the category of smooth projective varieties over an algebraically closed field of characteristic 0, we review notions of ampleness and numerical nefness for Higgs bundles which "feel" the Higgs field and formulate criteria of the Barton-Kleiman type for these notions. We give an application to minimal surfaces of general type that saturate the Miyaoka-Yau inequality, showing that their… ▽ More Working in the category of smooth projective varieties over an algebraically closed field of characteristic 0, we review notions of ampleness and numerical nefness for Higgs bundles which "feel" the Higgs field and formulate criteria of the Barton-Kleiman type for these notions. We give an application to minimal surfaces of general type that saturate the Miyaoka-Yau inequality, showing that their cotangent bundle is ample. This will use results by Langer that imply that also for varieties over algebraically closed field of characteristic zero the so-called Simpson system is stable. △ Less

Submitted 8 August, 2023; v1 submitted 31 July, 2023; originally announced July 2023.

Comments: 12 pages. v2: minor change in one example

MSC Class: 14D07; 14F06; 14H45; 14J29; 14J60

Seiberg-Witten differentials on the Hitchin base

Authors: Ugo Bruzzo, Peter Dalakov

Abstract: In this note we describe explicitly, in terms of Lie theory and cameral data, the covariant (Gauss--Manin) derivative of the Seiberg--Witten differential defined on the weight-one variation of Hodge structures that exists on a Zariski open subset of the base of the Hitchin fibration. Dedicated to Tony Pantev on the occasion of his 60th birthday. In this note we describe explicitly, in terms of Lie theory and cameral data, the covariant (Gauss--Manin) derivative of the Seiberg--Witten differential defined on the weight-one variation of Hodge structures that exists on a Zariski open subset of the base of the Hitchin fibration. Dedicated to Tony Pantev on the occasion of his 60th birthday. △ Less

Submitted 5 February, 2024; v1 submitted 20 February, 2023; originally announced February 2023.

Comments: 18 pages. Second version with minor modifications and corrected typos

MSC Class: 14D20; 14D07; 14H70

Journal ref: Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. (RACSAM) 118, 53 (2024)

D3-brane supergravity solutions from Ricci-flat metrics on canonical bundles of Kähler-Einstein surfaces

Authors: Ugo Bruzzo, Pietro Fré, Umar Shahzad, Mario Trigiante

Abstract: D3-brane solutions of type IIB supergravity can be obtained by means a classical ansatz involving a harmonic warp factor and two summands, the first being the flat Minkowskian metric of the D3 brane world-sheet and the second a Ricci flat metric on a suitable 6-dimensional transverse space, both twisted by the warp factor. Of particular interest is the case of the total space of thecanonical bundl… ▽ More D3-brane solutions of type IIB supergravity can be obtained by means a classical ansatz involving a harmonic warp factor and two summands, the first being the flat Minkowskian metric of the D3 brane world-sheet and the second a Ricci flat metric on a suitable 6-dimensional transverse space, both twisted by the warp factor. Of particular interest is the case of the total space of thecanonical bundle over a complex Kähler 2-fold. This situation emerges in many cases while considering the resolution of finite quotient singulaties. When the group is $\mathbb{Z}_4$, the complex 2-fold is the second Hirzebruch surface endowed with a Kähler metric having SU(2)xU(1) isometry. There is actually an entire class of such metrics parameterized by a single function, and best described in the AMSY symplectic formalism. We recover the existence of a two parameter subclass of Kähler-Einstein metrics on manifolds that are homeorphic to $S^2\times S^2$, and study in detail this class. The K"ahler-Einstein nature of these manifolds allows the construction of the Ricci flat metric on their canonical bundle via the Calabi Ansatz, which we recast in the AMSY formalism deriving some new elegant formulae. Furthermore we show the full integrability of the differential system of geodesics equations thanks to an additional conserved quantity that we unveil and which is similar to the Carter constant in the case of the Kerr metric. △ Less

Submitted 14 May, 2023; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: 52 pages. v2: 59 pages; we have improved the discussion of the 2-parameter family of singular Kaehler-Einstein metrics

MSC Class: 32Q20; 32Q25; 81T30; 83E50

Journal ref: Lett. Math. Phys. 113 (2023), no. 3, 64

On a conjecture about Higgs bundles for rank 2 and some inequalities

Authors: Ugo Bruzzo, Beatriz Graña Otero, Daniel Hernández Ruipérez

Abstract: We briefly review an open conjecture about Higgs bundles that are semistable with after pulling back to any curve, and prove it in the rank 2 case. We also prove a set of inequalities holding for H-nef Higgs bundles that generalize some of the Fulton-Lazarsfeld inequalities for numerically effective vector bundles. We briefly review an open conjecture about Higgs bundles that are semistable with after pulling back to any curve, and prove it in the rank 2 case. We also prove a set of inequalities holding for H-nef Higgs bundles that generalize some of the Fulton-Lazarsfeld inequalities for numerically effective vector bundles. △ Less

Submitted 13 August, 2023; v1 submitted 22 August, 2022; originally announced August 2022.

Comments: 13 pages. v2: 14 pages. Some results have been strengthened and the exposition has been reorganized. v3: minor changes, final version to appear in Mediterranean J. Math

MSC Class: 14H60; 14J60

Supercycles, stable supermaps and SUSY Nori motives

Authors: Ugo Bruzzo, Daniel Hernandez Ruiperez, Yuri I. Manin

Abstract: We define stable supercurves and stable supermaps, and based on these notions we develop a theory of Nori motives for the category of stable supermaps of SUSY curves with punctures. This will require several preliminary constructions, including the development of a basic theory of supercycles. We define stable supercurves and stable supermaps, and based on these notions we develop a theory of Nori motives for the category of stable supermaps of SUSY curves with punctures. This will require several preliminary constructions, including the development of a basic theory of supercycles. △ Less

Submitted 21 December, 2023; v1 submitted 29 March, 2022; originally announced March 2022.

Comments: 35 pages. v2: 38 pages, final version to appear in Algebraic Geometry and Physics; v3: title has been changed

MSC Class: 14C15; 14M30; 14H10; 83E30

Deformation of pairs and Noether-Lefschetz loci in toric varieties

Authors: Ugo Bruzzo, William D. Montoya

Abstract: We continue our study of the Noether-Lefschetz loci in toric varieties and investigate deformation of pairs (V,X) where V is a complete intersection subvariety and X a quasi-smooth hypersurface in a odd dimensional simplicial projective toric variety, with V\subset X. Under some assumptions, we prove that the cohomological class in H^{k,k}(X) associated to V remains of type (k,k) under an infinite… ▽ More We continue our study of the Noether-Lefschetz loci in toric varieties and investigate deformation of pairs (V,X) where V is a complete intersection subvariety and X a quasi-smooth hypersurface in a odd dimensional simplicial projective toric variety, with V\subset X. Under some assumptions, we prove that the cohomological class in H^{k,k}(X) associated to V remains of type (k,k) under an infinitesimal deformation if and only if V remains algebraic. Actually we prove that locally the Noether-Lefschetz locus is an irreducible component of a suitable Hilbert scheme. This generalizes Theorem 4.2 in our previous work [4] and the main theorem proved by Dan in [10]. △ Less

Submitted 1 March, 2022; originally announced March 2022.

Comments: 9 pages. arXiv admin note: text overlap with arXiv:2102.01050

MSC Class: 14C22; 14C30; 14J40; 14J70; 14M25

Moduli of rank 2 Higgs sheaves on elliptic surfaces

Authors: Ugo Bruzzo, Vitantonio Peragine

Abstract: We study torsion-free, rank 2 Higgs sheaves on genus one fibered surfaces, (semi)stable with respect to suitable polarizations in the sense of Friedman and O'Grady. We prove that slope-semistability of a Higgs sheaf on the surface implies semistability on the generic fiber. In the case of Higgs sheaves of odd fiber degree on elliptic surfaces in characteristic $\neq 2$, we prove that any moduli sp… ▽ More We study torsion-free, rank 2 Higgs sheaves on genus one fibered surfaces, (semi)stable with respect to suitable polarizations in the sense of Friedman and O'Grady. We prove that slope-semistability of a Higgs sheaf on the surface implies semistability on the generic fiber. In the case of Higgs sheaves of odd fiber degree on elliptic surfaces in characteristic $\neq 2$, we prove that any moduli space of Higgs sheaves with fixed numerical invariants splits canonically as the product of the moduli space of ordinary sheaves (with the same invariants), and the space of global regular $1$-forms on the surface. For elliptic surfaces with section in characteristic zero, and in the case arbitrary fiber degree, we prove that if a Higgs sheaf has reduced Friedman spectral curve, or is regular on a general fiber with non-reduced spectral cover, then its Higgs field takes values in the saturation of the pull-back of the canonical bundle of the base curve in the cotangent bundle of the surface. △ Less

Submitted 3 November, 2021; v1 submitted 7 October, 2021; originally announced October 2021.

Comments: 22 pages. v2: 21 pages, a few minor changes

MSC Class: 14F05; 14H60; 14J27; 14J60

Journal ref: Geom. Dedicata 217 (2023), no. 2, Paper No. 24

Resolution a la Kronheimer of $\mathbb{C}^3/Γ$ singularities and the Monge-Ampere equation for Ricci-flat Kaehler metrics in view of D3-brane solutions of supergravity

Authors: Massimo Bianchi, Ugo Bruzzo, Pietro Fré, Dario Martelli

Abstract: We analyze the relevance of the generalized Kronheimer construction for the gauge-gravity correspondence. We study the general structure of IIB supergravity D3-brane solutions on crepant resolutions $Y$ of singularities $\mathbb{C}^3/Γ$ with $Γ$ a finite subgroup of $SU(3)$. Next we concentrate on another essential item for the D3-brane construction, i.e., the existence of a Ricci-flat metric on… ▽ More We analyze the relevance of the generalized Kronheimer construction for the gauge-gravity correspondence. We study the general structure of IIB supergravity D3-brane solutions on crepant resolutions $Y$ of singularities $\mathbb{C}^3/Γ$ with $Γ$ a finite subgroup of $SU(3)$. Next we concentrate on another essential item for the D3-brane construction, i.e., the existence of a Ricci-flat metric on $Y$, with particular attention to the case $Γ=\mathbb{Z}_4$. We conjecture that on the exceptional divisor the Kronheimer Kähler metric and the Ricci-flat one, that is locally flat at infinity, coincide. The conjecture is shown to be true in the case of the Ricci-flat metric on ${\rm tot} K_{{\mathbb WP}[112]}$ that we construct, which is a partial resolution of $\mathbb{C}^3/\mathbb{Z}_4$. For the full resolution we have $Y=\operatorname{tot} K_{\mathbb{F}_{2}}$, where $\mathbb{F}_2$ is the second Hizebruch surface. We try to extend the proof of the conjecture to this case using the one-parameter Kähler metric on $\mathbb{F}_2$ produced by the Kronheimer construction as initial datum in a Monge-Ampère (MA) equation. We exhibit three formulations of this MA equation, one in terms of the Kähler potential, the other two in terms of the symplectic potential; in all cases one can establish a series solution in powers of the fiber variable of the canonical bundle. The main property of the MA equation is that it does not impose any condition on the initial geometry of the exceptional divisor, but uniquely determines all the subsequent terms as local functionals of the initial datum. While a formal proof is still missing, numerical and analytical results support the conjecture. As a by-product of our investigation we have identified some new properties of this type of MA equations that we believe to be so far unknown. △ Less

Submitted 25 May, 2021; originally announced May 2021.

Comments: 63 pages, 8 figures. To appear in the Lett. Math. Phys. special issue in memory of Boris A. Dubrovin

MSC Class: 14H25; 14J17; 32Q15; 32Q25; 53C25; 81T30; 81T40; 81T45; 81T60; 83E50

Journal ref: Lett. Math. Phys. 111 (2021), no. 3, Paper No. 79, 79 pp

On the Hodge conjecture for quasi-smooth intersections in toric varieties

Authors: Ugo Bruzzo, William D. Montoya

Abstract: We establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge Conjecture holds for… ▽ More We establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge Conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in [3]. We also show that the Hodge Conjecture holds asymptotically for suitable quasi-smooth hypersurface in the Noether-Lefschetz locus, where "asymptotically" means that the degree of the hypersurface is big enough. This extendes to toric varieties Otwinowska's result in [15]. △ Less

Submitted 1 February, 2021; originally announced February 2021.

Comments: 13 pages

MSC Class: 14C22; 14J70; 14M25

Journal ref: São Paulo J. Math. Sci. 15 (2021) 682-694

Koszul complexes and spectral sequences associated with Lie algebroids

Authors: U. Bruzzo, V. N. Rubtsov

Abstract: We study some spectral sequences associated with a locally free $\mathcal O_X$-module $\mathcal A$ which has a Lie algebroid structure. Here $X$ is either a complex manifold or a regular scheme over an algebraically closed field $k$. One spectral sequence can be associated with $\mathcal A$ by choosing a global section $V$ of $\mathcal A$, and considering a Koszul complex with a differential given… ▽ More We study some spectral sequences associated with a locally free $\mathcal O_X$-module $\mathcal A$ which has a Lie algebroid structure. Here $X$ is either a complex manifold or a regular scheme over an algebraically closed field $k$. One spectral sequence can be associated with $\mathcal A$ by choosing a global section $V$ of $\mathcal A$, and considering a Koszul complex with a differential given by inner product by $V$. This spectral sequence is shown to degenerate at the second page by using Deligne's degeneracy criterion. Another spectral sequence we study arises when considering the Atiyah algebroid $\mathcal D_E$ of a holomolorphic vector bundle $E$ on a complex manifold. If $V$ is a differential operator on $E$ with scalar symbol, i.e, a global section of $\mathcal D_E$, we associate with the pair $(E,V)$ a twisted Koszul complex. The first spectral sequence associated with this complex is known to degenerate at the first page in the untwisted ($E=0$) case △ Less

Submitted 17 December, 2020; originally announced December 2020.

Comments: 8 pages. To appear in São Paulo Journal of Mathematical Sciences

MSC Class: 14F05; 14F40; 32L10; 55N25; 55N91; 55R20

Journal ref: São Paulo J. Math. Sci. 15 (2021) 495-504

Semistable Higgs bundles on elliptic surfaces

Authors: Ugo Bruzzo, Vitantonio Peragine

Abstract: We analyze Higgs bundles $(V,φ)$ on a class of elliptic surfaces $π:X\to B$, whose underlying vector bundle $V$ has vertical determinant and is fiberwise semistable. We prove that if the spectral curve of $V$ is reduced, then $φ$ is vertical, while if $V$ is fiberwise regular with reduced (resp. integral) spectral curve, and if its rank and second Chern number satisfy an inequality involving the g… ▽ More We analyze Higgs bundles $(V,φ)$ on a class of elliptic surfaces $π:X\to B$, whose underlying vector bundle $V$ has vertical determinant and is fiberwise semistable. We prove that if the spectral curve of $V$ is reduced, then $φ$ is vertical, while if $V$ is fiberwise regular with reduced (resp. integral) spectral curve, and if its rank and second Chern number satisfy an inequality involving the genus of $B$ and the degree of the fundamental line bundle of $π$ (resp., if the fundamental line bundle is sufficiently ample), then $φ$ is scalar. We apply these results to the problem of characterizing slope-semistable Higgs bundles with vanishing discriminant in terms of the semistability of their pull-backs via maps from arbitrary (smooth, irreducible, complete) curves to $X$. △ Less

Submitted 21 January, 2021; v1 submitted 19 August, 2020; originally announced August 2020.

Comments: 25 pages. v2: typos corrected, Section 3.2 partially rewritten. v3: minor correction in the exposition. To appear in Adv. Geom

MSC Class: 14F05; 14H60; 14J27; 14J60

Journal ref: Adv. Geom. 22 (2022) 151--169

Notes on fundamental algebraic supergeometry. Hilbert and Picard superschemes

Authors: Ugo Bruzzo, Daniel Hernandez Ruiperez, Alexander Polishchuk

Abstract: These notes aim at providing a complete and systematic account of some foundational aspects of algebraic supergeometry, namely, the extension to the geometry of superschemes of many classical notions, techniques and results that make up the general backbone of algebraic geometry, most of them originating from Grothendieck's work. In particular, we extend to algebraic supergeometry such notions as… ▽ More These notes aim at providing a complete and systematic account of some foundational aspects of algebraic supergeometry, namely, the extension to the geometry of superschemes of many classical notions, techniques and results that make up the general backbone of algebraic geometry, most of them originating from Grothendieck's work. In particular, we extend to algebraic supergeometry such notions as projective and proper morphisms, finiteness of the cohomology, vector and projective bundles, cohomology base change, semicontinuity theorems, relative duality, Castelnuovo-Mumford regularity, flattening, Hilbert and Quot schemes, faithfully flat descent, quotient étale relations (notably, Picard schemes), among others. Some results may be found elsewhere, and, in particular, there is some overlap with a recent preprint by Moosavian and Zhou. However, many techniques and constructions are presented here for the first time, notably, a first development of Grothendieck relative duality for proper morphisms of superschemes, the construction of the Hilbert superscheme in a more general situation than the one already known (which in particular allows one to treat the case of sub-superschemes of supergrassmannians), and a rigorous construction of the Picard superscheme for a locally superprojective morphism of noetherian superschemes with geometrically integral fibres. Moreover, some of the proofs given here are new as well, even when restricted to ordinary schemes. In a final section we construct a period map from an open substack of the moduli of proper and smooth supercurves to the moduli stack of principally polarized abelian superchemes. △ Less

Submitted 21 January, 2023; v1 submitted 3 August, 2020; originally announced August 2020.

Comments: 86 pages. v2: 88 pages. Added a comparison of the superperiod map with the D'Hoker-Phong superperiod matrix. Minor corrections. v3: final version accepted for publication in Advances in Mathematics. Minor corrections, changes and additions as suggested by the referee

MSC Class: 14K10; 32D11; 14D22; 14D23; 14H10; 83E30

Journal ref: Adv. Math. 415 (2023) Art. No. 108890, 115 pp

On the Irreducibility of Some Quiver Varieties

Authors: Claudio Bartocci, Ugo Bruzzo, Valeriano Lanza, Claudio L. S. Rava

Abstract: We prove that certain quiver varieties are irreducible and therefore are isomorphic to Hilbert schemes of points of the total spaces of the bundles $\mathcal O_{\mathbb P^1}(-n)$ for $n \ge 1$. We prove that certain quiver varieties are irreducible and therefore are isomorphic to Hilbert schemes of points of the total spaces of the bundles $\mathcal O_{\mathbb P^1}(-n)$ for $n \ge 1$. △ Less

Submitted 26 July, 2020; v1 submitted 12 March, 2020; originally announced March 2020.

MSC Class: 14D20; 14D21; 14J60; 16G20

Journal ref: SIGMA 16 (2020), 069, 13 pages

Codimension bounds for the Noether-Lefschetz components for toric varieties

Authors: Ugo Bruzzo, William D. Montoya

Abstract: For a quasi-smooth hyper-surface $X$ in a projective simplicial toric variety $P$, the morphism $i:H^p(P) \to H^p(X)$ induced by the inclusion is injective for $p=d$ and an isomorphism for $p<d-1$, where $d=dim\ P$. This allows one to define the Noether-Lefschetz locus $NL_β$ as the locus of quasi-smooth hypersurfaces of degree $β$ such that $i$ acting on the middle algebraic cohomology is not an… ▽ More For a quasi-smooth hyper-surface $X$ in a projective simplicial toric variety $P$, the morphism $i:H^p(P) \to H^p(X)$ induced by the inclusion is injective for $p=d$ and an isomorphism for $p<d-1$, where $d=dim\ P$. This allows one to define the Noether-Lefschetz locus $NL_β$ as the locus of quasi-smooth hypersurfaces of degree $β$ such that $i$ acting on the middle algebraic cohomology is not an isomorphism. In this paper we prove that, under some assumptions, if $dim P =2k+1$ and $kβ-β_0=nη$ $(n\in\mathbb N)$, where $η$ is the class of a 0-regular ample divisor, and $β_0$ is the anticanonical class, then every irreducible component $V$ of the Noether-Lefschetz locus quasi-smooth hypersurfaces of degree $β$ satifies the bounds $n+1\leq codim\ V \leq h^{k-1,k+1}(X)$. △ Less

Submitted 7 January, 2020; originally announced January 2020.

Comments: 7 pages

Journal ref: Eur. J. Math. 11 (2022) 806--814

The supermoduli of SUSY curves with Ramond punctures

Authors: Ugo Bruzzo, Daniel Hernández Ruipérez

Abstract: We construct local and global moduli spaces of supersymmetric curves with Ramond-Ramond punctures. We assume that the underlying ordinary algebraic curves have a level n structure and build these supermoduli spaces as algebraic superspaces, i.e., quotients of étale equivalence relations between superschemes. We construct local and global moduli spaces of supersymmetric curves with Ramond-Ramond punctures. We assume that the underlying ordinary algebraic curves have a level n structure and build these supermoduli spaces as algebraic superspaces, i.e., quotients of étale equivalence relations between superschemes. △ Less

Submitted 30 May, 2021; v1 submitted 27 October, 2019; originally announced October 2019.

Comments: 34 pages. v2: corrected a minor inconsequential mistake in a proof. v3: 35 pages. Minor changes and additions after the referee's suggestions. To appear in Rev. Real Acad. Ciencias Exactas Fis. Nat. Ser. A. Mat

MSC Class: 14D20; 14J60; 14J27; 14H40; 83E30

Journal ref: Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 115 (2021), no. 3, 144

An asymptotic description of the Noether-Lefschetz components in toric varieties

Authors: Ugo Bruzzo, William D. Montoya

Abstract: We extend the definition of Noether-Leschetz components to quasi-smooth hypersurfaces in a projective simplicial toric variety of dimension 2k+1, and prove that asymptotically the components whose codimension is upper bounded by a suitable effective constant correspond to hypersurfaces containing a small degree k-dimensional subvariety. As a corollary we get an asymptotic characterization of the c… ▽ More We extend the definition of Noether-Leschetz components to quasi-smooth hypersurfaces in a projective simplicial toric variety of dimension 2k+1, and prove that asymptotically the components whose codimension is upper bounded by a suitable effective constant correspond to hypersurfaces containing a small degree k-dimensional subvariety. As a corollary we get an asymptotic characterization of the components with small codimension, generalizing Otwinowska's work for odd-dimensional projective spaces and Green and Voisin's for projective 3-space. Some tools that are developed in this paper are a generalization of Macaulay theorem forprojective irreducible varieties with zero irregularity, and an extension of the notion of Gorenstein ideal to Cox rings of projective simplicial toric varieties. △ Less

Submitted 11 January, 2022; v1 submitted 4 May, 2019; originally announced May 2019.

Comments: 22 pages. v2: Some definitions clarified. v3: 21 pages, substantially rewritten

MSC Class: 14C22; 14J70; 14M25

Filtrations of numerically flat Higgs bundles and curve semistable Higgs bundles on Calabi-Yau manifolds

Authors: Ugo Bruzzo, Armando Capasso

Abstract: We consider Higgs bundles satisfying a notion of numerical flatness (H-nflatness) that was previously introduced, and show that they have Jordan-Hölder filtrations whose quotients are stable, locally free and H-nflat. This is applied to show that curve semistable Higgs bundles on simply connected Calabi-Yau manifolds have vanishing discriminant. We consider Higgs bundles satisfying a notion of numerical flatness (H-nflatness) that was previously introduced, and show that they have Jordan-Hölder filtrations whose quotients are stable, locally free and H-nflat. This is applied to show that curve semistable Higgs bundles on simply connected Calabi-Yau manifolds have vanishing discriminant. △ Less

Submitted 18 July, 2019; v1 submitted 22 April, 2019; originally announced April 2019.

Comments: 9 pages. v2: 12 pages, details (especially to the proof of Lemma 3.1), explanations and comments added; typos corrected

MSC Class: 14F05; 14H60; 14J60

Journal ref: in Advances in Geometry 23 (2023) 215-222

Crepant Resolutions of $\mathbb{C}^3/\mathbb{Z}_4$ and the Generalized Kronheimer Construction (in view of the Gauge/Gravity Correspondence)

Authors: Ugo Bruzzo, Annamaria Fino, Pietro Fré, Pietro Antonio Grassi, Dimitri Markushevich

Abstract: As a continuation of a general program started in two previous publications, in the present paper we study the Kähler quotient resolution of the orbifold $\mathbb{C}^3/\mathbb{Z}_4$, comparing with the results of a toric description of the same. In this way we determine the algebraic structure of the exceptional divisor, whose compact component is the second Hirzebruch surface $\mathbb F_2$. We de… ▽ More As a continuation of a general program started in two previous publications, in the present paper we study the Kähler quotient resolution of the orbifold $\mathbb{C}^3/\mathbb{Z}_4$, comparing with the results of a toric description of the same. In this way we determine the algebraic structure of the exceptional divisor, whose compact component is the second Hirzebruch surface $\mathbb F_2$. We determine the explicit Kähler geometry of the smooth resolved manifold $Y$, which is the total space of the canonical bundle of $\mathbb F_2$. We study in detail the chamber structure of the space of stability parameters (corresponding in gauge theory to the Fayet-Iliopoulos parameters) that are involved in the construction of the desingularizations either by generalized Kronheimer quotient, or as algebro-geometric quotients. The walls of the chambers correspond to two degenerations; one is a partial desingularization of the quotient, which is the total space of the canonical bundle of the weighted projective space $\mathbb P[1,1,2]$, while the other is the product of the ALE space $A_1$ by a line, and is related to the full resolution in a subtler way. These geometrical results will be used to look for exact supergravity brane solutions and dual superconformal gauge theories. △ Less

Submitted 4 June, 2019; v1 submitted 4 February, 2019; originally announced February 2019.

Comments: 71 pages, 18 figures, 11 tables. v2: 72 pages, revised after the referees' remarks, corrections in the metadata

Journal ref: J. Geom. Phys. 145 (2019) 103467, 50 pp

Homology of twisted quiver bundles with relations

Authors: Claudio Bartocci, Ugo Bruzzo, Claudio L. S. Rava

Abstract: We study the Ext modules in the category of left modules over a twisted algebra of a finite quiver over a ringed space $(X,\mathcal O_X)$, allowing for the presence of relations. We introduce a spectral sequence which relates the Ext modules in that category with the Ext modules in the category of $\mathcal O_X$-modules. Contrary to what happens in the absence of relations, this spectral sequence… ▽ More We study the Ext modules in the category of left modules over a twisted algebra of a finite quiver over a ringed space $(X,\mathcal O_X)$, allowing for the presence of relations. We introduce a spectral sequence which relates the Ext modules in that category with the Ext modules in the category of $\mathcal O_X$-modules. Contrary to what happens in the absence of relations, this spectral sequence in general does not degenerate at the second page. We also consider local Ext sheaves. Under suitable hypotheses, the Ext modules are represented as hypercohomology groups △ Less

Submitted 1 March, 2019; v1 submitted 12 June, 2018; originally announced June 2018.

Comments: 24 pages, 1 figure. v2: 23 pages, 1 figure; last section rewritten with a shorter and more direct proof; references added. v3: Corrections in the metadata. v4: Typos corrected; Lemma 2.3 needed slightly stronger hypotheses. v5: The exposition has been thoroughly streamlined and an example has been added. 22 pages

MSC Class: 14D20; 16G20; 18G15; 55T99

Journal ref: Journal of Algebra 546 (2020) 432-456

Lie algebroid cohomology and Lie algebroid extensions

Authors: Ettore Aldrovandi, Ugo Bruzzo, Vladimir Rubtsov

Abstract: We consider the extension problem for Lie algebroids over schemes over a field. Given a locally free Lie algebroid Q over a scheme (X,O), and a sheaf of finitely generated Lie O-algebras L, we determine the obstruction to the existence of extensions 0 --> L --> E --> Q --> 0, and classify the extensions in terms of a suitable Lie algebroid hypercohomology group. In the preliminary sections we stud… ▽ More We consider the extension problem for Lie algebroids over schemes over a field. Given a locally free Lie algebroid Q over a scheme (X,O), and a sheaf of finitely generated Lie O-algebras L, we determine the obstruction to the existence of extensions 0 --> L --> E --> Q --> 0, and classify the extensions in terms of a suitable Lie algebroid hypercohomology group. In the preliminary sections we study free Lie algebroids and recall some basic facts about Lie algebroid hypercohomology. △ Less

Submitted 14 November, 2017; originally announced November 2017.

Comments: 27 pages

MSC Class: 14F40; 18G40; 32L10; 55N35; 55T05

Journal ref: J. of Algebra 505 (2018) 456-481

Semistable Higgs bundles on Calabi-Yau manifolds

Authors: Ugo Bruzzo, Valeriano Lanza, Alessio Lo Giudice

Abstract: We provide a partial classification of semistable Higgs bundles over a simply connected Calabi-Yau manifolds. Applications to a conjecture about a special class of semistable Higgs bundles are given. In particular, the conjecture is proved for K3 and Enriques surfaces, and some related classes of surfaces. We provide a partial classification of semistable Higgs bundles over a simply connected Calabi-Yau manifolds. Applications to a conjecture about a special class of semistable Higgs bundles are given. In particular, the conjecture is proved for K3 and Enriques surfaces, and some related classes of surfaces. △ Less

Submitted 10 October, 2017; originally announced October 2017.

Comments: 14 pages

MSC Class: 14F05; 14H60; 14J60

Journal ref: Asian J. Math. 23 (2019) 905-918

The Kähler Quotient Resolution of $\mathbb{C}^3/Γ$ singularities, the McKay correspondence and D=3 $\mathcal{N}=2$ Chern-Simons gauge theories

Authors: Ugo Bruzzo, Anna Fino, Pietro Fré

Abstract: We advocate that a generalized Kronheimer construction of the Kähler quotient crepant resolution $\mathcal{M}_ζ\longrightarrow \mathbb{C}^3/Γ$ of an orbifold singularity where $Γ\subset \mathrm{SU(3)}$ is a finite subgroup naturally defines the field content and interaction structure of a superconformal Chern-Simons Gauge Theory. This is supposedly the dual of an M2-brane solution of $D=11$ superg… ▽ More We advocate that a generalized Kronheimer construction of the Kähler quotient crepant resolution $\mathcal{M}_ζ\longrightarrow \mathbb{C}^3/Γ$ of an orbifold singularity where $Γ\subset \mathrm{SU(3)}$ is a finite subgroup naturally defines the field content and interaction structure of a superconformal Chern-Simons Gauge Theory. This is supposedly the dual of an M2-brane solution of $D=11$ supergravity with $\mathbb{C}\times\mathcal{M}_ζ$ as transverse space. We illustrate and discuss many aspects of this of constructions emphasizing that the equation $\pmb{p}\wedge\pmb{p}=0$ which provides the Kähler analogue of the holomorphic sector in the hyperKähler moment map equations canonically defines the structure of a universal superpotential in the CS theory. The kernel of the above equation can be described as the orbit with respect to a quiver Lie group $\mathcal{G}_Γ$ of a locus $L_Γ\subset \mathrm{Hom}_Γ(\mathcal{Q}\otimes R,R)$ that has also a universal definition. We discuss the relation between the coset manifold $\mathcal{G}_Γ/\mathcal{F}_Γ$, the gauge group $\mathcal{F}_Γ$ being the maximal compact subgroup of the quiver group, the moment map equations and the first Chern classes of the tautological vector bundles that are in a one-to-one correspondence with the nontrivial irreps of $Γ$. These first Chern classes provide a basis for the cohomology group $H^2(\mathcal{M}_ζ)$. We discuss the relation with conjugacy classes of $Γ$ and provide the explicit construction of several examples emphasizing the role of a generalized McKay correspondence. The case of the ALE manifold resolution of $\mathbb{C}^2/Γ$ singularities is utilized as a comparison term and new formulae related with the complex presentation of Gibbons-Hawking metrics are exhibited. △ Less

Submitted 20 May, 2018; v1 submitted 3 October, 2017; originally announced October 2017.

Comments: 120 pages, 7 figures. v2: 121 pages, a few minor changes. v3: references added. v4: 122 pages, 9 figures, minor changes in the presentation. Final version to be published in Commun. Math. Phys

Report number: ARC-17-6 MSC Class: 81T30; 81T45 14E15; 32S45

Journal ref: Commun. Math. Phys. 365 (2019) 93-214

On the Hodge conjecture for hypersurfaces in toric varieties

Authors: Ugo Bruzzo, Antonella Grassi

Abstract: We show that very general hypersurfaces in odd-dimensional simplicial projective toric varieties verifying a certain combinatorial property satisfy the Hodge conjecture (these include projective spaces). This gives a connection between the Oda conjecture and Hodge conjecture. We also give an explicit criterion which depends on the degree for very general hypersurfaces for the combinatorial conditi… ▽ More We show that very general hypersurfaces in odd-dimensional simplicial projective toric varieties verifying a certain combinatorial property satisfy the Hodge conjecture (these include projective spaces). This gives a connection between the Oda conjecture and Hodge conjecture. We also give an explicit criterion which depends on the degree for very general hypersurfaces for the combinatorial condition to be verified. △ Less

Submitted 16 August, 2017; originally announced August 2017.

Comments: 11 pages

Report number: SISSA 39/2017/MATE MSC Class: 14C22; 14J70; 14M25; 32S35

Journal ref: Comm. Anal. Geom. 28 (2020), no. 8, 1773-1786

Existence and density of general components of the Noether-Lefschetz locus on normal threefolds

Authors: Ugo Bruzzo, Antonella Grassi, Angelo Felice Lopez

Abstract: We consider the Noether-Lefschetz problem for surfaces in Q-factorial normal 3-folds with rational singularities. We show the existence of components of the Noether-Lefschetz locus of maximal codimension, and that there are indeed infinitely many of them. Moreover, we show that their union is dense in the natural topology. We consider the Noether-Lefschetz problem for surfaces in Q-factorial normal 3-folds with rational singularities. We show the existence of components of the Noether-Lefschetz locus of maximal codimension, and that there are indeed infinitely many of them. Moreover, we show that their union is dense in the natural topology. △ Less

Submitted 1 July, 2019; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 14 pages. v2: 13 pages, exposition improved. v3: misprint corrected. v4: results strengthened; added section with examples; typos corrected; v5: added Rmk.2.6; more minor revisions

MSC Class: 14C22; 14J30; 14M25

Journal ref: Int. Math. Res. Notes. Vol. 2021, Issue 17, September 2021, pp. 13416-13433

Higgs bundles and fundamental group schemes

Authors: Indranil Biswas, Ugo Bruzzo, Sudarshan Gurjar

Abstract: Relying on a notion of "numerical effectiveness" for Higgs bundles, we show that the category of "numerically flat" Higgs vector bundles on a smooth projective variety $X$ is a Tannakian category. We introduce the associated group scheme, that we call the "Higgs fundamental group scheme of $X$," and show that its properties are related to a conjecture about the vanishing of the Chern classes of nu… ▽ More Relying on a notion of "numerical effectiveness" for Higgs bundles, we show that the category of "numerically flat" Higgs vector bundles on a smooth projective variety $X$ is a Tannakian category. We introduce the associated group scheme, that we call the "Higgs fundamental group scheme of $X$," and show that its properties are related to a conjecture about the vanishing of the Chern classes of numerically flat Higgs vector bundles. △ Less

Submitted 25 July, 2016; originally announced July 2016.

Comments: 13 pages

MSC Class: 14J60; 18D35; 14F35

Journal ref: Adv. Geom. 19 (2019) 381--388

Yang-Mills-Higgs connections on Calabi-Yau manifolds, II

Authors: Indranil Biswas, Ugo Bruzzo, Beatriz Graña Otero, Alessio Lo Giudice

Abstract: In this paper we study Higgs and co-Higgs $G$-bundles on compact Kähler manifolds $X$. Our main results are: (1) If $X$ is Calabi-Yau, and $(E,\,θ)$ is a semistable Higgs or co-Higgs $G$-bundle on $X$, then the principal $G$-bundle $E$ is semistable. In particular, there is a deformation retract of ${\mathcal M}_H(G)$ onto $\mathcal M(G)$, where $\mathcal M(G)$ is the moduli space of semistable pr… ▽ More In this paper we study Higgs and co-Higgs $G$-bundles on compact Kähler manifolds $X$. Our main results are: (1) If $X$ is Calabi-Yau, and $(E,\,θ)$ is a semistable Higgs or co-Higgs $G$-bundle on $X$, then the principal $G$-bundle $E$ is semistable. In particular, there is a deformation retract of ${\mathcal M}_H(G)$ onto $\mathcal M(G)$, where $\mathcal M(G)$ is the moduli space of semistable principal $G$-bundles with vanishing rational Chern classes on $X$, and analogously, ${\mathcal M}_H(G)$ is the moduli space of semistable principal Higgs $G$-bundles with vanishing rational Chern classes. (2) Calabi-Yau manifolds are characterized as those compact Kähler manifolds whose tangent bundle is semistable for every Kähler class, and have the following property: if $(E,\,θ)$ is a semistable Higgs or co-Higgs vector bundle, then $E$ is semistable. △ Less

Submitted 8 August, 2016; v1 submitted 30 June, 2016; originally announced June 2016.

Comments: 12 pages. v2: references added. v3: final version, to be published in the Proceedings of GEOQUANT 2015, Travaux en Course, Université du Luxembourg

MSC Class: 14F05; 14J32; 32L05; 53C07; 58E15

Journal ref: Travaux Mathematiques 24 (2016) 167-181

Lie algebroid cohomology as a derived functor

Authors: Ugo Bruzzo

Abstract: We show that the hypercohomology of the Chevalley-Eilenberg-de Rham complex of a Lie algebroid L over a scheme with coefficients in an L-module can be expressed as a derived functor. We use this fact to study a Hochschild-Serre type spectral sequence attached to an extension of Lie algebroids. We show that the hypercohomology of the Chevalley-Eilenberg-de Rham complex of a Lie algebroid L over a scheme with coefficients in an L-module can be expressed as a derived functor. We use this fact to study a Hochschild-Serre type spectral sequence attached to an extension of Lie algebroids. △ Less

Submitted 14 April, 2017; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: 15 pages. v2: an incomplete argument has been fixed. Some details and acknowledgements have been added. v3: 16 pages, some details added. v4: minor corrections. Final version to appear in Journal of Algebra

MSC Class: 14F40; 18G40; 32L10; 55N35; 55T05

Journal ref: J. of Algebra 483 (2017) 245-261

The Noether-Lefschetz locus of surfaces in toric threefolds

Authors: Ugo Bruzzo, Antonella Grassi

Abstract: The Noether-Lefschetz theorem asserts that any curve in a very general surface $X$ in $\mathbb P^3$ of degree $d \geq 4$ is a restriction of a surface in the ambient space, that is, the Picard number of $X$ is $1$. We proved previously that under some conditions, which replace the condition $d \geq 4$, a very general surface in a simplicial toric threefold $\mathbb P_Σ$ (with orbifold singularitie… ▽ More The Noether-Lefschetz theorem asserts that any curve in a very general surface $X$ in $\mathbb P^3$ of degree $d \geq 4$ is a restriction of a surface in the ambient space, that is, the Picard number of $X$ is $1$. We proved previously that under some conditions, which replace the condition $d \geq 4$, a very general surface in a simplicial toric threefold $\mathbb P_Σ$ (with orbifold singularities) has the same Picard number as $\mathbb P_Σ$. Here we define the Noether-Lefschetz loci of quasi-smooth surfaces in $\mathbb P_Σ$ in a linear system of a Cartier ample divisor with respect to a (-1)-regular, respectively 0-regular, ample Cartier divisor, and give bounds on their codimensions. We also study the components of the Noether-Lefschetz loci which contain a line, defined as a rational curve that is "minimal" in a suitable sense. △ Less

Submitted 24 July, 2017; v1 submitted 8 August, 2015; originally announced August 2015.

Comments: 16 pages. Comments welcome. v2: 19 pages. v3: 22 pages. Exposition improved; added a section on the Hilbert scheme of lines

MSC Class: 14C22; 14J70; 14M25

Journal ref: Commun. Contemp. Math. (2017) 1750070 (20 pages)

Hilbert schemes of points of $\mathcal O_{\mathbb P^1}(-n)$ as quiver varieties

Authors: Claudio Bartocci, Ugo Bruzzo, Valeriano Lanza, Claudio L. S. Rava

Abstract: In a previous paper, a realization of the moduli space of framed torsion-free sheaves on Hirzebruch surfaces in terms of monads was given. We build upon that result to construct ADHM data for the Hilbert scheme of points of the total space of the line bundles $\mathcal O(-n)$ on $\mathbb P^1$, for $n \ge 1$, i.e., the resolutions of the singularities of type $\frac1n(1,1)$. Basically by implementi… ▽ More In a previous paper, a realization of the moduli space of framed torsion-free sheaves on Hirzebruch surfaces in terms of monads was given. We build upon that result to construct ADHM data for the Hilbert scheme of points of the total space of the line bundles $\mathcal O(-n)$ on $\mathbb P^1$, for $n \ge 1$, i.e., the resolutions of the singularities of type $\frac1n(1,1)$. Basically by implementing a version of the special McKay correspondence, this ADHM description is in turn used to realize these Hilbert schemes as irreducible connected components of quiver varieties. We obtain in this way new examples of quiver varieties which are not of the Nakajima type. △ Less

Submitted 7 December, 2016; v1 submitted 12 April, 2015; originally announced April 2015.

Comments: 19 pages. The first part is a condensed version of arXiv:1403.0460. The second part about quiver varieties is new. v2: typos corrected. v3: Expository changes. New title. v4: Final version to appear in J. Pure Appl. Algebra

MSC Class: 14D20; 14D21; 14J60; 16G20

Journal ref: J. Pure Appl. Algebra 221 (2017) 2132-2155

Yang-Mills-Higgs connections on Calabi-Yau manifolds

Authors: Indranil Biswas, Ugo Bruzzo, Beatriz Graña Otero, Alessio Lo Giudice

Abstract: Let $X$ be a compact connected Kähler--Einstein manifold with $c_1(TX)\, \geq\, 0$. If there is a semistable Higgs vector bundle $(E\,,θ)$ on $X$ with $θ\,\not=\,0$, then we show that $c_1(TX)=0$, any $X$ satisfying this condition is called a Calabi--Yau manifold, and it admits a Ricci--flat Kähler form \cite{Ya}. Let $(E\,,θ)$ be a polystable Higgs vector bundle on a compact Ricci--flat Kähler ma… ▽ More Let $X$ be a compact connected Kähler--Einstein manifold with $c_1(TX)\, \geq\, 0$. If there is a semistable Higgs vector bundle $(E\,,θ)$ on $X$ with $θ\,\not=\,0$, then we show that $c_1(TX)=0$, any $X$ satisfying this condition is called a Calabi--Yau manifold, and it admits a Ricci--flat Kähler form \cite{Ya}. Let $(E\,,θ)$ be a polystable Higgs vector bundle on a compact Ricci--flat Kähler manifold $X$. Let $h$ be an Hermitian structure on $E$ satisfying the Yang--Mills--Higgs equation for $(E\,,θ)$. We prove that $h$ also satisfies the Yang--Mills--Higgs equation for $(E\,,0)$. A similar result is proved for Hermitian structures on principal Higgs bundles on $X$ satisfying the Yang--Mills--Higgs equation. △ Less

Submitted 21 June, 2015; v1 submitted 24 December, 2014; originally announced December 2014.

Comments: 13 pages. v2: one result strengthened. v3: Typos corrected. Final version to appear in Asian J. Math

MSC Class: 14J32; 53C07; 58E15

Journal ref: Asian J. Math. 20 (2016) 989-1000

Symplectic instanton bundles on P3 and 't Hooft instantons

Authors: Ugo Bruzzo, Dimitri Markushevich, Alexander Tikhomirov

Abstract: We study the moduli space $I_{n,r}$ of rank-$2r$ symplectic instanton vector bundles on $\mathbb{P}^3$ with $r\ge2$ and second Chern class $n\ge r+1,\ n-r\equiv 1(\mathrm{mod}2)$. We introduce the notion of tame symplectic instantons by excluding a kind of pathological monads and show that the locus $I^*_{n,r}$ of tame symplectic instantons is irreducible and has the expected dimension, equal to… ▽ More We study the moduli space $I_{n,r}$ of rank-$2r$ symplectic instanton vector bundles on $\mathbb{P}^3$ with $r\ge2$ and second Chern class $n\ge r+1,\ n-r\equiv 1(\mathrm{mod}2)$. We introduce the notion of tame symplectic instantons by excluding a kind of pathological monads and show that the locus $I^*_{n,r}$ of tame symplectic instantons is irreducible and has the expected dimension, equal to $4n(r+1)-r(2r+1)$. The proof is inherently based on a relation between the spaces $I^*_{n,r}$ and the moduli spaces of 't Hooft instantons △ Less

Submitted 1 December, 2014; originally announced December 2014.

Comments: 14 pages

MSC Class: 14D20; 14J60

Journal ref: European J. Math. 2 (2016) 1550040 (26 pages)

N=2 quiver gauge theories on A-type ALE spaces

Authors: Ugo Bruzzo, Francesco Sala, Richard J. Szabo

Abstract: We survey and compare recent approaches to the computation of the partition functions and correlators of chiral BPS observables in $\mathcal{N}=2$ gauge theories on ALE spaces based on quiver varieties and the minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$, in light of their recently conjectured duality with two-dimensional coset conformal field theories. W… ▽ More We survey and compare recent approaches to the computation of the partition functions and correlators of chiral BPS observables in $\mathcal{N}=2$ gauge theories on ALE spaces based on quiver varieties and the minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$, in light of their recently conjectured duality with two-dimensional coset conformal field theories. We review and elucidate the rigorous constructions of gauge theories for a particular family of ALE spaces, using their relation to the cohomology of moduli spaces of framed torsion free sheaves on a suitable orbifold compactification of $X_k$. We extend these computations to generic $\mathcal{N}=2$ superconformal quiver gauge theories, obtaining in these instances new constraints on fractional instanton charges, a rigorous proof of the Nekrasov master formula, and new quantizations of Hitchin systems based on the underlying Seiberg-Witten geometry. △ Less

Submitted 27 October, 2014; v1 submitted 10 October, 2014; originally announced October 2014.

Comments: 34 pages; v2: minor textual and title changes, reference added

Report number: EMPG-14-18 MSC Class: 14D20; 14D21; 14J80; 81T13; 81T60

Approximate Hermitian-Yang-Mills structures on semistable principal Higgs bundles

Authors: Ugo Bruzzo, Beatriz Graña Otero

Abstract: We generalize the Hitchin-Kobayashi correspondence between semistability and the existence of approximate Hermitian-Yang-Mills structures to the case of principal Higgs bundles. We prove that a principal Higgs bundle on a compact Kaehler manifold, with structure group a connected linear algebraic reductive group, is semistable if and only if it admits an approximate Hermitian-Yang-Mills structure. We generalize the Hitchin-Kobayashi correspondence between semistability and the existence of approximate Hermitian-Yang-Mills structures to the case of principal Higgs bundles. We prove that a principal Higgs bundle on a compact Kaehler manifold, with structure group a connected linear algebraic reductive group, is semistable if and only if it admits an approximate Hermitian-Yang-Mills structure. △ Less

Submitted 12 August, 2014; originally announced August 2014.

Comments: 16 pages, appears in Ann. Glob. Anal. Appl. 2014. arXiv admin note: text overlap with arXiv:0905.2870

Report number: SISSA 03/2014/mate MSC Class: 32L05; 14F05

Journal ref: Ann. Global Anal. Geom. 47 (2015) 1-11

ADHM data for the Hilbert scheme of points of the total space of $\mathcal O_{\mathbb P^1}(-n)$

Authors: Claudio Bartocci, Ugo Bruzzo, Valeriano Lanza, Claudio L. S. Rava

Abstract: Relying on a monadic description of the moduli space of framed sheaves on Hirzebruch surfaces, we construct ADHM data for the Hilbert scheme of points of the total space of the line bundle $\mathcal O(-n)$ on $\mathbb P^1$. Relying on a monadic description of the moduli space of framed sheaves on Hirzebruch surfaces, we construct ADHM data for the Hilbert scheme of points of the total space of the line bundle $\mathcal O(-n)$ on $\mathbb P^1$. △ Less

Submitted 6 December, 2014; v1 submitted 3 March, 2014; originally announced March 2014.

Comments: 23 pages. v2: typos corrected, minor changes. v3: Appendix A has been streamlined

MSC Class: 14D20; 14D21; 14J60

Journal ref: Adv. Geom. 15 (2015) 55-76

Framed sheaves on root stacks and supersymmetric gauge theories on ALE spaces

Authors: Ugo Bruzzo, Mattia Pedrini, Francesco Sala, Richard J. Szabo

Abstract: We develop a new approach to the study of supersymmetric gauge theories on ALE spaces using the theory of framed sheaves on root toric stacks, which illuminates relations with gauge theories on $\mathbb{R}^4$ and with two-dimensional conformal field theory. We construct a stacky compactification of the minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$, which i… ▽ More We develop a new approach to the study of supersymmetric gauge theories on ALE spaces using the theory of framed sheaves on root toric stacks, which illuminates relations with gauge theories on $\mathbb{R}^4$ and with two-dimensional conformal field theory. We construct a stacky compactification of the minimal resolution $X_k$ of the $A_{k-1}$ toric singularity $\mathbb{C}^2/\mathbb{Z}_k$, which is a projective toric orbifold $\mathscr{X}_k$ such that $\mathscr{X}_k\setminus X_k$ is a $\mathbb{Z}_k$-gerbe. We construct moduli spaces of torsion free sheaves on $\mathscr{X}_k$ which are framed along the compactification gerbe. We prove that this moduli space is a smooth quasi-projective variety, compute its dimension, and classify its fixed points under the natural induced toric action. We use this construction to compute the partition functions and correlators of chiral BPS operators for $\mathcal{N}=2$ quiver gauge theories on $X_k$ with nontrivial holonomies at infinity. The partition functions are computed with and without couplings to bifundamental matter hypermultiplets and expressed in terms of toric blowup formulas, which relate them to the corresponding Nekrasov partition functions on the affine toric subsets of $X_k$. We compare our new partition functions with previous computations, explore their connections to the representation theory of affine Lie algebras, and find new constraints on fractional instanton charges in the coupling to fundamental matter. We show that the partition functions in the low energy limit are characterised by the Seiberg-Witten curves, and in some cases also by suitable blowup equations involving Riemann theta-functions on the Seiberg-Witten curve with characteristics related to the nontrivial holonomies. △ Less

Submitted 11 December, 2015; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: 106 pages; v2: minor corrections; v3: minor corrections, comments added, references added; v4: further minor corrections and comments added, references added and updated; Final version published in Advances in Mathematics

Report number: EMPG-13-21

Journal ref: Adv. Math. 288 (2016) 1175-1308

Framed sheaves on projective stacks

Authors: Ugo Bruzzo, Francesco Sala

Abstract: Given a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider framed sheaves on $\mathscr X$, i.e., pairs $(\mathcal E,φ_{\mathcal E})$, where $\mathcal E$ is a coherent sheaf on $\mathscr X$ and $φ_{\mathcal E}$ is a morphism from $\mathcal E$ to a fixed coherent sheaf $\mathcal F$. After introducing a suitable notion of (semi)stabi… ▽ More Given a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider framed sheaves on $\mathscr X$, i.e., pairs $(\mathcal E,φ_{\mathcal E})$, where $\mathcal E$ is a coherent sheaf on $\mathscr X$ and $φ_{\mathcal E}$ is a morphism from $\mathcal E$ to a fixed coherent sheaf $\mathcal F$. After introducing a suitable notion of (semi)stability, we construct a projective scheme, which is a moduli space for semistable framed sheaves with fixed Hilbert polynomial, and an open subset of it, which is a fine moduli space for stable framed sheaves. If $\mathscr X$ is a projective irreducible orbifold of dimension two and $\mathcal F$ a locally free sheaf on a smooth divisor $\mathscr D\subset \mathscr X$ satisfying certain conditions, we consider $(\mathscr{D}, \mathcal{F})$-framed sheaves, i.e., framed sheaves $(\mathcal E,φ_{\mathcal E})$ with $\mathcal E$ a torsion-free sheaf which is locally free in a neighborhood of $\mathscr D$, and ${φ_{\mathcal{E}}}_{| \mathscr{D}}$ an isomorphism. These pairs are $μ$-stable for a suitable choice of a parameter entering the (semi)stability condition, and of the polarization of $\mathscr X$. This implies the existence of a fine moduli space parameterizing isomorphism classes of $(\mathscr{D}, \mathcal{F})$-framed sheaves on $\mathscr{X}$ with fixed Hilbert polynomial, which is a quasi-projective scheme. In an appendix we develop the example of stacky Hirzebruch surfaces. This is the first paper of a project aimed to provide an algebro-geometric approach to the study of gauge theories on a wide class of 4-dimensional Riemannian manifolds by means of framed sheaves on "stacky" compactifications of them. In particular, in a subsequent paper we will use these results to study gauge theories on ALE spaces of type $A_k$. △ Less

Submitted 5 November, 2014; v1 submitted 12 November, 2013; originally announced November 2013.

Comments: v1: 62 pages. Comments welcome. v2: 64 pages, typos corrected. Appendix D now contains a formula for the dimension of the moduli spaces of framed sheaves on stacky Hirzebruch surfaces. v3: references added. v4: Typos corrected, references added; minor, inconsequential mistakes in Appendix D corrected

MSC Class: 14A20; 14D20; 14D21; 14D22; 14D23; 14J60

Journal ref: Adv. Math. 272 (2015) 20-95

Restricting Higgs bundles to curves

Authors: Ugo Bruzzo, Alessio Lo Giudice

Abstract: We determine some classes of varieties X - that include the varieties with numerically effective tangent bundle - satisfying the following property: if E is a Higgs bundle such that f*E is semistable for any morphism f from a smooth projective curve to X, then E is slope semistable and the discriminant of E is zero in H4(X,R). We also characterize some classes of varieties such that the underlying… ▽ More We determine some classes of varieties X - that include the varieties with numerically effective tangent bundle - satisfying the following property: if E is a Higgs bundle such that f*E is semistable for any morphism f from a smooth projective curve to X, then E is slope semistable and the discriminant of E is zero in H4(X,R). We also characterize some classes of varieties such that the underlying vector bundle of a slope semistable Higgs bundle is always slope semistable. △ Less

Submitted 8 January, 2015; v1 submitted 8 October, 2013; originally announced October 2013.

Comments: 11 pages. v2: 12 pages, final version to appear in Asian J. Math

MSC Class: 14H60; 14J60

Journal ref: Asian J. Math. 20 (2016) 399-408

Donagi-Markman cubic for the generalised Hitchin system

Authors: Ugo Bruzzo, Peter Dalakov

Abstract: Donagi and Markman (1993) have shown that the infinitesimal period map for an algebraic completely integrable Hamiltonian system is encoded in a section of the third symmetric power of the cotangent bundle to the base of the system. For the ordinary Hitchin system the cubic is given by a formula of Balduzzi and Pantev. We prove that the Balduzzi--Pantev formula holds along maximal rank symplectic… ▽ More Donagi and Markman (1993) have shown that the infinitesimal period map for an algebraic completely integrable Hamiltonian system is encoded in a section of the third symmetric power of the cotangent bundle to the base of the system. For the ordinary Hitchin system the cubic is given by a formula of Balduzzi and Pantev. We prove that the Balduzzi--Pantev formula holds along maximal rank symplectic leaves of the G-generalised Hitchin system. △ Less

Submitted 12 April, 2014; v1 submitted 30 August, 2013; originally announced August 2013.

Comments: Comments welcome. Preliminary version 17 pages. Version 2: Exposition improved, minor corrections; 21 pages Version 3: minor corrections; final version, 20 p

Report number: SISSA preprint 08/2014 MSC Class: 14D20; 14D07; 14H70

Journal ref: Int. J. Math., vol. 25, number 2, 2014

Nonabelian holomorphic Lie algebroid extensions

Authors: Ugo Bruzzo, Igor Mencattini, Vladimir Rubtsov, Pietro Tortella

Abstract: We classify nonabelian extensions of Lie algebroids in the holomorphic category. Moreover we study a spectral sequence associated to any such extension. This spectral sequence generalizes the Hochschild-Serre spectral sequence for Lie algebras to the holomorphic Lie algebroid setting. As an application, we show that the hypercohomology of the Atiyah algebroid of a line bundle has a natural Hodge s… ▽ More We classify nonabelian extensions of Lie algebroids in the holomorphic category. Moreover we study a spectral sequence associated to any such extension. This spectral sequence generalizes the Hochschild-Serre spectral sequence for Lie algebras to the holomorphic Lie algebroid setting. As an application, we show that the hypercohomology of the Atiyah algebroid of a line bundle has a natural Hodge structure. △ Less

Submitted 20 November, 2014; v1 submitted 10 May, 2013; originally announced May 2013.

Comments: 22 pages. v2: 26 pages. The material has been reorganized and the exposition improved. Slightly modified title. v3: Typos corrected, exposition streamlined, introduction rewritten

Report number: SISSA Report 06/2014/mate MSC Class: 4F05; 14F40; 32L10; 55N25; 55N91; 55R20

Journal ref: Internat. J. Math. 26 (2015), no. 5, 1550040, 26 pp

Monads for framed sheaves on Hirzebruch surfaces

Authors: Claudio Bartocci, Ugo Bruzzo, Claudio L. S. Rava

Abstract: We define monads for framed torsion-free sheaves on Hirzebruch surfaces and use them to construct moduli spaces for these objects. These moduli spaces are smooth algebraic varieties, and we show that they are fine by constructing a universal monad. We define monads for framed torsion-free sheaves on Hirzebruch surfaces and use them to construct moduli spaces for these objects. These moduli spaces are smooth algebraic varieties, and we show that they are fine by constructing a universal monad. △ Less

Submitted 12 December, 2015; v1 submitted 16 May, 2012; originally announced May 2012.

Comments: 30 pages. v2: Section 2 partially rewritten. v3: some minor changes and additions. v4: some minor changes, typos corrected. Final version to appear in Adv. Geom. v5: corrects a mistake in a preliminary result in Section 2. All results in Sections 3 to 6 are unchanged

MSC Class: 14D20; 14D21; 14J60

Journal ref: Adv. Geom. 15 (2015) 55-76

Moduli of symplectic instanton vector bundles of higher rank on projective space $\mathbb{P}^3$

Authors: Ugo Bruzzo, D. Markushevich, A. S. Tikhomirov

Abstract: Symplectic instanton vector bundles on the projective space $\mathbb{P}^3$ constitute a natural generalization of mathematical instantons of rank 2. We study the moduli space $I_{n,r}$ of rank-$2r$ symplectic instanton vector bundles on $\mathbb{P}^3$ with $r\ge2$ and second Chern class $n\ge r,\ n\equiv r({\rm mod}2)$. We give an explicit construction of an irreducible component $I^*_{n,r}$ of th… ▽ More Symplectic instanton vector bundles on the projective space $\mathbb{P}^3$ constitute a natural generalization of mathematical instantons of rank 2. We study the moduli space $I_{n,r}$ of rank-$2r$ symplectic instanton vector bundles on $\mathbb{P}^3$ with $r\ge2$ and second Chern class $n\ge r,\ n\equiv r({\rm mod}2)$. We give an explicit construction of an irreducible component $I^*_{n,r}$ of this space for each such value of $n$ and show that $I^*_{n,r}$ has the expected dimension $4n(r+1)-r(2r+1)$. △ Less

Submitted 11 September, 2011; originally announced September 2011.

Comments: 14 pages

MSC Class: 14D20; 14J60

Journal ref: Central European Journal of Mathematics (2012) 10: 1232-1245

Q-factorial Laurent rings

Authors: Ugo Bruzzo, Antonella Grassi

Abstract: Dolgachev proved that, for any field k, the ring naturally associated to a generic Laurent polynomial in d variables, $d \geq 4$, is factorial. We prove a sufficient condition for the ring associated to a very general complex Laurent polynomial in d=3 variables to be Q-factorial. Dolgachev proved that, for any field k, the ring naturally associated to a generic Laurent polynomial in d variables, $d \geq 4$, is factorial. We prove a sufficient condition for the ring associated to a very general complex Laurent polynomial in d=3 variables to be Q-factorial. △ Less

Submitted 20 August, 2011; originally announced August 2011.

Comments: 5 pages

Report number: SISSA 20/2011/fm MSC Class: 14J70; 14M25; 16S34

Journal ref: J. Pure Applied Algebra 216 (2012) 894-896

Holomorphic Cartan geometry on manifolds with numerically effective tangent bundle

Authors: Indranil Biswas, Ugo Bruzzo

Abstract: Let X be a compact connected Kaehler manifold such that the holomorphic tangent bundle TX is numerically effective. A theorem of Demailly, Peternell and Schenider says that there is a finite unramified Galois covering M --> X, a complex torus T, and a holomorphic surjective submersion f: M --> T, such that the fibers of f are Fano manifolds with numerically effective tangent bundle. A conjecture o… ▽ More Let X be a compact connected Kaehler manifold such that the holomorphic tangent bundle TX is numerically effective. A theorem of Demailly, Peternell and Schenider says that there is a finite unramified Galois covering M --> X, a complex torus T, and a holomorphic surjective submersion f: M --> T, such that the fibers of f are Fano manifolds with numerically effective tangent bundle. A conjecture of Campana and Peternell says that the fibers of f are rational and homogeneous. Assume that X admits a holomorphic Cartan geometry. We prove that the fibers of f are rational homogeneous varieties. We also prove that the holomorphic principal G-bundle over T given by f, where G is the group of all holomorphic automorphisms of a fiber, admits a flat holomorphic connection. △ Less

Submitted 21 January, 2011; originally announced January 2011.

Comments: 11 pages. To be published in Diff. Geom. Appl

Report number: SISSA 05/2010/fm MSC Class: 32M10; 14M17; 53C15

Journal ref: Diff. Geom. Appl. 29 (2011) 147-153

D-branes, surface operators, and ADHM quiver representations

Authors: U. Bruzzo, W. -y. Chuang, D. -E. Diaconescu, M. Jardim, G. Pan, Y. Zhang

Abstract: A supersymmetric quantum mechanical model is constructed for BPS states bound to surface operators in five dimensional SU(r) gauge theories using D-brane engineering. This model represents the effective action of a certain D2-brane configuration, and is naturally obtained by dimensional reduction of a quiver $(0,2)$ gauged linear sigma model. In a special stability chamber, the resulting moduli sp… ▽ More A supersymmetric quantum mechanical model is constructed for BPS states bound to surface operators in five dimensional SU(r) gauge theories using D-brane engineering. This model represents the effective action of a certain D2-brane configuration, and is naturally obtained by dimensional reduction of a quiver $(0,2)$ gauged linear sigma model. In a special stability chamber, the resulting moduli space of quiver representations is shown to be virtually smooth and isomorphic to a moduli space of framed quotients on the projective plane. A precise conjecture relating a K-theoretic partition function of this moduli space to refined open string invariants of toric lagrangian branes is formulated for conifold and local P^1 x P^1 geometries. △ Less

Submitted 12 April, 2018; v1 submitted 8 December, 2010; originally announced December 2010.

Comments: 45 pages, v2: minor corrections; v3 correction: claim of smoothness replaced with virtual smoothness. main results for partition functions unchanged

Report number: RUNHETC-2010-22

Picard group of hypersurfaces in toric 3-folds

Authors: Ugo Bruzzo, Antonella Grassi

Abstract: We show that the usual sufficient criterion for a generic hypersurface in a smooth projective manifold to have the same Picard number as the ambient variety can be generalized to hypersurfaces in complete simplicial toric varieties. This sufficient condition is always satisfied by generic K3 surfaces embedded in Fano toric 3-folds. We show that the usual sufficient criterion for a generic hypersurface in a smooth projective manifold to have the same Picard number as the ambient variety can be generalized to hypersurfaces in complete simplicial toric varieties. This sufficient condition is always satisfied by generic K3 surfaces embedded in Fano toric 3-folds. △ Less

Submitted 5 October, 2011; v1 submitted 3 November, 2010; originally announced November 2010.

Comments: 14 pages. v2: some typos corrected. v3: Slightly changed title. Final version to appear in Int. J. Math., incorporates many (mainly expository) changes suggested by the referee

Report number: SISSA 78/2010/fm MSC Class: 14C22; 14J70; 14M25

Journal ref: Int. J. Math. 23, 1250028 (2012) [14 pages]

Uhlenbeck-Donaldson compactification for framed sheaves on projective surfaces

Authors: Ugo Bruzzo, Dimitri Markushevich, Alexander Tikhomirov

Abstract: We construct a compactification $M^{μss}$ of the Uhlenbeck-Donaldson type for the moduli space of slope stable framed bundles. This is a kind of a moduli space of slope semistable framed sheaves. We show that there exists a projective morphism $γ\colon M^{ss} \to M^{μss}$, where $M^{ss}$ is the moduli space of S-equivalence classes of Gieseker-semistable framed sheaves. The space $M^{μss}$ has a n… ▽ More We construct a compactification $M^{μss}$ of the Uhlenbeck-Donaldson type for the moduli space of slope stable framed bundles. This is a kind of a moduli space of slope semistable framed sheaves. We show that there exists a projective morphism $γ\colon M^{ss} \to M^{μss}$, where $M^{ss}$ is the moduli space of S-equivalence classes of Gieseker-semistable framed sheaves. The space $M^{μss}$ has a natural set-theoretic stratification which allows one, via a Hitchin-Kobayashi correspondence, to compare it with the moduli spaces of framed ideal instantons. △ Less

Submitted 18 April, 2013; v1 submitted 4 September, 2010; originally announced September 2010.

Comments: 18 pages. v2: a few very minor changes. v3: 27 pages. Several proofs have been considerably expanded, and more explanations have been added. v4: 28 pages. A few minor changes. Final version accepted for publication in Math. Z

Report number: SISSA Preprint 59/2010/fm (v1) MSC Class: 14D20; 14D21; 14J60

Journal ref: Math. Z. 275 (2013) 1073--1093

Cohomology of skew-holomorphic Lie algebroids

Authors: Ugo Bruzzo, Vladimir Rubtsov

Abstract: We introduce the notion of skew-holomorphic Lie algebroid on a complex manifold, and explore some cohomologies theories that one can associate to it. Examples are given in terms of holomorphic Poisson structures of various sorts. We introduce the notion of skew-holomorphic Lie algebroid on a complex manifold, and explore some cohomologies theories that one can associate to it. Examples are given in terms of holomorphic Poisson structures of various sorts. △ Less

Submitted 2 September, 2010; v1 submitted 9 March, 2010; originally announced March 2010.

Comments: 16 pages. v2: Final version to be published in Theor. Math. Phys. (incorporates only very minor changes)

Report number: SISSA Preprint 15/2010/fm MSC Class: 32C35; 53D17; 55N30

Journal ref: Theoret. Math. Phys. 165 (2010) 1596-1607

On localization in holomorphic equivariant cohomology

Authors: Ugo Bruzzo, Vladimir Rubtsov

Abstract: We prove a localization formula for a "holomorphic equivariant cohomology" attached to the Atiyah algebroid of an equivariant holomorphic vector bundle. This generalizes Feng-Ma, Carrell-Liebermann, Baum-Bott and K. Liu's localization formulas. We prove a localization formula for a "holomorphic equivariant cohomology" attached to the Atiyah algebroid of an equivariant holomorphic vector bundle. This generalizes Feng-Ma, Carrell-Liebermann, Baum-Bott and K. Liu's localization formulas. △ Less

Submitted 21 March, 2012; v1 submitted 11 October, 2009; originally announced October 2009.

Comments: 16 pages. Completely rewritten, new title. v3: Minor changes in the exposition. v4: final version to appear in Centr. Eur. J. Math

MSC Class: 32L10; 53C12; 53C15; 53D17; 55N25; 55N91

Journal ref: Central European Journal of Mathematics (2012) 10: 1442-1454

On semistable principal bundles over a complex projective manifold, II

Authors: Indranil Biswas, Ugo Bruzzo

Abstract: Let (X, ω) be a compact connected Kaehler manifold of complex dimension d and E_G a holomorphic principal G-bundle on X, where G is a connected reductive linear algebraic group defined over C. Let Z (G) denote the center of G. We prove that the following three statements are equivalent: (1) There is a parabolic subgroup P of G and a holomorphic reduction of the structure group of E_G to P (say,… ▽ More Let (X, ω) be a compact connected Kaehler manifold of complex dimension d and E_G a holomorphic principal G-bundle on X, where G is a connected reductive linear algebraic group defined over C. Let Z (G) denote the center of G. We prove that the following three statements are equivalent: (1) There is a parabolic subgroup P of G and a holomorphic reduction of the structure group of E_G to P (say, E_P) such that the bundle obtained by extending the structure group of E_P to L(P)/Z(G) (where L(P) is the Levi quotient of P) admits a flat connection; (2) The adjoint vector bundle ad(E_G) is numerically flat; (3) The principal G-bundle E_G is pseudostable, and the degree of the charateristic class c_2(ad(E_G) is zero. △ Less

Submitted 25 September, 2009; originally announced September 2009.

Comments: 15 pages

Report number: SISSA Preprint 85/2008/fm MSC Class: 32L05; ; 14L10; 14F05

Journal ref: Geom. Dedicata 146 (2010), 27-41