Mathematics

In the generality of a rigidly-compactly generated tensor triangulated category, we introduce semi-Bousfield classes in terms of the vanishing of the tensor product in positive degrees with respect to a fixed reasonable $t$-structure. We…

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…

In this paper, we answer negatively to a question posed in the context of the 2025 Oberwolfach Mini-Workshop ``The Yang-Baxter Equation and Representations of Braid Groups'' regarding the existence of split extensions classifiers in 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,…

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…

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

This article is a generalization of a result in Quillen's note ``Module theory over non-unital rings'' giving a one-to-one correspondence between bilocalization of abelian categories of modules and idempotent ideals of the base ring.…

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…

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

We introduce the notion of $k$-regular factorizations for contractions into $k$ factors, generalizing the classical notion of regular factorization due to Sz.-Nagy and Foia\c{s}, and develop a systematic framework for their analysis. Using…

We study the geodesic flow on the unit cotangent bundle $M=S^{*}\mathcal{N}$ of a closed hyperbolic surface $\mathcal{N}$, using the representation theory of $SL_{2}(\mathbb{R})$. We construct explicit $X$-adapted Hilbert spaces, obtained…

K. S. S. Nambooripad introduced an interesting class of categories known as normal categories, which are categories with subobjects, morphisms admitting factorization and having sufficiently many cones. These normal categories plays…

Let $G$ be a finitely generated virtually abelian group and $[\sigma]\in H^2(G;\mathbb{T})$ such that $\sigma(x,y)$ is always a root of unity. We show that the nuclear dimension of the twisted group $C^*$-algebra $C^*(G,\sigma)$ is equal to…

In this paper, we develop a mixed quantization technique for graph vector bundles and apply it to several asymptotic spectral problems, including the Alon-Boppana bound, the Kesten-McKay law, asymptotic determinant, quantum ergodicity, zero…

We establish the equivalence between models of enhanced $2$-sketches and algebras over monads, including the (co)lax morphisms. More precisely, for any enhanced limit $2$-sketch $\mathbb{T}$ with tight cones, the enhanced $2$-category…