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 show that every stable UCT Kirchberg algebra has a principal \'etale groupoid model, and thus contains a C$^*$-diagonal. Every unital UCT Kirchberg algebra $A$ for which $[1_A]_0$ has infinite order in $K_0(A)$ is also covered by our…

We review known linear and matrix generalizations of Hall's classic ``marriage theorem'' and K\H{o}nig's theorem on partial matchings in bipartite graphs, and relate them to linear and matrix generalizations of Dilworth's theorem about…

Motivated by the recent work of Batkam-Tcheka on pointed multiplicative operads, we construct in this paper new chain complex algebras and two distinct bicomplex algebra structures on a free symmetric connected multiplicative differential…

In this work, we introduce a new class of Leibniz algebras, called quasi-Artinian Leibniz algebras, which generalizes the minimal condition on ideals. Furthermore, we provide some characterizations and give conditions under which a…

We consider a smooth compact manifold with boundary, $M$, embedded in a smooth manifold of the same dimension on which an amenable group $\Gamma$ acts by isometries. We do not assume $M$ to be invariant under $\Gamma$. This results in a…

Sepsis remains a diagnostic challenge due to its heterogeneous molecular signatures and complex immune responses. In this study, we develop a logical data analysis framework based on Boolean polynomial rings. This method constructs an ideal…

Let $(R,\frak m)$ be a generalized Cohen-Macaulay local ring of prime characteristic $p$. In this paper we give a sharp bound for the Frobenius test exponent of parameter ideals. Namely, we prove that $$\mathrm{Fte}(R) \le \lceil…

Let $R$ be a local or positively graded ring with a regular presentation $R \cong Q/I$ where $I$ is a monomial ideal generated by $n$ elements on a regular sequence. In Briggs-Grifo-Pollitz (2025), the authors classify the cohomological…

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 report on a collection of open problems in commutative algebra and related areas that have been resolved (proved or disproved) using the Rethlas natural-language automated reasoning system. The problems are drawn from several published…

We introduce and study the Bourbaki degree as a numerical invariant for \(2 \times 4\) matrices $\Theta$ of homogeneous polynomials over a polynomial ring \(R = k[x_1, \dots, x_n]\). This invariant, defined via a Bourbaki sequence for the…

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

A scheme theoretic version of the automorphism group of a grading on an algebra is presented, and the classical result that shows that, over algebraically closed fields of characteristic 0, the automorphism group of a grading is the…

In this paper, we initiate the study of Leavitt path algebra over Kronecker square of a quiver and show the similarities and contrasts in the properties of Leavitt path algebra over a quiver and its Kronecker square. Furthermore, we discuss…

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 obtain a Galois correspondence between the lattice of intermediate C*-discrete subalgebras intermediate to a given irreducible C*-discrete inclusion, and characterize these as targets of compatible expectations under a traciality…

We investigate some genuine Poisson geometric objects in the modular theory of an arbitrary von Neumann algebra $\mathfrak{M}$. Specifically, for any standard form realization $(\mathfrak{M},\mathcal{H},J,\mathcal{P})$, we find a canonical…