arXiv research

New map constructed from equivariant spectra for manifold study.

Constructs a functor for equivariant smooth h-cobordisms.

Study $h$-cobordisms of complexity 2 in 5D, finding obstructions and examples.

Study shows mapping class groups differ for $h$-cobordant manifolds.

The study explores conditions for $h$-cobordisms between smooth 4-manifolds.

We consider the topological category of $h$-cobordisms between manifolds with boundary and compare its homotopy type with the standard $h$-cobordism space of a compact smooth manifold.

We study the homeomorphism types of manifolds h-cobordant to a fixed one. Our investigation is partly motivated by the notion of special manifolds introduced by Milnor in his study of lens spaces. In particular we revisit and clarify some of the claims concerning h-cobordisms of these manifolds.

We consider ribbon $R^4$'s, that is, smooth open 4-manifolds, homeomorphic to $R^4$ and associated to $h$-cobordisms between closed 4-manifolds. We show that any generalized ribbon $R^4$ associated to a sequence of $h$-cobordisms between non-diffeomorphic 4-manifolds is exotic. Notion of a positive ribbon $R^4$ is defi…

Let $n$ be a positive integer, and let $\ell>1$ be square-free odd. We classify the set of equivariant homeomorphism classes of free $C_\ell$-actions on the product $S^1 \times S^n$ of spheres, up to indeterminacy bounded in $\ell$. The description is expressed in terms of number theory. The techniques are various appl…

In this note we classify the diffeomorphism classes rel. boundary of smooth h-cobordisms between two fixed 1-connected 4-manifolds in terms of isometries between the intersection forms.

We study the Whitehead torsions of inertial h-cobordisms, and identify various types representing a nested sequence of subsets of the Whitehead group. A number of examples are given to show that these subsets are all different in general.

We prove that any two smooth h-cobordant simply-connected 4-manifolds can be obtained by taking two manifolds with boundary, one of which is contractible, and gluing them along the boundary via two different attaching maps.

Computes invariant for smooth h-cobordisms families, proving duality and vanishing theorems.

We give a sufficient and necessary condition of the fundamental group homomorphism of a map between manifolds to induce homology equivalences. Moreover, a classification of one-sided h-cobordism of manifolds up to diffeomorphisms is obtained, based on Quillen's plus construction with Whitehead torsions.

This is primarily an exposition, combining work of several authors (Curtis, Hsiang, Freedman, Stong, Matveyev, and Bizaca), of the proof that a smooth 5-dimensional h-cobordism between simply connected 4-manifolds is a product off of a contractible piece which itself is diffeomorphic to the 5-ball.

Alexander trick applied to homology spheres for manifold homeomorphisms.

The h-cobordism theorem is a noted theorem in differential and PL topology. A generalization of the h-cobordism theorem for possibly non simply connected manifolds is the so called s-cobordism theorem. In this paper, we prove semialgebraic and Nash versions of these theorems. That is, starting with semialgebraic or Nas…

Tests for equivariance in non-parametric regression models.

We show that the number of double points of smoothly immersed 2-spheres representing certain homology classes of an oriented, smooth, closed, simply-connected 4-manifold X must increase with the complexity of corresponding h-cobordisms from X to X. As an application, we give results restricting the minimal number of do…

Let (W,M,M'), dim W > 5, be a non-trivial h-cobordism (i.e., the Whitehead torsion of (W,V) is non-zero). We prove that every smooth function f: W --> [0,1], f(M)=0, f(M')=1 has at least 2 critical points. This estimate is sharp: W possesses a function as above with precisely two critical points.

In this paper, we develop a geometric procedure for producing a reverse to Quillen's plus construction, a construction called a 1-sided h-cobordism or semi-h-cobordism. We then use this reverse to the plus construction to produce uncountably many distinct ends of manifolds called pseudo-collars, which are stackings of …

The abstract explains counterexamples in 4-manifold topology.

The paper constructs infinitely many $G$-smoothings of a $G$-manifold.

Homotopy operators help describe structures in equivariant deformation problems.

New complexity measure for shake-slice knots established.

The paper extends Euler class theory to measurable cocycles.

New framework for equivariant neural networks using Lie group decompositions.

New findings show infinitely many non-homeomorphic manifolds with same proper homotopy type.

Machine learning uses invariant theory to restrict function classes.

A natural parametrization of smooth projective plane curves which tolerates the presence of sextactic points is the Forsyth-Laguerre parametrization. On a closed projective plane curve, which necessarily contains sextactic points, this parametrization is, however, in general not periodic. We show that by the introducti…

Proves conditions for minimal surfaces in complex hyperbolic space.

SMP model preserves proximity and permutation in graph neural networks.

Homology handles with trivial Alexander polynomial bound a 3D sphere.

Chernov-Nemirovski observed that the existence of a globally hyperbolic Lorentzian metric on a (3 + 1)-spacetime pins down a smooth structure on the underlying 4-manifold. In this paper, we point out that the diffeomorphism type of a globally hyperbolic (n + 1)-spacetime is determined by the h-cobordism class of its Ca…

Enhances graph neural networks with structural message-passing for better generalization.

New examples of manifolds that are homotopy but not simple homotopy equivalent.

We obtain defining equations of the smooth equivariant compactification of the Grassmannian of the complex associative $3$-planes in $\C^7$, which is the parametrizing variety of all quaternionic subalgebras of the algebra of complex octonions $\OO\cong \C^8$. By studying the torus fixed points, we compute the Poincaré…

We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the sense of Freedman and Quinn. On a separate note, we observe that the Borel Conje…

Study shows limitations and universality of equivariant QNNs with $S_n$-equivariant gates.

Develops non-parametric tests for group symmetry in data.

Working with group homomorphisms, a construction of manifolds is introduced to preserve homology groups. The construction gives as special cases Qullien's plus construction with handles obtained by Hausmann, the existence of one-sided $h$-cobordism of Guilbault and Tinsley, the existence of homology spheres and higher-…

Bayesian convolutional deep sets improve ambiguity in stationary process modeling.

The two-category with three-manifolds as objects, h-cobordisms as morphisms, and diffeomorphisms of these as two-morphisms, is extremely rich; from the point of view of classical physics it defines a nontrivial topological model for general relativity. A rather striking amount of work on pseudoisotopy theory [Hatcher, …

The aim of this paper is to consider a possible extension of the Bogomolov--Miyaoka--Yau inequality to differentiable orbifolds. The conjectured extension is related to the Montgomery--Yang problem about circle actions on the 5--sphere and also to the H--cobordism of Seifert fibered 3--manifolds. Related conjectures on…

A universal collection of 4 invariants improves neural network accuracy for molecular dynamics.

The paper defines almost strict domination for representations and connects it to anti-de Sitter 3-manifolds.

We show that any compact Kahler manifold with integral Kahler form, parametrizes a natural holomorphic family of Cauchy-Riemann operators on the Riemann sphere such that the Quillen determinant line bundle of this family is isomorphic to a sufficiently high tensor power of the holomorphic line bundle determined by the …

Machine learning finds a compact fixed point action for SU(3) gauge theory.