Equality of connected components and bounded-index components over C((t))\mathbb{C}((t))

Let GG be a group definable in C((t))\mathbb{C}((t)). Write G0G^0 for the connected component and G00G^{00} for the smallest type-definable subgroup of bounded index.

Connected-component conjecture. One has

G0=G00.G^0=G^{00}.

Consequently, GG is virtually an open subgroup of an algebraic group over C((t))\mathbb{C}((t)).

The source presents this as a conjecture and compares the consequence with Corollary 4.3 of the work cited as JY-2; no resolution is supplied.

Sources & referencesView supporting material

Primary source

Zhentao Zhang, “A short note on model theory of C((t))”, arXiv:2501.12545 (2025).

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.