Related papers: Hilton-Milnor's theorem in $\infty$-topoi

We prove that the Novikov conjecture holds for any discrete group admitting an isometric and metrically proper action on an admissible Hilbert-Hadamard space. Admissible Hilbert-Hadamard spaces are a class of (possibly infinite-dimensional)…

We study the homotopy groups of open books in terms of those of their pages and bindings. Under homotopy theoretic conditions on the monodromy we prove an integral decomposition result for the based loop space on an open book, and under…

To initiate a systematic study on the applications of perfectoid methods to Noetherian rings, we introduce the notions of perfectoid towers and their tilts. We mainly show that the tilting operation preserves several homological invariants…

We investigate under what conditions holomorphic forms defined on the regular locus of a reduced complex space extend to holomorphic (or logarithmic) forms on a resolution of singularities. We give a simple necessary and sufficient…

For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor,…

We show that the convolution algebra of smooth, compactly-supported functions on a Lie groupoid is H-unital in the sense of Wodzicki. We also prove H-unitality of infinite order vanishing ideals associated to invariant, closed subsets of…

In this paper, we prove homological stability of symplectomorphisms and extended hamiltonians of surfaces made discrete. We construct an isomorphism from the stable homology group of symplectomorphisms and extended Hamiltonians of surfaces…

We generalize the Bartsch-Li's splitting lemma at infinity for $C^2$-functionals in [2] and some later variants of it to a class of continuously directional differentiable functionals on Hilbert spaces. Different from the previous flow…

We prove a splitting theorem for globally hyperbolic, weighted spacetimes with metrics and weights of regularity $C^1$ by combining elliptic techniques for the negative homogeneity $p$-d'Alembert operator from our recent work in the smooth…

We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…

A canonical result in model theory is the homomorphism preservation theorem (h.p.t.) which states that a first-order formula is preserved under homomorphisms iff it is equivalent to an existential-positive formula, standardly proved via a…

Among other results, we prove the following theorem about Steiner minimal trees in $d$-dimensional Euclidean space: if two finite sets in $\mathbb{R}^d$ have unique and combinatorially equivalent Steiner minimal trees, then there is a…

We prove that for any compact toric symplectic manifold, if a Hamiltonian diffeomorphism admits more fixed points, counted homologically, than the total Betti number, then it has infinitely many simple periodic points. This provides a vast…

We prove the Conley conjecture for a closed symplectically aspherical symplectic manifold: a Hamiltonian diffeomorphism of a such a manifold has infinitely many periodic points. More precisely, we show that a Hamiltonian diffeomorphism with…

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…

The Mishchenko-Fomenko theorem on noncommutative integrability of Hamiltonian systems on a symplectic manifold is extended to the case of noncompact invariant submanifolds.

The classical theorem of Moser, on the existence of a normal form in the neighbourhood of a hyperbolic equilibrium, is extended to a class of real-analytic Hamiltonians with aperiodically time-dependent perturbations. A stronger result is…

Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…

We study the \'etale cohomology of Hilbert modular varieties, building on the methods introduced for unitary Shimura varieties in [CS17, CS19]. We obtain the analogous vanishing theorem: in the "generic" case, the cohomology with torsion…

We prove a $C^\infty$ closing lemma for Hamiltonian diffeomorphisms of closed surfaces. This is a consequence of a $C^\infty$ closing lemma for Reeb flows on closed contact three-manifolds, which was recently proved as an application of…