Related papers: Asphericity and B\"okstedt-Neeman Theorem

We prove that the category of faded cosheaves in Set over a sober topological space $(B,\Omega)$ is equivalent to a category Sett$(B,\Omega)$ having the same class of objects as Set$ / B$ has, but generally a wider class of morphisms. We…

Following the classical results of Stong, we introduce a cohomological analogue of a core of a finite sheaved topological space and propose an algorithm for simplification in this category. In particular we generalize the notion of beat…

We prove that a locally compact space with an upper curvature bound is a topological manifold if and only if all of its spaces of directions are homotopy equivalent and not contractible. We discuss applications to homology manifolds, limits…

Let $X$ be a locally Noetherian scheme with a closed subscheme $Z$. Let $\mathcal{X}$ be the completion of $X$ at $Z$, considered as a formal scheme. We show that a coherent sheaf on $X$ is equivalently given by a coherent sheaf on…

Birkhoff's theorem for spherically symmetric vacuum spacetimes is a key theorem in studying local systems in general relativity theory. However realistic local systems are only approximately spherically symmetric and only approximately…

We prove a Berger-type theorem which asserts that if the orthogonal subgroup generated by the torsion tensor (pulled back to a point by parallel transport) of a metric connection with skew-symmetric torsion is not transitive on the sphere,…

We obtain restrictions on the topology of a closed connected manifold B that bounds a (possibly noncompact) manifold whose interior V admits a complete Riemannian metric of nonpositive sectional curvature. If G denotes the fundamental group…

We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…

We show a closed Bach-flat Riemannian manifold with a fixed positive constant scalar curvature has to be locally spherical if its Weyl and traceless Ricci tensors are small in the sense of either $L^\infty$ or $L^{\frac{n}{2}}$-norm.…

For any topological bicategory B, the Duskin nerve NB of B is a simplicial space. We introduce the classifying topos BB of B as the Deligne topos of sheaves Sh(NB) on the simplicial space NB. It is shown that the category of geometric…

Let X be an irreducible reduced complex space on which a connected compact Lie group K acts by holomorphic automorphisms. Let G be the complexification of K and g the Lie algebra of G. Following the theory of algebraic transformation…

We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…

The goal of this paper is to explain when basechange theorems for sheaves of spaces imply basechange for sheaves with coefficients in other presentable $\infty$-categories. We accomplish this by analyzing when the tensor product of…

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…

We generalize Birkhoff's Theorem in the following fashion. We find necessary and sufficient conditions for any spherically symmetric space-time to be static in terms of the eigenvalues of the stress-energy tensor. In particular, we…

A manifold is locally \emph{$k$-fold symmetric}, if for any point and any $k$-dimensional vector subspace tangent to this point there exists a local isometry such that this point is a fixed point and the differential of the isometry…

We prove that if every chain on a strictly pseudoconvex hypersurface $M$ in $\mathbb{C}^2$ coincides with the boundary of a stationary disc, then $M$ is locally spherical.

Let M be an almost Hermitian manifold of dimension greater or equal to 6. The following theorems are proved: Theorem 1. If M is of pointwise constant {\theta}-holomorphic sectional curvature for a number {\theta} in (0,{\pi}/2) then M is of…

We prove that closed manifolds admitting a generic metric whose sectional curvature is locally quasi-constant are graphs of space forms. In the more general setting of QC spaces where sets of isotropic points are arbitrary, under suitable…

Let $G$ be (the rational points of) a connected reductive group over a local non-archimedean field $F$. In this article we formulate and prove a property of an $F$-spherical homogeneous $G$-space (which in addition satisfies the finite…