Coset-minimal groups

We know quite a lot about the general structure of ω-stable solvable centerless groups of finite Morley rank. Abelian groups of finite Morley rank are also well-understood. By comparison, nonabelian nilpotent groups are a mystery except for the following general results:• An ω1-categorical torsion-free nonabelian nilpotent group is an algebraic group over an algebraically closed field of characteristic 0 [Z3].• A nilpotent group of finite Morley rank is the central product of a definable subgroup of finite exponent and of a definable divisible subgroup [N3].• A divisible nilpotent group of finite Morley rank is the direct product of its torsion part (which is central) and of a torsion-free subgroup [N3].However, we do not understand nilpotent groups of bounded exponent. It seems that the classification of nilpotent (but nonabelian) p-groups of finite Morley rank is impossible. Even the nilpotent groups of Morley rank 2 contain insurmountable difficulties [C], [T] . At first glance, this may seem to be an obstacle to proving the Cherlin-Zil'ber conjecture (“simple groups of finite Morley rank are algebraic groups”). Our purpose in this article is to show that if such a group is a definable subgroup of a nonnilpotent group, then it is possible to obtain a classification within the boundaries of our present knowledge. In this respect, our article may be considered as a relief to those who are trying to classify simple groups of finite Morley rank.Before explicitly stating our result, we need the following definition.

Essentially periodic ordered groups

For univariate functions, we compute optimal breakpoint systems subject to the condition that the piecewise linear approximator, under-, and over-estimator never deviate more than a given $$\delta $$?-tolerance from the original function over a given finite interval. The linear approximators, under-, and over-estimators involve shift variables at the breakpoints allowing for the computation of an optimal piecewise linear, continuous approximator, under-, and over-estimator. We develop three non-convex optimization models: two yield the minimal number of breakpoints, and another in which, for a fixed number of breakpoints, the breakpoints are placed such that the maximal deviation is minimized. Alternatively, we use two heuristics which compute the breakpoints subsequently, solving small non-convex problems. We present computational results for 10 univariate functions. Our approach computes breakpoint systems with up to one order of magnitude less breakpoints compared to an equidistant approach.

Cherlin introduced the concept of bad groups (of finite Morley rank) in [Ch1]. The existence of such groups is an open question. If they exist, they will contradict the Cherlin-Zil'ber conjecture that states that an infinite simple group of finite Morley rank is a Chevalley group over an algebraically closed field. In this paper, we prove that bad groups of finite Morley rank 3 act on a natural geometry Γ (namely on a special pseudoplane; see Corollary 20) sharply flag-transitively.We show that Γ is not very far from being a projective plane and when it is so rk(Γ) = 2 and Γ is not Desarguesian (Theorem 2). Baldwin [Ba] recently discovered non-Desarguesian projective planes of Morley rank 2. This discovery, together with this paper, makes the existence of bad groups (also of bad fields) more plausible. A bad field is a pair (K, A) of finite Morley rank, where K is an algebraically closed field, A <≠K* and A is infinite. There existence is also unknown.In this paper, we define the concept of a sharp-field as a pair (K, A), where K is a field, A < K*and1. K = A − A,2. If a + b − 1 ∈ A, a ∈ A, b ∈ A, then either a = 1 or b = 1.If K is finite this is equivalent to 1 and2.′ ∣K∣ = ∣A∣2 ∣A∣ + 1.Finite sharp-fields are special cases of difference sets [De]

We find a distributive (v, 0, 1)-semilattice S of size $\\aleph_1$ that is not isomorphic to the maximal semilattice quotient of any Riesz monoid endowed with an order-unit of finite stable rank. We thus obtain solutions to various open problems in ring theory and in lattice theory. In particular: - There is no exchange ring (thus, no von Neumann regular ring and no C*-algebra of real rank zero) with finite stable rank whose semilattice of finitely generated, idempotent-generated two-sided ideals is isomorphic to S. - There is no locally finite, modular lattice whose semilattice of finitely generated congruences is isomorphic to S. These results are established by constructing an infinitary statement, denoted here by URPsr, that holds in the maximal semilattice quotient of every Riesz monoid endowed with an order-unit of finite stable rank, but not in the semilattice S.

For the one dimensional infinite group relaxation, we construct a sequence of extreme valid functions that are piecewise linear and such that for every natural number $$k\ge 2$$, there is a function in the sequence with k slopes. This settles an open question in this area regarding a universal bound on the number of slopes for extreme functions. The function which is the pointwise limit of this sequence is an extreme valid function that is continuous and has an infinite number of slopes. This provides a new and more refined counterexample to an old conjecture of Gomory and Johnson that stated all extreme functions are piecewise linear.

Topological phases for free fermions in systems with crystal symmetry are classified by the topology of the valence band viewed as a vector bundle over the Brillouin zone. Additional symmetries, such as crystal symmetries which act non-trivially on the Brillouin zone, or time-reversal symmetry, endow the vector bundle with extra structure. These vector bundles are classified by a suitable version of K-theory. While relatively easy to define, these K-theory groups are notoriously hard to compute in explicit examples. In this paper we describe in detail how one can compute these K-theory groups starting with a decomposition of the Brillouin zone in terms of simple submanifolds on which the symmetries act nicely. The main mathematical tool is the Atiyah-Hirzebruch spectral sequence associated to such a decomposition, which will not only yield the explicit result for several crystal symmetries, but also sheds light on the origin of the topological invariants. This extends results that have appeared in the literature so far. We also describe examples in which this approach fails to directly yield a conclusive answer, and discuss various open problems and directions for future research.

Superstability and central extensions of algebraic groups

This work can be thought of as a contribution to the model theory of group extensions. We study the groups G which are interpretable in the disjoint union of two structures (seen as a two-sorted structure). We show that if one of the two structures is superstable of finite Lascar rank and the Lascar rank is definable, then G is an extension of a group internal to the (possibly) unstable sort by a definable normal subgroup internal to the stable sort. In the final part of the paper we show that if the unstable sort is an o-minimal expansion of the reals, then G has a natural Lie structure and the extension is a topological cover.

We investigate the monotonicity properties of unary functions definable in ordered groups whose elementary theories are o-stable and have finite convexity rank. The notion of o-stability, combining o-minimality and stability, ensures tameness of types around cuts. Prior work established piecewise or local monotonicity of definable functions in weakly o-minimal structures, with key contributions by Pillay, Steinhorn, Wencel, and others. We build on these results by focusing on local monotonicity, $n$-tidiness, and the depth of definable functions. In particular, we show that any such function is piecewise $n$-tidy for some finite $n$, extending the theory of monotonicity beyond weakly o-minimal structures to a broader o-stable context.

We present a classification framework for saturated Fell bundles over groups, utilizing data associated with their base group and unit fiber. This framework provides a unified perspective on the structure and properties of such bundles and yields key insights into their classification. In the case of discrete groups, we obtain a complete and transparent classification in terms of generalized factor systems, leading to a cohomological description of equivalence classes. For general locally compact groups, the situation is more delicate: While our construction extends to this setting, the classification depends on choices of topology on the underlying Banach bundle.

For a locally quasi-convex topological abelian group (G,τ), we study the poset \(\mathscr{C}(G,τ)\) of all locally quasi-convex topologies on (G) that are compatible with (τ) (i.e., have the same dual as (G,τ) ordered by inclusion. Obviously, this poset has always a bottom element, namely the weak topology σ(G,\(\widehat{G})\) . Whether it has also a top element is an open question. We study both quantitative aspects of this poset (its size) and its qualitative aspects, e.g., its chains and anti-chains. Since we are mostly interested in estimates ``from below'', our strategy consists of finding appropriate subgroups (H) of (G) that are easier to handle and show that \(\mathscr{C} (H)\) and \(\mathscr{C} (G/H)\) are large and embed, as a poset, in \(\mathscr{C}(G,τ)\). Important special results are: (i) if \(K\) is a compact subgroup of a locally quasi-convex group \(G\), then \(\mathscr{C}(G)\) and \(\mathscr{C}(G/K)\) are quasi-isomorphic (3.15); (ii) if (D) is a discrete abelian group of infinite rank, then \(\mathscr{C}(D)\) is quasi-isomorphic to the poset \(\mathfrak{F}_D\) of filters on D (4.5). Combining both results, we prove that for an LCA (locally compact abelian) group \(G \) with an open subgroup of infinite co-rank (this class includes, among others, all non-σ-compact LCA groups), the poset \( \mathscr{C} (G) \) is as big as the underlying topological structure of (G,τ) (and set theory) allows. For a metrizable connected compact group \(X\), the group of null sequences \(G=c_0(X)\) with the topology of uniform convergence is studied. We prove that \(\mathscr{C}(G)\) is quasi-isomorphic to \(\mathscr{P}(\mathbb{R})\) (6.9).

The “learning with errors” (LWE) problem is to distinguish random linear equations, which have been perturbed by a small amount of noise, from truly uniform ones. The problem has been shown to be as hard as worst-case lattice problems, and in recent years it has served as the foundation for a plethora of cryptographic applications. Unfortunately, these applications are rather inefficient due to an inherent quadratic overhead in the use of LWE. A main open question was whether LWE and its applications could be made truly efficient by exploiting extra algebraic structure, as was done for lattice-based hash functions (and related primitives).We resolve this question in the affirmative by introducing an algebraic variant of LWE called ring-LWE, and proving that it too enjoys very strong hardness guarantees. Specifically, we show that the ring-LWE distribution is pseudorandom, assuming that worst-case problems on ideal lattices are hard for polynomial-time quantum algorithms. Applications include the first truly practical lattice-based public-key cryptosystem with an efficient security reduction; moreover, many of the other applications of LWE can be made much more efficient through the use of ring-LWE. Finally, the algebraic structure of ring-LWE might lead to new cryptographic applications previously not known to be based on LWE.

Symplectic forms taming complex structures on compact manifolds are strictly related to Hermitian metrics having the fundamental form $\partial\bar{\partial}$-closed, i.e., to strong Kahler with torsion (SKT) metrics. It is still an open problem to exhibit a compact example of a complex manifold having a tamed symplectic structure but non-admitting Kahler structures. We show some negative results for the existence of symplectic forms taming complex structures on compact quotients of Lie groups by discrete subgroups. In particular, we prove that if $M$ is a nilmanifold (not a torus) endowed with an invariant complex structure $J$, then $(M,J)$ does not admit any symplectic form taming $J$. Moreover, we show that if a nilmanifold $M$ endowed with an invariant complex structure $J$ admits an SKT metric, then $M$ is at most 2-step. As a consequence we classify eight-dimensional nilmanifolds endowed with an invariant complex structure admitting an SKT metric.

This book provides a general framework for doing geometric group theory for many non-locally-compact topological transformation groups that arise in mathematical practice, including homeomorphism and diffeomorphism groups of manifolds, isometry groups of separable metric spaces and automorphism groups of countable structures. Using Roe's framework of coarse structures and spaces, the author defines a natural coarse geometric structure on all topological groups. This structure is accessible to investigation, especially in the case of Polish groups, and often has an explicit description, generalising well-known structures in familiar cases including finitely generated discrete groups, compactly generated locally compact groups and Banach spaces. In most cases, the coarse geometric structure is metrisable and may even be refined to a canonical quasimetric structure on the group. The book contains many worked examples and sufficient introductory material to be accessible to beginning graduate students. An appendix outlines several open problems in this young and rich theory.