English
Related papers

Related papers: Clustered Cell Decomposition in P-Minimal Structur…

200 papers

Decomposable ordered structures were introduced in \cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered…

Logic · Mathematics 2014-02-27 Eliana Barriga , Alf Onshuus , Charles Steinhorn

One way to understand the mod p homotopy theory of classifying spaces of finite groups is to compute their BZ/p-cellularization. In the easiest cases this is a classifying space of a finite group (always a finite p-group). If not, we show…

Algebraic Topology · Mathematics 2007-05-23 R. J. Flores , J. Scherer

We prove a decomposition of definable groups in o-minimal structures generalizing the Jordan-Chevalley decomposition of linear algebraic groups. It follows that any definable linear group G is a semidirect product of its maximal normal…

Logic · Mathematics 2025-05-07 Annalisa Conversano

We present an algorithm which produces a decomposition of a regular cellular complex with a discrete Morse function analogous to the Morse-Smale decomposition of a smooth manifold with respect to a smooth Morse function. The advantage of…

Algebraic Topology · Mathematics 2008-12-09 Gregor Jerse , Neza Mramor Kosta

Generalizing the decomposition of a connected planar graph into a tree and a dual tree, we prove a combinatorial analog of the classic Helmholz-Hodge decomposition of a smooth vector field. Specifically, we show that for every polyhedral…

Combinatorics · Mathematics 2021-03-22 Herbert Edelsbrunner , Katharina Ölsböck

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

Logic · Mathematics 2008-11-04 Ehud Hrushovski , Ya'acov Peterzil , Anand Pillay

We classify finite groups in which the centralisers of certain non-central elements are soluble. This includes a full structural description of groups whose non-central element centralisers are all soluble, and a reduction theorem for the…

Group Theory · Mathematics 2025-11-19 Valentina Grazian , Carmine Monetta , Gareth Tracey

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

Logic · Mathematics 2021-11-09 Pablo Andújar Guerrero

A characteristic pair is a pair (G,C) of polynomial sets in which G is a reduced lexicographic Groebner basis, C is the minimal triangular set contained in G, and C is normal. In this paper, we show that any finite polynomial set P can be…

Symbolic Computation · Computer Science 2017-03-01 Dongming Wang , Rina Dong , Chenqi Mou

We describe a family $\textrm{Cyc}_p(\mathcal{F})$ of marked cycle curves that parameterize the cycles of period $p$ of a given family $\mathcal{F}$ of dynamical systems. We produce algorithms to compute a canonical cell decomposition for…

Dynamical Systems · Mathematics 2024-10-29 Caroline Davis , Malavika Mukundan , Danny Stoll , Giulio Tiozzo

We characterize finite $p$-groups $G$ of order up to $p^7$ for which the group of central automorphisms fixing the center element-wise is of minimum possibe order.

Group Theory · Mathematics 2015-03-17 Deepak Gumber , Mahak Sharma

A well-known cluster expansion, which leads to virial expansion for the free energy of low density systems, is modified in such a way that it becomes applicable to the description of condensed state of matter. To this end, the averaging of…

Statistical Mechanics · Physics 2018-12-21 G. S. Bokun , M. F. Holovko

We generalize Amitsur's construction of central simple algebras over a field $F$ which are split by field extensions possessing a derivation with field of constants $F$ to nonassociative algebras: for every central division algebra $D$ over…

Rings and Algebras · Mathematics 2021-04-13 Susanne Pumpluen

We examine the partition of a finite Coxeter group of type $B$ into cells determined by a weight function $L$. The main objective of these notes is to reconcile Lusztig's description of constructible representations in this setting with…

Representation Theory · Mathematics 2008-08-24 Thomas Pietraho

A finite subset S of a closed hyperbolic surface F canonically determines a "centered dual decomposition" of F: a cell structure with vertex set S, geodesic edges, and 2-cells that are unions of the corresponding Delaunay polygons. Unlike a…

Geometric Topology · Mathematics 2011-03-24 Jason DeBlois

In this paper, we consider covers of finite groups by centralizers of elements. We show that the set of centralizers that are maximal under the partial ordering form a cover of the group. We also show that the set of centralizers that are…

Group Theory · Mathematics 2026-04-08 Mark L. Lewis , Ryan McCulloch

We define and study a class of finite topological spaces, which model the cell structure of a space obtained by gluing finitely many Euclidean convex polyhedral cells along congruent faces. We call these finite topological spaces,…

Algebraic Topology · Mathematics 2008-07-28 Tathagata Basak

In this note, we introduce a class of cell decompositions of PL manifolds and polyhedra which are more general than triangulations yet not as general as CW complexes; we propose calling them PLCW complexes. The main result is an analog of…

Geometric Topology · Mathematics 2014-10-01 Alexander Kirillov

In this paper we study the cellularization of classifying spaces of saturated fusion systems with respect to classifying spaces of finite p-groups. We give explicit algebraic criteria to decide when a classifying space is cellular.…

Algebraic Topology · Mathematics 2026-03-03 Guille Carrión , Natàlia Castellana , Alberto Gavira-Romero

We show that an infinite group is definable in any non trivial geometric $C$-minimal structure which is definably maximal and does not have any definable bijection between a bounded interval and an unbounded one in its canonical tree. No…

Logic · Mathematics 2014-10-16 Françoise Delon , Fares Maalouf