Related papers: Embedding calculus and smooth structures

We give an infinite family of embeddings of $\mathbb{R} P^2$ to $S^4$ such that they are mutually topologically isotopic however are not smoothly isotopic to each other. Moreover, they are topologically isotopic to the standard $P^2$-knot.…

Seiberg-Witten theory leads to a delicate interplay between Riemannian geometry and smooth topology in dimension four. In particular, the scalar curvature of any metric must satisfy certain non-trivial estimates if the manifold in question…

In this paper we study the embedded topology of reducible plane curves having a smooth irreducible component. In previous studies, the relation between the topology and certain torsion classes in the Picard group of degree zero of the…

We construct the unitary analogue of orthogonal calculus developed by Weiss, utilising model categories to give a clear description of the intricacies in the equivariance and homotopy theory involved. The subtle differences between real and…

We prove that there are infinitely many pairs of homeomorphic non-diffeomorphic smooth 4-manifolds, such that in each pair one manifold admits an Einstein metric and the other does not. We also show that there are closed 4-manifolds with…

We give arguments that exotic smooth structures on compact and noncompact 4-manifolds are essential for some approaches to quantum gravity. We rely on the recently developed model-theoretic approach to exotic smoothness in dimension four.…

We study the beginning of the Taylor tower, supplied by manifold calculus of functors, for the space of r-immersions, which are immersions without r-fold self-intersections. We describe the first r layers of the tower and discuss the…

We provide a lower bound for the embedding capacity of higher-dimensional symplectic ellipsoids, formulated in terms of the Lagrangian capacity of ellipsoids. Our approach relies on examining the Borman--Sheridan class of a Weinstein…

We show how to measure the failure of the Whitney trick in dimension 4 by constructing higher- order intersection invariants of Whitney towers built from iterated Whitney disks on immersed surfaces in 4-manifolds. For Whitney towers on…

We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree…

We prove that a Casson tower of height 4 contains a flat embedded disc bounded by the attaching circle, and we prove disc embedding results for height 2 and 3 Casson towers which are embedded into a 4-manifold, with some additional…

We calculate the Seiberg-Witten invariants of branched covers of prime degree, where the branch locus consists of embedded spheres. Aside from the formula itself, our calculations give rise to some new constraints on configurations of…

As a first goal, it is explained why Goodwillie-Weiss calculus of embeddings offers new information about the Euclidean embedding dimension of P^m only for m < 16. Concrete scenarios are described in these low-dimensional cases, pinpointing…

ECH capacities give obstructions to symplectically embedding one symplectic four-manifold with boundary into another. We compute the ECH capacities of a large family of symplectic four-manifolds with boundary, called "concave toric…

Shape derivative is an important analytical tool for studying scattering problems involving perturbations in scatterers. Many applications, including inverse scattering, optimal design, and uncertainty quantification, are based on shape…

We prove bilinear inequalities for differential operators in $\mathbb{R}^2$. Such type inequalities turned out to be useful for anisotropic embedding theorems for overdetermined systems and the limiting order summation exponent. However,…

For matrix analogues of embedded surfaces we define discrete curvatures and Euler characteristics, and a non-commutative Gauss--Bonnet theorem is shown to follow. We derive simple expressions for the discrete Gauss curvature in terms of…

We give an example of a smooth characteristic embedding of a torus in $\s^2 \times \s^2 \# \s^1 \times \s^3$ such that there exists no diffeomorphism of the ambient $4$-manifold that induces the Dehn twist along a meridian of the torus, but…

We briefly discuss several algebraic tools that are used to describe the quantum symmetries of Boundary Conformal Field Theories on a torus. The starting point is a fusion category, together with an action on another category described by a…

We give new examples of closed smooth 4-manifolds which support singular metrics of nonpositive curvature, but no smooth ones, thereby answering affirmatively a question of Gromov. The obstruction comes from patterns of incompressible…