A Seifert bundle over a variety X is a variety Y with a proper action of the multiplicative group such that the quotient is X. The topological version of this notion (using circle actions) was introduced by Seifert, the holomorphic version by Orlik and Wagreich. The aim of this paper is to provide the foundational results for Seifert bundles over an arbitrary normal variety X. The main results are a classification and a smoothness criterion.
The aim of this paper is to study Seifert bundle structures on simply connected 5--manifolds. We classify all such 5--manifolds which admit a Seifert bundle structure, and in a few cases all Seifert bundle structures are also classified. These results are then used to construct positive Ricci curvature Einstein metrics on these manifolds. The proof has 4 main steps. First, the study of the Leray spectral sequence of the Seifert bundle, based on work of Orlik--Wagreich. Second, the study of log Del Pezzo surfaces. Third, the construction of Kähler--Einstein metrics on Del Pezzo orbifolds using …
To each connected component in the space of semisimple representations from the orbifold fundamental group of the base orbifold of a Seifert fibered homology 3-sphere into the Lie group U(2,1), we associate a real number called the "orbifold Toledo invariant." For each such orbifold, there exists an elliptic surface over it, called a Dolgachev surface. Using the theory of Higgs bundles on these Dolgachev surfaces, we explicitly compute all values taken on by the orbifold Toledo invariant.
Let E be a Real or Quaternionic Hermitian vector bundle over a Klein surface M. We study the action of the gauge group of E on the space of Galois-invariant unitary connections and we show that the closure of a semi-stable orbit contains a unique unitary orbit of projectively flat, Galois-invariant connections. We then use this invariant-theoretic perspective to prove a version of the Narasimhan-Seshadri correspondence in this context: S-equivalence classes of semi-stable Real and Quaternionic vector bundes are in bijective correspondence with equivalence classes of certain appropriate represe…
I. Hambleton, A. Korzeniewski and A. Ranicki proved that the signature of a fibre bundle of closed, connected, compatibly oriented PL manifolds is always multiplicative modulo 4. In this paper, we consider the Hirzebruch $χ_y$-genera for odd integers $y$ for a smooth fiber bundle such that the base, fibre, and total space are compact complex algebraic manifolds (in the complex analytic topology, not in the Zariski topology). We show that the Hirzebruch $χ_y$-genera of such a fibre bundle are always multiplicative modulo 4. We also investigate multiplicativity modulo 8 and show that if $y$ is c…
We construct the moduli stack of properly balanced vector bundles on semistable curves and we determine explicitly its Picard group. As a consequence, we obtain an explicit description of the Picard groups of the universal moduli stack of vector bundles on smooth curves and of the Schmitt's compactification over the stack of stable curves. We prove some results about the gerbe structure of the universal moduli stack over its rigidification by the natural action of the multiplicative group. In particular, we give necessary and sufficient conditions for the existence of Poincaré bundles over the…
We prove a closed formula expressing any multiplicative characteristic class evaluated on the tangent bundle of the Hilbert schemes of points on a non-compact simply-connected surface. As a corollary, we deduce a closed formula for the Chern character of the tangent bundles of these Hilbert schemes. We also give a closed formula for the multiplicative characteristic classes of the tautological bundles associated to a line bundle on the surface. We finally remark which implications the results here have for the Hilbert schemes of points of an arbitrary surface.
Let $E$ be a fiber $F$ bundle over a base $B$ such that $E, F$ and $B$ are smooth compact complex algebraic varieties. In this paper we give explicit formulae for the difference of the Hirzebruch $χ_y$-genus $χ_y(E) - χ_y(F)χ_y(B)$. As a byproduct of the formulae we obtain that the signature of such a fiber bundle is multiplicative mod $4$, i.e. the signature difference $σ(E) -σ(F)σ(B)$ is always divisible by $4$. In the case of $\operatorname{dim}_{\mathbb C}E \leqq 4$ the $χ_y$-genus difference $χ_y(E) - χ_y(F)χ_y(B)$ can be concretely described only in terms of the signature difference $σ(E…
Multiplicative Hitchin systems are analogues of Hitchin's integrable system based on moduli spaces of G-Higgs bundles on a curve C where the Higgs field is group-valued, rather than Lie algebra valued. We discuss the relationship between several occurences of these moduli spaces in geometry and supersymmetric gauge theory, with a particular focus on the case where C = CP1 with a fixed framing at infinity. In this case we prove that the identification between multiplicative Higgs bundles and periodic monopoles proved by Charbonneau and Hurtubise can be promoted to an equivalence of hyperkähler …
In this paper we study a restricted family of holomorphic symplectic leaves in the Poisson-Lie group ${\rm GL}_r(\mathcal{K}_{\mathbb{P}^1_x})$ with rational quadratic Sklyanin brackets induced by a one-form with a single quadratic pole at $\infty \in \mathbb{P}_{1}$. The restriction of the family is that the matrix elements in the defining representation are linear functions of $x$. We study how the symplectic leaves in this family are obtained by the fusion of certain fundamental symplectic leaves. These symplectic leaves arise as minimal examples of (i) moduli spaces of multiplicative Higgs…
Let $G$ be a simply connected simple algebraic group. The classical multiplicative and additive Grothendieck-Springer resolutions are simultaneous resolutions of singularities for the maps from $G$ and its Lie algebra to their invariant theory quotients by the conjugation action of $G$. In this paper, we construct an elliptic version of the Grothendieck-Springer resolution, which is a simultaneous log resolution of a family whose total space is the stack of principal $G$-bundles on an elliptic curve. Our construction extends a well-known simultaneous resolution of the coarse moduli space map f…
We construct a version of Beilinson's regulator as a map of sheaves of commutative ring spectra and use it to define a multiplicative variant of differential algebraic K-theory. We use this theory to give an interpretation of Bloch's construction of K_3-classes and the relation with dilogarithms. Furthermore, we provide a relation to Arakelov theory via the arithmetic degree of metrized line bundles, and we give a proof of the formality of the algebraic K-theory of number rings.
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…
For $G$ a finite subgroup of ${\rm SL}(3,{\mathbb C})$ acting freely on ${\mathbb C}^3{\setminus} \{0\}$ a crepant resolution of the Calabi-Yau orbifold ${\mathbb C}^3\!/G$ always exists and has the geometry of an ALE non-compact manifold. We show that the tautological bundles on these crepant resolutions admit rigid Hermitian-Yang-Mills connections. For this we use analytical information extracted from the derived category McKay correspondence of Bridgeland, King, and Reid [J. Amer. Math. Soc. 14 (2001), 535-554]. As a consequence we rederive multiplicative cohomological identities on the cre…
Let X be the quasi-projective symplectic surface that is given by the total space of the invertible sheaf O(-2) over the projective line. Let Hilb X be the family of Hilbert schemes of points on X. We give and prove a closed formula expressing any multiplicative characteristic class evaluated on the Hilb X in terms of the standard Fock space description of the cohomology of the Hilb X. As a side result, we also deduce a formula for the Chern character of the tangent bundles of the Hilb X. The results found here are another step towards a complete description of the tangent bundle of the Hilber…
An affine varieties with an action of a semisimple group $G$ is called "small" if every non-trivial $G$-orbit in $X$ is isomorphic to the orbit of a highest weight vector. Such a variety $X$ carries a canonical action of the multiplicative group $\mathbb{K}^*$ commuting with the $G$-action. We show that $X$ is determined by the $\mathbb{K}^*$-variety $X^U$ of fixed points under a maximal unipotent subgroups $U$ of $G$. Moreover, if $X$ is smooth, then $X$ is a $G$-vector bundle over the quotient $X// G$. If $G$ is of type $A_n$ ($n>1$), $C_n$, $E_6$, $E_7$ or $E_8$, we show that all affine $G$…
Let Bun_G be the moduli space of G-bundles on a smooth complex projective curve. Motivated by a study of boundary conditions in mirror symmetry, D. Gaiotto associated to any symplectic representation of G a Lagrangian subvariety of the cotangent bundle of Bun_G. We give a simple interpretation of (a generalization of) Gaiotto's construction in terms of derived symplectic geometry. This allows to consider a more general setting where symplectic G-representations are replaced by arbitrary symplectic manifolds equipped with a Hamiltonian G-action and with an action of the multiplicative group tha…
