Mathematics

Given a finite abelian group $G$ and a Sylow $p$-subgroup $N_p$, we prove that the $KU_G/p$-local sphere spectrum is equivalent to the homotopy fixed points of a $p$-complete $KO_{N_p}$-module spectrum. Then we compute the…

We prove undecidability for every positive relevant logic extending the system axiomatized by hypothetical syllogism, prefixing, and suffixing and contained in the logic of the semilattice frame $(P_{\mathrm{fin}}(\mathbb{N}), \cup,…

The term Gibbons conjecture is widely used in connection with symmetry results for the Allen-Cahn equation. However, its origin is less transparent than its frequent citation suggests. In this note, we revisit its emergence, tracing it to a…

We study the existence of area-minimizing homotopies between homotopic curves in the plane. While the classical Plateau problem establishes the existence of least-area surfaces spanning a single Jordan curve, the corresponding existence…

It is well known that every compact oriented 3-manifold admits an ideal triangulation, and that any two such triangulations with at least two ideal tetrahedra are related by a sequence of Pachner $2$-$3$ moves. Motivated by constructions in…

We classify knot traces with trisection genus at most 2. We give infinitely many knots whose traces have trisection genus 3, and infinitely many knots whose traces have trisection genus 4. We also show that there exist infinite families of…

This paper introduces a Laws of Form version of the Quaternions. We call this the Q-Calculus, a 16-valued extension of Laws of Form (LoF) which is closely related to the BF Calculus (where we have a single square root of the mark) and the…

We develop a framework for discrete p-density and compression-radius profiles of lattice knots. For lattice polygons representing a fixed knot type, we define scale-free density quantities by dividing lattice length by chord-length spread…

Let $\Gamma_{2n}^\omega(p)$ be the level-$p$ principal congruence subgroup of $\text{Sp}_{2n}(\mathbb{Z})$ for all prime $p$. Borel--Serre demonstrated that the cohomology of $\Gamma_{2n}^\omega(p)$ vanishes above degree $n^2$. We prove…

Let $\Gamma_g$ be the fundamental group of a closed orientable surface of genus $g\geqslant 2$. The outer automorphism group $\mathrm{Out}(\Gamma_g)$ naturally acts on the character variety $\mathcal{X}(\Gamma_g,G)$ for any Lie group $G$.…

We present a method to build free immersions in critical dimension on $m$-tori for $m=2,3,4,5$ by using a factorization trick inspired by tori immersions in critical dimension. As an application, we show that the set of smooth free maps…

For $X$ any complete intersection of even complex dimension or any connected sum thereof (or, more generally, any space among certain broad classes of smooth manifolds), we concretely construct diffeomorphisms $a,c$ of punctured $X$ rel…

Let~$S^{n-1}\rightarrow E \rightarrow M^n$ be an oriented sphere bundle supporting an affine transverse foliation. We give an upper bound for the Euler number of the bundle. We also give a new and elementary proof of the following fact: if…

We introduce the wreath product for a class of operadic categories and use it to construct an explicit isomorphism between the Boardman-Vogt tensor product of two colored operads in Set and an operad induced by the wreath product of…

Let $\mathcal{G}_k$ denote the gauge group of the principal $G_2$--bundle over $S^4$ classified by $k\in \pi_4(BG_2)\cong \mathbb Z$. Motivated by the $p$--local homotopy classification of these gauge groups, due to…

For an arbitrary link $L \subset S^3$ , Sarkar-Scaduto-Stoffregen construct a family of spatial refinements of even and odd Khovanov homology. We give a computation of $\text{Sq}^2$ on these spaces, determining their stable homotopy types…

Given a very special $\Gamma$-space $X$, repeated application of Segal's delooping functor produces the constituent spaces of the associated connective $\Omega$-spectrum. In particular, by applying this construction to \textit{discrete}…

We study properties of the continuation map for the Morse fundamental group $\pi_1^\text{Morse}(f,\ast)$ associated to a Morse-Smale pair $(f,g)$ on a manifold $M$. We get a morphism between $\pi_1^\text{Morse}(f_1,\ast_1)$ and…

We prove that a family of complex hyperbolic ultra-parallel $[m_1, m_2, m_3]$-triangle group representations, where \( m_3 > 0 \), is discrete and faithful if and only if the isometry \( R_1(R_2R_1)^nR_3 \) is non-elliptic for some positive…

We describe the main properties of the $RO(C_2\times \Sigma_2)$-graded cohomology ring of a point and apply the results to compute the subring of motivic classes given by the Bredon motivic cohomology of real numbers and to compute…