{"id":"8e81d438-e5f2-46c9-8abc-759e05dc4b52","arxiv_id":"2411.16880","paper_version":1,"verdict":"UNVERDICTED","confidence":"MODERATE","novelty_score":0.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Expository notes on the construction and geometry of eigenvarieties, with no new mathematical results.","lead":"This is a set of lecture notes, not a research paper: it explains how p-adic eigenvarieties are constructed, focusing on the Coleman-Mazur eigencurve. A generalist should read it as a guided tour of a technical area, with all core results cited from the literature rather than proved here.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No load-bearing concern; the construction is a citation-based exposition. The only concrete defect is a typo in the pseudocharacter identity of Prop. 2.6.6.","rationale":"The notes do not pretend to prove new mathematics; they assemble standard arguments and refer to [Lud24], [Buz07], [Che05], [Han17], etc. For such a document, the relevant question is whether the statements are accurate enough to serve as an entry point into the subject. I checked the tightest point in the main construction, the definition of U_p in Section 2.2.8 and the compactness argument in Proposition 2.2.11: the use of Theorem 2.2.9 is exactly the standard Katz-Lubin canonical-subgroup theorem, and the factorization of U_p through smaller or larger overconvergent radii is the usual way to see compactness. No circularity or omitted hypothesis appears there. Sections 4 and 5 are also sketches of known constructions, and I did not find a defect that would make the central construction fail. The only internal inconsistency I found is the misprinted pseudocharacter identity in Proposition 2.6.6; it is localized and does not affect the eigenvariety machine or the other geometric properties. Since the reader already marked the preprint UNVERDICTED because it is not original research, my finding does not move that verdict. A one-line correction would suffice for this typo.","tokens_in":79,"tokens_out":21492,"duration_ms":332325,"concrete_test":"Check Proposition 2.6.6 against [BC09, Prop. 7.5.4] and evaluate the printed identity on the traces of a concrete 2x2 representation, e.g. g1 = [[1,1],[0,1]], g2 = [[1,0],[1,1]], g3 = diag(2,3). The printed left-hand side is nonzero (it differs from the correct expression by T(g1g2g3) - T(g3g2g1) = -1), while replacing the last term with T(g3g2g1) yields 0.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper is explicitly a set of lecture notes (abstract and Section 1) with no original claims, so the relevant standard is faithful exposition, not new proof. The reader's weakest assumption, Theorem 2.2.9 (Katz-Lubin, quoted without proof), is not a load-bearing gap: it is a standard cited theorem, and the correspondence diagram (2.2.2) depends on it only through the cited literature. I find no internal gap in the eigencurve construction or in the quaternionic and cohomological variants sketched in Sections 4 and 5. The one concrete inaccuracy I located is Proposition 2.6.6: the displayed 2-dimensional pseudocharacter identity ends with '+ T(g1g2g3) + T(g1g2g3)', but for a two-dimensional representation the last term must be T(g3g2g1). As printed, the identity is false; the correct identity is in the cited [BC09, Prop. 7.5.4]. This is a typo and does not affect the eigenvariety construction, but the notes should be corrected at that point.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript is a set of lecture notes from a Heidelberg spring school, explicitly disclaiming any original work. Section 2 recalls Banach spaces of overconvergent modular forms, the Katz–Lubin canonical subgroup theorem, the Up operator, Coleman's classicality theorem, and then uses the eigenvariety machine developed in [Lud24] to construct the Coleman–Mazur eigencurve as an adic space finite over a Fredholm spectral curve; it states and sketches proofs of local quasi-finite flatness over weight space, equidimensionality, reducedness, and Zariski-density/self-accumulation of classical points. Section 3 surveys other constructions of eigenvarieties; Section 4 treats definite quaternion algebras, including a p-adic Jacquet–Langlands closed immersion and étaleness of the weight map at regular small-slope classical points; Section 5 sketches overconvergent cohomology for GL_n and the resulting eigenvarieties.","tokens_in":29338,"tokens_out":7105,"duration_ms":69200,"significance":"If the exposition is faithful, these notes are a useful companion to [Lud24]: they connect the abstract eigenvariety machine to concrete geometric examples and state the standard properties of the eigencurve with pointers to the original literature. The notes are honest about their scope, explicitly attribute all results, and include helpful exercises. The main external input, Theorem 2.2.9 (Katz–Lubin), is a standard cited theorem; quoting it without proof is appropriate for lecture notes and does not create an internal gap. The only concrete mathematical error I located is a typo in the pseudocharacter identity in Proposition 2.6.6, which is local and does not affect the construction.","major_comments":[],"minor_comments":[{"comment":"Proposition 2.6.6, displayed identity: the duplicated final term '+ T(g1g2g3)' should read '+ T(g3g2g1)' (cf. [BC09, Prop. 7.5.4]). As printed the identity is false for a general two-dimensional representation, since T(g1g2g3) is not generally equal to T(g3g2g1). This is a typo and does not change the construction, but the displayed statement should be corrected.","section":"2.6"},{"comment":"The notation 'M^{†,N}_k' appears where 'M^{†,v}_k(N)' is evidently intended; please harmonize the notation for the space of overconvergent modular forms.","section":"2.2.8"},{"comment":"Exercise 2.2.10 contains the typo 'q-expensions'; it should be 'q-expansions'.","section":"2.2.10"},{"comment":"The entries [H¨24] and [Lud24] list page ranges as 'pp. ?–?'; these should be updated if the volume pagination is known.","section":"References"}],"recommendation":"minor_revision","confidential_remarks":"This is a lecture-note manuscript for a proceedings volume. It contains no new theorems, which is appropriate given its stated purpose. If the journal's scope requires original research contributions, this is not a fit; otherwise I recommend minor revision. The only mathematical correction needed is the pseudocharacter identity in Proposition 2.6.6; the dependence on [Lud24] and on standard theorems is acceptable for this genre."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"These are lecture notes from a spring school, and the abstract is honest about it: no original results. Judged as exposition, the paper is good. It gives a coherent route from overconvergent modular forms through the eigenvariety machine to the Coleman-Mazur eigencurve, then to quaternionic eigencurves and overconvergent cohomology. The geometric properties in Section 2.6 (equidimensionality, quasi-finiteness, flatness, density of classical points, reducedness) are sketched at the right level of detail, and the quaternionic 'small slope implies classical' argument in Section 4 is concrete enough for a student to actually verify. The references are appropriate; the repeated citation of [Lud24] is by design, since these notes accompany Ludwig's lectures.\n\nI found no load-bearing gap. The lack of proofs for Katz-Lubin (2.2.9) and Coleman's classicality (2.2.12) is normal for the genre, and the construction depends on those theorems only through the cited literature. The real defect is small and concrete: Proposition 2.6.6 displays the pseudocharacter identity with '+ T(g1g2g3) + T(g1g2g3)'; the last term must be T(g3g2g1). As printed the identity is false for a two-dimensional pseudocharacter. It is a typo, and it does not affect the eigenvariety construction, but it needs correcting.\n\nThe notes are self-aware about being sketchy and point the reader to the original sources, which is the right posture. I would not cite this as a source for theorems in a research paper, but I would point students to it as an entry point, and I could see it working well as assigned reading before a seminar series.\n\nRecommendation: if this is aimed at a proceedings volume for the school, send it to a referee—the job is to check the exposition and fix typos like the one above, and with that fixed I would accept. If it were submitted as a research article, a desk rejection would be appropriate, not because the notes are bad but because they are not a research paper. The useful judgment here is about whether the survey is reliable, and, apart from the pseudocharacter typo, I think it is.","headline":"Honest, well-organized lecture notes with no new results; the only real flaw is a typo in the pseudocharacter identity.","tokens_in":29771,"tokens_out":3129,"would_cite":false,"duration_ms":30412,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F33","11F85","14G22"],"pacs":[],"model":"deepseek-v4-flash","headline":"These lecture notes show that the Coleman–Mazur eigencurve and its quaternionic and cohomological analogues are all produced by one construction: a compact Hecke operator, a characteristic power series, and a Fredholm hypersurface.","keywords":["eigenvarieties","Coleman–Mazur eigencurve","overconvergent modular forms","p-adic families of modular forms","Hecke operator","Fredholm hypersurface","adic spaces","overconvergent cohomology"],"falsifier":"Compute the characteristic power series $\\det(1 - X U_p)$ on $M^{\\dagger,v}_k(N)$ for two different radii $v$ and $v/p$ inside $(0, p/(p+1))$: if the two series differ, the claimed independence of $v$ fails and the spectral-curve gluing cannot proceed; similarly, exhibit an elliptic curve over a $p$-adic field with $v_p(A) < p/(p+1)$ that has no canonical subgroup, which would contradict the quoted theorem on which the construction rests.","tokens_in":28942,"feed_emoji":"📐","tokens_out":7705,"duration_ms":68012,"temperature":0.7,"pith_summary":"These lecture notes explain how eigenvarieties—p-adic analytic spaces that interpolate systems of Hecke eigenvalues attached to automorphic forms—are constructed. Their central example is the Coleman–Mazur eigencurve, built from spaces of overconvergent modular forms and the spectral theory of a single compact Hecke operator $U_p$. The notes show that the same 'eigenvariety machine' produces eigencurves for definite quaternion algebras and, more generally, eigenvarieties from overconvergent cohomology for $GL_n$. Along the way they spell out the common geometric output: the eigenvariety is finite over a Fredholm spectral curve, locally quasi-finite and flat over weight space, one-dimensional, reduced, and has a Zariski-dense, self-accumulating set of classical points. The contents are expository and no new theorems are proved.","feed_headline":"Eigenvarieties: one machine builds them all","feed_subtitle":"Lecture notes trace the Coleman–Mazur eigencurve and its quaternionic and GL(n) cousins to one Fredholm spectral construction.","key_machinery":"The eigenvariety machine of [Lud24]: a compact operator $U_p$ on a Banach module of overconvergent forms, its entire characteristic power series $F^\\dagger$, the Fredholm hypersurface $Z = V(F^\\dagger)$ over weight space, and Riesz theory turning slope decompositions into a Hecke-module coherent sheaf. Two further ingredients do specific work: the Katz–Lubin canonical-subgroup theorem (Theorem 2.2.9) makes $U_p$ act on overconvergent affinoids by moving the radius from $v$ to $v/p$, and Coleman's classicality theorem identifies small-slope points as classical points.","core_discovery":"The central claim of these notes is that the standard eigenvarieties—the Coleman–Mazur eigencurve, eigencurves for definite quaternion algebras, and eigenvarieties from overconvergent cohomology for $GL_n$—are instances of one mechanical construction. Starting with a Banach space of overconvergent forms carrying a compact Hecke operator $U_p$, one forms the characteristic power series $F^\\dagger = \\det(1 - X U_p)$, defines the Fredholm hypersurface $Z = V(F^\\dagger)$ over weight space, and uses Riesz theory to glue the slope decompositions into a coherent sheaf with Hecke action. The output $E$ is an adic space finite over $Z$, locally quasi-finite and flat over weight space, equidimensional of dimension one, reduced, with classical points Zariski dense and self-accumulating. In the prototypical case this $E$ is exactly the Coleman–Mazur eigencurve.","pith_inferences":["I would draw a sharper moral than the notes state explicitly: any context with a compact operator and a clean family of Banach modules should yield an eigenvariety, so the main obstacle in new settings is not the machine but proving classicality of small-slope points.","The notes leave the Katz–Lubin theorem unproved; I would want a direct check of whether the bound $v < p/(p+1)$ is optimal, since a counterexample at the boundary would show exactly where the construction's radius of convergence breaks.","The $GL_n$ discussion suggests a testable prediction: the 'genuinely p-adic' components should carry pseudocharacters whose classical specializations are reducible or non-classical, and one could search for such components computationally via slope decompositions in small cohomological degree."],"forward_implications":["If the construction is correct, the characteristic power series $F^\\dagger$ glues over all of weight space, so the slopes of $U_p$ on overconvergent modular forms are locally constant in families of weights.","The eigencurve is a genuine one-dimensional p-adic object: locally quasi-finite and flat over weight space, equidimensional of dimension one, and reduced.","Classical modular forms sit densely inside the eigencurve in the Zariski topology, so analytic interpolation results about Hecke eigenvalues can be converted into statements about classical forms and vice versa.","For definite quaternion algebras, the resulting eigencurve embeds as a union of irreducible components into the Coleman–Mazur eigencurve via a p-adic Jacquet–Langlands correspondence.","For $GL_n$ with $n>2$, classical points are not expected to be Zariski dense; instead, essentially self-dual classical points fill closed subsets of dimension $1+\\lfloor n/2\\rfloor$, while other components are genuinely p-adic objects."],"supporting_citations":[{"why":"Supplies the spectral theory and eigenvariety machine: characteristic power series, Fredholm hypersurface, Riesz theory, and slope data used throughout the construction.","marker":"[Lud24]"},{"why":"Defines the Coleman–Mazur eigencurve, the prototypical object these notes reconstruct.","marker":"[CM98]"},{"why":"Gives the classicality theorem that identifies small-slope overconvergent forms with classical modular forms, used to pin down classical points.","marker":"[Col96]"},{"why":"Constructs p-adic Banach spaces of overconvergent modular forms and their families over weight space.","marker":"[Col97]"},{"why":"Supplies the general eigenvariety construction and removes the original restrictions on tame level and on the prime $p$.","marker":"[Buz07]"},{"why":"Defines overconvergent automorphic forms and eigencurves for definite quaternion algebras.","marker":"[Buz04]"},{"why":"Develops overconvergent cohomology and universal eigenvarieties for $GL_n$, used in Section 5.","marker":"[Han17]"},{"why":"Proves the p-adic Jacquet–Langlands correspondence used to compare quaternionic and modular eigencurves.","marker":"[Che05]"}],"fun_headline_variants":["One spectral machine builds eigenvarieties","All eigenvarieties from one Fredholm determinant","The single construction behind every eigenvariety","Eigenvarieties: one recipe, many curves","From one compact operator to all eigenvarieties"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire construction rests on a quoted theorem without proof: that a specific, continuously varying subgroup of the $p$-torsion of an elliptic curve—the 'canonical subgroup'—exists throughout the region of overconvergence $v < p/(p+1)$; if that theorem failed, the Hecke operator $U_p$ would not be defined and the eigencurve would not exist.","fun_headline_variants_meta":{"raw":{"variants":["One spectral machine builds eigenvarieties","All eigenvarieties from one Fredholm determinant","The single construction behind every eigenvariety","Eigenvarieties: one recipe, many curves","From one compact operator to all eigenvarieties"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000603,"raw_usage":{"total_tokens":2739,"prompt_tokens":793,"completion_tokens":1946,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":409,"completion_tokens_details":{"reasoning_tokens":1877}},"tokens_in":409,"tokens_out":1946,"duration_ms":13905,"temperature":1.0,"reasoning_tokens":1877,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:46:25.002014+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the characteristic power series $\\det(1 - X U_p)$ on $M^{\\dagger,v}_k(N)$ for two different radii $v$ and $v/p$ inside $(0, p/(p+1))$: if the two series differ, the claimed independence of $v$ fails and the spectral-curve gluing cannot proceed; similarly, exhibit an elliptic curve over a $p$-adic field with $v_p(A) < p/(p+1)$ that has no canonical subgroup, which would contradict the quoted theorem on which the construction rests.","supporting_citations":[],"review_version":1}