CyberSec Research

We study oplax colimits of stable categories, of hermitian categories and of Poincar\'e categories in nice cases. This allows us to produce a categorical model of the assembly map of a bordism-invariant functor of Poincar\'e categories which is also a Verdier projection, whose kernel we explicitly describe. As a direct application, we generalize the Shaneson splitting for bordism-invariant functors of Poincar\'e categories proved by Calm\`es-Dotto-Harpaz-Hebestreit-Land-Moi-Nardin-Nikolaus-Steimle to allow for twists. We also show our methods can tackle their general twisted Shaneson splitting of Poincar\'e-Verdier localizing invariants which specifies to a twisted Bass-Heller-Swan decomposition for the underlying stable categories, generalizing part of recent work of Kirstein-Kremer.

We introduce a technique to construct gapped lattice models using defects in topological field theory. We illustrate with 2+1 dimensional models, for example Chern-Simons theories. These models are local, though the state space is not necessarily a tensor product of vector spaces over the complex numbers. The Hamiltonian is a sum of commuting projections. We also give a topological field theory construction of Levin-Wen models.

We revisit the question of whether the Crane-Yetter topological quantum field theory (TQFT) associated to a modular tensor category admits a fully extended refinement. More specifically, we use tools from stable homotopy theory to classify extensions of invertible four-dimensional TQFTs to theories valued in symmetric monoidal 4-categories whose Picard spectrum has nontrivial homotopy only in degrees 0 and 4. We show that such extensions are classified by two pieces of data: an equivalence class of an invertible object in the target and a sixth root of unity. Applying this result to the 4-category $\mathbf{BrFus}$ of braided fusion categories, we find that there are infinitely many equivalence classes of fully extended invertible TQFTs reproducing the Crane-Yetter partition function on top-dimensional manifolds, parametrized by a $\mathbb{Z}/6$-extension of the Witt group of nondegenerate braided fusion categories. This analysis clarifies common claims in the literature and raises the question of how to naturally pick out the $SO(4)$-fixed point data on the framed TQFT which assigns the input braided fusion category to the point so that it selects the Crane-Yetter state-sum.

Let $p$ be an odd prime. Denote a Sylow $p$-subgroup of $GL_2(\mathbb{Z}/p^n)$ and $SL_2(\mathbb{Z}/p^n)$ by $S_p(n,GL)$ and $S_p(n,SL)$ respectively. The theory of stable elements tells us that the mod-$p$ cohomology of a finite group is given by the stable elements of the mod-$p$ cohomology of it's Sylow $p$-subgroup. We prove that for suitable group extensions of $S_p(n,GL)$ and $S_p(n,SL)$ the $E_2$-page of the Lyndon-Hochschild-Serre spectral sequence associated to these extensions does not depend on $n>1$. Finally, we use the theory of fusion systems to describe the ring of stable elements.

We establish a sufficient condition for the category of homotopical inverse diagrams to be closed under pushforward inside the category of inverse diagrams in a fibration category.

Given a hypersurface $i \colon X \hookrightarrow \widetilde{P}^n$ in a weighted projective space, we compute the intersection form on the second cohomology $H^2(X, \mathbb{Z})^{\otimes n-1} \to \mathbb{Z}$ for the purpose of identifying Fano manifolds obtained from smoothing singular Fanos. In the process, we describe the integer cohomology groups $H^k(X, \mathbb{Z})$ for $k<n$ and give an explicit formula for the pullback map $i^*$.

We prove that if $G=(\mathbb{Z}/2)^r$ acts freely and cellularly on a finite-dimensional CW-complex $X$ homotopy equivalent to $\mathbb{R}P ^{n_1} \times \cdots \times \mathbb{R} P ^{n_k}$ with trivial action on the mod-$2$ cohomology, then $r \leq \mu (n_1)+ \cdots + \mu(n_k )$ where for each integer $n\geq 0$, $\mu (n)=0$ if $n$ is even, $\mu(n)=1$ if $n\equiv 1$ mod 4, and $\mu(n)=2$ if $n\equiv 3$ mod 4. This proves a homotopy-theoretic version of a conjecture of Cusick.

We prove injectivity of the canonical map from singular homology to measure homology for certain ``mildly wild" spaces, that is, certain spaces not having the homotopy type of a CW-complex, but having countable fundamental groups.

We explore the role of torsion in hybrid deep learning models that incorporate topological data analysis, focusing on autoencoders. While most TDA tools use field coefficients, this conceals torsional features present in integer homology. We show that torsion can be lost during encoding, altered in the latent space, and in many cases, not reconstructed by standard decoders. Using both synthetic and high-dimensional data, we evaluate torsion sensitivity to perturbations and assess its recoverability across several autoencoder architectures. Our findings reveal key limitations of field-based approaches and underline the need for architectures or loss terms that preserve torsional information for robust data representation.

This paper explores persistence modules for circle-valued functions, presenting a new extension of the interleaving and bottleneck distances in this setting. We propose a natural generalisation of barcodes in terms of arcs on a geometric model associated to the derived category of quiver representations. The main result is an isometry theorem that establishes an equivalence between the interleaving distance and the bottleneck distance for circle-valued persistence modules.

In recent decades, the structure of the mod-2 cohomology of the Steenrod ring $\mathscr A$ has become a major subject of study in the field of Algebraic Topology. One of the earliest attempts to study this cohomology through the use of modular representations of the general linear groups was the groundbreaking work [Math. Z. 202 (1989), 493-523] by W.M. Singer. In that work, Singer introduced a homomorphism, commonly referred to as the "algebraic transfer," which maps from the coinvariants of a certain representation of the general linear group to the mod-2 cohomology group of the ring $\mathscr A.$ Singer's conjecture, in particular, which states that the algebraic transfer is a monomorphism for all homological degrees, remains a highly significant and unresolved problem in Algebraic Topology. In this research, we take a major stride toward resolving the Singer conjecture by establishing its truth for the homological degree four.

We analyze the structure of left maps in algebraic weak factorization systems constructed using Garner's algebraic small object argument. We find that any left map can be constructed from generators in Bourke and Garner's double category of left maps by operations that parallel the classical cell-complex-forming operations of Quillen's small object argument (coproducts, cobase changes, transfinite composites, and retracts). Our main theorems are phrased as "saturation" principles, which express the closure conditions necessary for a given property or structure to extend from generators to all left maps. The core of the argument is an analysis of the construction of the free monad on a pointed endofunctor.

Given a compact Lie group $G$ and its finite subgroup $H$ we prove that the $\infty$-category of $G/H$-framed $G$-disc algebras taking values in a $G$-symmetric monoidal category $\underline{\mathcal{C}}^{\otimes}$ is equivalent to the $\infty$-category of $V$-framed $H$-disc algebras (where $V$ is an $H$-representation) which take values in $\underline{\mathcal{C}}^{\otimes}_H$, the underlying $H$-symmetric monoidal subcategory of $\underline{\mathcal{C}}^{\otimes}$. We will use this construction to refine the $C_2$-action on the real topological Hochschild homology to an $O(2)$-action.

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal structure on the $\infty$-category of small exact $\infty$-categories and discuss the multiplicative properties of the Gabriel--Quillen embedding. For $E$ an Adams-type homotopy associative ring spectrum, this allows us to identify the symmetric monoidal $\infty$-category of $E$-based synthetic spectra with the presentable stable envelope of the exact $\infty$-category of compact spectra with finite projective $E$-homology. In addition, we show that algebraic K-theory, considered as a functor on exact $\infty$-categories, admits a unique delooping as a localising invariant.

This thesis presents the development of a novel finite element library in Rust based on the principles of Finite Element Exterior Calculus (FEEC). The library solves partial differential equations formulated using differential forms on abstract, coordinate-free simplicial complexes in arbitrary dimensions, employing an intrinsic Riemannian metric derived from edge lengths via Regge Calculus. We focus on solving elliptic Hodge-Laplace eigenvalue and source problems on the nD de Rham complex. We restrict ourselves to first-order Whitney basis functions. The implementation is partially verified through convergence studies.

In this note, we prove a generalization of Efimov's computation for the universal localizing invariant of categories of sheaves with certain microsupport constraints. The proof is based on certain categorical equivalences given by the Fourier-Sato transform, which is different from the original proof. As an application, we compute the universal localizing invariant of the category of almost quasi-coherent sheaves on the Novikov toric scheme introduced by Vaintrob.

Motivated by constructions from applied topology, there has been recent interest in the homological algebra of linear representations of posets, specifically in homological algebra relative to non-standard exact structures. A prominent example of such exact structure is the spread exact structure, which is an exact structure on the category of representations of a fixed poset whose indecomposable projectives are the spread representations (that is, the indicator representations of convex and connected subsets). The spread-global dimension is known to be finite on finite posets, and unbounded on the collection of Cartesian products between two arbitrary finite total orders. It is conjectured in [AENY23] that the spread-global dimension is bounded on the collection of Cartesian products between a fixed, finite total order and an arbitrary finite total order. We give a positive answer to this conjecture, and, more generally, we prove that the spread-global dimension is bounded on the collection of Cartesian products between any fixed, finite poset and an arbitrary finite total order. In doing this, we also establish the existence of finite spread-resolutions for finitely presented representations of arbitrary upper semilattices.

The shadow of an abstract simplicial complex $K$ with vertices in $\mathbb R^N$ is a subset of $\mathbb R^N$ defined as the union of the convex hulls of simplices of $K$. The Vietoris--Rips complex of a metric space $(S,d)$ at scale $\beta$ is an abstract simplicial complex whose each $k$-simplex corresponds to $(k+1)$ points of $S$ within diameter $\beta$. In case $S\subset\mathbb R^2$ and $d(a,b)=\|a-b\|$ standard Euclidean, the natural shadow projection of the Vietoris--Rips is already proved to be $1$-connected. We extend the result beyond the standard Euclidean distance on $S\subset\mathbb R^N$ to a family of path-based metrics $d^\varepsilon_{S}$. From the pairwise Euclidean distances of points of $S$, we introduce a family (parametrized by $\varepsilon$) of path-based Vietoris--Rips complexes $R^\varepsilon_\beta(S)$ for a scale $\beta>0$. If $S\subset\mathbb R^2$ is Hausdorff-close to a planar Euclidean graph $G$, we provide quantitative bounds on scales $\beta,\varepsilon$ for the shadow projection map of the Vietoris--Rips of $(S,d^\varepsilon_{S})$ at scale $\beta$ to be $1$-connected. As a novel application, this paper first studies the homotopy-type recovery of $G\subset\mathbb R^N$ using the abstract Vietoris--Rips complex of a Hausdorff-close sample $S$ under the $d^\varepsilon_{S}$ metric. Then, our result on the $1$-connectivity of the shadow projection lends itself to providing also a geometrically close embedding for the reconstruction. Based on the length of the shortest loop and large-scale distortion of the embedding of $G$, we quantify the choice of a suitable sample density $\varepsilon$ and a scale $\beta$ at which the shadow of $R^\varepsilon_\beta(S)$ is homotopy-equivalent and Hausdorff-close to $G$.