BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Gianluca Paolini

Gianluca Paolini contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.GR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2026arXiv

Homogeneity in Coxeter groups and split crystallographic groups

We prove that affine Coxeter groups, even hyperbolic Coxeter groups and one-ended hyperbolic Coxeter groups are homogeneous in the sense of model theory. More generally, we prove that many (Gromov) hyperbolic groups generated by torsion elements are homogeneous. In contrast, we construct split crystallographic groups that are not homogeneous, and hyperbolic (in fact, virtually free) Coxeter groups that are not homogeneous (or, to be more precise, not $\mathrm{EAE}$-homogeneous). We also prove that, on the other hand, irreducible split crystallographic groups and torsion-generated hyperbolic groups are almost homogeneous. We also prove that finitely generated abelian-by-finite groups are homogeneous if and only if they are profinitely homogeneous, i.e., any tuple of words from the group is profinitely rigid. We use this to deduce that affine Coxeter groups are profinitely homogeneous, a result of independent interest in the profinite context.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Computable Scott Sentences for Quasi-Hopfian Finitely Presented Structures

We prove that every quasi-Hopfian finitely presented structure $A$ has a $d$-$Σ_2$ Scott sentence, and that if in addition $A$ is computable and $Aut(A)$ satisfies a natural computable condition, then $A$ has a computable $d$-$Σ_2$ Scott sentence. This unifies several known results on Scott sentences of finitely presented structures and it is used to prove that other not previously considered algebraic structures of interest have computable $d$-$Σ_2$ Scott sentences. In particular, we show that every right-angled Coxeter group of finite rank has a computable $d$-$Σ_2$ Scott sentence, as well as any strongly rigid Coxeter group of finite rank. Finally, we show that the free projective plane of rank $4$ has a computable $d$-$Σ_2$ Scott sentence, thus exhibiting a natural example where the assumption of quasi-Hopfianity is used (since this structure is not Hopfian).

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

First-Order Aspects of Coxeter Groups

We lay the foundations of the first-order model theory of Coxeter groups. Firstly, with the exception of the $2$-spherical non-affine case (which we leave open), we characterize the superstable Coxeter groups of finite rank, which we show to be essentially the Coxeter groups of affine type. Secondly, we characterize the Coxeter groups of finite rank which are domains, a central assumption in the theory of algebraic geometry over groups, which in many respects (e.g. $λ$-stability) reduces the model theory of a given Coxeter system to the model theory of its associated irreducible components. In the second part of the paper we move to specific definability questions in right-angled Coxeter groups (RACGs) and $2$-spherical Coxeter groups. In this respect, firstly, we prove that RACGs of finite rank do not have proper elementary subgroups which are Coxeter groups, and prove further that reflection independent ones do not have proper elementary subgroups at all. Secondly, we prove that if the monoid $Sim(W, S)$ of $S$-self-similarities of $W$ is finitely generated, then $W$ is a prime model of its theory. Thirdly, we prove that in reflection independent RACGs of finite rank the Coxeter elements are type-determined. We then move to $2$-spherical Coxeter groups, proving that if $(W, S)$ is irreducible, $2$-spherical even and not affine, then $W$ is a prime model of its theory, and that if $W_Γ$ and $W_Θ$ are as in the previous sentence, then $W_Γ$ is elementary equivalent to $W_Θ$ if and only if $Γ\cong Θ$, thus solving the elementary equivalence problem for most of the $2$-spherical Coxeter groups. In the last part of the paper we focus on model theoretic applications of the notion of reflection length from Coxeter group theory, proving in particular that affine Coxeter groups are not connected.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A New $ω$-Stable Plane

We use a variation on Mason's $α$-function as a pre-dimension function to construct a not one-based $ω$-stable plane $P$ (i.e. a simple rank $3$ matroid) which does not admit an algebraic representation (in the sense of matroid theory) over any field. Furthermore, we characterize forking in $Th(P)$, we prove that algebraic closure and intrinsic closure coincide in $Th(P)$, and we show that $Th(P)$ fails weak elimination of imaginaries, and has Morley rank $ω$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

First-Order Model Theory of Free Projective Planes

We prove that the theory of open projective planes is complete and strictly stable, and infer from this that Marshall Hall's free projective planes $(π^n : 4 \leq n \leq ω)$ are all elementary equivalent and that their common theory is strictly stable and decidable, being in fact the theory of open projective planes. We further characterize the elementary substructure relation in the class of open projective planes, and show in particular that $(π^n : 4 \leq n \leq ω)$ is an elementary chain. We then prove that the theory of open projective planes does not have a prime model, that it has elimination of quantifiers down to Boolean combinations of existential formulas, and that it is not model complete. Finally, we characterize the forking independence relation in models of the theory and prove that the $π^n$'s ($4 \leq n \leq ω)$ are strongly type-homogeneous.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Strongly Minimal Steiner Systems I: Existence

A linear space is a system of points and lines such that any two distinct points determine a unique line; a Steiner $k$-system (for $k \geq 2$) is a linear space such that each line has size exactly $k$. Clearly, as a two-sorted structure, no linear space can be strongly minimal. We formulate linear spaces in a (bi-interpretable) vocabulary $τ$ with a single ternary relation $R$. We prove that for every integer $k$ there exist $2^{\aleph_0}$-many integer valued functions $μ$ such that each $μ$ determines a distinct strongly minimal Steiner $k$-system $\mathcal{G}_μ$, whose algebraic closure geometry has all the properties of the ab initio Hrushovski construction. Thus each is a counterexample to the Zilber Trichotomy Conjecture.

0 citations0 reviewsNo code linkedOpen access