代数拓扑

For G a profinite group, we construct an equivalence between rational G-Mackey functors and a certain full subcategory of G-sheaves over the space of closed subgroups of G called Weyl-G-sheaves. This subcategory consists of those sheaves…

In this article, we study model structures on the category of finite graphs with $\times$-homotopy equivalences as the weak equivalences. We show that there does not exist an analogue of Str\o{}m-Hurewicz model structure on this category of…

We prove that the Stiefel-Whitney classes of a moment-angle manifold, not necessarily smooth, are trivial. We also consider Stiefel-Whitney classes of the partial quotient of a moment-angle manifold.

We prove a version of homological mirror symmetry statement for toric Calabi-Yau $3$-orbifolds, thus extending arXiv:1604.06448 to the case of orbifolds under the mirror symmetry setting considered in arXiv:1604.07123. The B-model is the…

Equivariant complex $K$-theory and the equivariant sphere spectrum are two of the most fundamental equivariant spectra. For an odd $p$-group, we calculate the zeroth homotopy Green functor of the localization of the equivariant sphere…

In this paper we prove a new formula for the coefficients of the cellular homology of real flag manifolds in terms of the height of certain roots. In particular, for flag manifolds of type A, we get a very simple formula for these…

In this paper we introduce the persistent magnitude, a new numerical invariant of (sufficiently nice) graded persistence modules. It is a weighted and signed count of the bars of the persistence module, in which a bar of the form $[a,b)$ in…

Magnitude homology was introduced by Hepworth and Willerton in the case of graphs, and was later extended by Leinster and Shulman to metric spaces and enriched categories. Here we introduce the dual theory, magnitude cohomology, which we…

Bredon cohomology is a cohomology theory that applies to topological spaces equipped with the group actions. For any group G, given a real linear representation V , the configuration space of V has a natural diagonal G-action. In the paper…

We build model structures on the category of equivariant simplicial operads with a fixed set of colors, with weak equivalences determined by families of subgroups. In particular, by specifying to the family of graph subgroups (or, more…

We calculate the homotopy type of $L_1L_{K(2)}S^0$ and $L_{K(1)}L_{K(2)}S^0$ at the prime 2, where $L_{K(n)}$ is localization with respect to Morava $K$-theory and $L_1$ localization with respect to $2$-local $K$ theory. In $L_1L_{K(2)}S^0$…

We introduce the weighted path homology on the category of weigh\-ted directed hypergraphs and describe conditions of homotopy invariance of weighted path homology groups. We give several examples that explain the nontriviality of the…

Let $\Sigma_{g,n}$ be a compact oriented surface with genus $g\geq 2$ bordered by $n$ circles. Due to Witten, the twisted Reidemeister torsion coincides with a power of the Atiyah-Bott-Goldman-Narasimhan symplectic form on the space of…

In the paper \emph{K.~Sigmon} A strong homotopy axiom for Alexander cohomology, Proc. Amer. Math. Soc. \textbf{31:1} (1972), 271--275 it was proven that if $G$ is compact topological group or field then in the Homotopy Axiom for…

Topological Data Analysis (TDA) is a rigorous framework that borrows techniques from geometric and algebraic topology, category theory, and combinatorics in order to study the "shape" of such complex high-dimensional data. Research in this…

This paper initiates a discrete Hodge theory for cellular sheaves taking values in a category of lattices and Galois connections. The key development is the Tarski Laplacian, an endomorphism on the cochain complex whose fixed points yield a…

In this paper we prove that there exists an asymptotical diagonalization algorithm for a class of sparse Hermitian (or real symmetric) matrices if and only if the matrices become Hessenberg matrices after some permutation of rows and…

In this note we construct approximations by smooth projective varieties of some Eienberg-MacLane spaces in the $A^1$-homotopy category. Using these, we study the cycle maps from Chow rings to etale cohomology rings.

We study the inverse problem for persistent homology: For a fixed simplicial complex $K$, we analyse the fiber of the continuous map $\mathrm{PH}$ on the space of filters that assigns to a filter $f: K \to \mathbb R$ the total barcode of…

In this article, we define a new non-archimedean metric structure, called cophenetic metric, on persistent homology classes of all degrees. We then show that zeroth persistent homology together with the cophenetic metric and hierarchical…