In this paper we characterize minimal free resolutions of homogeneous bundles on P^2. Besides we study stability and simplicity of homogeneous bundles on P^2 by means of their minimal free resolutions; in particular we give a criterion to see when a homogeneous bundle is simple by means of its minimal free resolution in the case the first bundle of the resolution is irreducible.
Let $G$ be a semisimple algebraic group and $B$ a Borel subgroup. We consider generalisations of Lusztig's q-analogues of weight multiplicity, where the set of positive roots is replaced with the multiset of weights of a $B$-submodule of an arbitrary finite-dimensional $G$-module.
We study the stability of some homogeneous bundles on P^3 by using their representations of the quiver associated to the homgeneous bundles on P^3. In particular we show that homogeneous bundles on P^3 whose support of the quiver representation is a parallelepiped are stable, for instance the bundles E whose minimal free resolution is of the kind 0 --> S^{l_1, l_2, l_3} V (t) --> S^{l_1 +s, l_2, l_3} V (t+s) --> E --> 0 are stable.
Let $A$ be an abelian variety over a field. The homogeneous (or translation-invariant) vector bundles over $A$ form an abelian category ${\rm HVec}_A$; the Fourier-Mukai transform yields an equivalence of ${\rm HVec}_A$ with the category of coherent sheaves with finite support on the dual abelian variety. In this paper, we develop an alternative approach to homogeneous vector bundles, based on the equivalence of ${\rm HVec}_A$ with the category of finite-dimensional representations of a commutative affine group scheme (the "affine fundamental group" of $A$). This displays remarkable analogies …
Given a rational homogeneous variety G/P where G is complex simple and of type ADE, we prove that all tangent bundles T_{G/P} are simple, meaning that their only endomorphisms are scalar multiples of the identity. This result combined with Hitchin-Kobayashi correspondence implies stability of these tangent bundles with respect to the anticanonical polarization. Our main tool is the equivalence of categories between homogeneous vector bundles on G/P and finite dimensional representations of a given quiver with relations.
We describe the cohomology groups of a homogeneous vector bundle $E$ on any Hermitian symmetric variety $X=G/P$ of ADE type as the cohomology of a complex explicitly described. The main tool is the equivalence between the category of homogeneous bundles and the category of representations of a certain quiver ${\cal Q}_X$ with relations, whose vertices are the dominant weights of the reductive part of $P$. This equivalence was found in some cases by Bondal, Kapranov and Hille and we find the appropriate relations for any Hermitian symmetric variety, computing them explicitly for Grassmannians.
We consider a uniform $r$-bundle $E$ on a complex rational homogeneous space $X$ %over complex number field $\mathbb{C}$ and show that if $E$ is poly-uniform with respect to all the special families of lines and the rank $r$ is less than or equal to some number that depends only on $X$, then $E$ is either a direct sum of line bundles or $δ_i$-unstable for some $δ_i$. So we partially answer a problem posted by Muñoz-Occhetta-Solá Conde. In particular, if $X$ is a generalized Grassmannian $\mathcal{G}$ and the rank $r$ is less than or equal to some number that depends only on $X$, then $E$ split…
We prove that for an irreducible representation $τ:GL(n)\to GL(W)$, the associated homogeneous ${\bf P}_k^n$-vector bundle $W_τ$ is strongly semistable when restricted to any smooth quadric or to any smooth cubic in ${\bf P}_k^n$, where $k$ is an algebraically closed field of characteristic $\neq 2,3$ respectively. In particular $W_τ$ is semistable when restricted to general hypersurfaces of degree $\geq 2$ and is strongly semistable when restricted to the $k$-generic hypersurface of degree $\geq 2$.
We consider principal bundles over homogeneous spaces G/P, where P is a parabolic subgroup of a semisimple and simply connected complex linear algebraic group G. We prove that a holomorphic principal H--bundle, where H is a complex reductive group, is homogeneous if the adjoint vector bundle ad(E) is homogeneous. We also show that E is homogeneous if its associated vector bundle for any finite dimensional faithful H--module is homogeneous.
In this paper, we characterize homogeneous arithmetically Cohen-Macaulay (ACM) bundles over isotropic Grassmannians of types $B$, $C$ and $D$ in term of step matrices. We show that there are only finitely many irreducible homogeneous ACM bundles by twisting line bundles over these isotropic Grassmannians. So we classify all homogeneous ACM bundles over isotropic Grassmannians combining the results on usual Grassmannians by Costa and Mir{ó}-Roig. Moreover, if the irreducible initialized homogeneous ACM bundles correspond to some special highest weights, then they can be characterized by succinc…
We study global deformations of certain projective bundles over projective spaces. We show that any projective global deformation of a projective bundle over $\bP^1$ carries the structure of a projective bundle over some projective space. Furthermore, we construct examples in arbitrary dimension $\ge 3$ of almost homogeneous Fano projective bundles over $\bP^2$ which can be globally deformed to non-almost homogeneous manifolds.
We obtain characterizations and structure results for homogeneous principal bundles over abelian varieties, that generalize work of Miyanishi and Mukai on homogeneous vector bundles. For this, we rely on notions and methods of algebraic transformation groups, especially observable subgroups and anti-affine groups.
I prove that a vector bundle on a minuscule homogeneous variety splits into a direct sum of line bundles if and only if its restriction to the union of two-dimensional Schubert subvarieties splits. A case-by-case analysis is done.
For the exterior algebra E over a vector space, we consider general maps E^a -> E(1)^b and general symmetric and skew-symmetric maps E^a -> E(1)^a and describe the associated exterior algebra resolutions. Using the theory of homogeneous bundles on homogeneous varieties we also describe the exterior algebra resolutions of much wider classes of maps E^a -> E(r)^b.
In this paper, we study arithmetically Cohen--Macaulay (ACM) bundles on homogeneous varieties $G/P$. Indeed we characterize the homogeneous ACM bundles on $G/P$ of Picard rank one in terms of highest weights. This is a generalization of the result on $G/P$ of classical types presented by Costa and Miró-Roig for type $A$, and Du, Fang, and Ren for types $B,C$ and $D$. As a consequence we prove that only finitely many irreducible homogeneous ACM bundles, up to twisting line bundles, exist over all such $G/P$. Moreover, we derive the list of the highest weights of the irreducible homogeneous ACM …
In this work we give a method for computing sections of homogeneous vector bundles on any rational homogeneous variety G/P of type ADE. Our main tool is the equivalence of categories between homogeneous vector bundles on G/P and finite dimensional representations of a given quiver with relations. Our result generalizes the work of Ottaviani and Rubei [OR06].
Let G/P be a rational homogeneous variety, where P is a parabolic subgroup of a simple and simply connected linear algebraic group G defined over an algebraically closed field of characteristic zero. A homogeneous principal bundle over G/P is semistable (respectively, polystable) if and only if it is equivariantly semistable (respectively, equivariantly polystable). A stable homogeneous principal H-bundle (E_H ,ρ) is equivariantly stable, but the converse is not true in general. If a homogeneous principal H-bundle (E_H ,ρ) is not equivariantly stable but not stable, then E_H admits an action ρ…
We rework the Mori-Mukai classification of Fano 3-folds, by describing each of the 105 families via biregular models as zero loci of general global sections of homogeneous vector bundles over products of Grassmannians.
Let $V$ be a $K$-vector space of dimension $n+1$. In this paper, we focus our attention into the existence of irreducible homogeneous Ulrich bundles on flag manifolds $\FF(p, q,n)$ which parameterizes all chains of linear subspaces $L_{p} \subset L_{q} \subset \PP(V)$ of dimension $p< q$, respectively. We determine all irreducible homogeneous Ulrich bundles on $\FF(0,n-1,n)$ and we prove that there are exactly $2^{n-1}$. Similarly, we prove that $\FF(0,n-2,n)$ and $\FF(1,n-1,n)$ are also the support of irreducible homogeneous Ulrich bundles. On the other hand, we prove that $\FF(0,1,n)$ do not…
Let X=G/B be a complete flag variety, and L' and L" two line bundles on X. Consider the cup product map H^{d'}(X,L') x H^{d"}(X, L") --> H^{d}(X,L), where L=L' x L" and d=d'+d". We answer two natural questions about the map above: When is it a nonzero map of irreducible G-representations? Conversely, given generic irreducible representations V' and V" of G, which irreducible components of V' x V" may appear in the right hand side of the map above? We also give bounds on the multiplicities appearing in a tensor product, and relate these considerations to the boundary of the Littlewood-Richardso…
In this paper, we investigate Murre's conjecture on the existence of a Chow--Kuenneth decomposition for a rational homogeneous bundle $Z\to S$ over a smooth variety, defined over complex numbers. Chow-Künneth decomposition is exhibited for $Z$ whenever $S$ has a Chow--Kuenneth decomposition. The same conclusion holds for a class of log homogeneous varieties, studied by M. Brion.
We consider those projective bundles (or Brauer-Severi varieties) over an abelian variety that are homogeneous, i.e., invariant under translation. We describe the structure of these bundles in terms of projective representations of commutative algebraic groups; the irreducible bundles correspond to Heisenberg groups and their standard representations. Our results extend those of Mukai on semi-homogeneous vector bundles, and yield a geometric view of the Brauer group of abelian varieties.
We prove that the only rational homogeneous varieties with Picard number 1 of the exceptional algebraic groups admitting irreducible equivariant Ulrich vector bundles are the Cayley plane $E_6/P_1$ and the $E_7$-adjoint variety $E_7/P_1$. From this result, we see that a general hyperplane section $F_4/P_4$ of the Cayley plane also has an equivariant but non-irreducible Ulrich bundle.
In this paper the K-Theory and the category of homogeneous vector bundles on the symplectic Grassmannian SpGr(2,N) of isotropic 2-planes are discussed.
Based on the method by [Küc95], we give a procedure to list up all complete intersection Calabi--Yau manifolds with respect to direct sums of irreducible homogeneous vector bundles on Grassmannians for each dimension. In particular, we give a classification of such Calabi--Yau 3-folds and determine their topological invariants. We also give alternative descriptions for some of them.
Procesi bundles are certain vector bundles on symplectic resolutions of symplectic quotient singularities for wreath-products of the symmetric groups with Kleinian groups. Roughly speaking, we can define Procesi bundles as bundles on resolutions that provide derived McKay equivalence. In this paper we classify Procesi bundles on resolutions obtained by Hamiltonian reduction and relate the Procesi bundles to the tautological bundles on the resolutions. Our proofs are based on deformation arguments and a connection of Procesi bundles with Symplectic reflection algebras.
Manin's conjecture predicts an asymptotic formula for the number of rational points of bounded height on a smooth projective variety in terms of its global geometric invariants. The strongest form of the conjecture implies certain inequalities among geometric invariants of the variety and of its subvarieties. We provide a general geometric framework explaining these phenomena, via the notion of balanced line bundles, and prove the required inequalities for a large class of equivariant compactifications of homogeneous spaces.
We prove the stability of the Gieseker point of an irreducible homogeneous bundle over a rational homogeneous space. As an application we get a sharp upper estimate for the first eigenvalue of the Laplacian of an arbitrary Kaehler metric on a compact Hermitian symmetric spaces of ABCD--type.
We study the null fiber of a moment map related to dual pairs. We construct an equivariant resolution of singularities of the null fiber, and get conormal bundles of closed $ K_C $-orbits in the Lagrangian Grassmannian as the categorical quotient. The conormal bundles thus obtained turn out to be a resolution of singularities of the closure of nilpotent $ K_C $-orbits, which is a "quotient" of the resolution of the null fiber.
In this paper we study holomorphic vector bundles with singular Hermitian metrics whose curvature are Hermitian matrix currents. We obtain an extension theorem for holomorphic jet sections of nef holomorphic vector bundle on compact Kähler manifolds. Using it we prove that Fano manifolds with strong Griffiths nef tangent bundles are rational homogeneous spaces.
Let P be a parabolic subgroup of a semisimple complex Lie group G defined by a subset Σof simple roots of G, and let E_ϕbe a homogeneous vector bundle over the flag manifold G/P corresponding to a linear representation ϕof P. Using Bott's theorem, we obtain sufficient conditions on ϕin terms of the combinatorial structure of Σfor some cohomology groups of the sheaf of holomorphic sections of E_ϕto be zero. In particular, we define two numbers d(P), l(P) such that for any ϕobtained by natural operations from a representation of dimension less than d(P) the q-th cohomology group of E_ϕis zero fo…
We define homogeneous principal Higgs and co-Higgs bundles over irreducible Hermitian symmetric spaces of compact type. We provide a classification for each type of object up to isomorphism, which in each case can be interpreted as defining a moduli space.
Given a brane tiling, that is, a bipartite graph on a torus, we can associate with it a singular 3-Calabi-Yau variety. Using the brane tiling, we can also construct all crepant resolutions of the above variety. We give an explicit toric description of tilting bundles on these crepant resolutions. This result proves the conjecture of Hanany, Herzog and Vegh and a version of the conjecture of Aspinwall.
We show the vanishing of the log-term in the Fefferman expansion of the Bergman kernel of the disk bundle over a compact simply-connected homogeneous Kaehler--Einstein manifold of classical type.
In this paper, we provide a systematic and constructive description of Vaisman structures on certain principal elliptic bundles over complex flag manifolds. From this description we explicitly classify homogeneous l.c.K. structures on compact homogeneous Hermitian manifolds using elements of representation theory of complex simple Lie algebras. Moreover, we also describe using Lie theory all homogeneous solutions of the Hermitian-Einstein-Weyl equation on compact homogeneous Hermitian-Weyl manifolds. As an application, we provide a huge class of explicit (nontrivial) examples of such structure…
Winkelmann considered compact complex manifolds $X$ equipped with a reduced effective normal crossing divisor $D\, \subset\, X$ such that the logarithmic tangent bundle $TX(-\log D)$ is holomorphically trivial. He characterized them as pairs $(X,\, D)$ admitting a holomorphic action of a complex Lie group $\mathbb G$ satisfying certain conditions \cite{Wi1}, \cite{Wi2}; this $\mathbb G$ is the connected component, containing the identity element, of the group of holomorphic automorphisms of $X$ that preserve $D$. We characterize the homogeneous holomorphic principal $H$--bundles over $X$, wher…
We study the geometry of equivariant, proper maps from homogeneous bundles $G\times_P V$ over flag varieties $G/P$ to representations of $G$, called collapsing maps. Kempf showed that, provided the bundle is completely reducible, the image $G\cdot V$ of a collapsing map has rational singularities in characteristic zero. We extend this result to positive characteristic and show that for the analogous bundles the saturation $G\cdot V$ is strongly $F$-regular if its coordinate ring has a good filtration. We further show that in this case the images of collapsing maps of homogeneous bundles restri…
We construct new examples of exceptional collections of line bundles on the variety of Borel subgroups of a split semisimple linear algebraic group G of rank 2 over a field. We exhibit exceptional collections of the expected length for types A_2 and B_2=C_2 and prove that no such collection exists for type G_2. This settles the question of the existence of full exceptional collections of line bundles on projective homogeneous G-varieties for split linear algebraic groups G of rank at most 2.
Let G be a connected reductive group. To any irreducible G-variety one associates a certain linear group generated by reflections called the Weyl group. Weyl groups play an important role in the study of embeddings of homogeneous spaces. We establish algorithms for computing Weyl groups for homogeneous spaces and affine homogeneous vector bundles. For some special classes of G-varieties (affine homogeneous vector bundles of maximal rank, affine homogeneous spaces, homogeneous spaces of maximal rank with discrete group of central automorphisms) we compute Weyl groups more or less explicitly.
Let $E\rightarrow M$ be a holomorphic vector bundle over a compact Kaehler manifold $(M, ω)$ and let $E=E_1\oplus... \oplus E_m\rightarrow M$ be its decomposition into irreducible factors. Suppose that each $E_j$ admits a $ω$-balanced metric in Donaldson-Wang terminology. In this paper we prove that $E$ admits a unique $ω$-balanced metric if and only if $\frac{r_j}{N_j}=\frac{r_k}{N_k}$ for all $j, k=1, ..., m$, where $r_j$ denotes the rank of $E_j$ and $N_j=\dim H^0(M, E_j)$. We apply our result to the case of homogeneous vector bundles over a rational homogeneous variety $(M, ω)$ and we show…
We prove a parametric Oka principle for equivariant sections of a holomorphic fibre bundle $E$ with a structure group bundle $\mathscr G$ on a reduced Stein space $X$, such that the fibre of $E$ is a homogeneous space of the fibre of $\mathscr G$, with the complexification $K^\mathbb C$ of a compact real Lie group $K$ acting on $X$, $\mathscr G$, and $E$. Our main result is that the inclusion of the space of $K^\mathbb C$-equivariant holomorphic sections of $E$ over $X$ into the space of $K$-equivariant continuous sections is a weak homotopy equivalence. The result has a wide scope; we describ…
We study the following question: Given a vector bundle on a projective variety $X$ such that the restriction of $E$ to every closed curve $C \,\subset\, X$ is ample, under what conditions $E$ is ample? We first consider the case of an abelian variety $X$. If $E$ is a line bundle on $X$, then we answer the question in the affirmative. When $E$ is of higher rank, we show that the answer is affirmative under some conditions on $E$. We then study the case of $X \,=\, G/P$, where $G$ is a reductive complex affine algebraic group, and $P$ is a parabolic subgroup of $G$. In this case, we show that th…
In view of Mori theory, rational homogenous manifolds satisfy a recursive condition: every elementary contraction is a rational homogeneous fibration and the image of any elementary contraction also satisfies the same property. In this paper, we show that a smooth Fano $n$-fold with the same condition and Picard number greater than $n-6$ is either a rational homogeneous manifold or the product of $n-7$ copies of $\mathbb{P}^1$ and a Fano $7$-fold $X_0$ constructed by G. Ottaviani. We also clarify that $X_0$ has non-nef tangent bundle and in particular is not rational homogeneous.
Given a holomorphic principal bundle $Q\, \longrightarrow\, X$, the universal space of holomorphic connections is a torsor $C_1(Q)$ for $\text{ad} Q \otimes T^*X$ such that the pullback of $Q$ to $C_1(Q)$ has a tautological holomorphic connection. When $X\,=\, G/P$, where $P$ is a parabolic subgroup of a complex simple group $G$, and $Q$ is the frame bundle of an ample line bundle, we show that $C_1(Q)$ may be identified with $G/L$, where $L\, \subset\, P$ is a Levi factor. We use this identification to construct the twistor space associated to a natural hyper-Kähler metric on $T^*(G/P)$, reco…
We establish a relative version of the abstract "affine representability" theorem in ${\mathbb A}^1$--homotopy theory from Part I of this paper. We then prove some ${\mathbb A}^1$--invariance statements for generically trivial torsors under isotropic reductive groups over infinite fields analogous to the Bass--Quillen conjecture for vector bundles. Putting these ingredients together, we deduce representability theorems for generically trivial torsors under isotropic reductive groups and for associated homogeneous spaces in ${\mathbb A}^1$--homotopy theory.
We introduce the strength for sections of a line bundle on an algebraic variety. This generalizes the strength of homogeneous polynomials that has been recently introduced to resolve Stillman's conjecture, an important problem in commutative algebra. We establish the first properties of this notion and give some tool to obtain upper bounds on the strength in this framework. Moreover, we show some results on the usual strength such as the reducibility of the set of strength two homogeneous polynomials.
As an application of a recent characterization of complete flag manifolds as Fano manifolds having only ${\mathbb P}^1$-bundles as elementary contractions, we consider here the case of a Fano manifold $X$ of Picard number one supporting an unsplit family of rational curves whose subfamilies parametrizing curves through a fixed point are rational homogeneous, and we prove that $X$ is homogeneous. In order to do this, we first study minimal sections on flag bundles over the projective line, and discuss how Grothendieck's theorem on principal bundles allows us to describe a flag bundle upon some …
We prove three results on pure resolutions of vector bundles on projective spaces. First, we show that there are simple vector bundles of rank n on Pn with arbitrary homological dimension. We then analyze the pure resolutions given by the sheafification of the Koszul complex of a certain algebra and by the sheafification of the minimal free resolution of a compressed Gorenstein Artinian graded algebra, proving that their syzygies are simple vector bundles. Our main tool is a result originally established by Brambilla, for which we give an alternative proof using representations of quivers.