Related papers: Embedding calculus and smooth structures

We introduce a new generalization of Gompf nuclei and give applications. We construct infinitely many exotic smooth structures for a large class of compact 4-manifolds with boundary, regarding topological invariants. We prove that a large…

An influential result of McDuff and Schlenk asserts that the function that encodes when a four-dimensional symplectic ellipsoid can be embedded into a four-dimensional ball has a remarkable structure: the function has infinitely many…

We use a variation of a classical construction of A. Hatcher to construct virtually all stable exotic smooth structures on compact smooth manifold bundles whose fibers have sufficiently large odd dimension (at least twice the base dimension…

We show that no exotic $\mathbb{R}^4$ admits a complete Riemannian metric with uniformly positive isotropic curvature and with bounded geometry. This is essentially a corollary of the main result in [Hu1], and was stated in [Hu2] without…

We study various aspects of the dynamics induced by integer matrices on the invariant rational lattices of the torus in dimension 2 and greater. Firstly, we investigate the orbit structure when the toral endomorphism is not invertible on…

We study the notion of symplectic scalar curvature on the supermanifold over an ordinary Fedosov manifold whose structural sheaf is that of differential forms. In this purely geometric context, we introduce two families of odd super-Fedosov…

We prove the exponent $4/3$ for the lattice point discrepancy of a torus in $\mathbb{R}^3$ (generated by the rotation of a circle around the $z$ axis). The exponent comes from a diagonal term and it seems a natural limit for any approach…

We prove that functions defined on a lattice in a finite dimensional torus with bounded finite differences can be smoothly extended to the whole torus, and relate the bounds on the extension's derivatives with bounds on the original…

In this note we consider distinct distances determined by points in an integer lattice. We first consider Erdos's lower bound for the square lattice, recast in the setup of the so-called Elekes-Sharir framework \cite{ES11,GK11}, and show…

We demonstrate the existence of topological insulators in one dimension protected by mirror and time-reversal symmetries. They are characterized by a nontrivial $\mathbb{Z}_2$ topological invariant defined in terms of the "partial"…

We construct spherical harmonics for fuzzy spheres of even and odd dimensions, generalizing the correspondence between finite matrix algebras and fuzzy two-spheres. The finite matrix algebras associated with the various fuzzy spheres have a…

We continue the study of 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…

We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we…

The differential $\lambda$-calculus studies how the quantitative aspects of programs correspond to differentiation and to Taylor expansion inside models of linear logic. Recent work has generalized the axioms of Taylor expansion so they…

Embedding theorems, which have a long history in the general theory of relativity, are used in this paper to account for two of the most troubling aspects of Morris-Thorne wormholes, (1) the origin of exotic matter and the amount needed to…

This is the sequel to our first paper concerning the balanced embedding of a non-compact complex manifold into an infinite-dimensional projective space. We prove the uniqueness of such an embedding. The proof relies on fine estimates of the…

We review the higher gauge symmetries in double and exceptional field theory from the viewpoint of an embedding tensor construction. This is based on a (typically infinite-dimensional) Lie algebra $\frak{g}$ and a choice of representation…

An immense class of physical counterexamples to the four dimensional strong cosmic censor conjecture---in its usual broad formulation---is exhibited. More precisely, out of any closed and simply connected 4-manifold an open Ricci-flat…

It is known that every exotic smooth structure on a simply connected closed 4-manifold is determined by a codimention zero compact contractible Stein submanifold and an involution on its boundary. Such a pair is called a cork. In this…

We define an abstract framework called {\it discrete finite differences embedding} which can be used to obtain discrete analogue of formal functional relations in the spirit of category theory. For ordinary differential equations we exhibit…