dorsal/arxiv
View SchemaThe motivic class of the space of genus $0$ maps to the flag variety
| Authors | Jim Bryan, Balázs Elek, Freddie Manners, George Salafatinos, Ravi Vakil |
|---|---|
| Categories | |
| ArXiv ID | 2601.07222vv1 |
| URL | https://arxiv.org/abs/2601.07222 |
| License | http://arxiv.org/licenses/nonexclusive-distrib/1.0/ |
Abstract
Let $\operatorname{Fl}_{n+1}$ be the variety of complete flags in $\mathbb{A}^{n+1}$ and let $\Omega^{2}_{\beta}(\operatorname{Fl}_{n+1})$ be the space of based maps $f:\mathbb{P}^{1}\to \operatorname{Fl}_{n+1}$ in the class $f_{*}[\mathbb{P}^{1}]=\beta$. We show that under a mild positivity condition on $\beta$, the class of $\Omega^{2}_{\beta}(\operatorname{Fl}_{n+1})$ in $K_{0}(\operatorname{Var})$, the Grothendieck group of varieties, is given by \[ [\Omega^{2}_{\beta}(\operatorname{Fl}_{n+1})] = [\operatorname{GL}_{n}\times \mathbb{A}^{a}]. \] The proof of this result was obtained in conjunction with Google Gemini and related tools. We briefly discuss this research interaction, which may be of independent interest. However, the treatment in this paper is entirely human-authored (aside from excerpts in an appendix which are clearly marked as such).
{
"annotation_id": "d750071d-56f6-4324-bda6-6b54fe3b2d29",
"date_created": "2026-02-17T05:53:12.012000Z",
"date_modified": "2026-02-17T05:53:12.012000Z",
"file_hash": "dd9ca37663b519dbed373f2152d8b520370e7d83f80e833348027ae21713d8ee",
"private": false,
"record": {
"abstract": "Let $\\operatorname{Fl}_{n+1}$ be the variety of complete flags in $\\mathbb{A}^{n+1}$ and let $\\Omega^{2}_{\\beta}(\\operatorname{Fl}_{n+1})$ be the space of based maps $f:\\mathbb{P}^{1}\\to \\operatorname{Fl}_{n+1}$ in the class $f_{*}[\\mathbb{P}^{1}]=\\beta$. We show that under a mild positivity condition on $\\beta$, the class of $\\Omega^{2}_{\\beta}(\\operatorname{Fl}_{n+1})$ in $K_{0}(\\operatorname{Var})$, the Grothendieck group of varieties, is given by \\[ [\\Omega^{2}_{\\beta}(\\operatorname{Fl}_{n+1})] = [\\operatorname{GL}_{n}\\times \\mathbb{A}^{a}]. \\]\n The proof of this result was obtained in conjunction with Google Gemini and related tools. We briefly discuss this research interaction, which may be of independent interest. However, the treatment in this paper is entirely human-authored (aside from excerpts in an appendix which are clearly marked as such).",
"arxiv_id": "2601.07222",
"authors": [
"Jim Bryan",
"Bal\u00e1zs Elek",
"Freddie Manners",
"George Salafatinos",
"Ravi Vakil"
],
"categories": [
"math.AG",
"math.AT"
],
"license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
"title": "The motivic class of the space of genus $0$ maps to the flag variety",
"url": "https://arxiv.org/abs/2601.07222",
"version": "v1"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "d90587a9-2c77-4448-be00-6315a3b1991c",
"id": "arXiv Dataset",
"type": "Model",
"variant": "snapshot-2026-01-17",
"version": "0.1.0"
},
"user_id": 1000002
}