The small index property for countable superatomic boolean algebras

John Kenneth Truss

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

2022-06-15

Abstract:It is shown that all the countable superatomic boolean algebras of finite rank have the small index property.

Logic

What problem does this paper attempt to address?

The small index property of the Fraïssé limit of finite Heyting algebras

Kentaro Yamamoto

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

2022-12-19

Abstract:We show that if a subgroup of the automorphism group of the Fraisse limit of finite Heyting algebras has a countable index, then it lies between the pointwise and setwise stabilizer of some finite set.

Logic
Numerical Calculation of Coherent Synchrotron Radiation Effects Using TraFiC4

A. Kabel,M. Dohlus,T. Limberg

DOI: https://doi.org/10.1016/S0168-9002%2800%2900729-4

2000-09-26

Abstract:Coherent synchrotron radiation (CSR) occurs when short bunches travel on strongly bent trajectories. Its effects on high-quality beams can be severe and are well understood qualitatively. For quantitative results, however, one has to rely on numerical methods. There exist several simulation codes utilizing different approaches. We describe in some detail the code TraFiC4 developed at DESY for design and analysis purposes, which approaches the problem from first principles and solves the equations of motion either perturbatively or self-consistently. We present some calculational results and comparison with experimental data. Also, we give examples of how the code can be used to design beamlines with minimal emittance growth due to CSR.

Accelerator Physics
Some simple theories from a Boolean algebra point of view

M. Malliaris,S. Shelah

2023-07-05

Abstract:We find a strong separation between two natural families of simple rank one theories in Keisler's order: the theories $T_\mathfrak{m}$ reflecting graph sequences, which witness that Keisler's order has the maximum number of classes, and the theories $T_{n,k}$, which are the higher-order analogues of the triangle-free random graph. The proof involves building Boolean algebras and ultrafilters "by hand" to satisfy certain model theoretically meaningful chain conditions. This may be seen as advancing a line of work going back through Kunen's construction of good ultrafilters in ZFC using families of independent functions. We conclude with a theorem on flexible ultrafilters, and open questions.

Logic
Building complicated index models and Boolean algebras

Saharon Shelah

2024-01-28

Abstract:We build models using an indiscernible model sub-structures of ${\kappa} \ge {\lambda}$ and related more complicated structures. We use this to build various Boolean algebras.

Logic
The index of nilpotent Lie poset algebras

Vincent Coll,Nicholas Mayers,Nicholas Russoniello

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

2020-04-18

Abstract:We establish combinatorial formulas for the index of a class of matrix Lie algebras whose matrix forms are encoded by strict partial orderings.

Rings and Algebras
Universal -algebras of some properties

Yifan Liu

DOI: https://doi.org/10.1007/s43037-024-00372-8

2024-07-19

Banach Journal of Mathematical Analysis

Abstract:Let ( P ) be a property of -algebras which may be satiesfied or not, and be the set of separable -algebras which satiesfies ( P ). We give a sufficient condition for ( P ) to admit a universal separable element in the sense that for any , there exists a surjective -homomorphism , and use the sufficient condition to show that when ( P ) is "unital with stable rank n ", "the small projection property" or "unital with stable exponential lenght b ", the sufficient condition is satisfied and hence there exists a corresponding universal -algebra. We also give a stronger condition for property ( P ), which additionally implies that the set of corresponding universal -algebras is uncountable, and use it to show that the set of universal unital separable -algebras of stable rank n is uncountable as an example.

mathematics, applied
The index of Lie poset algebras

Vincent E. Coll Jr.,Nick W. Mayers

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

2019-09-28

Abstract:We provide general closed-form formulas for the index of type-A Lie poset algebras corresponding to posets of restricted height. Furthermore, we provide a combinatorial recipe for constructing all posets corresponding to type-A Frobenius Lie poset algebras of heights zero, one, and two. A finite Morse theory argument establishes that the simplicial realization of such posets is contractible. It then follows, from a recent theorem of Coll and Gerstenhaber, that the second Lie cohomology group of the corresponding Lie poset algebra with coefficients in itself is zero. Consequently, the Lie poset algebra is absolutely rigid and cannot be deformed. We also provide matrix representations for Lie poset algebras in the other classical types. By so doing, we are able to give examples of deformable Lie algebras which are both solvable and Frobenius. This resolves a question of Gerstenhaber and Giaquinto about the existence of such algebras.

Combinatorics
A simple combinatorial proof for small model property of two-variable logic

Yanger Ma,Tony Tan

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

2020-06-02

Abstract:We present another proof for the well-known {\em small model property} of two-variable logic. As far as we know, existing proofs of this property rely heavily on model theoretic concepts. In contrast, ours is purely combinatorial and uses only a very simple counting argument, which we find rather intuitive and elegant.

Logic in Computer Science,Computational Complexity
Real rank of some multiplier algebras

Hannes Thiel

2024-02-02

Abstract:We show that there exists a separable, nuclear C*-algebra with real rank zero and trivial K-theory such that its multiplier and corona algebra have real rank one. This disproves two conjectures of Brown and Pedersen. We also compute the real rank of the stable multiplier algebra and the stable corona algebra of countably decomposable type $\mathrm{I}_\infty$ and type $\mathrm{II}_\infty$ factors. Together with results of Zhang this completes the computation of the real rank for stable multiplier and corona algebras of countably decomposable factors.

Operator Algebras
The inheritance tracial topological rank zero for centrally large subalgebra

Qingzhai Fan,Xiaochun Fang

2024-05-06

Abstract:Let $A$ be an infinite-dimensional unital simple C*-algebra such that A has $\mu$-$oz{\rm LLP}$ property for any $\mu\in(0,1)$. Let $B\subseteq A$ be a centrally large subalgebra of $A$ such that $B$ has tracial topological rank zero. Then $A$ has tracial topological rank zero.

Operator Algebras
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
A Short Return to Simple Ah-Algebras with Real Rank Zero

Huaxin Lin

DOI: https://doi.org/10.7146/math.scand.a-17111

2014-05-06

MATHEMATICA SCANDINAVICA

Abstract:Let $A$ be a unital simple AH-algebra with stable rank one and real rank zero such that $kx=0$ for all $x\in\operatorname{ker}\rho_A$, the subgroup of infinitesmal elements in $K_0(A)$, and for the same integer $k\ge 1$. We show that $A$ has tracial rank zero and is isomorphic to a unital simple AH-algebra with no dimension growth.

mathematics
More on cardinal invariants of Boolean algebras

Andrzej Roslanowski,Saharon Shelah

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

1998-08-13

Abstract:We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that irr(B_0 times B_1)= max(irr(B_0),irr(B_1)). We prove consistency of the statement ``there is a Boolean algebra B such that irr(B)<s(B otimes B)'' and we force a superatomic Boolean algebra B_* such that s(B_*)=inc(B_*)=kappa, irr(B_*)=Id(B_*)=kappa^+ and Sub(B_*)=2^(kappa^+). Next we force a superatomic algebra B_0 such that irr(B_0)<inc(B_0) and a superatomic algebra B_1 such that t(B_1)>Aut(B_1). Finally we show that consistently there is a Boolean algebra B of size lambda such that there is no free sequence in B of length lambda, there is an ultrafilter of tightness lambda (so t(B)=lambda) and lambda notin Depth_(Hs)(B).

Logic,General Topology,Rings and Algebras
Tracial oscillation zero and stable rank one

Xuanlong Fu,Huaxin Lin

DOI: https://doi.org/10.4153/s0008414x24000099

2024-01-24

Canadian Journal of Mathematics

Abstract:Abstract Let A be a separable (not necessarily unital) simple $C^*$ -algebra with strict comparison. We show that if A has tracial approximate oscillation zero, then A has stable rank one and the canonical map $\Gamma $ from the Cuntz semigroup of A to the corresponding lower-semicontinuous affine function space is surjective. The converse also holds. As a by-product, we find that a separable simple $C^*$ -algebra which has almost stable rank one must have stable rank one, provided it has strict comparison and the canonical map $\Gamma $ is surjective.

mathematics
Atomic Toposes with Co-Well-Founded Categories of Atoms

Jérémie Marquès

2024-06-20

Abstract:The atoms of the Schanuel topos can be described as the pairs $(n,G)$ where $n$ is a finite set and $G$ is a subgroup of $\operatorname{Aut}(n)$. We give a general criterion on an atomic site ensuring that the atoms of the topos of sheaves on that site can be described in a similar fashion. We deduce that these toposes are locally finitely presentable. By applying this to the Malitz-Gregory atomic topos, we obtain a counter-example to the conjecture that every locally finitely presentable topos has enough points. We also work out a combinatorial property satisfied exactly when the sheaves for the atomic topology are the pullback-preserving functors. In this case, the category of atoms is particularly simple to describe.

Category Theory,Logic
On the atomicity of one-dimensional monoid algebras

Ishan Panpaliya

2024-11-25

Abstract:The ascending chain condition on principal ideals (ACCP) is almost always complementary to atomicity within integral domains: in fact, Cohn initially stated that these two conditions were equivalent. This assertion has been shown to be false, however most counterexamples require technical algebraic constructions. In 2017, Gotti conjectured that for every $q$ in the set $S := ((0, 1) \cap \mathbb{Q}) \setminus {\mathbb{N}}^{-1}_{> 1}$, atomicity ascends from the exponentially cyclic Puiseux monoid $M_q$ to its monoid algebra over the field of rationals. If this conjecture were true, it would provide an extremely wide class of atomic domains of Krull dimension one not satisfying the ACCP, and so would be perhaps the simplest possible such examples. Bu et al. recently proved that the monoid algebra $\mathbb{Q} \left[M_{3/4} \right]$ is atomic, marking the first progress towards settling this conjecture. We strengthen this result and prove that $\mathbb{Q}[M_q]$ is atomic for all $q \in S$ having an odd denominator.

Commutative Algebra
Algebras of Binary Formulas for Weakly Circularly Minimal Theories with Trivial Definable Closure

B. Sh. Kulpeshov

DOI: https://doi.org/10.1134/s0037446624020071

2024-03-27

Siberian Mathematical Journal

Abstract:We describe the algebras of binary formulas for countably categorical weakly circularly minimal theories with 1-transitive nonprimitive automorphism group and trivial definable closure having convexity rank 1. We find some criterion for commutativity of the algebras.

mathematics
Actions on classifiable C*-algebras without equivariant property (SI)

Eusebio Gardella,Julian Kranz,Andrea Vaccaro

2024-08-20

Abstract:We exhibit examples of actions of countable discrete groups on both simple and non-simple nuclear stably finite C*-algebras that are tracially amenable but not amenable. We furthermore obtain that, under the additional assumption of strict comparison, amenability is equivalent to tracial amenability plus the equivariant analogue of Matui--Sato's property (SI). By virtue of this equivalence, our construction yields the first known examples of actions on classifiable C*-algebras that do not have equivariant property (SI). We moreover show that such actions can be chosen to absorb the trivial action on the universal UHF algebra, thus showing that equivariant $\mathcal{Z}$-stability does not in general imply equivariant property (SI).

Operator Algebras
The Countable Reals

Andrej Bauer,James E. Hanson

2024-04-02

Abstract:We construct a topos in which the Dedekind reals are countable.

Logic
Index a Lie Borel Lie Algebra

Toukaiddine Petit

2024-02-19

Abstract:We compute the index of a Lie Borel Lie Algbra of a simple Lie algebra.

Rings and Algebras

The small index property for countable superatomic boolean algebras

The small index property of the Fraïssé limit of finite Heyting algebras

Numerical Calculation of Coherent Synchrotron Radiation Effects Using TraFiC4

Some simple theories from a Boolean algebra point of view

Building complicated index models and Boolean algebras

The index of nilpotent Lie poset algebras

Universal -algebras of some properties

The index of Lie poset algebras

A simple combinatorial proof for small model property of two-variable logic

Real rank of some multiplier algebras

The inheritance tracial topological rank zero for centrally large subalgebra

Independent families in Boolean algebras with some separation properties

A Short Return to Simple Ah-Algebras with Real Rank Zero

More on cardinal invariants of Boolean algebras

Tracial oscillation zero and stable rank one

Atomic Toposes with Co-Well-Founded Categories of Atoms

On the atomicity of one-dimensional monoid algebras

Algebras of Binary Formulas for Weakly Circularly Minimal Theories with Trivial Definable Closure

Actions on classifiable C*-algebras without equivariant property (SI)

The Countable Reals

Index a Lie Borel Lie Algebra