{"id":"d7ca0a43-0c78-411c-b7aa-08dee296cd40","arxiv_id":"2507.13980","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For loop groups, the authors construct a Borel-Serre type bordification whose boundary is homotopic to an affine rational Tits building, and introduce canonical pairs and a semi-stability partition.","lead":"This paper builds a type of outer boundary, a Borel-Serre bordification, for the symmetric space attached to a loop group, and proves the boundary has the homotopy type of an affine rational Tits building. It also defines a semi-stability concept for loop groups and uses it to split the space into pieces indexed by parabolic subgroups.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The conditional Siegel finiteness (SF-U) is not merely unproved: under the preprint's own Iwahori–Matsumoto coordinates it is false, so the stated route to Hausdorffness of the quotient collapses.","rationale":"The strongest claims that survive are the construction of QB(X_{\\hat G+}), its Hausdorffness as a space, continuity of the \\hat G_Q action, boundary homotopy to the affine rational Tits building, and the canonical-pair partition. I checked the main structural steps for circularity or unsupported jumps: the corner topology in §2.4–2.6 is built from an explicit convergence class with a first-countable basis; Prop. 5.2.6 reduces Hausdorffness to the finite-dimensional Borel–Serre bordification plus the corners; the boundary homotopy uses the standard nerve criterion and the AR property; the canonical-pair uniqueness proof is lengthy but internally coherent. The one place where an advertised consequence—properness and Hausdorffness of QB/\\hatΓ—depends on an assumption that is not merely unproved is §6.3.2. The concrete family χ_α(t^n) shows (SF-U) as stated is false, so the conditional proof collapses. However, the paper explicitly labels separability as conditional, and the other main theorems do not rely on it. Thus the reader's CONDITIONAL verdict is unchanged, but the caveat should be sharpened from 'not yet established' to 'false as stated; a finite-depth or level-modified replacement is required.'","tokens_in":74556,"tokens_out":14025,"duration_ms":193370,"concrete_test":"Run \\hat{SL}_2: for Ω=[-1,1], verify explicitly that γ_n=χ_α(t^n) (n≥0) lie in \\hat U_Ω ∩ \\hatΓ_U using the coordinates of §3.1.10 and the generation of §3.6.1, and check 1·γ_n∈\\hat U_Ω; this makes the SF-U set infinite. If a corrected statement is intended, repeat with a fixed depth N by replacing \\hat U with \\hat U/\\hat U(N), and check whether the corresponding set {γ∈\\hatΓ_U : \\hat U_{N,Ω}γ∩\\hat U_{N,Ω}≠∅} is finite; a positive answer at fixed depth would give the right replacement for (SF-U).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest assumption is the right one, and it is stronger than 'unproved': under the paper's own definitions, (SF-U) is false. In §3.1.10–3.1.11, \\hat U is given Iwahori–Matsumoto coordinates, and \\hatΓ_0 in §3.6.1 is generated by χ_α(σ) for σ∈Z((t)). Take \\hat G=\\hat{SL}_2, α the positive root, and Ω=[-1,1]. For each n≥0, γ_n=χ_α(t^n) lies in \\hatΓ_U∩\\hat U_Ω: all coefficients are 0 or 1, hence in Ω. Since 1∈\\hat U_Ω and 1·γ_n=γ_n∈\\hat U_Ω, each γ_n is counted in the (SF-U) set, which is therefore infinite. Hence Proposition 6.3.2's proof cannot go through, and the 'affine analogue' announced in §1.2.8(1) cannot be a routine analogue of the finite-dimensional Siegel finiteness. This does not by itself disprove Hausdorffness of \\hat U/\\hatΓ_U (R^N/Z^N is Hausdorff even though translation by Z^N is not proper in the infinite-product topology), nor does it touch the bordification, canonical-pair, or boundary-homotopy theorems; but the paper's only stated route to separability of the quotient is blocked as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper attaches a Borel–Serre-type bordification QB(X_Ĝ+) to the symmetric space X_Ĝ+ = bK\\Ĝ+ of the positive half of a real loop group, adding boundary components e(P) = X_{M_P} × Û_P for rational parabolics P of affine type, and endows it with a Hausdorff topology defined by explicit convergence classes in Iwahori–Matsumoto coordinates. The main theorems assert: (a) the Ĝ_Q-action on X_Ĝ+ extends continuously to QB(X_Ĝ+); (b) the boundary is homotopy equivalent to the positive rational affine Tits building of Ĝ_Q; (c) an affine canonical-pairs theorem — existence and uniqueness of a destabilizing extremal pair (P, δ) for each point with deginst(x) < 0 — yielding a semi-stability partition of X_Ĝ+; and (d) structural results on quotients X_Ĝ+/Γ̂ and QB(X_Ĝ+)/Γ̂ via Garland's reduction theory, including compactness along the boundary, relative compactness under a central bound, and separability of the quotient under a Siegel-finiteness condition (SF-U) for the pro-unipotent radical Û.","tokens_in":1846,"tokens_out":2008,"duration_ms":587459,"significance":"If correct, this is a substantial contribution: it supplies the loop-group analogue of the Borel–Serre bordification, identifies the affine rational Tits building as the boundary, and establishes a canonical-pairs framework in the spirit of Harder–Narasimhan–Chaudouard. The paper's strengths are real: explicitly checkable convergence-class definitions; a new uniqueness proof for affine canonical pairs via the orthogonal-family inequality (the authors show the naive affine Langlands lemma fails, so this is a genuine technical innovation); a clean nerve/absolute-retract argument for the boundary homotopy; and disciplined honesty, with separability of the quotient explicitly conditioned on (SF-U) in §1.2.8(1). The unconditional results — bordification topology, continuous action, boundary homotopy, canonical-pair theorem, partition, and compactness statements — do not depend on the flagged condition. The central caveat is that (SF-U) is not merely unproved but false as stated, so the separability part requires a real repair; the check is made possible by the paper's own explicit definitions and should be confronted directly.","major_comments":[{"comment":"The Siegel-finiteness condition (SF-U) on which Proposition 6.3.2 rests is false as stated under the paper's own definitions, so the only route offered to properness of the Γ̂-action and Hausdorffness of QB(X_Ĝ+)/Γ̂ (Lemma 6.3.1) is blocked. Counterexample: take Ĝ = ŜL₂, α the positive root of SL₂, and Ω = [−1,1]. For each n ≥ 0, γ_n := χ_α(tⁿ) lies in Γ̂₀ ⊂ Γ̂ (by §3.6.1) and in Û, hence in Γ̂_U. In the Iwahori–Matsumoto coordinates of §3.1.10–3.1.11 its only nontrivial coordinate is σ_α = tⁿ, with coefficients 0 or 1 in Ω, so γ_n ∈ Û_Ω (as in §3.6.3). Since 1 ∈ Û_Ω and 1·γ_n = γ_n ∈ Û_Ω, the set {γ ∈ Γ̂_U | Û_Ω·γ ∩ Û_Ω ≠ ∅} is infinite, contradicting (SF-U) for the bounded set Ω = [−1,1]. The failure is not confined to large Ω: for Ω₀ = [−1/2,1/2], take σ = Σ_{k=0}^N t^k, γ = χ_α(σ), u = χ_α(−σ/2); then u, uγ ∈ Û_{Ω₀}, again producing infinitely many γ. The paper's own caveats (§1.2.8(1); the remark in §6.3.2) describe the affine analogue as unproved; the stronger finding is that the stated condition fails, because Γ̂_U ≅ Z^N is not discrete in the product topology of Û ≅ R^N and the boxes Û_Ω do not control integral coordinates. This observation does not by itself disprove Hausdorffness of Û/Γ̂_U or of the full quotient; it means the stated route via Proposition 6.3.2 and Lemma 6.3.1 cannot be completed as written. A repair within scope should replace (SF-U) by a valid finiteness statement for a suitably truncated Siegel set, prove Hausdorffness of the quotient directly from the coordinate description of Û/Γ̂_U, or state the separability claim as an open problem consistently throughout.","section":"§6.3.2 (SF-U); §§3.1.10–3.1.11, 3.6.1, 3.6.3"}],"minor_comments":[{"comment":"In (2.7), ϑ should be defined as Σ_{i∈I₀} d_i a_i; as printed, δ = a_{ℓ+1} + ϑ does not vanish on bh, and the proof of Proposition 4.2.5(2)(a) uses the corrected version with the sum restricted to the finite index set I₀.","section":"Eq. (2.7)"},{"comment":"The definition of QB(X_Ĝ+) as a disjoint union X_Ĝ+ ∪ ⊔ e(P) is in apparent tension with the nonempty intersections e(P) ∩ e(Q) = e(P∩Q) asserted in Proposition 5.3.1(2)–(3); a sentence clarifying that the pieces are glued through the corner identifications, and that the intersections in (5.39)–(5.41) are understood in that sense, would remove a literal contradiction.","section":"Eq. (5.4) and Proposition 5.3.1"},{"comment":"Lemma 6.3.1 refers to 't and Ω chosen as in Proposition 6.1.2,' but Proposition 6.1.2 does not prescribe a pair (t, Ω); the intended reference appears to be Proposition 6.1.3, whose Siegel sets satisfy the covering property used in the lemma.","section":"Lemma 6.3.1"},{"comment":"Several typos should be corrected, including 'we not yet established' in §1.2.8(1), 'bordifcation' in the title of §5, 'such taht' in Theorem 3.6.4(1), and 'The bais' in §2.5.1.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The main unconditional results appear sound, and the paper is honest about its conditional parts; my recommendation is driven by the single, concentrated issue of (SF-U). I would suggest the editor ask for a substantive revision of Section 6.3 — either a corrected finiteness statement adapted to a truncated Siegel set, a direct proof of Hausdorffness of QB(X_Ĝ+)/Γ̂, or a consistent demotion of the separability claim to an open problem — before publication. Given the paper's length, an additional pass on the 'left to the reader' convergence-class verifications in §§2.4.4, 2.6, and 5.1.2–5.2.6 would be prudent."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read the full preprint. The headline: this is a substantial, serious piece of mathematics, but its main separability claim is in worse shape than the authors admit.\n\nWhat is actually new: this is the first Borel–Serre type bordification for a loop-group symmetric space, with the boundary homotopic to the affine rational Tits building, plus a canonical-pair theorem in the affine setting where the usual Langlands combinatorial lemma fails. The authors are also honest about the main loose end: §1.2.8 and the remark after Prop. 6.3.2 say the affine Siegel finiteness is not established. I found no circularity: the degree of instability is defined by a minimization, and existence and uniqueness are proved rather than assumed.\n\nThe soft spot is real, and it is worse than \"unproved.\" The stress-test is correct: under the paper's own Iwahori–Matsumoto coordinates, (SF-U) is false. Take \\hat G=\\hat SL_2, α the positive root, and Ω=[−1,1]. Then γ_n=χ_α(t^n) lies in \\hat Γ_U∩\\hat U_Ω for every n≥0, and since 1∈\\hat U_Ω, each γ_n is counted in the (SF-U) set. That set is infinite. So the proof of Prop. 6.3.2 cannot go through as written, and the announced affine analogue is not a routine generalization of finite-dimensional Siegel finiteness.\n\nThat does not disprove Hausdorffness of the quotient: as the stress-test notes, R^N/Z^N is Hausdorff even though the action is not proper in the infinite-product topology. But the paper's only route to separability is blocked, and the conditional language in §1.2.8 is if anything understated. The bordification, boundary homotopy, and canonical-pair theorems appear carefully argued and may well stand independent of the quotient topology issue.\n\nWho this is for: specialists in arithmetic groups, loop groups, and reduction theory. A serious referee should get the paper, with the explicit instruction to focus on §6.3 and to require either a corrected Siegel finiteness statement or a different argument for Hausdorffness before acceptance. I would not desk-reject this.","headline":"First real Borel–Serre construction for loop-group symmetric spaces, with honest limitations; the stated Siegel finiteness (SF-U) is false as written, so the Hausdorffness claim for the quotient needs repair, but the bordification and canonical-pair theorems survive scrutiny.","tokens_in":75369,"tokens_out":2468,"would_cite":true,"duration_ms":33140,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["22E67","11F75"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs a Hausdorff Borel\\u2013Serre type bordification of the positive-half loop-group symmetric space, proves its boundary is homotopy equivalent to the affine rational Tits building, and extends the arithmetic loop-group…","keywords":["loop groups","Borel\\u2013Serre bordification","affine Tits building","canonical pairs","semi-stability","reduction theory","arithmetic quotients","pro-unipotent groups"],"falsifier":"Work out the cardinality of $\\{\\gamma\\in\\mathrm{b}\\Gamma_U:\\mathrm{b}U_\\Omega\\cdot\\gamma\\cap\\mathrm{b}U_\\Omega\\neq\\varnothing\\}$ for a bounded $\\Omega$ in the affine $\\mathrm{SL}_2$ loop group using the explicit Iwahori\\u2013Matsumoto coordinates; if it is infinite, the Siegel-type finiteness assumption fails and the asserted Hausdorffness of $\\mathrm{QB}(X_{\\mathrm{b}G^+})/\\mathrm{b}\\Gamma$ collapses, even though the boundary-homotopy theorem might still hold.","tokens_in":74336,"feed_emoji":"🔷","tokens_out":12463,"duration_ms":130796,"temperature":0.7,"pith_summary":"The paper constructs a Borel\\u2013Serre type bordification $\\mathrm{QB}(X_{\\mathrm{b}G^+})$ of the loop-group symmetric space $X_{\\mathrm{b}G^+}=\\mathrm{b}K\\backslash \\mathrm{b}G^+$, where $\\mathrm{b}G^+$ is the positive half of an extended real loop group and $\\mathrm{b}K$ is its maximal compact analogue, by adding one boundary component $e(P)=X_{M_P}\\times \\mathrm{b}U_P$ for each rational parabolic $P$. It proves that the attached boundary is homotopy equivalent to the affine rational Tits building of the rational loop group and that the arithmetic loop group acts continuously on the whole bordification. It also introduces a notion of semi-stability and a theorem of canonical pairs for loop groups, partitioning $X_{\\mathrm{b}G^+}$ into a semi-stable locus and parabolic ends that fiber over lower-rank symmetric spaces. The quotient by the arithmetic group is not compact, and the non-compactness is attributed to the central direction of the loop group, while the boundary has compact quotient. A sympathetic reader would care because the bordification supplies the natural geometric arena in which reduction theory, cohomology, and automorphic forms for loop-group arithmetic groups can be developed.","feed_headline":"Loop-group symmetric spaces get Borel\\u2013Serre boundaries","feed_subtitle":"The attached boundary is homotopic to an affine rational Tits building, a step toward cohomology of loop-group arithmetic groups.","key_machinery":"The mechanism is the corner $c(\\mathrm{b}A^+_P)$: a completion of the positive part of the loop-group torus obtained by letting the simple-root coordinates that define $P$ tend to zero while leaving the central coordinate free, with a topology specified by an explicit convergence class. Adding the pieces $e(P)=X_{M_P}\\times \\mathrm{b}U_P$ and declaring convergence along these corners produces the bordification. The canonical-pair theory runs on the degree of instability $\\deg_{\\mathrm{inst}}(x)=\\min_{P,\\delta}\\langle\\rho_P,H_P(x\\delta)\\rangle$, where $\\rho_P$ is an affine weight functional and $H_P$ is the horospherical-coordinate map; uniqueness is obtained through affine orthogonal families and an auxiliary inequality. The boundary-homotopy theorem is proved by covering the boundary with the closed sets $e(Q)$ for maximal parabolics $Q$, whose nerve is the affine rational Tits building, each $e(Q)$ being an absolute retract (a space that is a retract of every metric space containing it as a closed subspace).","core_discovery":"The central assertion is that $\\mathrm{QB}(X_{\\mathrm{b}G^+})=X_{\\mathrm{b}G^+}\\sqcup\\bigsqcup_{P\\in\\mathrm{Par}'_{\\mathbb Q}} e(P)$, with $e(P)=X_{M_P}\\times \\mathrm{b}U_P$, admits a natural Hausdorff topology for which the inclusion of $X_{\\mathrm{b}G^+}$ extends to an open embedding of each corner $X_{M_P}\\times c(\\mathrm{b}A^+_P)\\times \\mathrm{b}U_P$. The paper establishes that the boundary $\\partial\\,\\mathrm{QB}(X_{\\mathrm{b}G^+})$ is homotopy equivalent to the affine rational Tits building of $\\mathrm{b}G_{\\mathbb Q}$, and that the right action of $\\mathrm{b}G_{\\mathbb Q}$ extends continuously over the bordification. It also proves a loop-group version of the theorem of canonical pairs: every non-semi-stable point of $X_{\\mathrm{b}G^+}$ has a unique destabilizing, extremal parabolic pair $(P,\\delta)$, which yields a disjoint partition $X_{\\mathrm{b}G^+}=X^{\\mathrm{ss}}_{\\mathrm{b}G^+}\\sqcup\\bigsqcup X_{\\mathrm{b}G^+}(P,\\delta)$. Completing the toral directions in this partition gives the same bordification, and the quotient $\\mathrm{QB}(X_{\\mathrm{b}G^+})/\\mathrm{b}\\Gamma$ decomposes into a semi-stable core and parabolic ends, with compact boundary quotient; the Hausdorffness of the full quotient is claimed only conditionally on a Siegel-type finiteness statement for the pro-unipotent group $\\mathrm{b}U$.","pith_inferences":["If the unproved pro-unipotent Siegel finiteness fails, the Hausdorff-quotient claims would drop away while the bordification, the boundary homotopy equivalence, and the canonical-pair theorem could still stand; the paper's two strands are logically separable.","The non-compact central direction is naturally the loop-group counterpart of the second-Chern-class direction in compactifications in the theory of bundles on algebraic surfaces; comparing the two could transfer surface-bundle intuitions to loop-group arithmetic quotients.","A concrete test of the semi-stability picture is whether, for large fixed $r$, the intersection $X^{\\mathrm{ss}}_{\\mathrm{b}G^+}\\cap \\mathrm{b}G_r$ lies in the closure of the non-semi-stable locus; the paper constructs points in that closure but does not prove the general statement.","The uniqueness proof bypasses the classical Langlands combinatorial lemma, suggesting that an affine analogue of complementary polyhedra should exist and could yield a more geometric uniqueness theorem for affine canonical pairs."],"forward_implications":["The quotient $\\mathrm{QB}(X_{\\mathrm{b}G^+})/\\mathrm{b}\\Gamma$ decomposes as $X^{\\mathrm{ss}}_{\\mathrm{b}G^+}/\\mathrm{b}\\Gamma\\cup\\bigsqcup_P X(P)/\\mathrm{b}\\Gamma_P$, where each parabolic end fibers over $X^{\\mathrm{ss}}_{M_P}/\\Gamma_{M_P}\\times c(\\mathrm{b}A^+_{P,(0,1)})$ with pro-unipotent fibers.","The boundary quotient $\\partial\\mathrm{QB}(X_{\\mathrm{b}G^+})/\\mathrm{b}\\Gamma$ is compact, so the failure of compactness of the full quotient is concentrated in the unbounded central direction.","If the Siegel-type finiteness condition for $\\mathrm{b}U$ holds, the $\\mathrm{b}\\Gamma$ action on the bordification is proper and the quotient is Hausdorff; the paper's separability statements are conditional on this.","The canonical-pair partition and the attachment construction describe the same bordification, providing two independent routes to the same completed space.","The continuous $\\mathrm{b}G_{\\mathbb Q}$ action and the compact boundary quotient make $\\mathrm{QB}(X_{\\mathrm{b}G^+})$ the intended arena for reduction theory and for the cohomology of the loop-group arithmetic group $\\mathrm{b}\\Gamma$."],"supporting_citations":[{"why":"Supplies the loop-group reduction theory, including Iwasawa decomposition, Siegel sets, and the parabolic transformation theorem, on which the arithmetic-quotient analysis rests.","marker":"[17]"},{"why":"Provides the finiteness lemma used to prove that the minimum defining the degree of instability exists for each point of the loop-group symmetric space.","marker":"[19]"},{"why":"Supplies the finite-dimensional Borel\\u2013Serre bordification, its corner topology, and the boundary homotopy result that the affine construction extends.","marker":"[5]"},{"why":"Supplies the uniform attachment method for building bordifications by adding boundary pieces and specifying convergence classes, used to topologize the new space.","marker":"[8]"},{"why":"Supplies the canonical-pairs formulation of semi-stability and the existence and uniqueness theorem in finite dimensions that the affine theorem is modelled on.","marker":"[13]"},{"why":"Supplies finite-dimensional reduction theory and Siegel finiteness used for the Levi factors in the quotient analysis.","marker":"[7]"},{"why":"Supplies the partition method for bordifications via semi-stability, adapted here to obtain the completed pieces and the alternate construction of the bordification.","marker":"[22]"},{"why":"Supplies the complementary-polyhedron viewpoint and a uniqueness theorem that motivates the auxiliary inequality used in the affine uniqueness proof.","marker":"[4]"}],"fun_headline_variants":["Bordified loop groups: boundary is an affine Tits building","Canonical pairs for loop groups: a new partition","Loop symmetric spaces: Borel–Serre meets Tits","Borel–Serre for loop groups, boundary in Tits building","Hausdorff bordification of loop-group symmetric spaces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise the paper does not prove is a Siegel-type finiteness statement for the pro-unipotent radical $\\mathrm{b}U$: for every bounded set $\\Omega$, only finitely many arithmetic unipotent elements $\\gamma$ satisfy $\\mathrm{b}U_\\Omega\\cdot\\gamma\\cap\\mathrm{b}U_\\Omega\\neq\\varnothing$; the Hausdorffness and properness claims for the quotient are conditional on this.","fun_headline_variants_meta":{"raw":{"variants":["Bordified loop groups: boundary is an affine Tits building","Canonical pairs for loop groups: a new partition","Loop symmetric spaces: Borel–Serre meets Tits","Borel–Serre for loop groups, boundary in Tits building","Hausdorff bordification of loop-group symmetric spaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00061,"raw_usage":{"total_tokens":2910,"prompt_tokens":1088,"completion_tokens":1822,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":704,"completion_tokens_details":{"reasoning_tokens":1735}},"tokens_in":704,"tokens_out":1822,"duration_ms":14254,"temperature":1.0,"reasoning_tokens":1735,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T16:11:44.070815+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Work out the cardinality of $\\{\\gamma\\in\\mathrm{b}\\Gamma_U:\\mathrm{b}U_\\Omega\\cdot\\gamma\\cap\\mathrm{b}U_\\Omega\\neq\\varnothing\\}$ for a bounded $\\Omega$ in the affine $\\mathrm{SL}_2$ loop group using the explicit Iwahori\\u2013Matsumoto coordinates; if it is infinite, the Siegel-type finiteness assumption fails and the asserted Hausdorffness of $\\mathrm{QB}(X_{\\mathrm{b}G^+})/\\mathrm{b}\\Gamma$ collapses, even though the boundary-homotopy theorem might still hold.","supporting_citations":[{"cited_title":"Hautes Études Sci","cited_arxiv_id":null,"evidence_quote":"Supplies the loop-group reduction theory, including Iwasawa decomposition, Siegel sets, and the parabolic transformation theorem, on which the arithmetic-quotient analysis rests."},{"cited_title":"II, Amer","cited_arxiv_id":null,"evidence_quote":"Provides the finiteness lemma used to prove that the minimum defining the degree of instability exists for each point of the loop-group symmetric space."},{"cited_title":"Borel and J.-P","cited_arxiv_id":null,"evidence_quote":"Supplies the finite-dimensional Borel\\u2013Serre bordification, its corner topology, and the boundary homotopy result that the affine construction extends."},{"cited_title":"MR2189882","cited_arxiv_id":null,"evidence_quote":"Supplies the uniform attachment method for building bordifications by adding boundary pieces and specifying convergence classes, used to topologize the new space."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the canonical-pairs formulation of semi-stability and the existence and uniqueness theorem in finite dimensions that the affine theorem is modelled on."},{"cited_title":"73, American Mathematical Soci- ety, Providence, RI, 2019","cited_arxiv_id":null,"evidence_quote":"Supplies finite-dimensional reduction theory and Siegel finiteness used for the Levi factors in the quotient analysis."},{"cited_title":"Harder, Cohomology of arithmetic groups , available at https://www.math.uni-bonn.de/people/ harder/Manuscripts/buch/Volume-III.pdf","cited_arxiv_id":null,"evidence_quote":"Supplies the partition method for bordifications via semi-stability, adapted here to obtain the completed pieces and the alternate construction of the bordification."},{"cited_title":"Behrend, Semi-stability of reductive group schemes over curves , Math","cited_arxiv_id":null,"evidence_quote":"Supplies the complementary-polyhedron viewpoint and a uniqueness theorem that motivates the auxiliary inequality used in the affine uniqueness proof."}],"review_version":1}