The paper offers new methods to determine if certain 3D links can be formed by intersecting spheres in 4D space.
problem Determining if a 3D link can be formed by intersecting spheres in 4D space.
method Using obstructions from multivariable signature, Blanchfield form, and generalised Seifert matrices.
result Provides lower bounds on the doubly slice genus of links.
Proves classification of 4D complete intersections up to diffeomorphism.
problem Classifying 4-dimensional complete intersections up to diffeomorphism.
method Uses Hambleton-Madsen theory of degree-d normal maps and connects Segal Conjecture for S1 to Sullivan Conjecture. result Proves the Sullivan Conjecture for 4-dimensional complete intersections.
Perelman's proof confirmed, new method uses 4D topology.
problem Confirming the classical Poincaré conjecture.
method 4D topology, spun torus-knots, ribbonness, disk-chord system, Bing's result.
result Homotopy 3-sphere is diffeomorphic to the 3-sphere.
Minimal hypertori found in 4D sphere, solving Bernstein conjecture.
problem Finding minimal embedded hypertori in 4D sphere.
method Analyzing minimally embedded and immersed hypertori and hyperspheres.
result Infinitely many non-isometric minimally embedded hypertori and hyperspheres found.
Low entropy hypersurfaces in 4D are isotopic to a sphere.
problem Characterizing hypersurfaces with low entropy in 4D.
method Proving isotopy to the standard 3-sphere for hypersurfaces with entropy ≤ cylinder entropy.
result Closed hypersurfaces with low entropy are isotopic to the standard 3-sphere.
Sharp inequality proven for symmetric functions on a 4D sphere.
problem Proving a sharp Beckner's inequality for axially symmetric functions on S4. method Utilized pointwise properties of Gegenbauer polynomials.
result Sharp Beckner's inequality established for axially symmetric functions on S4. The study finds that most minimal surfaces in generic 4D manifolds intersect in complex ways.
problem Understanding self-intersections of minimal surfaces in generic Riemannian manifolds.
method Analyzing the properties of minimal surfaces in a generic Riemannian manifold of dimension four.
result Most minimal surfaces in generic 4D manifolds intersect in complex ways, with tangent planes failing to be complex with respect to any orthogonal complex structure.
New spheres can split a 4D link in ways not possible in 3D.
problem Exploring how splitting spheres behave in 4D space.
method Constructing specific 2-component surface-links in S4. result Found non-isotopic splitting spheres in S4∖Lm,n. Develops Llarull type theorems for 3D and 4D bands with spectral scalar curvature bounds.
problem Bounding scalar curvature and metric on 3D and 4D bands simultaneously.
method Warped μ-bubble method result Establishes Llarull type theorems for 3D and 4D bands with spectral scalar curvature bounds.
Classifies arcs on a 4-punctured sphere that intersect at most once.
problem Classifying arcs on a 4-punctured sphere with intersection constraints.
method Classification of maximal systems of arcs intersecting at most once.
result Maximal systems of arcs on the 4-punctured sphere identified.
New 4-manifold examples show necessary conditions for 4D Light Bulb Theorem.
problem Necessary conditions for the 4D Light Bulb Theorem.
method Constructing 4-manifolds with specific dual properties.
result Examples show the necessity of square zero assumption.
Approaches 4D Schoenflies via pseudo-isotopy.
problem Smooth 4D Schoenflies conjecture.
method Pseudo-isotopy theory.
result Offers new approach to 4D Schoenflies.
We show that a Ricci flow in four dimensions can develop singularities modeled on the Eguchi-Hanson space. In particular, we prove that starting from a class of asymptotically cylindrical U(2)-invariant initial metrics on TS2, a Type II singularity modeled on the Eguchi-Hanson space develops in finite time. Furthe…
New minimal hypersurfaces in 4D sphere found.
problem Constructing embedded minimal hypersurfaces in S4. method Equivariant min-max theory and suspended Hopf action.
result Infinitely many topological S1-bundles and Seifert fibered manifolds found. Paper finds new 3D shapes that can be inside a 4D space.
problem Finding new 3D shapes with specific properties.
method Examined arithmetic hyperbolic 3-manifolds and their homology.
result Discovered infinitely many 3D shapes that are rational homology spheres and can bound geometrically.
New method finds non-orientable knotted surfaces in 4D.
problem Reducibility of knotted surfaces in 4D.
method Elementary obstruction to reducibility.
result Construction of stably irreducible non-orientable surfaces.
2D complexes can be almost-embedded in 4D space without self-intersections.
problem Understanding the embedding properties of 2-dimensional complexes in 4-dimensional space.
method Analyzing specific 2-complexes constructed by Freedman-Krushkal-Teichner and showing they can be PL immersed in R4 without self-intersections. result Many 2-complexes can be PL almost-embedded in R4 with singularities only as self-intersections of some 2-cells. Algorithm constructs Kirby diagrams for 4D open books.
problem Constructing Kirby diagrams for 4D open books.
method Algorithm using Heegaard diagrams of pages.
result Diffeomorphic open books constructed with different pages and monodromies.
New maps show some surfaces can't be sections of 4D spheres.
problem Finding sections for certain 4D sphere maps.
method Exhibited singular fibrations with high genus fibers.
result Some regular fibers cannot be sections.
New theory classifies knotted spheres in 4D space.
problem Classifying knotted punctured spheres in 4D space.
method Diagrammatic theory of welded graphs, Tube map extension, Milnor invariants.
result Complete link-homotopy classification of knotted punctured spheres.
Synthetic construction of Hopf fibration in 4D space.
problem Visualizing 4D objects in 3D space.
method Double orthogonal projection method to visualize 4D space.
result Direct synthetic construction of 3-sphere fibers from 2-sphere points.
We study intersection of two polyhedral spheres without self-intersections in 3-space. We find necessary and sufficient conditions on sequences x = x_1,x_2,...,x_n, y = y_1,y_2,...,y_n of positive integers, for existence of 2-dimensional polyhedra f,g in R^3 homeomorphic to the sphere and such that * f-g has n connecte…
Study Murasugi sum in 4D for knotted surfaces, defining arborescent surfaces.
problem Defining and understanding Murasugi sum in 4D for knotted surfaces.
method Introduced a 4D Murasugi sum to define arborescent knotted surfaces.
result Defined and studied arborescent knotted surfaces using 4D Murasugi sum.
It has long been known that every quasi-homogeneous normal complex surface singularity with Q-homology sphere link has universal abelian cover a Brieskorn complete intersection singularity. We describe a broad generalization: First, one has a class of complete intersection normal complex surface singularities called "s…
We construct infinitely many smooth oriented 4-manifolds containing pairs of homotopic, smoothly embedded 2-spheres that are not topologically isotopic, but that are equivalent by an ambient diffeomorphism inducing the identity on homology. These examples show that Gabai's recent "Generalized" 4D Lightbulb Theorem does…
The study connects surface geometry in 5D to 4D projections and umbilic curvatures.
problem Understanding the geometry of surfaces in 5D space.
method Relating surfaces in 5D to surfaces in 4D via projections and normal sections, analyzing asymptotic directions and umbilic curvatures.
result Relations between asymptotic directions and umbilic curvatures in 5D surfaces and their counterparts in 4D projections.
The study sets constraints on 4-manifold forms linked to specific invariants.
problem Understanding the intersection forms of spin 4-manifolds bounded by Seifert rational homology 3-spheres.
method Analyzes constraints using the μ-bar and κ invariants.
result The difference between κ and -μ-bar for a Seifert rational homology 3-sphere is at most 2, and under certain conditions, it is 0.
Refines knot defect measurement in 3D and 4D.
problem Measuring how far knots are from being alternating.
method Extends spanning surface defect to 4-ball, making comparisons and proving formulas.
result Connected sum formula proven.
New geometric approach realizes 5D bulk theories with 4D edge modes.
problem Realizing novel higher-dimensional junctions of theories coupled to localized edge modes.
method M-theory on singular, asymptotically conical G2-holonomy orbifolds.
result Geometric approach shows how bulk generalized symmetries are inherited in the boundary system.
Paper proves existence of a CMC hypertorus in 4D sphere using numerical methods.
problem Proving the existence of a constant mean curvature (CMC) hypertorus in \(S^4\).
method Employed the round Taylor method with rational arithmetic and the Poincare-Miranda theorem.
result Existence of a constant mean curvature (CMC) hypertorus in \(S^4\).
New inequality for links in 3D using 4D invariants.
problem Understanding links in 3D using 4D invariants.
method Using a Bauer--Furuta-type invariant for 4-manifolds with contact boundary.
result Generalized Thurston--Bennequin inequality for links in S3. Let p be a puncture of a punctured sphere, and let Q be the set of all other punctures. We prove that the maximal cardinality of a set of arcs pairwise intersecting at most once, which start at p and end in Q, is |X|(|X| + 1). We deduce that the maximal cardinality of a set of arcs with arbitrary endpoints pairwise int…
The following problem was proposed in 2010 by S. Lando. Let M and N be two unions of the same number of disjoint circles in a sphere. Do there always exist two spheres in 3-space such that their intersection is transversal and is a union of disjoint circles that is situated as M in one sphere and as N in the ot…
The paper constructs homotopically non-trivial spheres in complexified spaces.
problem Embedding spheres in complexified spaces defined by hyperplane arrangements.
method Introducing locally consistent systems of half-spaces, embedding a sphere, and computing twisted intersection numbers.
result The constructed sphere is homotopically non-trivial if the half-space system is globally consistent.
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…
The paper explores biconservative surfaces in a 4D sphere, finding a unique family of non-isometric surfaces.
problem Characterizing biconservative surfaces with a parallel normalized mean curvature vector field in a 4D sphere.
method Analyzes existence and uniqueness, derives local parametrization.
result A 2-parameter family of non-isometric biconservative surfaces in a 4D sphere.
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\…
An obstruction theory for representing homotopy classes of surfaces in 4-manifolds by immersions with pairwise disjoint images is developed, using the theory of non-repeating Whitney towers. The accompanying higher-order intersection invariants provide a geometric generalization of Milnor's link-homotopy invariants, an…
We show that the algebraic intersection number of Scott and Swarup for splittings of free groups coincides with the geometric intersection number for the sphere complex of the connected sum of copies of S2×S1.
A subset of the sphere is said short if it is contained in an open hemisphere. A short closed set which is geodesically convex is called a cap. The following theorem holds: 1. The minimal number of short closed sets covering the n-sphere is n+2. 2. If n+2 short closed sets cover the n-sphere then (i) their inte…
The article provides formulas for the number of terms in connected sums of sphere products associated with dual-neighborly polytopes.
problem Understanding the number of terms in the connected sums of sphere products associated with dual-neighborly polytopes.
method Combinatorial operations and formulas for the number of terms in the connected sums of sphere products.
result Formulas for the number of terms in the connected sums of sphere products associated with dual-neighborly polytopes.
We investigate several topological and combinatorial properties of line arrangements. We associate to a line arrangement a link obtained by intersecting the arrangement with some sphere. Several topics are discussed: (a) some link configurations can be realized by complex line arrangements but not by real line arrangem…
The setting for this brief paper is R^3. Distance between two spheres is understood as distance delta between spherical centers. For instance, a Reuleaux tetrahedron T is the intersection of four unit balls satisfying delta=1 pairwise. Volume and surface area of T are already well-known; our humble contribution is to c…
Study the singularities of Gauss map components of surfaces in 4D.
problem Characterize singularities of Gauss map components of surfaces in R4. method Analyze the geometric properties and stability of singularities.
result Singularities of Gauss map components are generically stable and related to surface geometry and J-holomorphic curves. We prove that the group of Hamiltonian diffeomorphisms of the 2-sphere has infinite diameter with respect to Hofer's metric. Our approach is based on the theory of Lagrangian intersections.
Let S^3_i be a 3-sphere embedded in the 5-sphere S^5 (i=1,2). Let S^3_1 and S^3_2 intersect transversely. Then the intersection C of S^3_1 and S^3_2 is a disjoint collection of circles. Thus we obtain a pair of 1-links, C in S^3_i (i=1,2), and a pair of 3-knots, S^3_i in S^5 (i=1,2). Conversely let (L_1,L_2) be a pair …
Study finds negatively curved spheres in elliptic surfaces and their modifications.
problem Finding negatively curved spheres in elliptic surfaces.
method Using elliptic fibrations with specific singular fibers.
result Identifies spheres with very negative self-intersections in elliptic surfaces and their modifications.
Classifies Morse flows on 3-sphere with specific saddle connections.
problem Classifying Morse-Smale flows on a 3-sphere with specific saddle connections.
method Used generalized Heegaard diagrams (Pr-diagrams) to classify flows.
result Found all possible, up to homeomorphism, ways to embed two circles in a 2-sphere with no more than 10 points of transversal intersection.