代数拓扑
Brunerie's 2016 PhD thesis contains the first synthetic proof in Homotopy Type Theory (HoTT) of the classical result that the fourth homotopy group of the 3-sphere is $\mathbb{Z}/2\mathbb{Z}$. The proof is one of the most impressive pieces…
In this article, we introduce the notion of a curved absolute $\mathcal{L}_\infty$-algebra, a structure that behaves like a curved $\mathcal{L}_\infty$-algebra where all infinite sums of operations are well-defined by definition. We develop…
It is known that spin cobordism can be determined by Stiefel-Whitney numbers and index theory invariants, namely $KO$-theoretic Pontryagin numbers. In this paper, we show that string cobordism at dimension 24 can be determined by elliptic…
We show that for a large class of $\infty$-topoi there exist unstable arithmetic fracture squares, i.e. squares which recover a nilpotent sheaf $F$ as the pullback of the rationalization of $F$ with the product of the $p$-completions of $F$…
An almost complex torus manifold is a $2n$-dimensional compact connected almost complex manifold equipped with an effective action of a real $n$-dimensional torus $T^n \simeq (S^1)^n$ that has fixed points. For an almost complex torus…
In this note I give a positive solution to Bullett's conjecture (posed in [1]) regarding a geometric presentation of the universal mod $p$ oriented ring spectrum.
We prove that the Feynman category encoding Schwarz's variant of modular operads is Koszul. Our proof uses a generalization of the theory of distributive laws to the groupoid colored setting.
We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…
We introduce homotopical variants of the axioms of countable and dependent choice for infinity-topoi and use them to give criteria for Postnikov completeness, revisiting a result of Mondal and Reinecke.
We endow the cohomology of configuration spaces of a manifold with a product arising from superposing configurations. We prove that, under the scanning isomorphism, this product corresponds to the cup-product of the section space of the…
The IA-automorphism group $\operatorname{IA}_n$ of the free group $F_n$ of rank $n$ is a normal subgroup of the automorphism group $\operatorname{Aut}(F_n)$ of $F_n$. We study the Albanese homology of $\operatorname{IA}_n$, which is the…
A well known quotient of the real Stiefel manifold is the projective Stiefel manifold. We introduce a new family of quotients of the real Stiefel manifold by cyclic group of order 2 whose action is induced by simultaneous pairwise flipping…
The additive structure of the $RO(C_{pq})$-graded Bredon cohomology $S^0$ with coefficients in the constant Mackey functor was computed in \cite{BG19}. Using that computation, the ring structure in the positive degrees has been computed…
We construct Quillen equivalent semi-model structures on the categories of dg-Lie algebroids and $L_\infty$-algebroids over a commutative dg-algebra in characteristic zero. This allows one to apply the usual methods of homotopical algebra…
In this note, we study an integral analogue of animated $\delta$-rings: Animated $\lambda$-rings. We define animated $\lambda$-rings in terms of animated rings equipped with a structure of coherently compatible Frobenius lifts and show that…
In this note we investigate the simplicial volume of fiber bundles with connected structure group. We are able to show that if the structure group is either compact or a Lie group, or if the fiber is aspherical that the simplicial volume of…
We compute the 2-primary $C_2$-equivariant stable homotopy groups $\pi^{C_2}_{s,c}$ for stems between 0 and 25 (i.e., $0 \leq s \leq 25$) and for coweights between -1 and 7 (i.e., $-1 \leq c \leq 7)$. Our results, combined with periodicity…
Under certain conditions, Koszul complexes can be used to calculate relative Betti diagrams of vector space-valued functors indexed by a poset, without the explicit computation of global minimal relative resolutions. In relative homological…
We set up a framework of 2-Hilbert bundles, which allows to rigorously define the "stringor bundle", a higher differential geometric object anticipated by Stolz and Teichner in an unpublished preprint about 20 years ago. Our framework…
We study K(n)*(Gr(d,m)) for all n - the 2-local Morava K-theories of the real Grassmanian Gr(d,m) of d-planes in R^m, about which very little has been previously computed. We conjecture that the Atiyah-Hirzebruch Spectral Sequences…