To each del Pezzo surface (resp. ruled surface, ruled surface with a section), we describe a natural Lie algebra bundle of type E_n (resp. D_n, A_n) over it. Using lines and rulings on any such surface, we describe various representation bundles corresponding to fundamental representations of the corresponding Lie algebra.
When we specify a geometric structure on the surface to reduce the Lie algebra to a smaller one, then the classical geometry of the configuration of lines and rulings is encoded beautifully by the branching rules in Lie theory. We discuss this relationship in details.
When we degenerate the surface to a non-normal del Pezzo surface, we discover that the configurations of lines and rulings are also governed by certain branching rules.
Based on the Brieskorn-Slodowy-Grothendieck diagram, we write the holomorphic structures (or filtrations) of the ADE Lie algebra bundles over the corresponding type ADE flag varieties, over the cotangent bundles of these flag varieties, and over the corresponding type $ADE$ singular surfaces. The main tool is the cohomology of line bundles over flag varieties and their cotangent bundles.
Given a complex projective surface with an ADE singularity and p_{g}=0, we construct ADE bundles over it and its minimal resolution. Furthermore, we descibe their minuscule representation bundles in terms of configurations of (reducible) (-1)-curves.
This is a review paper about ADE bundles over surfaces. Based on the deep connections between the geometry of surfaces and ADE Lie theory, we construct the corresponding ADE bundles over surfaces and study some related problems.
We study simply-laced simple affine Lie algebra bundles over complex surfaces X. Given any Kodaira curve C in X, we construct such a bundle over X. After deformations, it becomes trivial on every irreducible component of C provided that p_g(X)=0. When X is a blowup of P^2 at nine points, there is a canonical E_8-bundle E over X. We show that the geometry of X can be reflected by the deformability of E.
We give a construction of the second Chern number of a vector bundle over a smooth projective surface by means of adelic transition matrices for the vector bundle. The construction does not use an algebraic $K$-theory and depends on the canonical $\mathbb{Z}$-torsor of a locally linearly compact $k$-vector space. Analogs of certain auxiliary results for the case of an arithmetic surface are also discussed.
We study the proalgebraic space which is the inverse limit of all finite branched covers over a normal toric variety with branching set the invariant divisor under the algebraic torus action. These are completions (compactifications) of the adelic abelian algebraic group which is the profinite completion of the algebraic torus. We prove that the vector bundle category of the proalgebraic toric completion of a toric variety is the direct limit of the respective categories of the finite toric varieties coverings defining the completion. In the case of the complex projective line we obtain as pro…
We establish, in the setting of Arakelov geometry over adelic curves, an arithmetic Hilbert-Samuel theorem describing the asymptotic behaviour of the metrized graded linear series of an adelic line bundle in terms of its arithmetic intersection number. We then study positivity conditions of adelic line bundles.
There is a beautiful correspondence between configurations of lines on a rational surface and tautological bundles over that surface. We extend this correspondence to families, by means of a generalized Fourier-Mukai transform that relates spectral data to bundles over a rational surface fibration.
We investigate the triangle singularity $f=x^a+y^b+z^c$, or $S=k[x,y,z]/(f)$, attached to a weighted projective line $X$ given by the weight triple $(a,b,c)$. We investigate the stable category of vector bundles on $X$ obtained from the vector bundles by factoring out all line bundles. This category is triangulated and has Serre duality. It is, moreover, naturally equivalent to the stable category of graded maximal Cohen-Macaulay modules over $S$ (or matrix factorizations of $f$), and then by results of Buchweitz and Orlov to the graded singularity category of $f$. We show that this category i…
It is well-known that del Pezzo surfaces of degree $9-n$ one-to-one correspond to flat $E_n$ bundles over an elliptic curve. In this paper, we construct $ADE$ bundles over a broader class of rational surfaces which we call $ADE$ surfaces, and extend the above correspondence to all flat $G$ bundles over an elliptic curve, where $G$ is any simply laced, simple, compact and simply-connected Lie group. In the sequel, we will construct $G$ bundles for non-simply laced Lie group $G$ over these rational surfaces, and extend the above correspondence to non-simply laced cases.
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 give a moduli-theoretic treatment of the existence and properties of moduli spaces of semistable quiver representations, avoiding methods from geometric invariant theory. Using the existence criteria of Alper--Halpern-Leistner--Heinloth, we show that for many stability functions, the stack of semistable representations admits an adequate moduli space, and prove that this moduli space is proper over the moduli space of semisimple representations. We construct a natural determinantal line bundle that descends to a semiample line bundle on the moduli space and provide new effective bounds for …
We show a Riemann-Roch theorem for group ring bundles over an arithmetic surface; this is expressed using the higher adeles of Beilinson-Parshin and the tame symbol via a theory of adelic equivariant Chow groups and Chern classes. The theorem is obtained by combining a group ring coefficient version of the local Riemann-Roch formula as in Kapranov-Vasserot with results on K-groups of group rings and an explicit description of group ring bundles over P^1. Our set-up provides an extension of several aspects of the classical Fr"ohlich theory of the Galois module structure of rings of integers of …
Inspired by a string duality, we construct a deformation family for $G_2$-orbifolds given as total spaces of coassociative fibrations by ADE singularities over a closed and oriented smooth three-manifold $Q$. The deformations are parametrized by sections of a fiber bundle on $Q$ that can be interpreted as spectral/cameral covers associated to certain Riemannian analogs of Higgs bundles. The spectral cover picture is a unifying framework for several different approaches to coassociative fibrations appearing in the literature. Our construction generalizes, to the context of $G_2$-geometry, a wel…
This paper deals with Arakelov vector bundles over an arithmetic curve, i.e. over the set of places of a number field. The main result is that for each semistable bundle E, there is a bundle F such that $E \otimes F$ has at least a certain slope, but no global sections. It is motivated by an analogous theorem of Faltings for vector bundles over algebraic curves and contains the Minkowski-Hlawka theorem on sphere packings as a special case. The proof uses an adelic version of Siegel's mean value formula.
In this paper we study the distribution of successive minima of global sections of powers of a metrized ample line bundle on a variety over a number field. We develop criteria for there to exist a measure on the real line describing the limiting behavior of this distribution as one considers increasing powers of the bundle. When this measure exists, we develop methods for determining it explicitly. We present applications to the distribution of Petersson norms of cusp forms of increasing weight for SL_2(Z) and to the minimal sup norm of algebraic functions on adelic subsets of curves arising i…
The nilpotent cone of a reductive Lie algebra has a desingularization given by thecotangent bundle of the flag variety. Analogously, the nullcone of a cartesianpower of the algebra has a desingularization given by a vector bundle over theflag variety. As for the nullcone, the subvariety of elements whose componentsare in a same Borel subalgebra, has a desingularization given by a vector bundle overthe flag variety. In this note, some properties of these varieties are given. Forthe study of the commuting variety, the analogous variety to the flag variety isthe closure in the Grassmannian of the…
We show a surprising link between singularity theory and the invariant subspace problem of nilpotent operators as recently studied by C. M. Ringel and M. Schmidmeier, a problem with a longstanding history going back to G. Birkhoff. The link is established via weighted projective lines and (stable) categories of vector bundles on those. The setup yields a new approach to attack the subspace problem. In particular, we deduce the main results of Ringel and Schmidmeier for nilpotency degree p from properties of the category of vector bundles on the weighted projective line of weight type (2,3,p), …
University of Toronto（多伦多大学）；Perimeter Institute of Theoretical Physics（理论物理前沿研究所）；National Research University Higher School of Economics（国立高等经济学院）；Skolkovo Institute of Science and Technology（斯科尔科沃科学技术研究所）；Institute for Information Transmission Problems（信息传输问题研究所）；Research Institute for Mathematical Sciences, Kyoto University（京都大学数学科学研究所）；Kavli Institute for the Physics and Mathematics of the Universe (WPI), The University of Tokyo（东京大学宇宙物理与数学 Kavli 研究所（WPI））
The nonabelian Hodge correspondence for vector bundles over noncompact curves is adequately described by implementing a weighted filtration on the objects involved. In order to establish a full correspondence between a Dolbeault and a de Rham space for a general complex reductive group $G$, we introduce torsors given by parahoric group schemes in the sense of Bruhat--Tits. Combined with existing results on the Riemann--Hilbert correspondence for logarithmic parahoric connections, this gives a full nonabelian Hodge correspondence from Higgs bundles to fundamental group representations over a no…
We study general symmetric powers $S^k L^{[n]}$ of a tautological bundle $L^{[n]}$ on the Hilbert scheme $X^{[n]}$ of $n$ points over a smooth quasi-projective surface $X$, associated to a line bundle $L$ on $X$. Let $V_L$ be the $\mathfrak{S}_n$-vector bundle on $X^n$ defined as the exterior direct sum $L \boxplus \cdots \boxplus L$. We prove that the Bridgeland-King-Reid transform $\mathbfΦ(S^k L^{[n]})$ of symmetric powers $S^k L^{[n]}$ is quasi isomorphic to the last term of a finite decreasing filtration on the natural vector bundle $S^k V_L$, defined by kernels of operators $D^l_L$, whic…
We consider the compactification of the E8xE8 heterotic string on a K3 surface with "the spin connection embedded in the gauge group" and the dual picture in the type IIA string (or F-theory) on a Calabi-Yau threefold X. It turns out that the same X arises also as dual to a heterotic compactification on 24 point-like instantons. X is necessarily singular, and we see that this singularity allows the Ramond-Ramond moduli on X to split into distinct components, one containing the (dual of the heterotic) tangent bundle, while another component contains the point-like instantons. As a practical app…
We show that the height of a toric variety with respect to a toric metrized line bundle can be expressed as the integral over a polytope of a certain adelic family of concave functions. To state and prove this result, we study the Arakelov geometry of toric varieties. In particular, we consider models over a discrete valuation ring, metrized line bundles, and their associated measures and heights. We show that these notions can be translated in terms of convex analysis, and are closely related to objects like polyhedral complexes, concave functions, real Monge-Ampère measures, and Legendre-Fen…
Consider a normal complex analytic surface singularity. It is called Gorenstein if the canonical line bundle is holomorphically trivial in some punctured neighborhood of the singular point and is called numerically Gorenstein if this line bundle is topologically trivial. The second notion depends only on the topological type of the singularity. Laufer proved in 1977 that, given a numerically Gorenstein topological type of singularity, every analytical realization of it is Gorenstein if and only if one has either a Kleinian or a minimally elliptic topological type. The question to know if any n…
