arXiv research

Holonomies match for higher local systems and principal 2-bundles.

Smooth HP^2 bundle over S^4 with nontrivial A-genus found.

Paper introduces Atiyah sequence for Lie groupoids and studies gauge transformations.

Recently we initiated the study of spherical T-duality for spacetimes that are principal SU(2)-bundles. In this paper, we extend spherical T-duality to spacetimes that are oriented non-principal SU(2)-bundles. There are several interesting new examples in this case and a new phenomenon appearing in the non-principal ca…

Parallel transport defined for 2-bundles over Lie groupoids.

In the context of non-abelian gerbes we define a cubical version of categorical group 2-bundles with connection over a smooth manifold. We define their two-dimensional parallel transport, study its properties, and define non-abelian Wilson surface functionals.

Method constructs 2-bundles over homogeneous spaces.

In the spirit of [10,2], we study the Calabi-Yau equation on $T^2$-bundles over $\mathbb{T}^2$ endowed with an invariant non-Lagrangian almost-Kähler structure showing that for $T^2$-invariant initial data it reduces to a Monge-Ampère equation having a unique solution. In this way we prove that for every total space $M…

Study of gauge theory and parallel transport in Lie 2-group bundles over Lie groupoids.

A nice differential-geometric framework for (non-abelian) higher gauge theory is provided by principal 2-bundles, i.e. categorified principal bundles. Their total spaces are Lie groupoids, local trivializations are kinds of Morita equivalences, and connections are Lie-2-algebra-valued 1-forms. In this article, we const…

Geometrically, spherical 3-manifolds emerge from flat SU(2)-bundles over hyperbolic surfaces.

We develop semistrict higher gauge theory from first principles. In particular, we describe the differential Deligne cohomology underlying semistrict principal 2-bundles with connective structures. Principal 2-bundles are obtained in terms of weak 2-functors from the Cech groupoid to weak Lie 2-groups. As is demonstrat…

For a strict Lie 2-group, we develop a notion of Lie 2-algebra-valued differential forms on Lie groupoids, furnishing a differential graded-commutative Lie algebra equipped with an adjoint action of the Lie 2-group and a pullback operation along Morita equivalences between Lie groupoids. Using this notion, we define co…

We construct an analogue of the classical theta-function on an Abelian variety for closed 4-dimensional symplectic manifolds which are T^2-bundles over T^2 with the zero Euler class. We use our theta-functions for a canonical symplectic embedding of these manifolds into complex projective spaces (an analogue of the Lef…

Classifies $T^2$-bundles over closed surfaces up to isomorphisms.

Proves cobordism of CP^2 bundles generating oriented ring.

We recall and partially improve four versions of smooth, non-abelian gerbes: Cech cocycles, classifying maps, bundle gerbes, and principal 2-bundles. We prove that all these four versions are equivalent, and so establish new relations between interesting recent developments. Prominent partial results we prove are a bij…

In this paper we introduce principal 2-bundles and show how they are classified by non-abelian Cech cohomology. Moreover, we show that their gauge 2-groups can be described by 2-group-valued functors, much like in classical bundle theory. Using this, we show that, under some mild requirements, these gauge 2-groups poss…

New invariant from quantum algebra for 3-manifold bundles.

Just as gauge theory describes the parallel transport of point particles using connections on bundles, higher gauge theory describes the parallel transport of 1-dimensional objects (e.g. strings) using 2-connections on 2-bundles. A 2-bundle is a categorified version of a bundle: that is, one where the fiber is not a ma…

We show that general relativity can be viewed as a higher gauge theory involving a categorical group, or 2-group, called the teleparallel 2-group. On any semi-Riemannian manifold M, we first construct a principal 2-bundle with the Poincare 2-group as its structure 2-group. Any flat metric-preserving connection on M giv…

The geometry of the total space of a principal bundle with regard to the action of the bundle's structure group is elegantly described by the bundle's operation, a collection of derivations consisting of the de Rham differential and the contraction and Lie derivatives of all vertical vector fields and satisfying the si…

We construct new complete, compact, inhomogeneous Einstein metrics on S^{m+2} sphere bundles over 2n-dimensional Einstein-Kahler spaces K_{2n}, for all n \ge 1 and all m \ge 1. We also obtain complete, compact, inhomogeneous Einstein metrics on warped products of S^m with S^2 bundles over K_{2n}, for m>1. Additionally,…

The paper studies bundles over surfaces and constructs invariants.

We compute the sets of degrees of maps between principal $SU(2)$-bundles over $S^5$, i.e. between any of the manifolds $SU(2)\times S^5$ and $SU(3)$. We show that the Steenrod squares provide the only obstruction to the existence of a mapping degree between these manifolds, and construct explicit maps realizing each in…

The topology of the smooth moduli space of stable rank 2 bundles over a Riemann surface of genus 3 is related to that of the real Grassmannian Gr_4(R^8).

Let $M$ be a closed 4-manifold with $π_2(M)\cong{Z}$. Then $M$ is homotopy equivalent to either $CP^2$, or the total space of an orbifold bundle with general fibre $S^2$ over a 2-orbifold $B$, or the total space of an $RP^2$-bundle over an aspherical surface. If $π=π_1(M)\not=1$ there are at most two such bundle spaces…

We give a complete and explicit description of the kinematical data of higher gauge theory on principal 2-bundles with the string 2-group model of Schommer-Pries as structure 2-group. We start with a self-contained review of the weak 2-category Bibun of Lie groupoids, bibundles and bibundle morphisms. We then construct…

Establishes a framework for stringor bundles, proving their canonical isomorphism to Stolz-Teichner's.

We discuss Donaldson-Thomas (DT) invariants of torsion sheaves with 2 dimensional support on a smooth projective surface in an ambient non-compact Calabi Yau fourfold given by the total space of a rank 2 bundle on the surface. We prove that in certain cases, when the rank 2 bundle is chosen appropriately, the universal…

New Spin(7) manifolds created from Calabi-Yau bundles.

We show that if M is a surface bundle over S^1 with fiber of genus 2, then for any integer n, M has a finite cover tilde(M) with b_1(tilde(M)) > n. A corollary is that M can be geometrized using only the `non-fiber' case of Thurston's Geometrization Theorem for Haken manifolds.

Non-compact G_2 holonomy metrics that arise from a T^2 bundle over a hyper-Kahler space are discussed. These are one parameter deformations of the metrics studied by Gibbons, Lu, Pope and Stelle in hep-th/0108191. Seven-dimensional spaces with G_2 holonomy fibered over the Taub-Nut and the Eguchi-Hanson gravitational i…

It is a classic result that the geometry of the total space of a principal bundle with reference to the action of the bundle's structure group is codified in the bundle's operation, a collection of derivations comprising the de Rham differential and the contraction and Lie derivatives of all vertical vector fields and …

Uhlenbeck's compactness theorem can be used to analyze sequences of connections with anti-self dual curvature on principal SU(2) bundles over oriented 4-dimensional manifolds. The theorems in this paper give an extension of Uhlenbeck's theorem for sequences of solutions of certain SL(2,C) analogs of the anti-self dual …

For any positive integer $g$, we completely determine the minimal genus function for $Σ_{g}\times T^{2}$. We show that the lower bound given by the adjunction inequality is not sharp for some class in $H_{2}(Σ_{g}\times T^{2})$. However, we construct a suitable embedded surface for each class and we have exact values o…

This work extends Chern correspondence to higher gauge theory.

A compact 4-dimensional manifold is a non-singular graph-manifold if it can be obtained by the glueing T^2-bundles over compact surfaces (with boundary) of negative Euler characteristics. If none of glueing diffeomorphisms respect the bundle structures, the graph-structure is called reduced. We prove that any homotopy …

Let G be a Lie group acting by diffeomorphisms on a manifold M and consider the image of T[1]G and T[1]M, of G and M respectively, in the category of differential graded manifolds. We show that the obstruction to lift the action of T[1]G on T[1]M to an action on a R[n]-bundle over T[1]M is measured by the G equivariant…

We study Nakai-Moishezon type question and Donaldson's "tamed to compatible" question for almost complex structures on rational four manifolds. By extending Taubes' subvarieties--current--form technique to $J-$nef genus $0$ classes, we give affirmative answers of these two questions for all tamed almost complex structu…

We show that if $M$ is a compact smooth manifold diffeomorphic to the total space of an orientable $S^2$ bundle over the torus $T^2$, then its diffeomorphism group does not have the Jordan property, i.e., Diff$(M)$ contains a finite subgroup $G_n$ for any natural number $n$ such that every abelian subgroup of $G_n$ has…

We establish a Penrose-Ward transform yielding a bijection between holomorphic principal 2-bundles over a twistor space and non-Abelian self-dual tensor fields on six-dimensional flat space-time. Extending the twistor space to supertwistor space, we derive sets of manifestly N=(1,0) and N=(2,0) supersymmetric non-Abeli…

The notion of a gerbe with connection is conveniently reformulated in terms of the simplicial deRham complex. In particular the usual Chern-Weil and Chern-Simons theory is well adapted to this framework and rather easily gives rise to `characteristic gerbes' associated to families of bundles and connections. In turn th…

Recently, B.Chow and R.S.Hamilton introduced the cross curvature flow on 3-manifolds. In this paper, we analyze two interesting examples for this new flow. One is on a square torus bundle over a circle, and the other is on a $S^{2}$ bundle over a circle. We show that the global flow exist in both cases. But on the form…

The moduli space of solutions to Nahm's equations of rank (k,k+j) on the circle, and hence, of SU(2) calorons of charge (k,j), is shown to be equivalent to the moduli of holomorphic rank 2 bundles on P^1xP^1 trivialized at infinity with c_2=k and equipped with a flag of degree j along P^1x{0}. An explicit matrix descri…

The Kapustin-Witten equations on R^4 are equations for a pair of connection on the product principle SU(2) bundle and 1-form with values in the product Lie algebra bundle. The 1-form is the Higgs field. A dichotomy is proved to the effect that either the averaged norm of the Higgs field on large radius spheres grows fa…

Just like Atiyah Lie algebroids encode the infinitesimal symmetries of principal bundles, exact Courant algebroids are believed to encode the infinitesimal symmetries of $S^1$-gerbes. At the same time, transitive Courant algebroids may be viewed as the higher analogue of Atiyah Lie algebroids, and the non-commutative a…

Proves 3-manifold groups uniquely identify hyperbolic bundles.