代数拓扑

This is the proceeding of a talk given at Stringmath 2022. We introduce a Cheeger-Simons type model for the differential extension of Anderson dual to generalized homology theory with physical interpretations. This construction generalizes…

We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial…

Let $\mathcal{G}_{\alpha}(X, G)$ be the $G$-gauge group over a space $X$ corresponding to a map $\alpha \colon X \to BG$. We compute the integral cohomology of $B\mathcal{G}_{1}(S^2, SO(n))$ for $n = 3,4$. We also show that the homology of…

In this work, we study the notion of cofinal functor of $\infty$-bicategories with respect to the theory of partially lax colimits. The main result of this paper is a characterization of cofinal functors of $\infty$-bicategories via…

In this paper, using Sullivan's approach to rational homotopy theory of simply-connected finite type CW complexes, we endow the $\mathbb{Q}$-vector space $\mathcal{E}xt_{C^{\ast}(X;\mathbb{Q})}(\mathbb{Q},C^{\ast}(X;\mathbb{Q}))$ with a…

In this work, we conclude our study of fibred $\infty$-bicategories by providing a Grothendieck construction in this setting. Given a scaled simplicial set $S$ (which need not be fibrant) we construct a 2-categorical version of Lurie's…

We completely calculate the $RO(\mathbb{Z}/p)$-graded coefficients $H\underline{\mathbb{Z}/p}_\star H\underline{\mathbb{Z}/p}$ for the constant Mackey functor $\underline{\mathbb{Z}/p}$.

We compute the the Balmer spectra of compact objects of tensor triangulated categories whose objects are filtered or graded objects of (or sheaves valued in) another tensor triangulated category. Notable examples include the filtered…

A nilmanifold is a quotient N\G of a connected and simply connected nilpotent Lie group G by a uniform lattice N. In this paper we determine the Reidemeister and Nielsen number of affine n-valued maps on such a nilmanifold. These are maps…

By analogy with complex $K$--theory and $K$--theory with reality, there are theories of unitary functor calculus and unitary functor calculus with reality, both of which are generalisations of Weiss' orthogonal calculus. In this paper we…

We prove that some of the classical homological stability results for configuration spaces of points in manifolds can be lifted to motivic cohomology.

Hypergraphs are useful mathematical models for describing complex relationships among members of a structured graph, while hyperdigraphs serve as a generalization that can encode asymmetric relationships in the data. However, obtaining…

We will study homological stability of the diffeomorphism groups of the manifolds $W_{g,1}:=D^{2n} \# (S^n \times S^n)^{\#g }$ using $E_k$-algebras. This will lead to new improvements in the stability results, especially when working with…

We will give an elementary self-contained description of the Mahowald element in the stable homotopy group of spheres $\Pi_{2^l}$, $l \ge 3$. Using this construction, we prove that a generalized Kervaire Problem, formulated by the author in…

To construct an $A_{\infty}$-form for a loop space in the category of diffeological spaces, we have two minor problems. Firstly, the concatenation of paths in the category of diffeological spaces needs a small technical trick (see…

For a motivic spectrum $E\in \mathcal{SH}(k)$, let $\Gamma(E)$ denote the global sections spectrum, where $E$ is viewed as a sheaf of spectra on $\mathrm{Sm}_k$. Voevodsky's slice filtration determines a spectral sequence converging to the…

We present an overview of computational methods for Bredon cohomology with a special focus on infinite groups

For a simply connected closed orientable manifold of dimension $6$, we show its homotopy decomposition after double suspension. This allows us to determine its $K$- and $KO$-groups easily. Moreover, for a special case we refine the…

In this article a recognition principle for $\infty$-loop pairs of spaces of connective commutative algebra spectra over connective commutative ring spectra is proved. This is done by generalizing the classical recognition principle for…

The question of which manifolds are spin or spin^c has a simple and complete answer. In this paper we address the same question for spin^h manifolds, which are less studied but have appeared in geometry and physics in recent decades. We…