Related papers: $C^\infty$-manifolds with skeletal diffeology

Let $M$ be a closed connected smooth manifold and $G=\textmd{Diff}_0(M)$ denote the connected component of the diffeomorphism group of $M$ containing the identity. The natural action of $G$ on $M$ induces the trace homomorphism on homology.…

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…

Let G be a Lie group modelled on a locally convex space, with Lie algebra g, and k be a non-negative integer or infinity. We say that G is C^k-semiregular if each C^k-curve c in g admits a left evolution Evol(c) in G. If, moreover, the map…

Given a smooth map $f:M\rightarrow N$ of closed oriented smooth manifolds, is there an immersion homotopic to $f$? We provide an algorithm that decides this when the codimension of the manifolds is odd.

To a graph, Hausel and Proudfoot associate two complex manifolds, B and D, which behave, respectively like moduli of local systems on a Riemann surface, and moduli of Higgs bundles. For instance, B is a moduli space of microlocal sheaves,…

The density property for a Stein manifold X implies that the group of holomorphic diffeomorphisms of X is infinite-dimensional and, in a certain well-defined sense, as large as possible. We prove that if G is a complex semisimple Lie group…

Consider the self-map F of the space of real-valued test functions on the line which takes a test function f to the test function sending a real number x to f(f(x))-f(0). We show that F is discontinuous, although its restriction to the…

Consider a proper action of $\mathbb{Z}^d$ on a smooth (perhaps non-paracompact) manifold $M$. The $p^{th}$ cohomology $H^p(\mathbb{Z}^d,\ \Gamma_{\mathrm{c}}(\mathcal{F}))$ valued in the space of compactly-supported sections of a natural…

On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…

We show the existence of a weak bi-invariant symmetric nondegenerate 2-form on the contact diffeomorphisms group $\mathcal{D}_\theta$ of a contact Riemannian manifold $(M,g,\theta)$ and study its properties. We describe the Euler's equation…

We prove that a $C^2$ diffeomorphism $f$ of a compact manifold $M$ satisfies Axiom A and the strong transversality condition if and only if it is H\"{o}lder stable, that is, any $C^1$ diffeomorphism $g$ of $M$ sufficiently $C^1$ close to…

We consider the 6d (1,0) SCFT on a stack of $N$ M5-branes probing a $\mathbb C^2/\mathbb Z_2$ singularity. In particular, we study its compactifications to four dimensions on a smooth genus-$g$ Riemann surface with non-trivial flavor flux,…

Consider a definable complete d-minimal expansion $(F, <, +, \cdot, 0, 1, \dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 \le r <\infty$. We prove that the set of definable…

We show that any simply connected topological closed $4$-manifold punctured along any compact, totally disconnected tame subset $\Lambda$ admits a continuum of smoothings which are not diffeomorphic to any leaf of a $C^{1,0}$ codimension…

Recently Galatius, Madsen, Tillmann and Weiss identified the homotopy type of the classifying space of the cobordism category of embedded d-dimensional manifolds [7] for each positive integer d. Their result lead to a new proof of the…

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…

We prove that the existence of totally real immersions of manifolds is a closed property under cut-and-paste constructions along submanifolds including connected sums. We study the existence of totally real embeddings for simply connected…

We show the following result: Let $(M,g_0)$ be a compact manifold of dimension $n\geq 12$ with positive isotropic curvature. Then $M$ is diffeomorphic to a spherical space form, or a quotient manifold of $\mathbb{S}^{n-1}\times \mathbb{R}$…

This is a preliminary version of a book on infinite-dimensional Lie groups. It covers the basics of calculus and manifolds in the context of locally convex spaces, based on Bastiani's notion of a smooth map. Starting from this concept, we…

We define Aeppli and Bott-Chern cohomology for bi-generalized complex manifolds and show that they are finite dimensional for compact bi-generalized Hermitian manifolds. For totally bounded double complexes $(A, d', d'')$, we show that the…