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…

For large $R$, we consider measurable sets $A\subseteq [0,R]^2$ that avoid triples of points of the form $(x,y)$, $(x+t,y)$, $(x,y+1/t)$ with $x,y\in\mathbb{R}$ and $t>0$, i.e., the vertices of upward-oriented, axis-aligned right triangles…

We study the complex spectrum of the partial theta function \[ \Theta(q,x)=\sum_{j=0}^{\infty}q^{j(j+1)/2}x^j, \qquad |q|<1, \] where a spectral value is a parameter for which \(\Theta(q,\cdot)\) has a multiple zero. Since the function is…

The spectrum of Ramanujan's partial theta function $\theta (q,x):=\sum _{j=0}^{\infty}q^{j(j+1)/2}x^j$, $q\in \mathbb{D}_1$ (the unit disk centered at the origin), $x\in \mathbb{C}$, is the set of values of the parameter $q$ for which…

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 $(-1)$-Jacobi, Bannai-Ito, and $(-1)$-Meixner-Pollaczek polynomials are studied in [Trans. Amer. Math. Soc. 364 (2012), 5491-5507], [Adv. Math. 229 (2012), 2123-2158], and [Stud. Appl. Math. 153 (2024), e12728], respectively, through…

In this paper, we prove a spectral restriction theorem on the three-dimensional Heisenberg nilmanifold. Since this manifold is an $\mathbb S^1$-bundle over the flat torus $\mathbb T^2$, the result provides a sub-elliptic counterpart 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…

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…

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…

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 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…

We prove some results about the theory of independence in $\mathrm{NSOP}_{3}$ theories that do not hold in $\mathrm{NSOP}_{4}$ theories. We generalize Chernikov's work on simple and co-simple types in $\mathrm{NTP}_{2}$ theories to types…

In this Part 2 of our article we give a detailed discussion of the compatibility between the analytic Gysin maps we have defined in Part 1 and the topological Gysin maps defined by the second author. A significant role is played by a…

In chapter 9 of his book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal", Woodin shows how to force the Strong Chang Conjecture over models of determinacy using $\mathbb{P}_{\mathrm{max}}$. We show here how a…

In a previous paper we introduced a version of associativity for a partial infinitary operation. We prove here that if $\gamma$ is an infinite ordinal and some associative infinitary operation is defined for all sequences indexed by…

We investigate B\"uchi Arithmetic $\mathsf{BA}_k$ -- the elementary theory of the natural numbers equipped with addition and the function mapping a number $x$ to the greatest power of $k$ dividing $x$. $\mathsf{BA}_k$ is known to be…

We propose a practical computational framework for detecting structural changes in parameter-dependent topological data. In many applications, such as time-series data analysis, anomaly detection, and monitoring of systems under changing…

We analyze a construction of Cherlin, van den Dries, and Macintyre to code graphs in PAC fields. We show that, in many cases, model-theoretic properties of the graph are preserved in the passage from the graph to the field. As a corollary,…