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

In Homotopy Type Theory, few constructions have proved as troublesome as the smash product. While its definition is just as direct as in classical mathematics, one quickly realises that in order to define and reason about functions over…

\v{C}ech cohomology $H^n(X)$ of a separable metrizable space $X$ is defined in terms of cohomology of its nerves (or ANR neighborhoods) $P_\beta$ whereas Steenrod-Sitnikov homology $H_n(X)$ is defined in terms of homology of compact subsets…

We introduce Hochschild (co-)homology of morphisms of schemes or analytic spaces and study its fundamental properties. In analogy with the cotangent complex we introduce the so called (derived) Hochschild complex of a morphism; the…

We write down a new "logarithmic" quasicoherent category $\operatorname{Qcoh}_{log}(U, X, D)$ attached to a smooth open algebraic variety $U$ with toroidal compactification $X$ and boundary divisor $D$. This is a (large) symmetric monoidal…

We define bounded cohomology of $t$-discrete measured groupoids with coefficients into measurable bundles of Banach spaces. Our approach via homological algebra extends the classic theory developed by Ivanov and by Monod. As a consequence,…

Let A be an A_\infty ring spectrum. We use the description from [2] of the cyclic bar and cobar construction to give a direct definition of topological Hochschild homology and cohomology of A using the Stasheff associahedra and another…

The Steenrod squares are cohomology operations with important applications in algebraic topology. While these operations are well-understood classically, little is known about them in the setting of homotopy type theory. Although a…

Let $T$ be a compact torus. We prove that, up to equivariant rational equivalence, the category of $T$-simply connected, $T$-finite type $T$-spaces with finitely many isotropy types is completely described by certain finite systems of…

We compute the \v{C}ech cohomology ring of a countable product of infinite projective spaces, and that of an infinite flag manifold. The method of our first result in fact computes the cohomology ring of a countably infinite product of…

Arithmetic duality theorems over a local field $k$ are delicate to prove if $\mathrm{char} k > 0$. In this case, the proofs often exploit topologies carried by the cohomology groups $H^n(k, G)$ for commutative finite type $k$-group schemes…

O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as Andr\'e-Oort conjecture. Among the many tools developed in…

Elementary geometric arguments are used to compute the group of homotopy classes of maps from a 4-manifold X to the 3-sphere, and to enumerate the homotopy classes of maps from X to the 2-sphere. The former completes a project initiated by…

We investigate which definable separable metric spaces are countable dense homogeneous (CDH). We prove that a Borel CDH space is completely metrizable and give a complete list of zero-dimensional Borel CDH spaces. We also show that for a…

In this paper we study Morse homology and cohomology with local coefficients, i.e. "twisted" Morse homology and cohomology, on closed finite dimensional smooth manifolds. We prove a Morse theoretic version of Eilenberg's Theorem, and we…

In this paper we present a new approach to computing homology (with field coefficients) and persistent homology. We use concepts from discrete Morse theory, to provide an algorithm which can be expressed solely in terms of simple graph…

The topology of periodic spaces has attracted a lot of interest in recent years in order to study and classify crystalline structures and other large homogeneous data sets, such as the distribution of galaxies in cosmology. In practice,…

Based on a relative Wu theorem in \'etale cohomology, we study the compatibility of Steenrod operations on Chow groups and on \'etale cohomology. Using the resulting obstructions to algebraicity, we construct new examples of non-algebraic…

In [Inventiones mathematicae, 184 (2011)], Vollaard and Wedhorn defined a stratification on the special fiber of the unitary unramified PEL Rapoport-Zink space with signature $(1,n-1)$. They constructed an isomorphism between the closure of…

We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded…

The group of homeomorphisms of the closed interval that are absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $\tau_{ac}$. We show that, under mild conditions on a…