Related papers: Algebraic Phase Theory IV: Morphisms, Equivalences…
This paper continues math.GR/0608302's study of amenability of affine algebras (based on the notion of almost-invariant finite-dimensional subspace), and applies it to graded algebras associated with finitely generated groups. Due to a…
We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
This work is an attempt towards a Morita theory for stable equivalences between self-injective algebras. More precisely, given two self-injective algebras A and B and an equivalence between their stable categories, consider the set S of…
It is shown that, given any finite dimensional, split basic algebra $\Lambda = K\Gamma/I$ (where $\Gamma$ is a quiver and $I$ an admissible ideal in the path algebra $K \Gamma$), there is a finite list of affine algebraic varieties, the…
The classification of phases using categorical symmetries has greatly expanded the landscape of gapped and gapless phases. So far, however, these developments have largely been restricted to phases with unitary (higher-)categorical…
We reconsider formulating $D$ dimensional gauge theories, with the focus on the case of gravity theories, in spacetimes with boundaries. We extend covariant phase space formalism to the cases in which boundaries are allowed to fluctuate. We…
In a recent paper, it was shown that in diffeomorphism-invariant theories, Noether charges associated with a given codimension-2 surface become integrable if one introduces an extended phase space. In this paper we extend the notion of…
We define a notion of equivalence between algebraic dependent type theories which we call Morita equivalence. This notion has a simple syntactic description and an equivalent description in terms of models of the theories. The category of…
Neural networks excel at pattern recognition but struggle with reliable logical reasoning, often violating basic logical principles during inference. We address this limitation by developing a categorical framework that systematically…
We introduce a finite-dimensional algebra that controls the possible boundary conditions of a conformal field theory. For theories that are obtained by modding out a Z_2 symmetry (corresponding to a so-called D_odd-type, or half-integer…
Classical algebraic structures require exact satisfaction of their defining axioms. We propose similarity algebra, a framework extending algebraic and Lie structures to settings where operations satisfy quantitative bounds up to a tolerance…
I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian…
We introduce and investigate the concept of Stratified Algebra, a new algebraic framework equipped with a layer-based structure on a vector space. We formalize a set of axioms governing intra-layer and inter-layer interactions, study their…
It goes back to Ahlfors that a real algebraic curve admits a real-fibered morphism to the projective line if and only if the real part of the curve disconnects its complex part. Inspired by this result, we are interested in characterising…
We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A/F$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
Let X -> Y be a fibration whose fibers are complete intersections of two quadrics. We develop new categorical and algebraic tools---a theory of relative homological projective duality and the Morita invariance of the even Clifford algebra…
This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete…
We generalize fundamental notions of higher algebra, traditionally developed within the $\infty$-category of spectra, to the broader setting of $t$-structured tensor triangulated $\infty$-categories ($ttt$-$\infty$-categories). Under a…