代数拓扑

In this paper, we examine Atiyah's Hermitian axiom for two-dimensional complex topological quantum field theories. Building on the correspondence between 2D TQFTs and Frobenius algebras, we find the algebraic objects corresponding to…

We introduce and study the proper topological complexity of a given configuration space, a version of the classical invariant for which we require that the algorithm controlling the motion is able to avoid any possible choice of ``unsafe''…

We produce refinements of the known multiplicative structures on the Brown--Peterson spectrum $BP$, its truncated variants $BP\langle n \rangle$, Ravenel's spectra $X(n)$, and evenly graded polynomial rings over the sphere spectrum.…

For a path-connected metric space $(X,d)$, the $n$-th homotopy group $\pi_n(X)$ inherits a natural pseudometric from the $n$-th iterated loop space with the uniform metric. This pseudometric gives $\pi_n(X)$ the structure of a topological…

We study a natural generalization of covering projections defined in terms of unique lifting properties. A map $p:E\to X$ has the "continuous path-covering property" if all paths in $X$ lift uniquely and continuously (rel. basepoint) with…

Infinite products, indexed by countably infinite linear orders, arise naturally in the context of fundamental groupoids. Such products are called "transfinite" if the index orders are permitted to contain a dense suborder and are called…

Using quaternions and octonions, we construct some maps from the Grassmannian of 2-dimensional planes of $\mathbb{R}^n$, $\mathrm{Gr}_2(\mathbb{R}^n)$, to the projective space $\mathbb{R}\mathrm{P}^k$, for certain values of $n$ and $k$. All…

One common function class in machine learning is the class of ReLU neural networks. ReLU neural networks induce a piecewise linear decomposition of their input space called the canonical polyhedral complex. It has previously been…

We compute the connective differential $K$-theory and the differential cohomology of the moduli stack of principal $G$-bundles with connection. The results are formulated in terms of invariant polynomials and the representation ring of $G$.…

This is a survey of Rational Homotopy Theory, intended for a Mathematical Physics readership.

For a commutative ring $\mathbf k$ with unit, we describe and study various differential graded $\mathbf k$-modules and $ \mathbf k$-algebras which are models for the cohomology of polyhedral products $(\underline{CX},\underline X)^K$.…

In this article, we pursue the study begun in \cite{Lup02} on the cohomology of rationally elliptic coformal spaces. Consequently, we complete, for such spaces, the proof of Lupton's conjecture and deduce Hilali's.

In this paper we give algebraic models for rational G-spectra for a compact Lie group G when the geometric isotropy is restricted to lie in a 1-dimensional block of conjugacy classes. This includes all blocks of all groups of dimension 1,…

The theory of 2-Segal sets has connections to various important constructions such as the Waldhausen $S_\bullet$-construction in algebraic $K$-theory, Hall algebras, and (co)operads. In this paper, we construct 2-Segal sets from rooted…

Given a multiparameter filtration of simplicial complexes, we consider the problem of explicitly constructing generators for the multipersistent homology groups with arbitrary PID coefficients. We propose the use of spanning trees as a tool…

We describe the subgroup of the mapping class group of a hypersurface in $\mathbb{CP}^4$ consisting of those diffeomorphisms which can be realised by monodromy.

Lurie's theorem states that there exists a sheaf of ring spectra on the site of formally \'etale Deligne--Mumford stacks over the moduli stack of $p$-divisible groups of height $n$, which agrees with the classical Landweber exact functor…

The symplectic derivation Lie algebras defined by Kontsevich are related to various geometric objects including moduli spaces of graphs and of Riemann surfaces, graph homologies, Hamiltonian vector fields, etc. Each of them and its…

We study the general linear groups of infinite fields (or more generally connected semi-local rings with infinite residue fields) from the perspective of $E_\infty$-algebras. We prove that there is a vanishing line of slope 2 for their…

We prove new homological stability results for general linear groups over finite fields. These results are obtained by constructing CW approximations to the classifying spaces of these groups, in the category of $E_\infty$-algebras, guided…