Related papers: An obstruction to smooth isotopy in dimension 4
We describe a class of diffeomorphism invariant SU(N) gauge theories in N^2 dimensions, together with some matter couplings. These theories have (N^2-3)(N^2-1) local degrees of freedom, and have the unusual feature that the constraint…
We first consider M-theory formulated on an open eleven-dimensional spin-manifold. There is then a potential anomaly under gauge transformations on the E_8 bundle that is defined over the boundary and also under diffeomorphisms of the…
We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic…
We show that no exotic $\mathbb{R}^4$ admits a complete Riemannian metric with uniformly positive isotropic curvature and with bounded geometry. This is essentially a corollary of the main result in [Hu1], and was stated in [Hu2] without…
Perron and Quinn gave independent proofs in 1986 that every topological pseudo-isotopy of a simply-connected, compact topological 4-manifold is isotopic to the identity. Another result of Quinn is that every smooth pseudo-isotopy of a…
On a smooth closed oriented $4$-manifold $M$ with a smooth action of a finite group $G$ on a Spin$^c$ structure, $G$-monopole invariant is defined by "counting" $G$-invariant solutions of Seiberg-Witten equations for any $G$-invariant…
We show that if a compact, oriented 4-manifold admits a coassociative-free immersion into the Euclidean 7-space then its Euler characteristic and signature vanish. Moreover, in the spin case the Gauss map is contractible, so that the…
We use Gay and Kirby's description of 4-manifolds in terms of trisections and trisection diagrams to define a new 4-manifold invariant. The algebraic data are an indecomposable finite semisimple bimodule category over a pair of spherical…
We use surgery along 2-tori embedded in a union of two copies of a product of punctured 2-tori to produce a new collection of homotopy 4-spheres (4-manifolds homotopy equivalent to $S^4$ and hence homeomorphic to $S^4$ but possibly not…
Gauge theories are important descriptions for many physical phenomena and systems in quantum computation. Automorphism of gauge group naturally gives global symmetries of gauge theories. In this work we study such symmetries in gauge…
For embedded 2-spheres in a 4-manifold sharing the same embedded transverse sphere homotopy implies isotopy, provided the ambient 4-manifold has no $\BZ_2$-torsion in the fundamental group. This gives a generalization of the classical light…
We study exotic smoothings of open 4-manifolds using the minimal genus function and its analog for end homology. While traditional techniques in open 4-manifold smoothing theory give no control of minimal genera, we make progress by using…
We prove two isomorphism-invariance theorems for groupoids associated with ultragraphs. These theorems characterize ultragraphs for which the topological full group of an associated groupoid is an isomorphism invariant. These results extend…
We outline the current state of knowledge regarding geometric inequalities of systolic type, and prove new results, including systolic freedom in dimension 4. Namely, every compact, orientable, smooth 4-manifold X admits metrics of…
We classify those curvature-homogeneous Einstein four-manifolds, of all metric signatures, which have a complex-diagonalizable curvature operator. They all turn out to be locally homogeneous. More precisely, any such manifold must be either…
In the author's earlier work there appeared a new way to specify any smooth closed 4-manifold by a surface diagram, which consists of an orientable surface decorated with simple closed curves. These curves are cyclically indexed, and each…
Within the discrete gauge theory which is the basis of spin foam models, the problem of macroscopically faithful coarse graining is studied. Macroscopic data is identified; it contains the holonomy evaluation along a discrete set of loops…
The main result of this paper is a formula for calculating the Seiberg-Witten invariants of 4-manifolds with fixed-point free circle actions. This is done by showing under suitable conditions the existence of a diffeomorphism between the…
A frequent and well-founded criticism of the maximum a posteriori (MAP) and minimum mean squared error (MMSE) estimates of a continuous parameter \gamma taking values in a differentiable manifold \Gamma is that they are not invariant to…
A four dimensional gauge theory with nonpolynomial but local interactions of 1-form and 2-form gauge potentials is constructed. The model is a nontrivial deformation of a free gauge theory with nonpolynomial dependence on the deformation…