代数拓扑
We apply fixed-point techniques to compute the coefficient ring of semifree geometric circle-equivariant complex cobordism with isolated fixed points, recovering a 2004 result of Sinha through 19th-century methods.
We compute the equivariant K-theory with integer coefficients of an equivariantly formal isotropy action, subject to natural hypotheses which cover the three major classes of known examples. The proof proceeds by constructing a map of…
Recent work of Chen He has determined through GKM methods the Borel equivariant cohomology with rational coefficients of the isotropy action on a real Grassmannian and an real oriented Grassmannian through GKM methods. In this expository…
Considering the potential equivariant formality of the left action of a connected Lie group $K$ on the homogeneous space $G/K$, we arrive through a sequence of reductions at the case $G$ is compact and simply-connected and $K$ is a torus.…
For any group $G$ of self homotopy equivalences of the finite nilpotent complex $X$, acting nilpotently on its homology, and for any nilpotent subcomplex $A$, we prove that the universal fibration $$ X \longrightarrow B(*,{\rm…
This paper offers a novel homotopical characterization of strongly contextual simplicial distributions with binary outcomes, specifically those defined on the cone of a 1-dimensional space. In the sheaf-theoretic framework, such…
The projective span of a smooth manifold is defined to be the maximal number of linearly independent tangent line fields. We initiate a study of projective span, highlighting its relationship with the span, a more classical invariant. We…
This paper introduces cellular sheaf theory to graphical methods and reciprocal constructions in structural engineering. The elementary mechanics and statics of trusses are derived from the linear algebra of sheaves and cosheaves. Further,…
In the 2000s, Sadofsky constructed a spectral sequence which converges to the mod $p$ homology groups of a homotopy limit of a sequence of spectra. The input for this spectral sequence is the derived functors of sequential limit in the…
For any natural numbers $k \leq n$, the rational cohomology ring of the space of continuous maps $S^{2k-1} \to S^{2n-1}$ (respectively, $S^{4k-1} \to S^{4n-1}$) equivariant under the Hopf action of the circle (respectively, of the group…
We develop the concept of twisted ambidexterity in a parametrized presentably symmetric monoidal $\infty$-category, which generalizes the notion of ambidexterity by Hopkins and Lurie and the Wirthm\"uller isomorphisms in equivariant stable…
We describe an algebraic chain level construction that models the passage from an arbitrary topological space to its free loop space. The input of the construction is a categorical coalgebra, i.e. a curved coalgebra satisfying certain…
We describe how power operations descend through homotopy limit spectral sequences. We apply this to describe how norms appear in the $C_2$-equivariant Adams spectral sequence, to compute norms on $\pi_0$ of the equivariant $KU$-local…
Answering a question of Hatcher-Vogtmann, we prove that the top homology group of the free factor complex is not the dualizing module for $\text{Aut}(F_n)$, at least for $n = 5$.
We construct a $C_2$-equivariant spectral sequence for RO$(C_2)$-graded homotopy groups. The construction is by using the motivic effective slice filtration and the $C_2$-equivariant Betti realization. We apply the spectral sequence to…
If $G$ is a finite group or a torus, it is known that there is an isomorphism between the Grothendieck group of homotopy representations and that of generalized homotopy representations for $G$. We prove that there is such an isomorphism…
Tools of Topological Data Analysis provide stable summaries encapsulating the shape of the considered data. Persistent homology, the most standard and well studied data summary, suffers a number of limitations; its computations are hard to…
In his fundamental work, Quillen developed the theory of the cotangent complex as a universal abelian derived invariant, and used it to define and study a canonical form of cohomology, encompassing many known cohomology theories. Additional…
Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a…
We embed the Lubin-Tate tower into a larger tower of formal schemes, the "degenerating Lubin-Tate tower." We construct a topological realization of the degenerating Lubin-Tate tower, i.e., a compatible family of presheaves of…