We propose a notion of instanton bundle (called $H$-instanton bundle) on any projective variety of dimension three polarized by a very ample divisor $H$, that naturally generalizes the ones on $\mathbb{P}^3$ and on the flag threefold $F(0,1,2)$. We discuss the cases of Veronese and Fano threefolds. Then we deal with $H$-instanton bundles $\mathcal{E}$ on three-dimensional rational normal scrolls $S(a_0,a_1,a_2)$. We give a monadic description of $H$-instanton bundles and we prove the existence of $μ$-stable $H$-instanton bundles on $S(a_0,a_1,a_2)$ for any admissible charge $k=c_2(\mathcal{E})H$. Then we deal in more detail with $S(a,a,b)$ and $S(a_0,a_1,a_2)$ with $a_0+a_1>a_2$ and even degree. Finally we describe a nice component of the moduli space of $μ$-stable bundles whose points represent $H$-instantons.
We prove the rationality and irreducibility of the moduli space of---what we call---the endomorphism-general instanton vector bundles of arbitrary rank on the projective space. In particular, we deduce the rationality of the moduli spaces of rank-two mathematical instantons. This problem was first studied by Hartshorne, Hirschowitz-Narasimhan in the late 1970s, and it has been reiterated within the framework of the ICM 2018.
A $h$-instanton sheaf on a closed subscheme $X$ of some projective space endowed with an ample and globally generated line bundle $\mathcal{O}_X(h)$ is a coherent sheaf whose cohomology table has a certain prescribed shape. In this paper we deal with $h$-instanton sheaves relating them to Ulrich sheaves. Moreover, we study $h$-instanton sheaves on smooth curves and surfaces, cyclic $n$-folds, Fano $3$-folds and scrolls over arbitrary smooth curves. We also deal with a family of monads associated to $h$-instanton bundles on varieties satisfying some mild extra technical conditions.
This paper has been withdraw. A fully revised version with two new co-authors has been posted: "ADHM construction of perverse instanton sheaves", arXiv:1201.5657.
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)$.
We present a construction of framed torsion free instanton sheaves on a projective variety containing a fixed line which further generalizes the one on projective spaces. This is done by generalizing the so called ADHM variety. We show that the moduli space of such objects is a quasi projective variety, which is fine in the case of projective spaces. We also give an ADHM categorical description of perverse instanton sheaves in the general case, along with a hypercohomological characterization of these sheaves in the particular case of projective spaces.
The problem of irreducibility of the moduli space I_n of rank-2 mathematical instanton vector bundles with arbitrary positive second Chern class n on the projective 3-space is considered. The irreducibility of I_n was known for small values of n: Barth 1977 (n=1), Hartshorne 1978 (n=2), Ellingsrud and Stromme 1981 (n=3), Barth 1981 (n=4), Coanda, Tikhomirov and Trautmann 2003 (n=5). In this paper we prove the irreducibility of I_n for an arbitrary odd n.
Euler-symmetric projective varieties are nondegenerate projective varieties admitting many C*-actions of Euler type. They are quasi-homogeneous and uniquely determined by their fundamental forms at a general point. We show that Euler-symmetric projective varieties can be classified by symbol systems, a class of algebraic objects modeled on the systems of fundamental forms at general points of projective varieties. We study relations between the algebraic properties of symbol systems and the geometric properties of Euler-symmetric projective varieties. We describe also the relation between Eule…
We study the irreducible components of the moduli space of instanton sheaves on $\mathbb{P}^3$, that is rank 2 torsion free sheaves $E$ with $c_1(E)=c_3(E)=0$ satisfying $h^1(E(-2))=h^2(E(-2))=0$. In particular, we classify all instanton sheaves with $c_2(E)\le4$, describing all the irreducible components of their moduli space. A key ingredient for our argument is the study of the moduli space ${\mathcal T}(d)$ of stable sheaves on $\mathbb{P}^3$ with Hilbert polynomial $P(t)=d\cdot t$, which contains, as an open subset, the moduli space of rank 0 instanton sheaves of multiplicity $d$; we desc…
We compute the Hilbert series of general weighted flag varieties and discuss a computer-aided method to determine their defining equations. We apply our results to weighted flag varieties coming from the Lie groups of type G_2 and GL(6), to construct some families of polarised projective varieties in codimensions 8 and 6, respectively.
We give a classification of embedded smooth projective varieties swept out by rational homogeneous varieties whose Picard number and codimension are one.
Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This generalizes a result of Lombardo and Maffei for complex abelian varieties.
It is known that projective minimal models satisfy the celebrated Miyaoka-Yau inequalities. In this article, we extend these inequalities to the set of all smooth, projective and non-uniruled varieties.
We compute the divisor class group and the Picard group of projective varieties with Hibi rings as homogeneous coordinate rings. These varieties are precisely the toric varieties associated to order polytopes. We use tools from the theory of toric varieties to get a description of the two groups which only depends on combinatorial properties of the underlying poset.
Symmetric varieties are normal equivariant open embeddings of symmetric homogeneous spaces and they are interesting examples of spherical varieties. The principal goal of this article is to study the rigidity under Kähler deformations of smooth projective symmetric varieties with Picard number one.
The Lefschetz algebra $L^*(X)$ of a smooth complex projective variety $X$ is the subalgebra of the cohomology algebra of $X$ generated by divisor classes. We construct smooth complex projective varieties whose Lefschetz algebras do not satisfy analogues of the hard Lefschetz theorem and Poincaré duality.
In this note we introduce the concept of reflective projective varieties. These are stratified projective varieties with certain dimension constraints on their dual varieties. We prove that for such varieties, the Chern-Schwartz-MacPherson classes of the strata completely determine the local Euler obstructions and the polar degrees. We also propose an algorithm to compute the local Euler obstructions when such varieties are formed by group orbits. As examples we compute the local Euler obstructions of quadratic hypersurfaces and ordinary determinantal varieties to illustrate our method.
We study the equivariant cobordism rings for the action of a torus $T$ on smooth varieties over an algebraically closed field of characteristic zero. We prove a theorem describing the rational $T$-equivariant cobordism rings of smooth projective $G$-spherical varieties with the action of a maximal torus $T$ of $G$. As an application, we obtain explicit presentations for the rational equivariant cobordism rings of smooth projective horospherical varieties of Picard number one.
We show that the moduli space of rank three toric vector bundles on smooth projective toric varieties satisfies Murphy's law, that is, every singularity type of finite type arises somewhere on this space.
The geometric and algebraic properties of smooth projective varieties with 1-regular structure sheaf are well understood, and the complete classification of these varieties is a classical result. The aim of this paper is to study the next case: smooth projective varieties with 2-regular structure sheaf. First, we give a classification of such varieties using adjunction mappings. Next, under suitable conditions, we study the syzygies of section rings of those varieties to understand the structure of the Betti tables, and show a sharp bound for Castelnuovo-Mumford regularity.
Open Calabi-Yau manifolds and log Calabi-Yau varieties have been broadly studied over decades. Regarding them as "semistable" objects, we propose to consider their good proper subclass, which we regard as certain poly-stable ones, morally corresponding to semistable with closed (minimal) orbits} as the classical analogue of GIT. We partially confirm that the new polystability seems equivalent to the existence of non-compact complete Ricci-flat Kahler metrics with small volume growths, notably many examples of gravitational instantons. Also, we prove some compactness or polystable reduction typ…
We give an algorithm for computing Segre classes of subschemes of arbitrary projective varieties by computing degrees of a sequence of linear projections. Based on the fact that Segre classes of projective varieties commute with intersections by general effective Cartier divisors, we can compile a system of linear equations which determine the coefficients for the Segre class pushed forward to projective space. The algorithm presented here comes after several others which solve the problem in special cases, where the ambient variety is for instance projective space; to our knowledge, this is t…
We make explicit the equations of any projective $PGL_2(\C)$-variety defined by quadrics. We study their zero-locus and their relationship with the geometry of the Veronese curve.
We shortly describe the algorithms behind some of the functions provided by the Macaulay2 package MultiprojectiveVarieties, a package for multi-projective varieties and rational maps between them.
We classify the Ulrich vector bundles of arbitrary rank on smooth projective varieties of minimal degree. In the process, we prove the stability of the sheaves of relative differentials on rational scrolls.
Let $G$ be a semi-simple algebraic group over a perfect field $k$. A lot of progress has been made recently in computing the Chow motives of projective $G$-homogenous varieties. When $k$ has positive characteristic, a broader class of $G$-homogeneous varieties appear. These are varieties over which $G$ acts transitively with possibly non-reduced isotropy subgroup. In this paper we study these varieties which we call ${\it \mbox{projective pseudo-homogeneous varieties}}$ for $G$ inner type over $k$ and prove that their motives satisfy Rost nilpotence. We also find their motivic decompositions a…
Let $\V$ be a mixed characteristic complete discrete valuation ring with perfect residue field $k$. We solve Berthelot's conjectures on the stability of the holonomicity over smooth projective formal $\V$-schemes. Then we build a category of complexes of arithmetic $\D$-modules over quasi-projective $k$-varieties with bounded, $F$-holonomic cohomology. We get its stability under Grothendieck's six operations.
We prove that the universal cover of a normal, projective variety X is quasi-projective if and only if a finite, étale cover of X is a fiber bundle over an Abelian variety with simply connected fiber.
We define partially ample subvarieties of projective varieties, generalizing Ottem's work on ample subvarieties, and show their ubiquity. As an application, we obtain a connectedness result for pre-images of subvarieties by morphisms, reminiscent to a problem posed by Fulton-Hansen.
We give an example of a pair of projective symplectic varieties in arbitrarily large dimensions which are D-equivalent, L-equivalent, and birationally inequivalent.
We provide a generalization of the algorithm of Eklund-Jost-Peterson for computing Segre classes of closed subschemes of projective k-space. The algorithm is here generalized to computing the Segre classes of closed subschemes of smooth projective toric varieties.
In this paper we construct a tilting sheaf for Severi-Brauer Varieties and Involution Varieties. This sheaf relates the derived category of each variety to the derived category of modules over a ring whose semisimple component consists of the Tits algebras of the corresponding linear algebraic group.
In this article we prove new results on projective normality and normal presentation of adjunction bundle associated to an ample and globally generated line bundle on higher dimensional smooth projective varieties with nef canonical bundle. As one of the consequences of the main theorem, we give bounds on very ampleness and projective normality of pluricanonical linear systems on varieties of general type in dimensions three, four and five. These improve known such results.
We give evidence for a uniformization-type conjecture, that any algebraic variety can be altered into a variety endowed with a tower of smooth fibrations of relative dimension one.
