Elementary equivalence from isomorphic cores for graph products

Let G=G(Γ,{Gv}vΓ)\mathcal G=\mathcal G(\Gamma,\{G_v\}_{v\in\Gamma}) and G=G(Δ,{Gv}vΔ)\mathcal G'=\mathcal G(\Delta,\{G'_v\}_{v\in\Delta}) be graph products with finite graphs, where each vertex group satisfies a simple non-generic almost positive sentence. Core converse conjecture. If there is an isomorphism

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

and GvGf(v)G_v\equiv G'_{f(v)}, then

GG.\mathcal G\equiv\mathcal G'.

In particular, each such graph product should be elementarily equivalent to the graph product on its core.

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.