arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.09711

Hypertopes with prescribed diagram symmetries

Dimitri Leemans·Pablo Spiga·Philippe Tranchida
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $\mathcal{G}$ be a finite connected simple graph with at least two vertices. We construct a finite regular hypertope $Γ$ whose diagram is the graph $\mathcal{G}$ with every edge labelled by $4$, and for which $Cor(Γ)/Aut(Γ) \cong Aut(\mathcal{G})$. This shows that any possible group of diagram symmetries can be realized by the correlations of a hypertope. The construction uses a group generated by involutions, with nilpotency class two, exponent four and commutator relations dictated by the defining graph.

Explore related subjects

math.GRmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dimitri Leemans, Pablo Spiga, Philippe Tranchida. 2026-10-07. Hypertopes with prescribed diagram symmetries. https://arxiv.org/abs/2610.09711

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Locally approximating groups of homeomorphisms of manifolds

Let $M$ be a compact, connected manifold of positive dimension, and let $\mathcal G\leq\mathrm{Homeo}(M)$ be locally approximating. If $\mathrm{dim} M\geq 2$, we construct a uniform parameter-free interpretation of standard first-order arithmetic in $\mathcal G$. The same construction applies in dimension one under a component-selection hypothesis, which holds for the usual piecewise-linear and Thompson-group examples, as well as for full homeomorphism and diffeomorphism groups. We also define finite word evaluation and membership in finitely generated subgroups, and derive consequences for finite generation, prime models, and quasi-finite axiomatizability. In dimension one, we construct countable recursively saturated locally approximating groups of homeomorphisms of the interval and circle which do not interpret standard arithmetic, even with parameters. Finally, we prove an action rigidity result: if $M$ is closed and admits a combinatorial triangulation, $\mathcal G\leq\mathrm{Homeo}(M)$ is locally approximating, and $H\equiv\mathcal G$ admits a locally approximating action on a compact connected topological manifold $N$, then $N$ is homeomorphic to $M$.

math.GR↗
arXiv2026

On rational orbits in some prehomogeneous vector spaces

Let $k$ be a field with characteristic different from $2$. In this paper, we describe the $k$-rational orbit spaces in some irreducible prehomogeneous vector spaces $(G,V)$, where $G$ is a connected reductive algebraic group and $V$ is an irreducible rational representation of $G$ with a Zariski dense open orbit over the field $k$. We prove that all composition algebras over $k$ appear as orbit spaces in some of these representations associated to the group $Sp_{6}$. This leads to a parametric description of the reduced Freudenthal algebras of dimensions $6$ and $9$ over $k$ (if $\text{char}(k)\neq 2,3$). In this process, we provide a construction of the irreducible representation of $Sp_{6}$ with dimension $14$ from the split octonion algebra. We also get the orbit decomposition in the irreducible representation of dimension $7$ and the corresponding octonion algebra of any simple connected group of type $G_{2}$, and a parametrization of the isotopes of any Freudenthal algebra over $k$.

math.GR↗
arXiv2026

Resolving Thinness of Degree-Six Symplectic Hypergeometric Monodromy Groups

We prove arithmeticity for two degree-six symplectic hypergeometric monodromy groups and thinness for a third case. These are the three open cases called C-32, C-47, and C-55 in the paper [BDN25] by Bajpai--Dona--Nitsche. This hence settles thinness of primitive integral symplectic hypergeometric monodromy groups of degree-six, according to the tabulation by Bajpai--Dona--Singh--Singh [BDSS21]. The arithmeticity certificates were found with AlphaEvolve and the thinness certificate is a ping pong table found by a harness that was configured to run ChatGPT 5.5. These certificates are then independently verified with exact matrix arithmetic over Q using a computer. We also include illustrations of limit sets of several degree-six symplectic hypergeometric monodromy groups.

math.GR↗