相关论文: Definable (co)homology, pro-torus rigidity, and (c…

Oriented cohomology theories provide a general framework to perform intersection-theory-type calculus. The Chow ring, algebraic $K$-theory, and Levine--Morel's algebraic cobordism are all instances of such theories satisfying $\mathbb…

We prove a homological stability theorem for families of discrete groups (e.g. mapping class groups, automorphism groups of free groups, braid groups) with coefficients in a sequence of irreducible algebraic representations of arithmetic…

Higher order cohomology of arithmetic groups is expressed in terms of (g,K)-cohomology. Generalizing results of Borel, it is shown that the latter can be computed using functions of (uniform) moderate growth. A higher order versions of…

We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…

Magnitude homology was introduced by Hepworth and Willerton in the case of graphs, and was later extended by Leinster and Shulman to metric spaces and enriched categories. Here we introduce the dual theory, magnitude cohomology, which we…

A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces…

Crystallographic groups are conventionally studied in real space to characterize crystal symmetries. Recent work has recognized that when these symmetries are realized projectively, momentum space inherently accommodates nonsymmorphic…

We introduce a refinement of bounded cohomology and prove that the suitable comparison homomorphisms vanish for an amenable group. We investigate in this context Thompson's group F and provide further evidence towards its amenability. We…

Let $X$ be a closed oriented connected topological manifold of dimension $n\geq 5$. The structure group of $X$ is the abelian group of equivalence classes of all pairs $(f, M)$ such that $M$ is a closed oriented manifold and $f\colon M \to…

Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for…

We show how the classical notions of cohomology with local coefficients, CW-complex, covering space, homeomorphism equivalence, simple homotopy equivalence, tubular neighbourhood, and spinning can be encoded on a computer and used to…

Using the unbounded picture of analytical K-homology, we associate a well-defined K-homology class to an unbounded symmetric operator satisfying certain mild technical conditions. We also establish an ``addition formula'' for the Dirac…

We prove necessary and sufficient conditions for the existence of non-trivial Steenrod actions on the mod-$2$ cohomology of 4-dimensional toric orbifolds. As applications, the stable homotopy type and the gauge groups of a $4$-dimensional…

We study the complexity of the classification problem of conjugacy on dynamical systems on some compact metrizable spaces. Especially we prove that the conjugacy equivalence relation of interval dynamical systems is Borel bireducible to…

Consider the configuration spaces of manifolds. We give a precise formula for the integral cohomological dimension (the degree of top non-trivial integral cohomology group) of unordered configuration spaces of manifolds with non-trivial…

In this paper, some features of countably $\alpha$-compact topological spaces are presented and proven. The connection between countably $\alpha$% -compact, Tychonoff, and $\alpha$-Hausdorff spaces is explained. The space is countably…

Initially motivated by Hrushovski's paper on definability patterns, we obtain homeomorphisms between Ellis semigroups related to natural actions of the automorphism groups of first order structures and certain collections of types and…

We develop an alternative approach to the homological spectrum of a tensor-triangulated category through the lens of definable subcategories. This culminates in a proof that the homological spectrum is homeomorphic to a quotient of the…

We prove new structural results for the rational homotopy type of the classifying space $B\operatorname{aut}(X)$ of fibrations with fiber a simply connected finite CW-complex $X$. We first study nilpotent covers of $B\operatorname{aut}(X)$…

Every transformation monoid comes equipped with a canonical topology-the topology of pointwise convergence. For some structures, the topology of the endomorphism monoid can be reconstructed from its underlying abstract monoid. This…