Elementary classification by cores for graph products in the specified classes

Let G(Γ,{Gv}vΓ)\mathcal G(\Gamma,\{G_v\}_{v\in\Gamma}) and G(Γ,{Gv}vΓ)\mathcal G(\Gamma',\{G'_v\}_{v\in\Gamma'}) belong to the specified class G(FN,CΦr)\mathcal G(\mathbf F_N,\mathbf C^r_\Phi) with N>0N>0. Assume either that Φ\Phi consists only of nontrivial positive sentences and the graphs are positive reduced, or that Φ\Phi consists of non-generic almost positive sentences and the graphs are almost positive reduced. Graph-product core classification conjecture. Then

G(Γ,{Gv}vΓ)G(Γ,{Gv}vΓ)\mathcal G(\Gamma,\{G_v\}_{v\in\Gamma})\equiv\mathcal G(\Gamma',\{G'_v\}_{v\in\Gamma'})

if and only if there is an isomorphism

f:Core(Γ)Core(Γ)f:\operatorname{Core}(\Gamma)\to\operatorname{Core}(\Gamma')

and GvGf(v)G_v\equiv G'_{f(v)}. This would extend the RAAG core principle to the indicated classes of graph products.

Sources & referencesView supporting material

Primary source

Montserrat Casals-Ruiz, Ilya Kazachkov and Javier de la Nuez González, “On the elementary theory of graph products of groups”, arXiv:2106.03782 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.