English
Related papers

Related papers: Scalar extensions for algebraic structures of Luka…

200 papers

Tensoring with type I algebras preserves elementary equivalence in the category of tracial von Neumann algebras. The proof involves a novel and general Feferman--Vaught-type theorem for direct integrals of metric structures.

Logic · Mathematics 2024-11-27 Ilijas Farah , Saeed Ghasemi

An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists! \land p = q$. For a logic $L$ algebraized by a quasivariety $\mathcal{Q}$ we show that the AE-subclasses of…

We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…

Logic in Computer Science · Computer Science 2014-01-24 Abhisekh Sankaran , Bharat Adsul , Supratik Chakraborty

Complete MV-algebras are naturally equipped with frame structures. We call them MV-frames and investigate some of their main the properties as frames. We completely characterized algebraic MV-frames as well as regular MV-frames. In…

Logic · Mathematics 2024-05-07 Jean B Nganou

This is the third part in a series of papers developing a tensor product theory for modules for a vertex operator algebra. The goal of this theory is to construct a ``vertex tensor category'' structure on the category of modules for a…

q-alg · Mathematics 2008-02-03 Yi-Zhi Huang , James Lepowsky

We introduce the main concepts and announce the main results in a theory of tensor products for module categories for a vertex operator algebra. This theory is being developed in a series of papers including hep-th 9309076 and hep-th…

High Energy Physics - Theory · Physics 2008-02-03 Yi-Zhi Huang , James Lepowsky

In this paper we prove a Lie-Trotter product formula for Markov semigroups in spaces of measures. We relate our results to "classical" results for strongly continuous linear semigroups on Banach spaces or Lipschitz semigroups in metric…

Functional Analysis · Mathematics 2018-07-23 Sander C. Hille , Maria A. Ziemlanska

In this note, we developed several results concerning abelian von Neumann algebras, their spectrums, and their tensor products with other von Neumann algebras. In particular, we developed a theory connecting elements of the spectrum of…

Operator Algebras · Mathematics 2023-06-06 David Gao

We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison…

Logic in Computer Science · Computer Science 2023-06-22 Vasco Brattka , Arno Pauly

I. Penkov and V. Serganova have recently introduced, for any non-degenerate pairing $W\otimes V\to\mathbb C$ of vector spaces, the Lie algebra $\mathfrak{gl}^M=\mathfrak{gl}^M(V,W)$ consisting of endomorphisms of $V$ whose duals preserve…

Representation Theory · Mathematics 2014-03-12 Alexandru Chirvasitu

We construct the tensor product for f-algebras, including proving a universal property for it, and investigate how it preserves algebraic properties of the factors.

Functional Analysis · Mathematics 2016-10-06 G. J. H. M. Buskes , A. W. Wickstead

Using the tensor category theory developed by Lepowsky, Zhang and the second author, we construct a braided tensor category structure with a twist on a semisimple category of modules for an affine Lie algebra at an admissible level. We…

Quantum Algebra · Mathematics 2018-08-29 Thomas Creutzig , Yi-Zhi Huang , Jinwei Yang

We give a short argument why the tensor product valuation on $K \otimes_k L$ is multiplicative when $k$ is an algebraically closed valued field and $K$ and $L$ are valued extensions (all valuations being in $\bR$). When the valuation on $k$…

Commutative Algebra · Mathematics 2015-06-12 Itaï Ben Yaacov

We show that if every module W for a vertex operator algebra V satisfies the condition that the dimension of W/C_1(W) is less than infinity, where C_1(W) is the subspace of W spanned by elements of the form u_{-1}w for u in V of positive…

Quantum Algebra · Mathematics 2007-05-23 Yi-Zhi Huang

Higher-rank Minkowski valuations are efficient means for describing the geometry and connectivity of spatial patterns. We show how to extend the framework of the scalar Minkowski valuations to vector- and tensor-valued measures. The…

Data Analysis, Statistics and Probability · Physics 2007-05-23 Claus Beisbart , Robert Dahlke , Klaus Mecke , Herbert Wagner

This is the sixth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VI), we construct the appropriate…

Quantum Algebra · Mathematics 2012-05-14 Yi-Zhi Huang , James Lepowsky , Lin Zhang

We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…

Logic · Mathematics 2026-03-31 Tommaso Flaminio , Sara Ugolini

Relationship is clarified between the notions of linear extension of algebraic theories, and central extension, in the sense of commutator calculus, of their models. Varieties of algebras turn out to be nilpotent Maltsev precisely when…

Category Theory · Mathematics 2007-05-23 Mamuka Jibladze , Teimuraz Pirashvili

We study local algebras, which are structures similar to $\mathbb{Z}$-graded algebras concentrated in degrees $-1,0,1$, but without a product defined for pairs of elements at the same degree $\pm1$. To any triple consisting of a Kac-Moody…

Rings and Algebras · Mathematics 2022-07-27 Martin Cederwall , Jakob Palmkvist

We introduce and develop the notion of scalar extension for abelian categories. Given a field extension F'/F, to every F-linear abelian category A satisfying a suitable finiteness condition we associate an F'-linear abelian category A' and…

Category Theory · Mathematics 2008-06-03 Nicolas Stalder