代数拓扑

In this paper we prove that the quotient of any real or complex moment-angle complex by any closed subgroup in the naturally acting compact torus on it is equivariantly homotopy equivalent to the homotopy colimit of a certain toric diagram.…

Let $\mathcal{G}_k$ be the gauge group of the principal $SU(4)$-bundle over $S^4$ with second Chern class $k$ and let $p$ be a prime. We show that there is a rational or $p$-local homotopy equivalence…

We consider the category of perverse sheaves on a complex vector space smooth with respect to a stratification given by an arrangement of hyperplanes with real equations. As shown in an earlier wotk of two of the authors, this category can…

The equivariant cohomology for actions of compact connected abelian groups and elementary abelian p-groups have been widely studied in the last decades. We study some of these results on actions of finite cyclic groups over a field of…

We prove the non-existence of special generic maps on complex projective space as our extended new result. Simplest special generic maps are Morse functions with exactly two singular points on spheres, or Morse functions in Reeb's theorem,…

We explicitly study the extremal stability of configuration spaces of complex projective spaces of any dimension, and show that the homology groups are vanish in extremal stable range. As a consequence, we give an affirmative answer of the…

We introduce a new definition of weighted Grassmann orbifolds. We study their several invariant $q$-cell structures and the orbifold singularities on these $q$-cells. We discuss when the integral cohomology of a weighted Grassmann orbifold…

We extend the duality theory for topological groups from the classical theory for compact Lie groups, via the topological study by J. R. Klein [Kl01] and the p-complete study for p-compact groups by T. Bauer [Ba04], to a general duality…

We introduce the notion of a Galois extension of commutative S-algebras (E_infty ring spectra), often localized with respect to a fixed homology theory. There are numerous examples, including some involving Eilenberg-Mac Lane spectra of…

Let $d \geq 1$ be an integer and $\mathcal{K}_{d}$ be a contravariant functor from the category of subgroups of $(\mathbb{Z}/2\mathbb{Z})^{d}$ to the category of graded and finite $\mathbb{F}_{2}$-algebras. In this paper, we generalize the…

In this article we show that $\mathbb{S}/8$ is an $\mathbb{E}_1$-algebra, $\mathbb{S}/32$ is an $\mathbb{E}_2$-algebra, $\mathbb{S}/p^{n+1}$ is an $\mathbb{E}_n$-algebra at odd primes and, more generally, for every $h$ and $n$ there exist…

We prove a generalization of the cobordism hypothesis of Baez--Dolan and Hopkins--Lurie for bordisms with arbitrary geometric structures, such as Riemannian metrics, complex and symplectic structures, principal bundles with connections, or…

We discuss proofs of local cohomology theorems for topological modular forms, based on Mahowald-Rezk duality and on Gorenstein duality, and then make the associated local cohomology spectral sequences explicit, including their differential…

We compute the cohomology rings of smooth real toric varieties and of real toric spaces, which are quotients of real moment-angle complexes by freely acting subgroups of the ambient 2-torus. The differential graded algebra we present is in…

A simplicial set is non-singular if the representing map of each non-degenerate simplex is degreewise injective. The simplicial mapping set $X^K$ has $n$-simplices given by the simplicial maps $\Delta[n] \times K \to X$. We prove that $X^K$…

We establish a motivic version of the May Nilpotence Conjecture: if E is a normed motivic spectrum that satisfies $E \wedge HZ \simeq 0$, then also $E \wedge MGL \simeq 0$. In words, motivic homology detects vanishing of normed modules over…

We specify exterior generators for $\pi_* THH(MU) = \pi_*(MU) \otimes E(\lambda'_n \mid n\ge1)$ and $\pi_* THH(BP) = \pi_*(BP) \otimes E(\lambda_n \mid n\ge1)$, and calculate the action of the $\sigma$-operator on these graded rings. In…

The Euler characteristic is an invariant of a topological space that in a precise sense captures its canonical notion of size, akin to the cardinality of a set. The Euler characteristic is closely related to the homology of a space, as it…

Each extended Cartan--Eilenberg system $(H, \partial)$ gives rise to two exact couples and one spectral sequence. We show that the canonical colim-lim interchange morphism associated to $H$ is a surjection, and that its kernel is isomorphic…

We prove that algebraic K-theory, topological Hochschild homology and topological cyclic homology satisfy cubical and cosimplicial descent at connective structured ring spectra along 1-connected maps of such ring spectra.