Related papers: Embedding calculus and smooth structures

We investigate how embedding dimension affects the emergence of an internal "world model" in a transformer trained with reinforcement learning to perform bubble-sort-style adjacent swaps. Models achieve high accuracy even with very small…

In this paper we introduce several quantitative methods for the lambda-calculus based on partial metrics, a well-studied variant of standard metric spaces that have been used to metrize non-Hausdorff topologies, like those arising from…

In this paper we show that a convex subcomplex of a spherical building of type E6, E7 or E8 is a subbuilding or the automorphisms of the subcomplex fix a point on it. Together with previous results of M\"uhlherr-Tits, and Leeb and the…

We discuss the possibility of extending different versions of the Campbell-Magaard theorem, which have already been established in the context of semi-Riemannian geometry, to the context of Weyl's geometry. We show that some of the known…

We construct a calculus of functors in the spirit of orthogonal calculus, which is designed to study "functors with reality" such as the Real classifying space functor, $BU_\mathbb{R}(-)$. The calculus produces a Taylor tower, the $n$-th…

We develop the theory of the diagrammatics of surface cross sections to prove that there are an infinite number of homology 3-spheres smoothly embeddable in a homology 4-sphere but not in a homotopy 4-sphere. Our primary obstruction comes…

A theorem of Mumford states that, on complex surfaces, any normal isolated singularity whose link is diffeomorphic to a sphere is actually a smooth point. While this property fails in higher dimensions, McLean asks whether the contact…

We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension~2 in $\C P^n$ and are topologically "glued" out of algebraic hypersurfaces in $(\C^*)^n$. Our construction can be…

We give explicit deformations of embeddings of abstractly planar graphs that lie on the standard torus $T^2 \subset \mathbb{R}^3$ and that contain neither a nontrivial knot nor a nonsplit link into the plane. It follows that ravels do not…

Usually, the topology of a 4-manifolds $M$ is restricted to admit a global hyperbolic structure $\Sigma\times\mathbb{R}$. The result was obtained by using two conditions: existence of a Lorentz structure and causality (no time-like closed…

We show how to construct absolutely exotic smooth structures on compact 4-manifolds with boundary, including contractible manifolds. In particular, we prove that any compact smooth 4-manifold W with boundary that admits a relatively exotic…

The Taylor expansion is a widely used and powerful tool in all branches of Mathematics, both pure and applied. In Probability and Mathematical Statistics, however, a stronger version of Taylor's classical theorem is often needed, but only…

We provide a partial result on Taylor's modularity conjecture, and several related problems. Namely, we show that the interpretability join of two idempotent varieties that are not congruence modular is not congruence modular either, and we…

In the paper we prove, that extrinsic curvature does not impose restrictions on the topology of a contact structure, except the obvious ones.

In this paper, we establish the core of singular integral theory and pseudodifferential calculus over the archetypal algebras of noncommutative geometry: quantum forms of Euclidean spaces and tori. Our results go beyond Connes'…

We associate a tower with an infinitesimal algebraic skeleton to the (2+1)-dimensional (compact and noncompact) Heisenberg spin model. In particular, we construct the absolute parallelism defining the tower and the corresponding extension…

We construct exotic copies of $\mathbb{R}^4$ with nontrivial compactly supported mapping class groups of arbitrarily large rank. This follows from a modification of the construction of the diffeomorphism corks of arXiv:2407.04696 that makes…

We present a local classification of conformally equivalent but oppositely oriented 4-dimensional Kaehler metrics which are toric with respect to a common 2-torus action. In the generic case, these "ambitoric" structures have an intriguing…

We construct an infinite family of mutually non-diffeomorphic irreducible smooth structures on the topological 4-manifold $S^2 \times S^2$.

Invariant integrals of functions and forms over $q$ - deformed Euclidean space and spheres in $N$ dimensions are defined and shown to be positive definite, compatible with the star - structure and to satisfy a cyclic property involving the…