Expository Motivation for Nonreductive GIT

Definitions and mathematical statement

Geometric invariant theory (GIT) studies quotients associated with algebraic group actions. In a GIT presentation with a group $G$ acting on a space $X$ and a chosen linearization $L$, write $X^{\mathrm{ss}}(L)$ for the semistable locus and $X^{\mathrm{us}}(L)=X\setminus X^{\mathrm{ss}}(L)$ for the unstable locus. This notation only explains the terminology: the supplied record specifies no base field, acting group, parameter space, or linearization.

The retained source question is:

Why is non-reductive geometric invariant theory needed to construct moduli spaces of unstable curves and related unstable objects, even when the initial presentation involves a reductive group action?

The record does not identify the curves, the related objects, their stability conditions, the intended moduli construction, or the meaning of necessity in this question. Consequently, it supplies no precise mathematical proposition or quantifiers to formalize. In particular, no universal assertion that non-reductive GIT is necessary is made here.

The supplied statement-verification note says that the official report immediately answers this motivational question and does not leave it as an open problem. The record is marked statement_status: unrecoverable, with no separate clean statement promoted; the original question is retained for provenance. Its supplied status: open label must be read alongside these qualifications and is not a verified mathematical assertion of openness.

Short English statement

The retained question asks why non-reductive GIT enters certain moduli constructions that begin with a reductive group action. The supplied verification describes it as an answered motivational question. No sufficiently specified conjecture or theorem can be recovered from this record.

Sources

• Local registry: supplied record for permanent UnsolvedMath ID $30003901$, titled Expository Motivation for Nonreductive GIT, in the Oberwolfach Reports Open Problems collection. Exact source problem code: catalogue entry. No individual proposer is supplied; the proposed year is recorded as 2018.
• Supplied report citation: Classical Algebraic Geometry (2019), Oberwolfach Reports, pp. 1983--2031, DOI 10.4171/owr/2018/33. Supplied source link: https://doi.org/10.4171/owr/2018/33. The background attributes the collection to mathematical workshop reports and their open-problem discussions.
• Supplied literature source, labeled "OWR report": https://ems.press/content/serial-article-files/46758?nt=1.
• Literature assessment dated exactly 2026-08-21: this is supplied dated curation, not independently verified. It labels the record open but says that the exact record is only the question "Why does non-reductive GIT appear here" and supplies no mathematical conjecture or theorem whose status can be assessed. The supplied background requests independent verification of time-sensitive status and cited claims.
• The supplied statement-verification note says that the official report immediately answers the motivational question and that no separate clean statement is promoted. No independent source visit or verification is claimed here.