arXiv research

Introduces a metric on vector-valued one-forms for functional data analysis.

Using the new diffeomorphism invariants of Seiberg and Witten, a uniqueness theorem is proved for Einstein metrics on compact quotients of irreducible 4-dimensional symmetric spaces of non-compact type. The proof also yields a Riemannian version of the Miyaoka-Yau inequality.

The structure of a diffeomorphism invariant Lagrangians for an extended object W embedded in a bulk space M is discussed by following a close analogy with the relativistic particle in electromagnetic field as a system that is reparametrization-invariant. The current construction naturally contains, relativistic point p…

We show how certain diffeomorphism-invariant functionals on differential forms in dimensions 6,7 and 8 generate in a natural way special geometrical structures in these dimensions: metrics of holonomy G2 and Spin(7), metrics with weak holonomy SU(3) and G2, and a new and unexplored example in dimension 8. The general f…

We give a self contained proof using Seiberg Witten invariants that for Kähler surfaces with non negative Kodaira dimension (including those with $p_g = 0$) the canonical class of the minimal model and the $(-1)$-curves, are oriented diffeomorphism invariants up to sign. This implies that the Kodaira dimension is deter…

Global obstructions found for conformally Einstein metrics in 6D.

Extends nonlinear theory of distributional geometry.

The Pontryagin forms on 1-jet bundle of Riemannian metrics, are shown to provide, in a natural way, diffeomorphism-invariant pre-symplectic structures on the space of Riemannian metrics for dimensions $n=4r-2$. The equivariant Pontryagin forms provide canonical moment maps for these structures. In dimension two, the sy…

De Donder form for gravity is globally defined.

New invariants defined for volume-preserving flows on 3-manifolds.

We construct Bott-type and stable equivariant Seiberg-Witten Floer homology and cohomology for rational homology spheres, and prove their diffeomorphism invariance.

General Relativity can be reformulated as a diffeomorphism invariant SU(2) gauge theory. A new action principle for this "pure connection" formulation of GR is described.

A new diffeomorphism invariant of integral homology 3-spheres is defined using a non-abelian 'quaternionic' version of the Seiberg-Witten equations.

DID measures similarity invariant to diffeomorphisms.

We construct Bott-type and equivariant Seiberg-Witten Floer homology and cohomology for 3-manifolds, in particular rational homology spheres, and prove their diffeomorphism invariance. This paper is a revised version of math.DG/9701010. Some typos are removed.

The broken genera are orientation preserving diffeomorphism invariants of closed oriented 4-manifolds, defined via broken Lefschetz fibrations. We study the properties of the broken genera invariants, and calculate them for various 4-manifolds, while showing that the invariants are sensitive to exotic smooth structures…

Bryant and Salamon gave a construction of metrics of G2 holonomy on the total space of the bundle of anti-self-dual (ASD) 2-forms over a 4-dimensional self-dual Einstein manifold. We generalise it by considering the total space of an SO(3) bundle (with fibers R^3) over a 4-dimensional base, with a connection on this bu…

We define a diffeomorphism invariant of smooth 4-manifolds which we can estimate for many smoothings of R^4 and other smooth 4-manifolds. Using this invariant we can show that uncountably many smoothings of R^4 support no Stein structure. (Gompf has constructed uncountably many smoothings of R^4 which do support Stein …

Investigates second-order conditions for Cayley forms in eight dimensions.

The Yamabe invariant is linked to static potentials and eigenvalues.

For each closed, orientable surface F, we construct a local, diffeomorphism invariant trace on the Kauffman bracket skein module K_t(F x [0,1]). The trace is defined when |t| is neither 0 nor 1, and at certain roots of unity. At t = - 1, the trace is integration against the symplectic measure on the SU(2) character var…

We construct equivariant and Bott-type Seiberg-Witten Floer homology and cohomology for 3-manifolds, in particular rational homology spheres, and prove their diffeomorphism invariance. We present several versions of the equivariant theory: the singular version, the de Rham version and the Cartan version, with the first…

Study inverse boundary value problem for Monge-Ampère equation on convex domains.

Let $A\neq 0$ be a complex number with $|A|\neq 1$. Let $M$ be a compact smooth oriented $3$-manifold, the $SU(3)$-skein space of $M$, $S_A(M)$, is the vector space over $\mathbb{C}$ generated by framed oriented links (including framed oriented trivalent graphs in $M$) quotient by the $SU(3)$-skein relations due to Ku…

We prove that a rational linear combination of Chern numbers is an oriented diffeomorphism invariant of smooth complex projective varieties if and only if it is a linear combination of the Euler and Pontryagin numbers. In dimension at least three we prove that only multiples of the top Chern number, which is the Euler …

A rational linear combination of Chern numbers is an oriented diffeomorphism invariant of smooth complex projective varieties if and only if it is a linear combination of the Euler and Pontryagin numbers. In dimension at least three only multiples of the top Chern number, which is the Euler characteristic, are invarian…

We consider a simple and natural coboundary operator, on the Lie algebra valued differential forms on a manifold, which in the abelian case reduces to usual exterior derivative of such forms. Using the corresponding de Rham cohomology Lie superalgebra H*(M,G) we obtain numerical smooth invariants--as opposed to homotop…

We study the classification of slice disks of knots up to isotopy and diffeomorphism using an invariant in knot Floer homology. We compute the invariant of a slice disk obtained by deform-spinning, and show that it can be effectively used to distinguish non-isotopic slice disks with diffeomorphic complements. Given a s…

We construct an algebra of nonlinear generalized tensor fields on manifolds in the sense of J.-F. Colombeau, i.e., containing distributional tensor fields as a linear subspace and smooth tensor fields as a faithful subalgebra. The use of a background connection on the manifold allows for a simplified construction based…

We study the special algebraic properties of alternating 3-forms in 6 and 7 dimensions and introduce a diffeomorphism-invariant functional on the space of differential 3-forms on a closed manifold M in these dimensions. Restricting the functional to closed forms in a fixed cohomology class, we find that a critical poin…

This paper explores gradient flows for sampling distributions without normalization constants.

Let $(M,I)$ be an almost complex 6-manifold. The obstruction to integrability of almost complex structure (so-called Nijenhuis tensor) maps a 3-dimensional bundle to a 3-dimensional one. We say that Nijenhuis tensor is non-degenerate if it is an isomorphism. An almost complex manifold is called nearly Kaehler if it adm…

The Plebanski formulation of complex general relativity is given in terms of variables valued in the complexification of the $so(3)$ Lie algebra. Therefore, it is genuinely a gauge theory that is also diffeomorphism-invariant. For this reason, the way that the Levi-Civita connection emerges from this formulation is not…

We construct non-trivial elements of order 2 in the homotopy groups $π_{8j+1+*} Diff(D^6,\partial)$, for * congruent 1 or 2 modulo 8, which are detected by the "assembling homomorphism" (giving rise to the Gromoll filtration), followed by the alpha-invariant in $KO_*=Z/2$. These elements are constructed by means of Mor…

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 moduli space of the 4-manifold and the moduli space of the quotient 3-orbifold. Tw…

Establishes existence of maximal globally hyperbolic development for Einstein equations.

An invariant description of Bianchi Homogeneous (B.H.) 3-spaces is presented, by considering the action of the Automorphism Group on the configuration space of the real, symmetric, positive definite, $3\times 3$ matrices. Thus, the gauge degrees of freedom are removed and the remaining (gauge invariant) degrees, are th…

Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a generator of $H_3(X)$, a suitable version of the Heegaard Floer $d$ invariant of $Y$, de…

We introduce a diffeomorphism invariant of $4$-manifolds, the $\mathrm{Pin}^-(2)$-monopole invariant, defined by using the $\mathrm{Pin}^-(2)$-monopole equations. We compute the invariants of several $4$-manifolds, and prove gluing formulae. By using the invariants, we construct exotic smooth structures on the connecte…

The goal of this paper is to construct distinct trisections of the same genus on a fixed 4-manifold. For every $k \geq 2$, we construct $2^{k}-1$ non-diffeomorphic $(3k,k)$-trisections on infinitely many 4-manifolds. Here, the manifolds are spun Seifert fiber spaces and the trisections come from Meier's spun trisection…

This article attempts to delineate the roles played by non-dynamical background structures and Killing symmetries in the construction of stress-energy-momentum tensors generated from a diffeomorphism invariant action density. An intrinsic coordinate independent approach puts into perspective a number of spurious argume…

In this paper we analyze the local and global boundary rigidity problem for general Riemannian manifolds with boundary $(M,g)$. We show that the boundary distance function, i.e., $d_g|_{\partial M\times\partial M}$, known near a point $p\in \partial M$ at which $\partial M$ is strictly convex, determines $g$ in a suita…

New invariant for 4-manifolds with framed links, stronger than existing invariants.

We consider several diffeomorphism invariant field theories of 2- and 3-forms in six dimensions. They all share the same kinetic term $BdC$, but differ in the potential term that is added. The theory $BdC$ with no potential term is topological - it describes no propagating degrees of freedom. We show that the theory co…

Defines a new geometric quantity for hyperbolic manifolds, showing it's well-defined and invariant.

New topological quantum gravity theories linked to Ricci flow.

We prove a cyclic cohomological analogue of Haefliger's van Est-type theorem for the groupoid of germs of diffeomorphisms of a manifold. The differentiable version of cyclic cohomology is associated to the algebra of transverse differential operators on that groupoid, which is shown to carry an intrinsic Hopf algebraic…

This paper develops 4-manifold invariants using Hopf algebras.