arXiv research

Wall's result extended to 4-manifolds with definite intersection forms.

A proof via the Seiberg-Witten moduli space of Donaldson's theorem on smooth 4-manifolds with definite intersection forms.

We show that, if a rational homology 3-sphere $Y$ bounds a positive definite smooth 4-manifold, then there are finitely many negative definite lattices, up to the stable-equivalence, which can be realized as the intersection form of a smooth 4-manifold bounded by $Y$. To this end, we make use of constraints on definite…

This note proves combinatorially that the intersection pairing on the middle dimensional compactly supported cohomology of a smooth toric hyperkaehler variety is always definite, providing a large number of non-trivial L^2 harmonic forms for toric hyperkaehler metrics on these varieties. This is motivated by a result o…

New exotic structures found on 4-manifolds with specific groups.

Study on 4-manifolds with exotic smooth structures and Z_2 fundamental group.

This paper classifies minimal fillings of lens spaces.

We prove a generalisation of Elkies' theorem to nonunimodular definite forms (and lattices). Combined with inequalities of Froyshov and of Ozsvath and Szabo, this gives a simple test of whether a rational homology 3-sphere may bound a definite four-manifold. As an example we show that small positive surgeries on torus …

We introduce a variant of the Seiberg-Witten equations, Pin^-(2)-monopole equations, and give its applications to intersection forms with local coefficients of 4-manifolds. The first application is an analogue of Froyshov's results on 4-manifolds which have definite forms with local coefficients. The second is a local …

We establish the slice-ribbon conjecture for a large family of Montesinos' knots by means of Donaldson's theorem on the intersection forms of definite 4-manifolds.

Classifies lattices from knot surgeries, defining a concordance invariant.

In this paper, we exploit a subtle indeterminacy in the definition of the spherical Kervaire-Milnor invariant which was discovered by R. Stong to construct non-spin 4-manifolds with even intersection form and prescribed signature.

In this paper we construct families of homology spheres which bound 4-manifolds with intersection forms isomorphic to $-E_8$. We show that these families have arbitrary large correction terms. This result says that among homology spheres, the difference of the maximal rank of minimal sub-lattice of definite filling and…

New polynomials defined for virtual knots, calculated up to crossing 4.

We apply Donaldson's theorem on the intersection forms of definite 4--manifolds to characterize the lens spaces which smoothly bound rational homology 4--dimensional balls. Our result implies, in particular, that every smoothly slice 2--bridge knot is ribbon, proving the ribbon conjecture for 2--bridge knots.

We classify the positive definite intersection forms that arise from smooth 4-manifolds with torsion-free homology bounded by positive integer surgeries on the right-handed trefoil. A similar, slightly less complete classification is given for the (2,5)-torus knot, and analogous results are obtained for integer surgeri…

An oriented compact 4-manifold $V$ with boundary $S^3$ is called a positon (resp. negaton) if its intersection form is positive definite (resp. negative definite) and it is simply connected. In this paper, we prove that there exist infinitely many knots which cannot bound null-homologous disks either in positons or in …

By using the gluing formulae of the Seiberg-Witten invariant, we show the nonexistence of Einstein metric on manifolds obtained from a 4-manifold with nontrivial Seiberg-Witten invariant by performing sufficiently many connected sums or appropriate surgeries along circles or homologically trivial 2-spheres with closed …

Let X be a pseudomanifold. In this text, we use a simplicial blow-up to define a cochain complex whose cohomology with coefficients in a field, is isomorphic to the intersection cohomology of X, introduced by M. Goresky and R. MacPherson. We do it simplicially in the setting of a filtered version of face sets, also cal…

Let L be a nonunimodular definite lattice. Using a theorem of Elkies we show that whether L embeds in the standard definite lattice of the same rank is completely determined by a collection of lattice correction terms, one for each metabolizing subgroup of the discriminant group. As a topological application this gives…

In an earlier paper (math.SG/0110169), we introduced absolute gradings on the three-manifold invariants developed in math.SG/0101206 and math.SG/0105202. Coupled with the surgery long exact sequences, we obtain a number of three- and four-dimensional applications of this absolute grading including strengthenings of the…

Given a spin$^c$ rational homology sphere $(Y,\mathfrak{s})$ with $\mathfrak{s}$ self-conjugate and for which the reduced monopole Floer homology $\mathit{HM}_{\bullet}(Y,\mathfrak{s})$ has rank one, we provide obstructions to the intersection forms of its Stein fillings which are not negative definite. The proof of th…

This article is devoted to the study of smooth desingularization, which are customary employed in the definition of De Rham Intersection Cohomology with differential forms. In this paper we work with the category of Thom-Mather simple spaces. We construct a functor which sends each Thom-Mather simple space into a smoot…

It was shown by Seaman that if a compact, oriented 4-dimensional riemannian manifold (M, g) of positive sectional curvature admits a harmonic 2-form of constant length, its intersection form is definite and such a harmonic form is unique up to constant multiples. In this paper, we show that such a manifold is diffeomor…

Positive definite kernels are an important tool in machine learning that enable efficient solutions to otherwise difficult or intractable problems by implicitly linearizing the problem geometry. In this paper we develop a set-theoretic interpretation of the Earth Mover's Distance (EMD) and propose Earth Mover's Interse…

We extend the notion of intersection graphs for knots in the theory of finite type invariants to string links. We use our definition to develop weight systems for string links via the adjacency matrix of the intersection graph, and show that these weight systems are related to the weight systems induced by the Conway a…

Proof of Donaldson's theorem using Seiberg-Witten equations for multiple spinors.

Study obstructs symplectic structures on Mazur manifolds.

Let $M$ be a 3-manifold. Every knotted (embedded) surface in $M \times \R$ can be moved via an ambient isotopy in such a way that its projection into $M$ is a generic surface. A surface is generic if every point on it is either a regular, double or triple value - the transversal intersection of 1, 2 or 3 embedded surfa…

We propose definitions of fairness in machine learning and artificial intelligence systems that are informed by the framework of intersectionality, a critical lens arising from the Humanities literature which analyzes how interlocking systems of power and oppression affect individuals along overlapping dimensions inclu…

New polynomial invariants defined for long virtual knots.

We construct an invariant of parametrized generic real algebraic surfaces in RP^3 which generalizes the Brown invariant of immersed surfaces from smooth topology. The invariant is constructed using the self intersection, which is a real algebraic curve with points of three local characters: the intersection of two real…

Using an obstruction based on Donaldson's theorem on the intersection forms of definite 4-manifolds, we determine which connected sums of lens spaces smoothly embed in S^4. We also find constraints on the Seifert invariants of Seifert 3-manifolds which embed in S^4 when either the base orbifold is non-orientable or the…

We calculate intersection forms of all 4-dimensional almost-flat manifolds

New homology $q_2$ from 3D cobordism to integers.

Knots and 4-manifolds linked via matrix kinking.

Minimum algebraic intersection found in hyperbolic surfaces, growing with genus.

We prove a conjecture raised by M. Goresky and W. Pardon, concerning the range of validity of the perverse degree of Steenrod squares in intersection cohomology. This answer turns out of importance for the definition of characteristic classes in the framework of intersection cohomology. For this purpose, we present a c…

New method to compute homology and intersection form of 4-manifolds.

We give a new definition of the knot invariant associated to the Lie algebra su_{N+1}. The knot or link must be presented as the plat closure of a braid. The invariant is then a homological intersection pairing between two submanifolds of a configuration space of points in a disk. This generalizes previous work on the …

Let X be a smooth closed oriented non-spin 4-manifold with even intersection form kE_8\oplus nH. In this article we show that n\geq |k| on X. Thus we confirm the 10/8-conjecture affirmatively. As an application, we also give an estimate of intersection forms of spin coverings of non-spin 4-manifolds with even intersect…

Proves intersection properties of minimal hypersurfaces in various spaces.

Given a diagram for a trisection of a 4-manifold $X$, we describe the homology and the intersection form of $X$ in terms of the three subgroups of $H_1(Σ;\mathbb{Z})$ generated by the three sets of curves and the intersection pairing on the diagram surface $Σ$. This includes explicit formulas for the second and third h…

Defines log Floer cohomology for symplectic surfaces with a degenerate part.

In this paper, we study closed four-dimensional manifolds. In particular, we show that under various new pinching curvature conditions (for example, the sectional curvature is no more than 5/6 of the smallest Ricci eigenvalue) then the manifold is definite. If restricting to a metric with harmonic Weyl tensor, then it …

We extend Donaldson's diagonalization theorem to intersection forms with certain local coefficients, under some constraints. This provides new examples of non-smoothable topological 4-manifolds.

Using the Heegaard Floer homology of Ozsvath and Szabo we investigate obstructions to definite intersection pairings bounded by rational homology spheres. As an application we obtain new lower bounds for the four-ball genus of Montesinos links.

The first part of this paper exposits a simple geometric description of the Kirby-Siebenmann invariant of a 4--manifold in terms of a quadratic refinement of its intersection form. This is the first in a sequence of higher-order intersection invariants of Whitney towers studied by the authors, particularly for the 4--b…