arXiv research

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

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

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

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

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…

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.

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…

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

Using Seiberg-Witten Floer spectrum and Pin(2)-equivariant KO-theory, we prove new Furuta-type inequalities on the intersection forms of spin cobordisms between homology $3$-spheres. As an application, we give explicit constrains on the intersection forms of spin $4$-manifolds bounded by Brieskorn spheres $\pmΣ(2,3,6k\…

Let $X$ be any subanalytic compact pseudomanifold. We show a De Rham theorem for $L^\infty$ forms. We prove that the cohomology of $L^\infty$ forms is isomorphic to intersection cohomology in the maximal perversity.

Paper calculates homology and intersection form of trisected 4-manifolds with boundary.

Study the intersection form on Kähler manifolds of dimension 4 and above.

The study sets constraints on 4-manifold forms linked to specific invariants.

Given a closed, oriented surface M, the algebraic intersection of closed curves induces a symplectic form Int(.,.) on the first homology group of M. If M is equipped with a Riemannian metric g, the first homology group of M inherits a norm, called the stable norm. We study the norm of the bilinear form Int(.,.), with r…

We apply mapping class group techniques and trisections to study intersection forms of smooth 4-manifolds. Johnson defined a well-known homomorphism from the Torelli group of a compact surface. Morita later showed that every homology 3-sphere can be obtained from the standard Heegaard decomposition of $S^3$ by regluing…

We extend a result of M. Katz on conformal systoles to all four-manifolds with b^+=1 which have odd intersection form. The same result holds for all four-manifolds with b^+=1 with even intersection form and which are symplectic or satisfy the so-called 5/4-conjecture.

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…

We study the properties of geodesic currents on free groups, particularly the "intersection form" that is similar to Bonahon's notion of the intersection number between geodesic currents on hyperbolic surfaces.

Proves Frankel theorem for generic submanifolds in Sasakian manifolds.

Gay and Kirby introduced trisections which describe any closed oriented smooth 4-manifold $X$ as a union of three four-dimensional handlebodies. A trisection is encoded in a diagram, namely three collections of curves in a closed oriented surface $Σ$, guiding the gluing of the handlebodies. Any morphism $\varphi$ from …

We determine the contributions of isolated singularities of spin V 4-manifolds to the index of the Dirac operator over them. From these data we derive certain constraints on the intersection forms of spin 4-manifolds bounded by spherical 3-manifolds, and also on the embeddings of the real projective planes into 4-manif…

We calculate eigenvector overlaps between intersecting time periods of covariance matrices.

Formula for computing triple-cup product from Heegaard diagrams of 3-manifolds.

Moduli spaces of hyperbolic surfaces with geodesic boundary components of fixed lengths may be endowed with a symplectic structure via the Weil-Petersson form. We show that, as the boundary lengths are sent to infinity, the Weil-Petersson form converges to a piecewise linear form first defined by Kontsevich. The proof …

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…

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 study closed geodesics on hyperbolic surfaces, and give bounds for their angles of intersection and self-intersection, and for the sides of the polygons that they form, depending only on the lengths of the geodesics

We prove Furuta-type bounds for the intersection forms of spin cobordisms between homology 3-spheres. The bounds are in terms of a new numerical invariant of homology spheres, obtained from Pin(2)-equivariant Seiberg-Witten Floer K-theory. In the process we introduce the notion of a Floer K_G-split homology sphere; thi…

Researchers construct irreducible 4-manifolds with specific properties.

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

For the free group $F_{N}$ of finite rank $N \geq 2$ we construct a canonical Bonahon-type continuous and $Out(F_N)$-invariant \emph{geometric intersection form} \[ <, >: \bar{cv}(F_N)\times Curr(F_N)\to \mathbb R_{\ge 0}. \] Here $\bar{cv}(F_N)$ is the closure of unprojectivized Culler-Vogtmann's Outer space $cv(F_N)$…

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…

Classifies lattices from knot surgeries, defining a concordance invariant.

Given a closed oriented PL four-manifold $X$ and a closed surface $B$ embedded in $X$ with isolated cone singularities, we give a formula for the signature of an irregular dihedral cover of $X$ branched along $B$. For $X$ simply-connected, we deduce a necessary condition on the intersection form of a simply-connected i…

The paper offers new methods to determine if certain 3D links can be formed by intersecting spheres in 4D space.

Alesker has introduced the space $\mathcal V^\infty(M)$ of {\it smooth valuations} on a smooth manifold $M$, and shown that it admits a natural commutative multiplication. Although Alesker's original construction is highly technical, from a moral perspective this product is simply an artifact of the operation of inters…

The study explores smooth structures on specific four-manifolds with cyclic groups, finding many admit infinitely many smooth structures.

Proves classification of 4D complete intersections up to diffeomorphism.

A new method clusters intersecting lines using hypergraphs.

For a particular class of pseudo manifolds, we show that the intersection cohomology groups for any perversity may be naturally represented by extended weighted $L^2$ harmonic forms for a complete metric on the regular stratum with respect to some weight determined by the perversity. Extended weighted $L^2$ harmonic fo…

Formulates Hilbert reciprocity law on 3-manifolds.

The paper provides a uniform lower bound for intersection numbers of psi-classes on moduli spaces.

Study refines Siegel-Veech constants for abelian differentials.

We consider intersecting hypersurfaces in curved spacetime with gravity governed by a class of actions which are topological invariants in lower dimensionality. Along with the Chern-Simons boundary terms there is a sequence of intersection terms that should be added in the action functional for a well defined variation…

The paper bounds the genus of surfaces in four-manifolds with indefinite forms.

We construct a canonical basis of two-cycles, on a $K3$ surface, in which the intersection form takes the canonical form $2E_8(-1) \oplus 3H$. The basic elements are realized by formal sums of smooth submanifolds.