If a finite group acts holomorphically on a pair (X,L), where X is a complex projective manifold and L a line bundle on it, for every k the space of holomorphic global section of the k-th power of L splits equivariantly according to the irreducible representations of G. We consider the asymptotic growth of these summands, under various positivity conditions on L. The methods apply also to the context of almost complex quantization.
We examine the structure of the cotangent bundle $T^{*}X$ of an algebraic variety $X$ acted on by a reductive group $G$ from the viewpoint of equivariant symplectic geometry. In particular, we construct an equivariant symplectic covering of $T^{*}X$ by the cotangent bundle of a certain variety of horospheres in $X$, and integrate the invariant collective motion on $T^{*}X$. These results are based on a "local structure theorem" describing the action of a certain parabolic in $G$ on an open subset of $X$, which is interesting by itself.
We identify a certain universal Landau-Ginzburg model as a mirror of the big equivariant quantum cohomology of a (not necessarily compact or semipositive) toric manifold. The mirror map and the primitive form are constructed via Seidel elements and shift operators for equivariant quantum cohomology. Primitive forms in non-equivariant theory are identified up to automorphisms of the mirror.
We classify holomorphic as well as algebraic torus equivariant principal $G$-bundles over a nonsingular toric variety $X$, where $G$ is a complex linear algebraic group. It is shown that any such bundle over an affine, nonsingular toric variety admits a trivialization in equivariant sense. We also obtain some splitting results.
We show that any continuous $\mathbf{C}$-linear Lie algebra splitting of the symbol map from the Atiyah algebra of a vector bundle on a complex manifold is given by a differential operator of order at most the rank of the bundle plus one. Bundles equipped with such a splitting can be thought of as \emph{infinitesimally equivariant} bundles, and our theorem implies these are, in a certain sense, in a categorical formal neighbourhood of vector bundles with a flat connection.
Let X be a T-variety, where T is an algebraic torus. We describe a fully faithful functor from the category of T-equivariant vector bundles on X to a certain category of filtered vector bundles on a suitable quotient of X by T. We show that if X is factorial, this functor gives an equivalence of categories. This generalizes Klyachko's description of equivariant vector bundles on toric varieties. We apply our machinery to show that vector bundles of low rank on projective space which are equivariant with respect to special subtori of the maximal torus must split, generalizing a theorem of Kaney…
We give a complete classification of equivariant vector bundles of rank two over smooth complete toric surfaces and construct moduli spaces of such bundles. This note is a direct continuation of an earlier note where we developed a general description of equivariant sheaves on toric varieties. Here we give a first application of that description.
Let $M$ be an irreducible smooth complex projective variety equipped with an action of a compact Lie group $G$, and let $({\mathcal L},h)$ be a $G$-equivariant holomorphic Hermitian line bundle on $M$. Given a compact connected Riemann surface $X$, we construct a $G$-equivariant holomorphic Hermitian line bundle $(L\,,H)$ on $X\times M$ (the action of $G$ on $X$ is trivial), such that the corresponding Quillen determinant line bundle $({\mathcal Q}, h_Q)$, which is a $G$--equivariant holomorphic Hermitian line bundle on $M$, is isomorphic to the given $G$--equivariant holomorphic Hermitian lin…
We compute Seshadri constants of a torus equivariant nef vector bundle on a projective space satisfying certain conditions. As an application, we compute Seshadri constants of tangent bundles on projective spaces. We also consider equivariant nef vector bundles on Bott towers of height 2 (i.e. Hirzebruch surfaces) and Bott towers of height 3 respectively. Assuming some conditions on the minimal slope of the restrictions of these bundles to invariant curves, we give precise values of Seshadri constant at an arbitrary point. We also give several examples illustrating our results.
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.
We give a complete answer to the question of (semi)stability of tangent bundle of any nonsingular projective complex toric variety with Picard number 2 by using combinatorial crietrion of (semi)stability of an equivariant sheaf. We also give a complete answer to the question of (semi)stability of tangent bundle of all toric Fano 4-folds with Picard number (\leq) 3 which are classified by Batyrev \cite{batyrev}. We have constructed a collection of equivariant indecomposable rank 2 vector bundles on Bott tower and pseudo-symmetric toric Fano varieties. Further in case of Bott tower, we have show…
Let $X$ be the wonderful compactification of a complex adjoint symmetric space $G/K$ such that $rk(G/K)=rk(G)-rk(K)$. We show how to extend equivariant vector bundles on $G/K$ to equivariant vector bundles on $X$, generated by their global sections and having trivial higher cohomology groups. This relies on a geometric construction of equivariant vector bundles in the setting of varieties with reductive group action and ``multiplicity-free'' subvarieties.
Let $G$ be a connected reductive group acting on an irreducible normal algebraic variety $X$. We give a slightly improved version of local structure theorems obtained by F.Knop and D.A.Timashev that describe an action of some parabolic subgroup of $G$ on an open subset of $X$. We also extend various results of E.B.Vinberg and D.A.Timashev on the set of horospheres in $X$. We construct a family of nongeneric horospheres in $X$ and a variety $\Hor$ parameterizing this family, such that there is a rational $G$-equivariant symplectic covering of cotangent vector bundles $T^*\Hor \dashrightarrow T^…
Let X be a smooth complete complex toric variety such that the boundary is a simple normal crossing divisor, and let E be a holomorphic vector bundle on X. We prove that E admits an equivariant structure if and only if E admits a logarithmic connection singular over D. More precisely, we show that an equivariant vector bundle on X has a tautological integrable logarithmic connection singular over D. This is used in computing the Chern classes of the equivariant vector bundles on X. We also prove a version of the result for holomorphic vector bundles on log parallelizable G-pairs (X,D), where G…
Let $G$ be an affine group scheme over a noetherian commutative ring $R$. We show that every $G$-equivariant vector bundle on an affine toric scheme over $R$ with $G$-action is extended from $\Spec(R)$ for several cases of $R$ and $G$. We show that given two affine schemes with group scheme actions, an equivalence of the equivariant derived categories implies isomorphism of the equivariant $K$-theories as well as equivariant $K'$-theories.
We describe a strategy for the construction of finitely generated $G$-equivariant $\mathbb{Z}$-graded modules $M$ over the exterior algebra for a finite group $G$. By an equivariant version of the BGG correspondence, $M$ defines an object $\mathcal{F}$ in the bounded derived category of $G$-equivariant coherent sheaves on projective space. We develop a necessary condition for $\mathcal{F}$ being isomorphic to a vector bundle that can be simply read off from the Hilbert series of $M$. Combining this necessary condition with the computation of finite excerpts of the cohomology table of $\mathcal…
We give a concrete description of the category of G-equivariant vector bundles on certain affine G-varieties (where G is a reductive linear algebraic group over an algebraically closed field of characteristic 0) in terms of linear algebra data.
Given a complex manifold $X$, a normal crossing divisor $D\subset X$ whose irreducible components $D_1,...,D_s$ are smooth, and a choice of natural numbers $r=(r_1,...,r_s)$, we construct a manifold $X(D,\ur)$ with an action of a torus $Γ$ and we prove that some full subcategory of the category of $Γ$-equivariant vector bundles on $X(D,r)$ is equivalent to the category of parabolic vector bundles on $(X,D)$ in which the lengths of the filtrations over each irreducible component of $X$ are given by $r$. When $X$ is Kaehler, we study the Kaehler cone of $X(D,r)$ and the relation between the corr…
Let $G$ be an algebraic group and let $X$ be a smooth $G$-variety with two orbits: an open orbit and a a closed orbit of codimension $1$. We give an algebraic description of the category of $G$-equivariant vector bundles on $X$ under a mild technical hypothesis. We deduce simpler classifications in the special cases of line bundles and vector bundles which are generically local systems. We apply our results to the study of admissible representations of semisimple Lie groups. Our main result gives a new set of constraints on the associated cycles of unipotent representations.
Given two equivariant vector bundles over an algebraic GKM manifold with the same equivariant Chern classes, we show that the genus zero equivariant Gromov--Witten theory of their projective bundles are naturally isomorphic.
Let $X$ be a connected complex manifold equipped with a holomorphic action of a complex Lie group $G$. We investigate conditions under which a principal bundle on $X$ admits a $G$--equivariance structure.
Let $X$ be a complete toric variety equipped with the action of a torus $T$ and $G$ a reductive algebraic group, defined over an algebraically closed field $K$. We introduce the notion of a compatible $Σ$--filtered algebra associated to $X$, generalizing the notion of a compatible $Σ$--filtered vector space due to Klyachko, where $Σ$ denotes the fan of $X$. We combine Klyachko's classification of $T$--equivariant vector bundles on $X$ with Nori's Tannakian approach to principal $G$--bundles, to give an equivalence of categories between $T$--equivariant principal $G$--bundles on $X$ and certain…
Let $M$ be a smooth complex projective toric variety equipped with an action of a torus $T$, such that the complement $D$ of the open $T$--orbit in $M$ is a simple normal crossing divisor. Let $G$ be a complex reductive affine algebraic group. We prove that an algebraic principal $G$--bundle $E_G\to M$ admits a $T$--equivariant structure if and only if $E_G$ admits a logarithmic connection singular over $D$. If $E_H\to M$ is a $T$-equivariant algebraic principal $H$--bundle, where $H$ is any complex affine algebraic group, then $E_H$ in fact has a canonical integrable logarithmic connection si…
Let $E_G$ be a $Γ$--equivariant algebraic principal $G$--bundle over a normal complex affine variety $X$ equipped with an action of $Γ$, where $G$ and $Γ$ are complex linear algebraic groups. Suppose $X$ is contractible as a topological $Γ$--space with a dense orbit, and $x_0 \in X$ is a $Γ$--fixed point. We show that if $Γ$ is reductive, then $E_G$ admits a $Γ$--equivariant isomorphism with the product principal $G$--bundle $X \times_ρ E_G(x_0)$, where $ρ\,:\, Γ\, \longrightarrow\, G$ is a homomorphism between algebraic groups. As a consequence, any torus equivariant principal $G$-bundle over…
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 analyze the deformation theory of equivariant vector bundles. In particular, we provide an effective criterion for verifying whether all infinitesimal deformations preserve the equivariant structure. As an application, using rigidity of the Frobenius homomorphism of general linear groups, we prove that projectivizations of Frobenius pullbacks of tautological vector bundles on Grassmanians are arithmetically rigid, that is, do not lift over rings where $p \neq 0$. This gives the same conclusion for Totaro's examples of Fano varieties violating Kodaira vanishing. We also provide an alternativ…
We describe the monodromy of the equivariant quantum differential equation of the cotangent bundle of a Grassmannian in terms of the equivariant K-theory algebra of the cotangent bundle. This description is based on the hypergeometric integral representations for solutions of the equivariant quantum differential equation. We identify the space of solutions with the space of the equivariant K-theory algebra of the cotangent bundle. In particular, we show that for any element of the monodromy group, all entries of its matrix in the standard basis of the equivariant K-theory algebra of the cotang…
We construct stable vector bundles on the space of symmetric forms of degree d in n+1 variables which are equivariant for the action of SL_{n+1}(C), and admit an equivariant free resolution of length 2. For n=1, we obtain new examples of stable vector bundles of rank d-1 on P^d, which are moreover equivariant for SL_2(C). The presentation matrix of these bundles attains Westwick's upper bound for the dimension of vector spaces of matrices of constant rank and fixed size.
We give a classification of the equivariant principal $G$-bundles on a nonsingular toric variety when $G$ is a closed Abelian subgroup of $GL_k(\mathbb{C})$. We prove that any such bundle splits, that is, admits a reduction of structure group to the intersection of $G$ with a torus. We give an explicit parametrization of the isomorphism classes of such bundles for a large family of $G$ when $X$ is complete.
In this paper, we describe the category of bi-equivariant vector bundles on a bi-equivariant smooth (partial) compactification of a reductive algebraic group with normal crossing boundary divisors. Our result is a generalization of the description of the category of equivariant vector bundles on toric varieties established by A.A. Klyachko [Math. USSR. Izvestiya, {\bf 35}, No.2 (1990)]. As an application, we prove splitting of equivariant vector bundles of low rank on the wonderful compactification of an adjoint semisimple group in the sense of C. De Concini and C. Procesi [Lecture Note in Mat…
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 define and study the existence of very stable Higgs bundles on Riemann surfaces, how it implies a precise formula for the multiplicity of the very stable components of the global nilpotent cone and its relationship to mirror symmetry. The main ingredients are the Bialynicki-Birula theory of ${\mathbb C}^*$-actions on semiprojective varieties, ${\mathbb C}^*$ characters of indices of ${\mathbb C}^*$-equivariant coherent sheaves, Hecke transformation for Higgs bundles, relative Fourier-Mukai transform along the Hitchin fibration, hyperholomorphic structures on universal bundles and cominuscul…
We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus.
Let $X$ be the wonderful compactification of a complex symmetric space $G/H$ of minimal rank. For a point $x\,\in\, G$, denote by $Z$ be the closure of $BxH/H$ in $X$, where $B$ is a Borel subgroup of $G$. The universal cover of $G$ is denoted by $\widetilde{G}$. Given a $\widetilde{G}$ equivariant vector bundle $E$ on $X,$ we prove that $E$ is nef (respectively, ample) if and only if its restriction to $Z$ is nef (respectively, ample). Similarly, $E$ is trivial if and only if its restriction to $Z$ is so.
We prove a version of Grothendieck's descent theorem on an `enriched' principal fiber bundle, a principal fiber bundle with an action of a larger group scheme. Using this, we prove the isomorphisms of the equivariant Picard and the class groups arising from such a principal fiber bundle.
From the work of Lian, Liu, and Yau on "Mirror Principle", in the explicit computation of the Euler data $Q=\{Q_0, Q_1, ... \}$ for an equivariant concavex bundle ${\cal E}$ over a toric manifold, there are two places the structure of the bundle comes into play: (1) the multiplicative characteric class $Q_0$ of $V$ one starts with, and (2) the splitting type of ${\cal E}$. Equivariant bundles over a toric manifold has been classified by Kaneyama, using data related to the linearization of the toric action on the base toric manifold. In this article, we relate the splitting type of ${\cal E}$ t…
Let $G$ be a simple algebraic group of adjoint type over $\mathbb C$, and let $M$ be the wonderful compactification of a symmetric space $G/H$. Take a $\widetilde G$--equivariant principal $R$--bundle $E$ on $M$, where $R$ is a complex reductive algebraic group and $\widetilde G$ is the universal cover of $G$. If the action of the isotropy group $\widetilde H$ on the fiber of $E$ at the identity coset is irreducible, then we prove that $E$ is polystable with respect to any polarization on $M$. Further, for wonderful compactification of the quotient of $\text{PSL}(n,{\mathbb C})$, $n\,\neq\, 4$…
Let $X$ be a complex toric variety equipped with the action of an algebraic torus $T$, and let $G$ be a complex linear algebraic group. We classify all $T$-equivariant principal $G$-bundles $\mathcal{E}$ over $X$ and the morphisms between them. When $G$ is connected and reductive, we characterize the equivariant automorphism group $\text{Aut}_T(\mathcal{E} )$ of $\mathcal{E}$ as the intersection of certain parabolic subgroups of $G$ that arise naturally from the $T$-action on $\mathcal{E}$. We then give a criterion for the equivariant reduction of the structure group of $\mathcal{E}$ to a Levi…
In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(2,n;n+1), F(2,n;n+2), F(k,k+1;n), and F(k,k+2;n). We give a conjectural description of the two-step flag varieties which admit such Ulrich bundles. Our results provide counterexamples to conjectures by Costa and Miro-Roig.
We compute section class relative equivariant Gromov-Witten invariants of the total space of P^2-bundles of the form P(O+L1+L2)-->C where C is a genus g curve, O is the trivial bundle, and L1 (resp. L2) is an arbitrary line bundle of degree k1 (resp. k2) over C. We prove a gluing formula for the partition functions of these invariants. Using this gluing formula together with localization techniques, we construct three explicit 3x3 matrices G, U1 and U2 with entries in Q((u))(t0,t1,t2), where u is the genus parameter, and t0,t1,t2 are the equivariant parameters. Then we prove that the partition…
Let $G$ be an algebraic group and $Γ$ a finite subgroup of automorphisms of $G$. Fix also a possibly ramified $Γ$-covering $\widetilde{X} \to X$. In this setting one may define the notion of $(Γ,G)$-bundles over $\widetilde{X}$ and, in this paper, we give a description of these objects in terms of $\mathcal{H}$-bundles on $X$, for an appropriate group $\mathcal{H}$ over $X$ which depends on the local type of the $(Γ,G)$-bundles we intend to parametrize. This extends, and along the way clarifies, an earlier work of Balaji and Seshadri.
This is a resubmission of preprint 9401008 , which has some TeXnical errors introduced by the "reform" procedure (designed to avoid precisely these problems!). The original can be formatted by editing out the messages "%% following line cannot be broken..." at line 1674. This problem has been corrected in the current version. The content of the paper has not been changed in any way. My aplogies for any inconvenience caused. SB
Let $G$ denote a complex semisimple linear algebraic group, $P$ a parabolic subgroup of $G$ and $\mathcal{P}=G/P$. We identify the quantum multiplication by divisors in $T^*\mathcal{P}$ in terms of stable basis, which is introduced by Maulik and Okounkov. Using this and the restriction formula for stable basis, we show that the $G\times\mathbb{C}^*$-equivariant quantum multiplication formula in $T^*\mathcal{P}$ is conjugate to the conjectured formula by Braverman.
This survey studies equivariant harmonic maps arising from Higgs bundles. We explain the non-abelian Hodge correspondence and focus on the role of equivariant harmonic maps in the correspondence. With the preparation, we review current progress towards some open problems in the study of equivariant harmonic maps.
In this short article, we determine the bigness of the tangent bundle $T_X$ of the projective bundle $X=\mathbb{P}_C(E)$ associated to a vector bundle $E$ on a smooth projective curve $C$.
