• ### Logarithmic connections, WZNW action, and moduli of parabolic bundles on the sphere(1407.6752)

March 25, 2019 hep-th, math.AG, math.CV
Moduli spaces of stable parabolic bundles of parabolic degree $0$ over the Riemann sphere are stratified according to the Harder--Narasimhan filtration of underlying vector bundles. Over a Zariski open subset $\mathscr{N}_{0}$ of the open stratum depending explicitly on a choice of parabolic weights, a real-valued function $\mathscr{S}$ is defined as the regularized critical value of the non-compact Wess--Zumino--Novikov--Witten action functional. The definition of $\mathscr{S}$ depends on a suitable notion of parabolic bundle `uniformization map' following from the Mehta--Seshadri and Birkhoff--Grothendieck theorems. It is shown that $-\mathscr{S}$ is a primitive for a (1,0)-form $\vartheta$ on $\mathscr{N}_{0}$ associated with the uniformization data of each intrinsic irreducible unitary logarithmic connection. Moreover, it is proved that $-\mathscr{S}$ is a K\"ahler potential for $(\Omega-\Omega_{\mathrm{T}})|_{\mathscr{N}_{0}}$, where $\Omega$ is the Narasimhan--Atiyah--Bott K\"ahler form in $\mathscr{N}$ and $\Omega_{\mathrm{T}}$ is a certain linear combination of tautological $(1,1)$-forms associated with the marked points. These results provide an explicit relation between the cohomology class $[\Omega]$ and tautological classes, which holds globally over certain open chambers of parabolic weights where $\mathscr{N}_{0} = \mathscr{N}$.
• ### Homotopy classes of gauge fields and the lattice(1701.00775)

For a smooth manifold $M$, possibly with boundary and corners, and a Lie group $G$, we consider a suitable description of gauge fields in terms of parallel transport, as groupoid homomorphisms from a certain path groupoid in $M$ to $G$. Using a cotriangulation $\mathscr{C}$ of $M$, and collections of finite-dimensional families of paths relative to $\mathscr{C}$, we define a homotopical equivalence relation of parallel transport maps, leading to the concept of an extended lattice gauge (ELG) field. A lattice gauge field, as used in Lattice Gauge Theory, is part of the data contained in an ELG field, but the latter contains further local topological information sufficient to reconstruct a principal $G$-bundle on $M$ up to equivalence. The space of ELG fields of a given pair $(M,\mathscr{C})$ is a covering for the space of fields in Lattice Gauge Theory, whose connected components parametrize equivalence classes of principal $G$-bundles on $M$. We give a criterion to determine when ELG fields over different cotriangulations define equivalent bundles.
• ### On a functional of Kobayashi for Higgs bundles(1803.10190)

April 13, 2018 math.DG
We define a functional ${\cal J}(h)$ for the space of Hermitian metrics on an arbitrary Higgs bundle over a compact K\"ahler manifold, as a natural generalization of the mean curvature energy functional of Kobayashi for holomorphic vector bundles \cite{Kobayashi}, and study some of its basic properties. We show that ${\cal J}(h)$ is bounded from below by a nonnegative constant depending on invariants of the Higgs bundle and the K\"ahler manifold, and that when achieved, its absolute minima are Hermite-Yang-Mills metrics. We derive a formula relating ${\cal J}(h)$ and another functional ${\cal I}(h)$, closely related to the Yang-Mills-Higgs functional \cite{Bradlow-Wilkin, Wentworth}, which can be thought of as an extension of a formula of Kobayashi for holomorphic vector bundles to the Higgs bundles setting. Finally, using 1-parameter families in the space of Hermitian metrics on a Higgs bundle, we compute the first variation of ${\cal J}(h)$, which is expressed as a certain $L^{2}$-Hermitian inner product. It follows that a Hermitian metric on a Higgs bundle is a critical point of ${\cal J}(h)$ if and only if the corresponding Hitchin--Simpson mean curvature is parallel with respect to the Hitchin--Simpson connection.
• ### Optimum weight chamber examples of moduli spaces of stable parabolic bundles in genus 0(1705.05028)

April 2, 2018 math.DG, math.AG, math.CV
We present an explicit construction of the moduli spaces of rank 2 stable parabolic bundles of parabolic degree 0 over the Riemann sphere, corresponding to "optimum" open weight chambers of parabolic weights in the weight polytope. The complexity of the different moduli space' weight chambers is understood in terms of the complexity of the actions of the corresponding groups of bundle automorphisms on stable parabolic structures. For the given choices of parabolic weights, $\mathscr{N}$ consists entirely of isomorphism classes of strictly stable parabolic bundles whose underlying Birkhoff-Grothendieck splitting coefficients are constant and minimal, is constructed as a quotient of a set of stable parabolic structures by a group of bundle automorphisms, and is a smooth, compact complex manifold biholomorphic to $\left(\mathbb{C}\mathbb{P}^{1}\right)^{n-3}$ for even degree, and $\mathbb{C}\mathbb{P}^{n-3}$ for odd degree. As an application of the construction of such explicit models, we provide an explicit characterization of the nilpotent cone locus on $T^{*}\mathscr{N}$ for Hitchin's integrable system.
• ### Linear phase space deformations with angular momentum symmetry(1803.08895)

March 23, 2018 math.DG, nlin.SI, math.SG
A classification of the linear deformations of phase space $(\mathbb{R}^{n}\oplus\mathbb{R}^{n},\omega = \sum_{i = 1}^{n} dx_{i}\wedge dp_{i})$ preserving the standard symplectic $\mathfrak{o}(n)$-action is presented. The classification result is motivated by the work of Leznov--Mostovoy, and describes standard phase space, as well as $T^{*}S^{n}$ and $T^{*}\mathbb{H}^{n}$ with their standard symplectic forms, as degenerations of a family of coadjoint orbits whose generic elements are Grassmannians of oriented planes in signatures $(n+2,0)$, $(n+1,1)$ and $(n,2)$.
• ### On Shimura's isomorphism and $(\Gamma, G)$-bundles on the upper-half plane(1511.00747)

Dec. 28, 2017 math.CV
For a compact real form $U$ of a complex simple Lie group $G$, and an irreducible representation $\rho:\Gamma \to U$ of a Fuchsian group of the first kind $\Gamma$, it is shown that the classical isomorphism of Shimura, for the periods of a cusp form of weight 2 with values in $\mathfrak{g}$ and the representation $\textrm{Ad}\rho:\Gamma\to\textrm{Aut}\mathfrak{g}$, can be interpreted as the differential at a point of the zero section, for a natural map from the cotangent bundle of the moduli space of certain $(\Gamma, G)$-bundles over $\mathbb{H}$ (in the sense of Seshadri) to an open set in the smooth locus of the character variety $\textrm{Hom}_{\mathbf{t}}(\Gamma,G)/PG$. Emphasis is put on analytic techniques.
• ### Remarks on groups of bundle automorphisms over the Riemann sphere(1607.03865)

Dec. 27, 2017 math.AG, math.CV, math.GR
A geometric characterization of the structure of the group of automorphisms of an arbitrary Birkhoff-Grothendieck bundle splitting $\bigoplus_{i=1}^{r} \mathcal(m_{i})$ over $\mathbb{C}\mathbb{P}^{1}$ is provided, in terms of its action on a suitable space of generalized flags in the fibers over a finite subset $S\subset\mathbb{C}\mathbb{P}^{1}$. The relevance of such characterization derives from the possibility of constructing geometric models for diverse moduli spaces of stable objects in genus 0, such as parabolic bundles, parabolic Higgs bundles, and logarithmic connections, as collections of orbit spaces of parabolic structures and compatible geometric data satisfying a given stability criterion, under the actions of the different splitting types' automorphism groups, that are glued in a concrete fashion. We illustrate an instance of such idea, on the existence of several natural representatives for the induced actions on the corresponding vector spaces of (orbits of) logarithmic connections with residues adapted to a parabolic structure.
• ### On vector-valued Poincar\'e series of weight 2(1408.6494)

July 23, 2017 math.NT, math.CV
Given a pair $(\Gamma,\rho)$ of a Fuchsian group of the first kind, and a unitary representation $\rho$ of $\Gamma$ of arbitrary rank, the problem of construction of vector-valued Poincar\'e series of weight 2 is considered. Implications in the theory of parabolic bundles are discussed. When the genus of the group is zero, it is shown how an explicit basis for the space of these functions can be constructed.
• ### Differentiation matrices for meromorphic functions(math/0407020)

Aug. 22, 2006 math.NA, math.CA
A procedure to obtain differentiation matrices is extended straightforwardly to yield new differentiation matrices useful to obtain derivatives of complex rational functions. Such matrices can be used to obtain numerical solutions of some singular differential problems defined in the complex domain. The potential use of these matrices is illustrated with the case of elliptic functions.
• ### Geometry of C-flat connections, coarse graining and the continuum limit(hep-th/0507039)

July 5, 2005 hep-th
A notion of effective gauge fields which does not involve a background metric is introduced. The role of scale is played by cellular decompositions of the base manifold. Once a cellular decomposition is chosen, the corresponding space of effective gauge fields is the space of flat connections with singularities on its codimension two skeleton, ${\cal A}_{C-flat} \subset \bar{\cal A}_M$. If cellular decomposition $C_2$ is finer than cellular decomposition $C_1$, there is a coarse graining map $\pi_{C_2 \to C_1}: {\cal A}_{C_2-flat} \to {\cal A}_{C_1-flat}$. We prove that the triple $({\cal A}_{C_2-flat}, \pi_{C_2 \to C_1}, {\cal A}_{C_1-flat})$ is a principal fiber bundle with a preferred global section given by the natural inclusion map $i_{C_1 \to C_2}: {\cal A}_{C_1-flat} \to {\cal A}_{C_2-flat}$. Since the spaces ${\cal A}_{C-flat}$ are partially ordered (by inclusion) and this order is directed in the direction of refinement, we can define a continuum limit, $C \to M$. We prove that, in an appropriate sense, $\lim_{C \to M} {\cal A}_{C-flat} = \bar{\cal A}_M$. We also define a construction of measures in $\bar{\cal A}_M$ as the continuum limit (not a projective limit) of effective measures.