Related papers: Asphericity and B\"okstedt-Neeman Theorem
We introduce the notion of orthogonality in a vector space with a topology on it. To serve our purpose, we define orthogonality space for a given vector space X, using the topology on it. We show that for a suitable choice of orthogonality…
We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…
An interesting question in symplectic topology, which was posed by C. H. Taubes, concerns the topology of closed (i.e. compact and without boundary) connected oriented three dimensional manifolds whose product with a circle admits a…
The Borel Conjecture predicts that closed aspherical manifolds are topological rigid. We want to investigate when a non-aspherical oriented connected closed manifold M is topological rigid in the following sense. If f: N --> M is an…
We prove that a Riemannian submersion between smooth, compact, non-negatively curved Riemannian manifolds has to be smooth, resolving a conjecture by Berestovskii--Guijarro. We show that without any curvature assumption, the smoothness of…
It is proved that a Stein manifold acted on by a connected compact Lie group is spherical if and only if there exists an antiholomorphic involution preserving each orbit of the action. This involution can be chosen equivariant with respect…
We show that a compact quaternionic-K\"ahler manifold with positive scalar curvature and nonnegative sectional curvature is isometric to a symmetric space. This extends a classical theorem of Berger.
We already saw in [A1] that the space of dynamically marked rational maps can be identified to a subspace of the space of covers between trees of spheres on which there is a notion of convergence that makes it sequentially compact. In the…
We consider classes T of topological spaces (referred to as T-spaces) that are stable under continuous images and frequently under arbitrary products. A local T-space has for each point a neighborhood base consisting of subsets that are…
Consider the topologically enriched category of compact smooth manifolds (possibly with corners), with morphisms given by codimension zero smooth embeddings. Now formally identify any object X with its thickening X x [-1,1]. We prove that…
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…
This text contributes to the foundations of the theory of global Berkovich spaces, that is to say Berkovich spaces over Banach rings with nice properties such as $\mathbf{Z}$, rings of integers of number fields, discrete valuation rings,…
We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…
We show that any compact surface of genus zero in Euclidean 3-space that satisfies a quasiconformal inequality between its principal curvatures is a round sphere. This solves an old open problem by H. Hopf, and gives a spherical version of…
Ashtekar and Samuel have shown that Bianchi cosmological models with compact spatial sections must be of Bianchi class A. Motivated by general results on the symmetry reduction of variational principles, we show how to extend the…
We prove that any fusion category over $\mathbb{C}$ with exactly one non-invertible simple object is spherical. Furthermore, we classify all such categories that come equipped with a braiding.
This paper concerns spherical adjunctions of stable $\infty$-categories and their relation to monadic adjunctions. We begin with a proof of the 2/4 property of spherical adjunctions in the setting of stable $\infty$-categories. The proof is…
Here, an axiom of spheres in Finsler geometry is proposed and it is proved that if a Finslerian manifold satisfies the axiom of spheres then it is of constant flag curvature.
In this paper, we prove some differentiable sphere theorems and topological sphere theorems for submanifolds in K\"ahler manifold, especially in complex space forms.
We describe new autoequivalences of derived categories of coherent sheaves arising from what we call $\mathbb P^n$-objects of the category. Standard examples arise from holomorphic symplectic manifolds. Under mirror symmetry these…