Related papers: Nonexistence of k-bounded sobrification

We compare two properties for a CW-space $X$ of finite type: (1) being homotopy equivalent to a CW-complex without $j$-cells for $k\leq j\leq \ell$ (($k,\ell$)-cellfree) and (2) $H^j(X;R)=0$ for any $\mathbb Z\pi_1(X)$-module $R$ when…

The existence of closed trapped surfaces need not imply a cosmological singularity when the spatial hypersurfaces are compact. This is illustrated by a variety of examples, in particular de Sitter spacetime admits many closed trapped…

Bott proved a strong vanishing theorem for sheaf cohomology on projective space. It holds for toric varieties, but not for most other varieties. We prove Bott vanishing for the quintic del Pezzo surface, also known as the moduli space…

A universal coefficient theorem is proved for C*-algebras over an arbitrary finite T_0-space X which have vanishing boundary maps. Under bootstrap assumptions, this leads to a complete classification of unital/stable real-rank-zero…

We show that in any $\mathbb{Q}$-Gorenstein flat family of klt singularities, normalized volumes are lower semicontinuous with respect to the Zariski topology. A quick consequence is that smooth points have the largest normalized volume…

We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…

The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its…

In this paper we show that the compactness of a Loeb space depends on its cardinality, the nonstandard universe it belongs to and the underlying model of set theory we live in. In section 1 we prove that Loeb spaces are compact under…

The main objective of this paper is to propose a definition of non-connective K-theory for a wide class of relative exact categories which, in general, do not satisfy the factorization axiom and confirm that it agrees with the…

One of our result is that 5 measurable sets in $R^8$ always admit an equipartition by 2 hyperplanes. This is an instance of a general equipartition problem (formulated by B. Gr{\" u}nbaum and H. Hadwiger) which can be reduced to the…

The class of uniformly smooth hyperbolic spaces was recently introduced by the first author as a common generalization of both CAT(0) spaces and uniformly smooth Banach spaces, in a way that Reich's theorem on resolvent convergence could…

In this paper we extend the unramified class field theory for arithmetic surfaces of K. Kato and S. Saito to the relative case. Let X be a regular proper arithmetic surface and let Y be the support of divisor on X. Let CH_0(X,Y) denote the…

Let $k_0$ be a field of characteristic $0$ with algebraic closure $k$. Let $G$ be a connected reductive $k$-group, and let $Y$ be a spherical variety over $k$ (a spherical homogeneous space or a spherical embedding). Let $G_0$ be a…

We show that the homotopy category of unpointed spaces admits no set of objects jointly reflecting isomorphisms by giving an explicit counterexample involving large symmetric groups. We also show that, in contrast, the spheres jointly…

The main result of this paper is non-vanishing of the image of the index map from the $G$-equivariant $K$-homology of a proper $G$-compact $G$-manifold $X$ to the $K$-theory of the $C^{*}$-algebra of the group $G$. Under the assumption that…

Let k be an algebraically closed field and A be a finite-dimensional associative basic k-algebra of the form A=kQ/I where Q is a quiver without oriented cycles or double arrows and I is an admissible ideal of kQ. We consider roots of the…

Logarithmic Hilbert and Quot spaces are generalizations of their traditional versions adapted to study pairs and degenerations. The logarithmic Quot spaces of $(X,D)$ parameterize "algebraically transverse" (logarithmically flat) quotient…

We show that in any $\mathbb{Q}$-Gorenstein flat family of klt singularities, normalized volumes can only jump down at countably many subvarieties. A quick consequence is that smooth points have the largest normalized volume among all klt…

It is shown that the space of finite-to-finite holomorphic correspondences on an OT-manifold is discrete. When the OT-manifold has no proper infinite complex-analytic subsets, it then follows by known model-theoretic results that its…

We show that there are no symmetric non-zero biderivations on perfect Lie algebras of finite dimension over a field of characteristic zero. We show that this is equivalent to show that every symmetric biderivation on a finite-dimensional…