{"id":"9df8a831-ff98-4ba9-92eb-7ad139f7b682","arxiv_id":"2606.31940","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves every basic EKOR stratum in the unramified GU(1,n-1) Rapoport-Zink space with arbitrary parahoric level is a disjoint union of copies of an explicitly defined fine Deligne-Lusztig variety, determining KR strata in the basic locus and smoothness of certain EKOR closures.","lead":"The paper proves that basic EKOR strata on unramified GU(1,n-1) Rapoport-Zink spaces are disjoint unions of fine Deligne-Lusztig varieties. Researchers studying the geometry of p-adic moduli spaces and Shimura varieties may use this explicit description to analyze strata containment and smoothness.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption correctly flags the definitional setup as the potential point of fragility, but that assumption does not appear to fail or introduce a load-bearing risk on the basis of the claim as formulated. No concrete technical gap, hidden assumption in an equation, or mismatch with prior definitions is detectable, so the UNVERDICTED verdict stands without adjustment.","tokens_in":1632,"tokens_out":281,"duration_ms":34021,"concrete_test":"For the smallest nontrivial case n=2, recompute the EKOR strata decomposition explicitly from the paper's definition of the fine Deligne-Lusztig variety and check whether it matches the expected union structure on the basic locus.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim asserts that every basic EKOR stratum on the unramified GU(1,n-1) Rapoport-Zink space (arbitrary parahoric level) is a disjoint union of copies of an explicitly defined fine Deligne-Lusztig variety, with consequences for KR strata containment and smoothness of certain closures. The argument structure relies on the stratifications coinciding with those in the prior literature and on a correct identification of the basic locus; these are standard setup assumptions in the field and introduce no visible internal inconsistency or unsupported step from the stated claim.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper establishes the relation between the Ekedahl-Kottwitz-Oort-Rapoport (EKOR) stratification and the Bruhat-Tits (BT) stratification on the unramified GU(1,n-1) Rapoport-Zink space with arbitrary parahoric level. It proves that every basic EKOR stratum is a disjoint union of copies of an explicitly defined fine Deligne-Lusztig variety. Consequences include determining which KR strata lie entirely in the basic locus and proving smoothness of the irreducible components of the closures of certain EKOR strata.","tokens_in":1715,"tokens_out":433,"duration_ms":30845,"significance":"If the central identification holds, the explicit description of basic EKOR strata via fine Deligne-Lusztig varieties supplies a concrete geometric model for the basic locus at arbitrary parahoric level, which strengthens the toolkit for analyzing the geometry and arithmetic of these Rapoport-Zink spaces. The result builds directly on prior definitions of the stratifications without introducing new ad-hoc parameters.","major_comments":[],"minor_comments":[{"comment":"§2.3: the statement that the EKOR and BT stratifications coincide on the basic locus would benefit from an explicit citation to the precise theorem in the referenced prior work that justifies the identification at arbitrary parahoric level.","section":"§2.3"},{"comment":"Definition 4.1: the fine Deligne-Lusztig variety is defined via a specific parabolic and Frobenius action; a short remark comparing its dimension or point count to the classical Deligne-Lusztig variety in the same group would aid readability.","section":"Definition 4.1"},{"comment":"Theorem 5.4: the smoothness claim for the closure of the EKOR stratum is stated for 'certain' strata; listing the precise indices or conditions on the strata in the statement itself would make the result easier to apply.","section":"Theorem 5.4"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive summary and recommendation of minor revision. No major comments are listed in the report, so we have no specific points to address point-by-point. We will incorporate any minor suggestions during revision.","responses":[],"tokens_in":1166,"tokens_out":63,"duration_ms":15222,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that every basic EKOR stratum turns out to be a disjoint union of copies of one explicitly defined fine Deligne-Lusztig variety. From that, the paper also identifies which KR strata lie entirely in the basic locus and shows that the closures of certain EKOR strata have smooth irreducible components.\n\nThe explicit identification is the new piece. Earlier papers defined the stratifications and the basic locus in the usual way for this group and level, but this work makes the basic pieces look like Deligne-Lusztig varieties in a direct, usable form. That kind of concrete picture is helpful for anyone who needs to calculate inside these spaces or track their geometry. The KR and smoothness statements follow from the same description, so they come across as straightforward applications rather than separate claims.\n\nThe setup matches standard definitions from the literature, with no visible circularity or extra assumptions that would break the argument. The abstract presents the proofs as building on those prior definitions, and the stress-test found no internal inconsistency in the stated relations.\n\nThis is narrow work. It will mainly matter to people already studying Rapoport-Zink spaces for unitary groups or EKOR stratifications in the arithmetic geometry of Shimura varieties. Outside that subfield the details are unlikely to carry over.\n\nIt deserves a serious referee. The claim is precise, the consequences are stated cleanly, and the result is new for this case. A referee can check the details of the Deligne-Lusztig identification and the smoothness proof without needing to invent new machinery.","headline":"This paper gives an explicit description of the basic EKOR strata on these GU(1,n-1) Rapoport-Zink spaces as disjoint unions of fine Deligne-Lusztig varieties, plus some consequences for KR strata and smoothness.","tokens_in":2217,"tokens_out":403,"would_cite":false,"duration_ms":28797,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Every basic EKOR stratum on the unramified GU(1,n-1) Rapoport-Zink space is a disjoint union of copies of an explicitly defined fine Deligne-Lusztig variety.","keywords":["EKOR stratification","Bruhat-Tits stratification","Rapoport-Zink space","Deligne-Lusztig variety","basic locus","GU(1,n-1)","parahoric level","KR strata"],"falsifier":"Finding a specific basic EKOR stratum for small n that cannot be expressed as a disjoint union of the described fine Deligne-Lusztig varieties would disprove the claim.","tokens_in":2494,"feed_emoji":"","tokens_out":668,"duration_ms":42835,"temperature":0.7,"pith_summary":"The paper connects the Ekedahl-Kottwitz-Oort-Rapoport stratification to the Bruhat-Tits stratification on these Rapoport-Zink spaces at arbitrary parahoric level. It shows that the basic EKOR strata break apart into unions of fine Deligne-Lusztig varieties. This relation lets the author identify which KR strata sit completely inside the basic locus and prove that the closures of some EKOR strata have smooth irreducible components. A sympathetic reader would care because these stratifications describe the geometry of moduli spaces of abelian varieties with extra structure, and the decomposition gives a concrete handle on their basic loci.","feed_headline":"Basic EKOR strata decompose into Deligne-Lusztig varieties","feed_subtitle":"The relation to Bruhat-Tits stratification holds for GU(1,n-1) Rapoport-Zink spaces at any parahoric level and determines KR strata in the b","key_machinery":"the explicit fine Deligne-Lusztig variety that forms the building block for each basic EKOR stratum via the relation to the Bruhat-Tits stratification","core_discovery":"Every basic EKOR stratum is a disjoint union of copies of a fine Deligne-Lusztig variety which is explicitly defined. This holds for the unramified GU(1,n-1) Rapoport-Zink space with arbitrary parahoric level, and it relates the EKOR and BT stratifications directly.","pith_inferences":["Deligne-Lusztig theory could be used to study the cohomology of the basic strata.","The smoothness might help in understanding the singularities of the full Rapoport-Zink space.","This explicit description may extend to other groups or levels."],"forward_implications":["Every basic EKOR stratum decomposes as a disjoint union of copies of a fine Deligne-Lusztig variety.","Which KR strata are entirely contained in the basic locus can be determined.","The irreducible components of the closure of certain EKOR strata are smooth.","The results apply at arbitrary parahoric level."],"fun_headline_variants":["EKOR strata split into Deligne-Lusztig varieties for GU(1,n-1)","Basic EKOR strata are unions of fine Deligne-Lusztig varieties","EKOR and BT stratifications relate in unramified GU Rapoport-Zink","Fine Deligne-Lusztig varieties fill basic EKOR strata in GU spaces","BT stratification aligns with EKOR in basic GU(1,n-1) RZ spaces"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The EKOR and BT stratifications on the unramified GU(1,n-1) Rapoport-Zink space with arbitrary parahoric level are defined exactly as in the prior literature, and the basic locus is identified correctly.","fun_headline_variants_meta":{"raw":{"variants":["EKOR strata split into Deligne-Lusztig varieties for GU(1,n-1)","Basic EKOR strata are unions of fine Deligne-Lusztig varieties","EKOR and BT stratifications relate in unramified GU Rapoport-Zink","Fine Deligne-Lusztig varieties fill basic EKOR strata in GU spaces","BT stratification aligns with EKOR in basic GU(1,n-1) RZ spaces"]},"model":"grok-4.3","cost_usd":0.004071,"raw_usage":{"total_tokens":2017,"prompt_tokens":562,"num_sources_used":0,"completion_tokens":105,"cost_in_usd_ticks":40712000,"prompt_tokens_details":{"text_tokens":562,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1350,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":562,"tokens_out":105,"duration_ms":19094,"temperature":1.0,"reasoning_tokens":1350,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-01T03:23:28.607354+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Finding a specific basic EKOR stratum for small n that cannot be expressed as a disjoint union of the described fine Deligne-Lusztig varieties would disprove the claim.","supporting_citations":[],"review_version":1}