{"id":"83733ec8-82b9-4353-b3a6-a584dba85f2f","arxiv_id":"2508.02237","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A categorical equivalence is proven between automorphic sheaves with nilpotent singular support and ind-coherent sheaves on some components of the Langlands parameter stack over a field of positive characteristic.","lead":"The authors prove a new piece of the geometric Langlands conjecture for fields of positive characteristic. They show that automorphic sheaves with nilpotent singular support are equivalent to ind-coherent sheaves on part of the stack of Langlands parameters.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Abstract-only review: the load-bearing terms 'nilpotent singular support' and 'union of some connected components' are undefined in the statement, so the theorem is not yet well-posed.","rationale":"I read the abstract as a theorem statement in geometric Langlands. For the theorem to be true, one would need a well-defined category of automorphic sheaves with nilpotent singular support in positive characteristic and a well-defined ind-coherent category on a specified part of the parameter stack. The abstract leaves both under-specified. This does not mean the underlying mathematics is wrong; it means the claimed assertion cannot currently be checked. The reader's verdict of UNVERDICTED is appropriate. My concern is identical to the reader's weakest assumption, so I agree. No additional technical objection is possible without the full text; the concrete test is to verify the definitions in the full manuscript.","tokens_in":542,"tokens_out":2992,"duration_ms":36837,"concrete_test":"Obtain the full text and locate the definitions of the two categories. Check whether 'nilpotent singular support' for l-adic sheaves in positive characteristic is defined directly, for example via the Frobenius pullback of the characteristic-zero singular support or via a categorical support theory over finite fields, and whether the 'union of some connected components' is specified by a concrete property such as generic semisimplicity of the Langlands parameter. If either definition is absent or is shown to depend on the theorem being proved, the abstract's claim is not well-formed and the paper should be revised or re-classified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The theorem cannot be evaluated as stated because its two central objects are not fixed by the abstract. First, 'nilpotent singular support' for l-adic sheaves in positive characteristic is not an evident notion: the standard singular-support formalism is developed in characteristic zero, and a positive-characteristic analogue needs a construction or a proved property that is not described here. If the paper imports the characteristic-zero definition without a characteristic-zero-to-positive-characteristic mechanism, the claim is either undefined or already assumes the equivalence. Second, 'the union of some of the connected components of the stack of Langlands parameters' leaves a choice of components; until that union is specified by an intrinsic condition, the right-hand category is not uniquely determined and the claimed equivalence is not a precise statement. Both are load-bearing premises; the abstract supplies neither.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to establish part of the geometric Langlands conjecture for l-adic sheaves over a field of positive characteristic, namely an equivalence between the category of automorphic sheaves with nilpotent singular support and an appropriately defined category of ind-coherent sheaves on the union of some connected components of the stack of Langlands parameters. The abstract contains no proof details, definitions, or statements of lemmas, and the full text was not available for review.","tokens_in":693,"tokens_out":2020,"duration_ms":25309,"significance":"If the claimed equivalence holds, it would be a substantial advance in the geometric Langlands program in positive characteristic, extending a categorical statement known or expected in characteristic zero to the l-adic setting. The claim is non-tautological and falsifiable, and it addresses an open problem of considerable interest. The abstract is too terse to allow verification, but the statement as given is not vacuous and appears to require genuine new input to handle singular support and ind-coherent sheaves in positive characteristic.","major_comments":[{"comment":"The theorem as stated is not well-posed because its two central objects are not fixed. First, 'nilpotent singular support' for l-adic sheaves in positive characteristic is not a standard imported notion; the usual singular support formalism is developed in characteristic zero, and a positive-characteristic analogue requires either a construction or a proved property. Second, 'the union of some of the connected components of the stack of Langlands parameters' leaves unspecified which components are included; until that union is characterized intrinsically, the right-hand category is not uniquely determined. If the full text supplies these definitions, this is only a presentation issue in the abstract, but from the available material the central claim cannot be evaluated.","section":"Abstract"}],"minor_comments":[{"comment":"The abstract would be more informative if it indicated the source of the positive-characteristic singular support definition and the criterion for selecting the connected components of the Langlands parameter stack, even by reference to numbered definitions in the body.","section":"Abstract"},{"comment":"The phrase 'appropriately defined category' is vague; specifying the category's definition or citing a section would help readers assess the scope of the claimed equivalence.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"This review is based on the abstract only, as the full text was not provided. The undeveloped central terms are not necessarily errors in the manuscript, but they prevent any verification of the claim. I recommend that the editor obtain the full manuscript before making a decision; if the body contains precise definitions and a complete argument, the result would likely be significant and suitable for the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The abstract states a partial geometric Langlands equivalence in positive characteristic: automorphic sheaves with nilpotent singular support match ind-coherent sheaves on a union of some Langlands-parameter components. If correct, this is a real step toward the full conjecture, and the abstract is honest that it is only part of the statement. That honesty is a plus.\n\nWhat's genuinely new here is the claimed bridge from characteristic zero to positive characteristic, presumably via some form of deformation or specialization of categories. The authors' prior framework is the natural setting, and the novelty seems to be in extending the nilpotent-singular-support story across characteristics rather than in any single new definition. The paper is clearly aimed at experts and builds on a large body of established work.\n\nThe soft spots are real, but they are soft spots of the abstract, not necessarily of the paper. The stress-test note is correct: 'nilpotent singular support' for l-adic sheaves in positive characteristic is not a standard notion in the literature, and without a definition or a pointer to one, the theorem is not fully well-posed. Likewise, 'the union of some of the connected components' is not an intrinsic specification; the right-hand category depends on which components are chosen. If the full text defines these objects and proves the expected categorical properties, the concern evaporates. But from the abstract alone, the statement cannot be verified or even precisely parsed.\n\nA second, softer concern is the paper's heavy reliance on the authors' own categorical machinery. That is not a flaw when the referenced prior work is solid, but it does mean the independence of the current result from earlier unverified claims cannot be assessed from the abstract alone. No circularity is visible, and the stated theorem is not tautological.\n\nMy overall take: this is a serious paper by serious people, and the result—if solid—will matter. But the abstract is not self-contained enough for a definitive technical judgment. A capable referee with access to the full text should be able to evaluate the definitions and the proof. I would not cite it based on the abstract alone, but I would put it on the reading group list once the full version is available, and I would definitely send it to peer review rather than desk-reject it.","headline":"Partial positive-characteristic geometric Langlands result from two credible authors, but the abstract alone is too underspecified to judge the mathematics.","tokens_in":1138,"tokens_out":1394,"would_cite":false,"duration_ms":18025,"reading_group":"maybe","serious_thinker":"unclear","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14D24","14F20","14G17"],"pacs":[],"model":"deepseek-v4-flash","headline":"Over a field of positive characteristic, automorphic l-adic sheaves with nilpotent singular support match ind-coherent sheaves on a union of some connected components of the stack of Langlands parameters.","keywords":["geometric Langlands conjecture","positive characteristic","l-adic sheaves","nilpotent singular support","ind-coherent sheaves","stack of Langlands parameters","categorical equivalence","characteristic zero reduction"],"falsifier":"Work out both sides explicitly in the simplest nontrivial case, for example $G = GL_1$ on a curve of positive characteristic, where the automorphic side is sheaves on the Picard stack and the parameter side is local systems; if the claimed equivalence does not reproduce the known rank-one duality, the central claim is wrong.","tokens_in":374,"feed_emoji":"🔄","tokens_out":9093,"duration_ms":106797,"temperature":0.7,"pith_summary":"The paper establishes a substantial part of the geometric Langlands conjecture over fields of positive characteristic, in the l-adic sheaf setting. It proves an equivalence between automorphic sheaves whose singular support is nilpotent and a category of ind-coherent sheaves on a union of connected components of the stack of Langlands parameters. The title points to the proof route: the positive-characteristic statement is obtained from the characteristic-zero categorical form of geometric Langlands, so the structures known in characteristic zero serve as the template. If the argument is right, Langlands duality in its categorical form is not confined to characteristic zero; it also describes sheaves on the moduli of bundles over positive-characteristic curves.","feed_headline":"Sheaves match Langlands parameters in positive characteristic","feed_subtitle":"l-adic version of geometric Langlands follows from characteristic zero, extending duality to positive characteristic.","key_machinery":"The machinery is the singular-support condition together with ind-coherent sheaves on the Langlands-parameter stack. Singular support is a microlocal invariant that records, roughly, in which direction along the cotangent bundle a sheaf spreads; requiring it to be nilpotent cuts the full automorphic-sheaf category down to a subcategory fine enough to match a subcategory of $\\mathrm{IndCoh}$ on $\\mathrm{LocSys}_{\\check G}$, where $\\check G$ is the Langlands dual group. The load-bearing move is showing that this cutting survives the trip from characteristic zero to positive characteristic, so that the two sides remain identified after specialization or reduction.","core_discovery":"The paper's central claim is a categorical equivalence in the l-adic setting over a base field of positive characteristic, with $l$ invertible in the ground field. For a smooth projective curve and a reductive group $G$, the category of automorphic sheaves on $\\mathrm{Bun}_G$ with nilpotent singular support is equivalent to the appropriately defined category of ind-coherent sheaves on the union of some of the connected components of the stack of Langlands parameters. The phrase “from characteristic zero” tells the reader that the proof proceeds by transferring the already available characteristic-zero equivalence to positive characteristic, rather than by constructing the correspondence directly there.","pith_inferences":["A natural next step is to ask whether the same method, applied without the singular-support cut, yields an equivalence on all components; the paper's selected union indicates that the nilpotent condition is doing essential work there.","The reduction-from-characteristic-zero route suggests the equivalence should also hold over arbitrary fields of positive characteristic, including finite fields, provided the categories are defined there; a concrete check would be to compare the action of Frobenius on both sides.","For $G = GL_1$ the claimed equivalence should reduce to classical rank-one duality for sheaves on the Picard stack and local systems; checking that reduction is a low-cost test of the whole machinery."],"forward_implications":["The geometric Langlands equivalence is now a theorem for l-adic sheaves with nilpotent singular support over positive-characteristic fields, rather than only a conjecture.","Any categorical construction that holds in the characteristic-zero equivalence and is compatible with the reduction functors transfers to positive characteristic, so derived invariants on one side can be computed on the other.","The statement places the singular-support-restricted part of the Langlands correspondence for function fields on an equal footing with the characteristic-zero statement, giving a direct bridge between the two worlds."],"supporting_citations":[],"fun_headline_variants":["Langlands duality in positive char via char zero","Automorphic sheaves equal parameters in positive char","Positive char geometric Langlands from char zero","Nilpotent sheaves and parameters match in positive char"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument stands on the premise that the automorphic-sheaf category with nilpotent singular support and the ind-coherent category on the parameter stack exist and have the same good properties in positive characteristic that they have in characteristic zero, even though those definitions are not given in the abstract.","fun_headline_variants_meta":{"raw":{"variants":["Langlands duality in positive char via char zero","Automorphic sheaves equal parameters in positive char","Positive char geometric Langlands from char zero","Nilpotent sheaves and parameters match in positive char"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000185,"raw_usage":{"total_tokens":1202,"prompt_tokens":709,"completion_tokens":493,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":325,"completion_tokens_details":{"reasoning_tokens":433}},"tokens_in":325,"tokens_out":493,"duration_ms":6602,"temperature":1.0,"reasoning_tokens":433,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T05:03:13.582137+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Work out both sides explicitly in the simplest nontrivial case, for example $G = GL_1$ on a curve of positive characteristic, where the automorphic side is sheaves on the Picard stack and the parameter side is local systems; if the claimed equivalence does not reproduce the known rank-one duality, the central claim is wrong.","supporting_citations":[],"review_version":1}