Related papers: On the global $2$-holonomy for a $2$-connection on…
We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all…
Let $M$ be a $n$-dimensional complex manifold and $f,g:M\to M$ two distinct holomorphic self-maps. Suppose that $f$ and $g$ coincide on a globally irreducible compact hypersurface $S\subset M$. We show that if one of the two maps is a local…
Let $X$ be a smooth projective curve of genus $g\geq 2$ over the complex numbers. A holomorphic pair on $X$ is a couple $(E,\phi)$, where $E$ is a holomorphic bundle over $X$ of rank $n$ and degree $d$, and $\phi\in H^0(E)$ is a holomorphic…
This paper is motivated by recent developments of higher gauge theory. Different from its style of using higher category theory, we try to describe the concept of higher parallel transport within setting of classical principal bundle…
A Morse 2-function is a generic smooth map from a manifold M of arbitrary finite dimension to a surface B. Its critical set maps to an immersed collection of cusped arcs in B. The aim of this paper is to explain exactly when it is possible…
We explore various aspects of 2-form topological gauge theories in (3+1)d. These theories can be constructed as sigma models with target space the second classifying space $B^2G$ of the symmetry group $G$, and they are classified by…
We show that every bundle gerbe on a supermanifold decomposes into a bundle gerbe over the underlying manifold and a 2-form on the supermanifold. This decomposition is not canonical, but is determined by the choice of a projection map to…
We classify proper holomorphic mappings between generalized pseudoellipsoids of different dimensions. Those domains are parametrized by the exponents. The relations among them are also obtained. Main tool is the orthogonal decomposition of…
We formulate a structural principle for finite $S_2$-objects: coherent $S_2$-sheaves and finitely generated graded $S_2$-modules decompose canonically according to the connected components in codimension $1$ of their support. This gives…
This is a survey paper. We explain the known constructions for two geometrically different classes of examples of compact Riemannian 7-manifolds with holonomy G2. One method uses resolutions of singularities of appropriately chosen…
There are two well-known parabolic split $G_2$-geometries in dimension five, $(2,3,5)$-distributions and $G_2$-contact structures. Here we link these two geometries with yet another $G_2$-related contact structure, which lives on a…
We explain how to calculate link homology for a Lie algebra $\mathfrak{g}$ using the Fukaya category associated to a 2d A-model. Links are represented as configurations of particular A-branes and link homology is given by Homs between these…
It is known that the Picard group of a complex manifold can be expressed as a Deligne cohomology group. One may wonder if the same holds for the Picard group of a smooth algebraic variety and Deligne-Beilinson cohomology but this is not…
We develop a new perspective on principal bundles with connection as morphisms from the tangent bundle of the underlying manifold to a classifying dg-Lie groupoid. This groupoid can be identified with a lift of the inner homomorphisms…
For each of the groups $G = O(2), SU(2), U(2)$, we compute the integral and $\mathbb{F}_2$-cohomology rings of $B_\text{com} G$ (the classifying space for commutativity of $G$), the action of the Steenrod algebra on the mod 2 cohomology,…
The point of this paper is to prove the conjecture that virtual 2-vector bundles are classified by K(ku), the algebraic K-theory of topological K-theory. Hence, by the work of Ausoni and the fourth author, virtual 2-vector bundles give us a…
Let $M$ be a closed 4-manifold with $\pi_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…
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…
The double point relation defines a natural theory of algebraic cobordism for bundles on varieties. We construct a simple basis (over the rationals) of the corresponding cobordism groups over Spec(C) for all dimensions of varieties and…
Let $(M,g)$ be a smooth Anosov Riemannian manifold and $\mathcal{C}^\sharp$ the set of its primitive closed geodesics. Given a Hermitian vector bundle $\mathcal{E}$ equipped with a unitary connection $\nabla^{\mathcal{E}}$, we define…