Mathematics

We introduce modular inequalities for complements of plane curves, based on a Combinatorial Aomoto complex construction associated with the weak combinatorial type of a curve. We use this as a tool to investigate twisted Alexander…

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…

A map $p:E\to X$ has the \emph{unique path lifting} property if every path in $X$, after a choice of an initial point, lifts uniquely to a path in $E$. We prove that if a group $G$ acts on an $\mathbb R$-tree $T$ such that the quotient map…

This paper discusses digital online mathematics examinations -- a discussion ranging from high school to university level examinations. In particular, we consider the nature of mathematical writing, what is distinctive about mathematical…

We trace a conceptual genealogy from Abraham de Moivre's derivation of the normal curve (1733) to the modern distributional approach to statistics. De Moivre's Approximatio ad Summam Terminorum Binomii gave the first systematic derivation…

Using the homotopy theory of polynomial monads developed by Batanin and Berger and extended to the $2$-categorical context by Weber, we prove the cofinality of a particular morphism of polynomial $2$-monads. We apply our result to give a…

A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee-for a given set of $m$ measures in $\mathbb{R}^d$-the existence of $k$ mutually orthogonal…

We partially update Grossman's 2005 survey of patterns in mathematical research using a sample of 401 profiles from MathSciNet. The mathematical landscape has changed substantially: single-paper authors have reduced from $43$ \% to $32.42$…

Fix primes $p$ and $\ell$, and let $C_p$ be the cyclic group of order $p$. We compute the $C_p$-equivariant spoke topological Hochschild homology of $\underline{\mathbb{F}}_{\ell}$ and prove it exhibits a form of B\"okstedt periodicity.…

We construct differential models for degree-3 twisted $\mathrm{Spin}^c$-bordism and for its Anderson dual. The model for the differential Anderson dual is based on the framework of Yamashita--Yonekura. Using these differential models, we…

This paper investigates the connections between combinatorial design theory and the creation of new forms of poetry through a specific combinatorial structure called Steiner triple systems. We introduce five original poems constructed using…

We compute the $RO(\mathcal{K})$-graded coefficients of the equivariant Eilenberg-Mac Lane spectrum associated to various Hill-Hopkins-Ravenel norms of the constant-$\mathbb{F}_2$ Mackey functor, where $\mathcal{K}$ is the Klein-four group.…

The little $n$-disks operad is $SO(n)$ and $O(n)$-equivariantly formal over the rationals. Equivalently, the oriented and unoriented framed little disks operads are rationally formal as $\infty$-operads.

We attack the question of E_2-formality of differential graded algebras over prime fields via obstruction theory. We are able to prove that E_2-algebras whose cohomology ring is a polynomial algebra on even degree classes are intrinsically…

We develop a new technique for computing higher limits of functors over filtered posets by constructing explicit fibrant replacements within a suitable model category structure. We apply this procedure to develop two systematic vanishing…

Motivated by questions about simplification of topology, we take a discrete approach to the dependency of simplifying operations, using methods based on combinatorial gradient dynamics. We interpret the filter in persistent homology as a…

We determine the A(1)-homotopy of the topological cyclic homology of the connective real K-theory spectrum ko. The answer has an associated graded that is a free F_2[v_2^4]-module of rank 52, on explicit generators in stems -1 \le * \le 30.…

Any Batalin-Vilkovisky algebra with a homotopy trivialization of the BV-operator gives rise to a hypercommutative algebra structure at the cochain level which, in general, contains more homotopical information than the hypercommutative…

Let $\Gamma_{0,n}^+(p)\subset \mathrm{SL}_n(\mathbb{Z})$ be the congruence subgroup of level-$p$ whose first column is of the form $(*,0,\dots,0)^t\bmod p$. We prove that the top-dimensional cohomology group…

We identify topological symmetric homology as the free $\mathbb{E}_\infty$-algebra on an $\mathbb{E}_1$-algebra and topological braid homology as the free $\mathbb{E}_2$-algebra on an $\mathbb{E}_1$-algebra. In this way, topological…