Subalgebras of Cohen algebras need not be Cohen

Sabine Koppelberg,Saharon Shelah

DOI: https://doi.org/10.48550/arXiv.math/9610227

1996-10-15

Abstract:We give an example of a regular and complete subalgebra of a Cohen algebra which is not Cohen.

Logic,General Topology

What problem does this paper attempt to address?

Invertible subalgebras

Jeongwan Haah

DOI: https://doi.org/10.1007/s00220-023-04806-6

2023-08-10

Abstract:We introduce invertible subalgebras of local operator algebras on lattices. An invertible subalgebra is defined to be one such that every local operator can be locally expressed by elements of the inveritible subalgebra and those of the commutant. On a two-dimensional lattice, an invertible subalgebra hosts a chiral anyon theory by a commuting Hamiltonian, which is believed not to be possible on any full local operator algebra. We prove that the stable equivalence classes of $\mathsf d$-dimensional invertible subalgebras form an abelian group under tensor product, isomorphic to the group of all $\mathsf d + 1$ dimensional QCA modulo blending equivalence and shifts. In an appendix, we consider a metric on the group of all QCA on infinite lattices and prove that the metric completion contains the time evolution by local Hamiltonians, which is only approximately locality-preserving. Our metric topology is strictly finer than the strong topology.

Mathematical Physics,Strongly Correlated Electrons,Operator Algebras,Quantum Physics
Subalgebras of bigraded Koszul algebras

Stefan Blum

DOI: https://doi.org/10.48550/arXiv.math/0011251

2000-11-30

Abstract:We show that diagonal subalgebras and generalized Veronese subrings of a bigraded Koszul algebra are Koszul. We give upper bounds for the regularity of sidediagonal and relative Veronese modules and apply the results to symmetric algebras and Rees rings.

Commutative Algebra
Big algebras

Tamás Hausel

2023-11-06

Abstract:Here we announce the construction and properties of a big commutative subalgebra of the Kirillov algebra attached to a finite dimensional irreducible representation of a complex semisimple Lie group. They are commutative finite flat algebras over the cohomology of the classifying space of the group. They are isomorphic with the equivariant intersection cohomology of affine Schubert varieties, endowing them with a new ring structure. Study of the finer aspects of the structure of the big algebras will also furnish the stalks of the intersection cohomology with ring structure, thus ringifying Lusztig's q-weight multiplicity polynomials i.e. affine Kazhdan-Lusztig polynomials.

Representation Theory,Algebraic Geometry
Subcompletions of representable relation algebras

Roger D. Maddux

DOI: https://doi.org/10.1007/s00012-018-0493-0

2014-11-05

Abstract:Many finite symmetric integral non-representable relation algebras, including almost all Monk algebras, can be embedded in the completion of an atomic symmetric integral representable relation algebra whose finitely-generated subalgebras are finite.

Logic
Subalgebras of Octonion Algebras

Norbert Knarr,Markus J. Stroppel

2023-09-05

Abstract:For an arbitrary octonion algebra, we determine all subalgebras. It turns out that every subalgebra of dimension less than four is associative, while every subalgebra of dimension greater than four is not associative. In any split octonion algebra, there are both associative and non-associative subalgebras of dimension four. Except for one-dimensional subalgebras spanned by idempotents, any two isomorphic subalgebras are in the same orbit under automorphisms.

Rings and Algebras
Semi-Cohen Boolean algebras

Bohuslav Balcar,Thomas Jech,Jindřich Zapletal

DOI: https://doi.org/10.48550/arXiv.math/9506208

1995-06-17

Abstract:We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of Cohen algebras: semi-Cohen algebras, pseudo-Cohen algebras and potentially Cohen algebras. These classes of Boolean algebras are closed under completion.

Logic
Non Cohen Oracle c.c.c

Saharon Shelah

DOI: https://doi.org/10.48550/arXiv.math/0303294

2003-03-25

Abstract:The oracle c.c.c. is closely related to Cohen forcing. During an iteration we can ``omit a type''; i.e. preserve ``the intersection of a given family of Borel sets of reals is empty'' provided that Cohen forcing satisfies it. We generalize this to other cases. We replace Cohen by ``nicely'' definable c.c.c., do the parallel of the oracle c.c.c. and end with a criterion for extracting a subforcing (not a complete subforcing) of a given nicely one and satisfying the oracle.

Logic
Absolutely Koszul algebras and the Backelin-Roos property

Aldo Conca,Srikanth B. Iyengar,Hop D. Nguyen,Tim Römer

DOI: https://doi.org/10.48550/arXiv.1411.7938

2014-11-29

Abstract:We study absolutely Koszul algebras, Koszul algebras with the Backelin-Roos property and their behavior under standard algebraic operations. In particular, we identify some Veronese subrings of polynomial rings that have the Backelin-Roos property and conjecture that the list is indeed complete. Among other things, we prove that every universally Koszul ring defined by monomials has the Backelin-Roos property.

Commutative Algebra
Koszul Lie algebras and their subalgebras

Simone Blumer

2024-12-11

Abstract:This paper examines (restricted) Koszul Lie algebras, a class of positively graded Lie algebras with a quadratic presentation and specific cohomological properties. The study employs HNN-extensions as a key tool for decomposing and analysing these algebras. Building on a previous work on Koszul Lie algebras ("Kurosh theorem for certain Koszul Lie algebras", S. Blumer), this paper also deals with Bloch-Kato Lie algebras, which constitute a distinguished subclass of that of Koszul Lie algebras where all subalgebras generated by elements of degree $1$ have a quadratic presentation. It is shown that Bloch-Kato Lie algebras satisfy a version of the Levi decomposition theorem and that they satisfy the Toral Rank Conjecture. Two new families of such Lie algebras are introduced, including all graded Lie algebras generated in degree $1$ and defined by two quadratic relations. Throughout the paper, we show many properties of right-angled Artin graded (RAAG) Lie algebras, which form a large class of Koszul Lie algebras.

Rings and Algebras
Many subalgebras of $\mathcal{P}(ω)/\mathit{fin}$

Klaas Pieter Hart

2024-08-30

Abstract:In answer to a question on Mathoverflow we show that the Boolean algebra $\mathcal{P}(\omega)/\mathit{fin}$ contains a family $\{\mathcal{B}_X:X\subseteq\mathfrak{c}\}$ of subalgebras with the property that $X\subseteq Y$ implies $\mathcal{B}_Y$ is a subalgebra of $\mathcal{B}_X$ and if $X\not\subseteq Y$ then $\mathcal{B}_Y$ is not embeddable into~$\mathcal{B}_X$. The proof proceeds by Stone duality and the construction of a suitable family of separable zero-dimensional compact spaces.

General Topology,Logic
Subalgebras, subgroups, and singularity

Tattwamasi Amrutam,Yair Hartman

DOI: https://doi.org/10.1112/blms.12939

2023-10-17

Abstract:This paper concerns the non-commutative analog of the Normal Subgroup Theorem for certain groups. Inspired by Kalantar-Panagopoulos, we show that all $\Gamma$-invariant subalgebras of $L\Gamma$ and $C^*_r(\Gamma)$ are ($\Gamma$-) co-amenable. The groups we work with satisfy a singularity phenomenon described in Bader-Boutonnet-Houdayer-Peterson. The setup of singularity allows us to obtain a description of $\Gamma$-invariant intermediate von Neumann subalgebras $L^{\infty}(X,\xi)\subset\mathcal{M}\subset L^{\infty}(X,\xi)\rtimes\Gamma$ in terms of the normal subgroups of $\Gamma$.

Operator Algebras,Dynamical Systems,Group Theory
Independent families in Boolean algebras with some separation properties

Piotr Koszmider,Saharon Shelah

DOI: https://doi.org/10.48550/arXiv.1209.0177

2012-09-02

Abstract:We prove that any Boolean algebra with the subsequential completeness property contains an independent family of size continuum. This improves a result of Argyros from the 80ties which asserted the existence of an uncountable independent family. In fact we prove it for a bigger class of Boolean algebras satisfying much weaker properties. It follows that the Stone spaces of all such Boolean algebras contains a copy of the Cech-Stone compactification of the integers and the Banach space of contnuous functions on them has $l_\infty$ as a quotient. Connections with the Grothendieck property in Banach spaces are discussed.

Logic,Functional Analysis,General Topology
On a class of subdiagonal algebras

David P. Blecher,Louis E. Labuschagne

2023-07-27

Abstract:We investigate some new classes of operator algebras which we call semi-$\sigma$-finite subdiagonal and Riesz approximable. These constitute the most general setting to date for a noncommutative Hardy space theory based on Arveson's subdiagonal algebras. We develop this theory and study the properties of these new classes.

Operator Algebras,Mathematical Physics,Functional Analysis
Noncommutative Proj and coherent algebras

Alexander Polishchuk

DOI: https://doi.org/10.48550/arXiv.math/0212182

2004-06-18

Abstract:We prove that an abelian category equipped with an ample sequence of objects is equivalent to the quotient of the category of coherent modules over the corresponding algebra by the subcategory of finite-dimensional modules. In the Noetherian case a similar result was proved by Artin and Zhang.

Rings and Algebras,Algebraic Geometry
Big Cohen-Macaulay Algebras and Seeds

Geoffrey D. Dietz

DOI: https://doi.org/10.48550/arXiv.math/0508358

2007-08-28

Abstract:We delve into the properties possessed by algebras, which we have termed seeds, that map to big Cohen-Macaulay algebras. We will show that over a complete local domain of positive characteristic any two big Cohen-Macaulay algebras map to a common big Cohen-Macaulay algebra. We will also strengthen Hochster and Huneke's "weakly functorial" existence result for big Cohen-Macaulay algebras by showing that the seed property is stable under base change between complete local domains of positive characteristic. We also show that every seed over a positive characteristic local ring (R,m) maps to a big Cohen-Macaulay R-algebra that is an absolutely integrally closed, m-adically separated, quasilocal domain.

Commutative Algebra
Almost Cohen-Macaulay algebras in mixed characteristic via Fontaine rings

Kazuma Shimomoto

DOI: https://doi.org/10.48550/arXiv.1005.3275

2010-09-21

Abstract:In the present paper, it is proved that any complete local domain of mixed characteristic has a weakly almost Cohen-Macaulay algebra in the sense that some system of parameters is a weakly almost regular sequence, which is a notion defined via a valuation. The central idea of this result originates from the main statement obtained by Heitmann to prove the Monomial Conjecture in dimension 3. In fact, A weakly almost Cohen-Macaulay algebra is constructed over the absolute integral closure of a complete local domain by applying the methods of Fontaine rings and Witt vectors. A connection of the main theorem with the Monomial Conjecture is also discussed.

Commutative Algebra,Algebraic Geometry
Coherence of relatively quasi-free algebras

Alexey Bondal,Ilya Zhdanovskiy

DOI: https://doi.org/10.48550/arXiv.1501.02521

2015-01-12

Abstract:We prove coherence of relatively quasi-free algebras over noetherian rings. Chase criterion for coherence is used.

Rings and Algebras
Semialgebras associated with nonunital algebras and $k$-linear subcategories

Leonid Positselski

2023-10-09

Abstract:This paper is a sequel to <a class="link-https" data-arxiv-id="2307.13358" href="https://arxiv.org/abs/2307.13358">arXiv:2307.13358</a> and <a class="link-https" data-arxiv-id="2308.16090" href="https://arxiv.org/abs/2308.16090">arXiv:2308.16090</a>. A construction associating a semialgebra with an algebra, subalgebra, and a coalgebra dual to the subalgebra played a central role in the author's book <a class="link-https" data-arxiv-id="0708.3398" href="https://arxiv.org/abs/0708.3398">arXiv:0708.3398</a>. In this paper, we extend this construction to certain nonunital algebras. The resulting semialgebra is still semiunital over a counital coalgebra. In particular, we associate semialgebras to locally finite subcategories in $k$-linear categories. Examples include the Temperley-Lieb and Brauer diagram categories and the Reedy category of simplices in a simplicial set.

Category Theory,Rings and Algebras,Representation Theory
Uniqueness of exact Borel subalgebras and bocses

Julian Külshammer,Vanessa Miemietz

2023-09-19

Abstract:Together with Koenig and Ovsienko, the first author showed that every quasi-hereditary algebra can be obtained as the (left or right) dual of a directed bocs. In this monograph, we prove that if one additionally assumes that the bocs is basic, a notion we define, then this bocs is unique up to isomorphism. This should be seen as a generalisation of the statement that the basic algebra of an arbitrary associative algebra is unique up to isomorphism. The proof associates to a given presentation of the bocs an $A_\infty$-structure on the $\operatorname{Ext}$-algebra of the standard modules of the corresponding quasi-hereditary algebra. Uniqueness then follows from an application of Kadeishvili's theorem.

Representation Theory
Solid subalgebras in algebras of Jordan type half

I. Gorshkov,S. Shpectorov,A. Staroletov

2024-01-29

Abstract:The class of algebras of Jordan type $\eta$ was introduced by Hall, Rehren and Shpectorov in 2015 within the much broader class of axial algebras. Algebras of Jordan type are commutative algebras $A$ over a field of characteristic not $2$, generated by primitive idempotents, called axes, whose adjoint action on $A$ has minimal polynomial dividing $(x-1)x(x-\eta)$ and where multiplication of eigenvectors follows the rules similar to the Peirce decomposition in Jordan algebras.

Rings and Algebras,Group Theory

Subalgebras of Cohen algebras need not be Cohen

Invertible subalgebras

Subalgebras of bigraded Koszul algebras

Big algebras

Subcompletions of representable relation algebras

Subalgebras of Octonion Algebras

Semi-Cohen Boolean algebras

Non Cohen Oracle c.c.c

Absolutely Koszul algebras and the Backelin-Roos property

Koszul Lie algebras and their subalgebras

Many subalgebras of $\mathcal{P}(ω)/\mathit{fin}$

Subalgebras, subgroups, and singularity

Independent families in Boolean algebras with some separation properties

On a class of subdiagonal algebras

Noncommutative Proj and coherent algebras

Big Cohen-Macaulay Algebras and Seeds

Almost Cohen-Macaulay algebras in mixed characteristic via Fontaine rings

Coherence of relatively quasi-free algebras

Semialgebras associated with nonunital algebras and $k$-linear subcategories

Uniqueness of exact Borel subalgebras and bocses

Solid subalgebras in algebras of Jordan type half