arXiv research

We use localization formulas in the theory of equivariant cohomology to rederive the wall crossing formulas of Li-Liu and Okonek-Teleman for Seiberg-Witten invariants.

In this paper we study the cohomology of (strict) Lie 2-groups. We obtain an explicit Bott-Shulman type map in the case of a Lie 2-group corresponding to the crossed module $A\to 1$. The cohomology of the Lie 2-groups corresponding to the universal crossed modules $G\to \Aut(G)$ and $G\to \Aut^+(G)$ is the abutment of …

We use cross ratios to describe second real continuous bounded cohomology for locally compact topological groups. We also derive a rigidity result for cocycles with values in the isometry group of a proper hyperbolic geodesic metric space.

We derive a wall crossing formula for the symplectic vortex invariants of toric manifolds. As an application, we give a proof of Batyrev's formula for the quantum cohomology of a monotone toric manifold with minimal Chern number at least two.

Two constructions of Chern character for equivariant vector bundles in noncommutative geometry.

We present a deRham model for Chen-Ruan cohomology ring of abelian orbifolds. We introduce the notion of \emph{twist factors} so that formally the stringy cohomology ring can be defined without going through pseudo-holomorphic orbifold curves. Thus our model can be viewed as the classical description of Chen-Ruan cohom…

We give an interpretation of Yetter's Invariant of manifolds $M$ in terms of the homotopy type of the function space $TOP(M,B(G))$, where $G$ is a crossed module and $B(G)$ is its classifying space. From this formulation, there follows that Yetter's invariant depends only on the homotopy type of $M$, and the weak homot…

Study new conjectures linking knot volume and knot cohomology.

We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, 2-crossed modules and braided crossed modules. We…

For any closed oriented surface F of genus at least three, we prove the existence of foliated F-bundles over surfaces such that the signatures of the total spaces are non-zero. We can arrange that the total holonomy of the horizontal foliations preserve a prescribed symplectic form on the fiber. We relate the cohomolog…

We give a precise and general description of gerbes valued in arbitrary crossed module and over an arbitrary differential stack. We do it using only Lie groupoids, hence ordinary differential geometry. We prove the coincidence with the existing notions by comparing our construction with non-Abelian cohomology.

The study finds that certain curved manifolds can be mapped to symmetric spaces.

The paper constructs quasi-isomorphisms for cyclic homology of group actions.

Analytic K-semistability connects curvature to metric existence.

The number of colorings of a knot diagram by a quandle has been shown to be a knot invariant by CJKLS using quandle cohomology methods. In a previous paper by the second named author, the CJKLS invariant was refined and, in particular, it was shown that the number of colorings is an invariant directly without resorting…

We introduce a model for Hermitian holormorphic Deligne cohomology on a projective algebraic manifold which allows to incorporate singular hermitian structures along a normal crossing divisor. In the case of a projective curve, the cup-product in cohomology is shown to correspond to a generalization of the Deligne pair…

We develop a Chern-Weil theory for compact Lie group action whose generic stabilizers are finite in the framework of equivariant cohomology. This provides a method of changing an equivariant closed form within its cohomological class to a form more suitable to yield localization results. This work is motivated by our w…

Study of Seiberg-Witten invariants for 4-manifolds with group actions.

New formula connects Bauer-Furuta and Seiberg-Witten invariants of families of 4-manifolds.

New representations of Lie algebras via monoidal category actions.

Study of low dimensional representations of mapping class groups of surfaces, focusing on genus ≥ 7.

Study of fibred faces of Thurston polyhedra for 2-component 2-bridge links

We consider the moduli space MN of flat unitary connections on an open Kaehler manifold U (complement of a divisor with normal crossings) with restrictions on their monodromy transformations. Using intersection and L2 cohomologies with degenerating coefficients we construct a natural symplectic form F on MN. When U is …

Let $X$ be a projective manifold, and $D$ be a normal crossing divisor of $X$. By Jost-Zuo's theorem that if we have a reductive representation $ρ$ of the fundamental group $π_{1}(X^{*})$ with unipotent local monodromy, where $X^*=X-D$, then there exists a tame pluriharmonic metric $h$ on the flat bundle $\mathcal V$ a…

We describe principal 3-bundles with adjusted connections using Lie algebras and groupoids.

We extend each higher Johnson homomorphism to a crossed homomorphism from the automorphism group of a finite-rank free group to a finite-rank abelian group. We also extend each Morita homomorphism to a crossed homomorphism from the mapping class group of once-bounded surface to a finite-rank abelian group. This improve…

Theory of 2-vector bundles for smooth manifolds developed.

In this paper we explain how non-abelian Hodge theory allows one to compute the $L^2$ cohomology or middle perversity higher direct images of harmonic bundles and twistor D-modules in a purely algebraic manner. Our main result is a new algebraic description for the fiberwise $L^2$ cohomology of a tame harmonic bundle o…

We consider a smooth groupoid of the form Σ\rtimesΓwhere Σis a Riemann surface and Γa discrete pseudogroup acting on Σby local conformal diffeomorphisms. After defining a K-cycle on the crossed product C_0(Σ)\rtimesΓgeneralising the classical Dolbeault complex, we compute its Chern character in cyclic cohomology, using…

Causality and Legendrian linking in higher spacetimes linked via contact geometry.

On a closed symplectic surface Sigma of genus two or more, we give a new construction of an extended flux map (a crossed homomorphism from the symplectomorphism group Symp(Sigma) to the cohomology group H^1(Sigma;R) that extends the flux homomorphism). This construction uses the topology of the Jacobian of the surface …

Given a compact Kaehler manifold, we consider the complement U of a divisor with normal crossings and a unitary local system V on it. We consider a differential graded Lie algebra (DGLA) of forms with holomorphic logarithmic singularities and vanishing residues. We construct a spectral sequence corresponding to the ant…

Proves uniqueness of certain spacetime solutions with extremal horizons.

Based on C. Li and Y. Rubinstein's upper bisectional curvature bound estimate for the conic Kähler metric, we can construct a smoothing sequence for the conic metric with uniformly upper bisectional curvature bound. For the conic metric along a simple normal crossing divisor with triple or higher multiple points we may…

We introduce conformal Courant algebroids, a mild generalization of Courant algebroids in which only a conformal structure rather than a bilinear form is assumed. We introduce exact conformal Courant algebroids and show they are classified by pairs $(L,H)$ with $L$ a flat line bundle and $H \in H^3(M,L)$ a degree 3 cla…

We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, and central extensions of groups. We prove that o…

There exists a simplified Bar-Natan Khovanov complex for open 2-braids. The Khovanov cohomology of a knot diagram made by gluing tangles of this type is therefore often amenable to calculation. We lift this idea to the level of the Lipshitz-Sarkar stable homotopy type and use it to make new computations. Similarly, the…

We consider the standard contact structure on the supercircle, S^{1|1}, and the supergroups E(1|1), Aff(1|1) and SpO(2|1) of contactomorphisms, defining the Euclidean, affine and projective geometry respectively. Using the new notion of (p|q)-transitivity, we construct in synthetic fashion even and odd invariants chara…

We apply spectral sequences to derive both an obstruction to the existence of $n$-fold prolongations and a topological classification. Prolongations have been used in the literature in an attempt to prove that every Engel structure on $M\times\mathbb{S}^1$ with characteristic line field tangent to the fibers is determi…

Paper constructs fold maps with useful singular value sets.

Logarithmic Picard algebroids solve meromorphic line bundle prequantization.

Nilmanifolds are shown to be diffeomorphic to trivial bundles over tori.

For each manifold or effective orbifold $Y$ and commutative ring $R$, we define a new homology theory $MH_*(Y;R)$, $M$-$homology$, and a new cohomology theory $MH^*(Y;R)$, $M$-$cohomology$. For $MH_*(Y;R)$ the chain complex $(MC_*(Y;R),\partial)$ is generated by quadruples $[V,n,s,t]$ satisfying relations, where $V$ is…

Every element in the first cohomology group of a 3--manifold is dual to embedded surfaces. The Thurston norm measures the minimal `complexity' of such surfaces. For instance the Thurston norm of a knot complement determines the genus of the knot in the 3--sphere. We show that the degrees of twisted Alexander polynomial…

We study the geometry of infinitely presented groups satisfying the small cancelation condition C'(1/8), and define a standard decomposition (called the criss-cross decomposition) for the elements of such groups. We use it to prove the Rapid Decay property for groups with the stronger small cancelation property C'(1/10…

Extends cohomology theory for infinite volume transformation groups.

New cohomology theory for Lie 2-algebras extends classical theory.

Generics extended to new cohomologies.