{"id":"4847aa6a-a828-4c61-a8a9-9ea76170ae85","arxiv_id":"2507.22755","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Nonvanishing of the Chida-Hsieh Heegner theta element implies one-dimensionality of the Bloch-Kato Selmer group for anticyclotomic twists of modular forms at inert primes.","lead":"This paper proves that a nonzero anticyclotomic p-adic L-value forces the Bloch-Kato Selmer group of a modular form twist to have dimension one, in the case where the prime p is inert in an imaginary quadratic field. The result adapts the diagonal-cycle Euler system construction of Castella and Do to a setting where p-adic interpolation is unavailable.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2 depends on Corollary 3.29, which is explicitly delegated to forthcoming Jetchev–Nekovář–Skinner theory; until that theory is available, the nonvanishing-to-Selmer implication is unproved.","rationale":"The reader's weakest-assumption analysis identifies exactly the same load-bearing concern: Corollary 3.29 is not proved in the paper and is stated as a consequence of forthcoming JNS theory. My stress-test concurs. The paper is otherwise coherent: the Euler-system construction, tame norm relations, local Selmer membership, and the p-adic L-function factorization are presented in enough detail to be checked, and the route from nonvanishing of the theta element to nonvanishing of a diagonal class is explicit. However, the final implication from bottom-class nonvanishing to Selmer one-dimensionality is the hinge of the main theorem, and it is delegated rather than proved. This does not warrant rejection, since the dependence is openly acknowledged and the JNS framework is plausibly applicable; it does warrant retaining the conditional verdict. I set verdict_should_be to UNCHANGED because the concern does not move the reader's judgment: the paper should remain conditional on the cited forthcoming work and on independent verification of the imported results.","tokens_in":28774,"tokens_out":3512,"duration_ms":45377,"concrete_test":"Locate the exact theorem in the forthcoming Jetchev–Nekovář–Skinner work (or in a preprint version) and check whether its hypotheses match the p-inert setting of Theorem 3.20: classes indexed by squarefree products of split primes, no vertical classes at inert primes, and big image. If the theorem exists and applies, the proof of Theorem 1.2 can be completed by citing it; if no such theorem exists, or if it requires vertical direction or classes at inert primes, then Corollary 3.29 is unsupported and Theorem 1.2 is not proved by the arguments given.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The decisive step in the proof of Theorem 1.2 is Corollary 3.29 in Section 3.4: it asserts that nonvanishing of the bottom class κ_{f,η_i} forces dim_E Sel^BK(K, V_{f,η_i}) = 1. This is not proved in the paper. It is introduced by the sentence \"Forthcoming work of Jetchev–Nekovář–Skinner ... should lead to the following result,\" and the only citation is [ACR23, Section 8.1], an overview rather than a theorem. This matters because Corollary 3.29 is precisely where the paper passes from analytic nonvanishing (Lemma 6.3 and Corollary 5.8) to the Selmer-rank-one conclusion. What the paper proves directly is weaker: Theorem 3.20 gives tame norm relations along split primes, and Proposition 3.24 shows the classes lie in the Bloch–Kato Selmer groups. Neither statement alone implies one-dimensionality of the Selmer group. Moreover, the paper explicitly notes in Section 1 that because p is inert it cannot construct a full Euler system with vertical direction. If the JNS theory turns out to require vertical classes, or if its hypotheses do not cover the p-inert split-anticyclotomic situation of Theorem 3.20, then Corollary 3.29 does not follow from any argument in this paper. The same paper also relies on the factorization theorem of [Mar24] (Theorem 4.5), but the load-bearing unproved implication is Corollary 3.29, since without it the chain of implications stops before reaching the Selmer group.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs an anticyclotomic Euler system over an imaginary quadratic field K at a prime p inert in K, starting from diagonal classes in the style of Castella–Do, and uses it to prove Theorem 1.2: under Assumption 1.1, the nonvanishing of the evaluation of the Chida–Hsieh Heegner theta element at the wild part χ_− of an anticyclotomic character χ implies dim_E Sel^BK(K, V_{f,χ}) = 1. The proof chain is: build classes with tame norm relations (Theorem 3.20, Proposition 3.19), show they lie in Bloch–Kato Selmer groups (Proposition 3.24), detect nonvanishing of the bottom class through the explicit reciprocity law for diagonal classes (Corollary 5.8) and the factorization of triple product p-adic L-functions (Theorem 4.5, Lemma 6.3), and finally convert nonvanishing of the bottom class into one-dimensionality of the Selmer group via Corollary 3.29, which is stated as a consequence of forthcoming work of Jetchev–Nekovář–Skinner.","tokens_in":29109,"tokens_out":6766,"duration_ms":69306,"significance":"If the deferred inputs are supplied, the paper would give a genuinely new criterion in the p-inert anticyclotomic setting, a case where full Euler systems with a vertical direction are not available. The paper's concrete construction of the split anticyclotomic collection in general balanced weights, including the modification of diagonal classes to remove the ϕ(n) factor (Remark 3.15), and its explicit norm relations (Theorem 3.20) are useful contributions. The final criterion is falsifiable and parameter-free, and the paper is honest about many of its technical hypotheses. However, the advertised main theorem is not self-contained: the decisive Selmer-rank-one step and the factorization of the triple product p-adic L-function are both external inputs, one explicitly forthcoming and one from an unpublished preprint. The result is therefore best regarded as conditional until those inputs are available or proved.","major_comments":[{"comment":"Corollary 3.29 is the only step that passes from nonvanishing of the bottom class to one-dimensionality of the Bloch–Kato Selmer group, yet it is not proved in this paper. It is introduced by the sentence \"Forthcoming work of Jetchev–Nekovář–Skinner ... should lead to the following result\" and the supporting citation is [ACR23, Section 8.1], an overview rather than a theorem. What is proved directly is weaker: Theorem 3.20 gives tame norm relations for split primes only, and Proposition 3.24 puts the classes in the relevant Selmer groups. Neither statement implies dim_E Sel^BK(K, V_{f,η_i}) = 1. Moreover, because p is inert, the paper itself notes in Section 1 that it cannot construct a full Euler system with vertical direction; if the JNS theory requires vertical classes, the hypothesis of Corollary 3.29 is not met. Please either prove Corollary 3.29, or state Theorem 1.2 explicitly as conditional on this implication, or wait for and cite the JNS theory.","section":"Section 3.4, Corollary 3.29"},{"comment":"The factorization identity L^f_{p,ac}(f,g,h) = ±A_{fgh}(α_-(Θ^Heeg_∞(f,α_t)) ⊗ β_-(Θ^Heeg_∞(f,β_t))) is imported as \"cf. Theorem 5.25 of [Mar24]\", where [Mar24] is an unpublished preprint by the author. This identity is load-bearing: Lemma 6.3 uses it to convert nonvanishing of the specialized triple product p-adic L-function into nonvanishing of the Chida–Hsieh theta element, and Section 6 then combines Lemma 6.3, Corollary 5.8, and Corollary 3.29 to prove Theorem 1.2. Since [Mar24] is not yet published and its proof is not reproduced here, the main theorem is conditional on an external, non-refereed input. Please state clearly the status of [Mar24], or include a proof of the factorization under the exact hypotheses used in this paper.","section":"Section 4.3, Theorem 4.5"}],"minor_comments":[{"comment":"In the norm relation (3.9), the class on the right-hand side should be κ_{n,f,η_i}, not κ_{nq,f,η_i}; as printed the relation would be trivial and inconsistent with the proof that follows.","section":"Theorem 3.20, eq. (3.9)"},{"comment":"The phrase \"the p-adic avatar of j\" should read \"the p-adic avatar of χ\", since j is the infinity-type exponent and not a character.","section":"Section 6, first paragraph"},{"comment":"The symbol m is used both for the weight m in Section 3.3 and for the ideal m = cn_+(n_-) in Notation 3.9; this clash is confusing and the ideal should be renamed.","section":"Notation 3.9"},{"comment":"The running header on the first page reads \"A T INER T PRIMES\"; it should be \"AT INERT PRIMES\".","section":"Page 1 header"}],"recommendation":"major_revision","confidential_remarks":"The central theorem is explicitly conditional on Corollary 3.29, whose proof is deferred to forthcoming work of Jetchev–Nekovář–Skinner, and on the author's own unpublished preprint [Mar24]. This is more than a routine citation of a preprint: the paper's advertised result does not follow from the arguments given if that theory does not appear in the form assumed. If the JNS theory is expected imminently, a revision that either proves the needed implication or frames Theorem 1.2 as conditional would be appropriate; otherwise the manuscript is not ready for publication as stated."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a solid research announcement with a load-bearing missing proof. The genuinely new content is the direct construction of the anticyclotomic Euler system for general balanced triples without p-adic interpolation, explicitly to handle the p-inert case, plus the nonvanishing-to-Selmer-rank-one criterion that comes out of it. Theorem 3.20's tame norm relations at split primes are actually proved, with denominators and test vectors handled carefully. The explicit reciprocity law section is a clean adaptation of BSV20, and the paper is honest about what it imports and where the gaps are. Credit where due: the construction is coherent, the write-up is clear, and the author does not hide the dependencies.\n\nThe soft spot is exactly where the stress test lands. Corollary 3.29 is the step that turns a nonzero bottom class into one-dimensionality of the Bloch–Kato Selmer group, and it is not proved. It is introduced with “Forthcoming work of Jetchev–Nekovář–Skinner … should lead to the following result,” citing an overview rather than a theorem. That is not a proof. Without it, Theorem 1.2 does not follow from the arguments in this paper. The paper itself notes in Section 1 that because p is inert, it cannot construct the vertical direction, so it is genuinely unclear whether the announced JNS theory will cover this setting. This is a serious condition, not a cosmetic one. The reliance on the unpublished [Mar24, Thm 5.25] for the factorization in Theorem 4.5 is a second dependency, though that paper is on arXiv and the argument there is at least concrete enough to check.\n\nIf I were refereeing this, I would not desk-reject. The Euler system construction itself is worth having, and the p-inert case is exactly where the subject needs new tools. But I would send it back with a clear instruction: either prove Corollary 3.29, or reframe the paper as a conditional result with that implication explicitly labelled as an assumption. As written, the main theorem is a roadmap, not a proof. The paper is for specialists in anticyclotomic Iwasawa theory and diagonal cycles; a careful reader will get value from the construction and the explicit norm relations. I would not cite Theorem 1.2 as established until the missing bridge appears. Yes to peer review, with conditions.","headline":"The new p-inert Euler system construction is real and worth knowing, but the paper's main theorem is a conditional roadmap: the decisive Selmer-rank-one step is delegated to forthcoming Jetchev-Nekovář-Skinner theory and is not proved here.","tokens_in":29654,"tokens_out":2485,"would_cite":false,"duration_ms":31247,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F33","11F67","11R23","11G40"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that when the prime p is inert in the imaginary quadratic field, the nonvanishing of the Heegner theta element at the wild part of the anticyclotomic character forces the Bloch-Kato Selmer group to be exactly…","keywords":["anticyclotomic Euler systems","diagonal cycles","Bloch-Kato Selmer groups","modular forms","inert primes","p-adic L-functions","explicit reciprocity law","Heegner theta elements"],"falsifier":"Take a concrete weight-2 newform $f$, an imaginary quadratic field $K$, and a prime $p$ inert in $K$ satisfying Assumption 1.1, compute $\\chi_-(\\Theta^{\\mathrm{Heeg}}_\\infty(f,\\chi_t))$ by a modular-symbol or overconvergent computation, and independently compute $\\dim_E\\operatorname{Sel}^{\\mathrm{BK}}(K,V_{f,\\chi})$ by descent or an existing algorithm; a single instance with a nonzero $\\theta$ value and Selmer dimension different from 1 would refute Theorem 1.2.","tokens_in":28533,"feed_emoji":"🔢","tokens_out":11199,"duration_ms":111173,"temperature":0.7,"pith_summary":"This paper establishes a p-adic criterion for the Bloch-Kato conjecture in analytic rank one, in the definite setting where a fixed prime $p$ is inert in the imaginary quadratic field $K$. The criterion is that the nonvanishing of the Heegner $\\theta$ element $\\Theta^{\\mathrm{Heeg}}_\\infty(f,\\chi_t)$ at the wild part $\\chi_-$ of an anticyclotomic character $\\chi$ forces the Bloch-Kato Selmer group $\\operatorname{Sel}^{\\mathrm{BK}}(K,V_{f,\\chi})$ to be exactly one-dimensional. The argument builds an anticyclotomic Euler system from diagonal cycles, following a construction that previously worked mainly when $p$ splits, and connects its bottom class to $p$-adic $L$-values through an explicit reciprocity law and a factorization of triple-product $p$-adic $L$-functions. A reader would care because a one-dimensional Selmer group is exactly the Bloch-Kato prediction in analytic rank one, and the theorem turns a computable $p$-adic $L$-value condition into that conclusion even though the usual Heegner-point and Beilinson-Flach methods are unavailable at inert primes.","feed_headline":"Nonvanishing p-adic Heegner value forces Selmer dimension one","feed_subtitle":"At inert primes, a diagonal-cycle Euler system turns a nonzero theta value into rank-one Bloch-Kato.","key_machinery":"The mechanism is the split anticyclotomic Euler system built from improved diagonal classes. Adapting the construction of [CD23] to the case where $p$ is inert, the paper obtains classes $\\kappa_{n,f,\\eta_i}$ for squarefree $n$ divisible only by primes splitting in $K$, with tame norm relations at those primes; the vertical direction at $p$ is unavailable, but the bottom class $\\kappa_{f,\\eta_i}$ remains meaningful. The bottom class is detected by the explicit reciprocity law of [BSV20]: the Bloch-Kato logarithm of the refined diagonal class is a ratio of Petersson products, equal to a value of the improved triple-product $p$-adic $L$-function of [Mar24]. This $L$-function factorizes as $\\pm A_{\\mathbf f \\mathbf g \\mathbf h}\\cdot(\\alpha_-(\\Theta^{\\mathrm{Heeg}}_\\infty(\\mathbf f,\\alpha_t))\\hat\\otimes \\beta_-(\\Theta^{\\mathrm{Heeg}}_\\infty(\\mathbf f,\\beta_t)))$, and the author chooses auxiliary characters so that $\\alpha=\\chi_t$, $\\beta=\\delta^2$, and $L(f/K,\\delta^2,k/2)\\neq 0$, which forces the nonvanishing of the bottom class exactly when $\\chi_-(\\Theta^{\\mathrm{Heeg}}_\\infty(f,\\chi_t))\\neq 0$.","core_discovery":"On the paper's own terms, the central discovery is Theorem 1.2: under Assumption 1.1 (which includes $p$ inert in $K$, $p$ large, $f$ ordinary with big image and non-CM, $p \\nmid h_K$, $N_f$ squarefree and definite, and a conductor condition on $\\chi$), if $\\chi_-(\\Theta^{\\mathrm{Heeg}}_\\infty(f,\\chi_t)) \\neq 0$, then $\\dim_E \\operatorname{Sel}^{\\mathrm{BK}}(K,V_{f,\\chi}) = 1$. The proof chains three ingredients: the construction of a split anticyclotomic Euler system $\\{\\kappa_{n,f,\\eta_i}\\}$ from improved diagonal classes, with tame norm relations for primes splitting in $K$; the assertion (Corollary 3.29, cited to forthcoming work on split anticyclotomic Euler systems) that nonvanishing of the bottom class $\\kappa_{f,\\eta_i}$ forces the corresponding Bloch-Kato Selmer group to be one-dimensional; and an explicit reciprocity law showing that $\\kappa_{f,\\eta_1}\\neq 0$ follows from the nonvanishing of a specialized triple-product $p$-adic $L$-function, which in turn factorizes as an essentially nonzero factor times $\\alpha_-(\\Theta^{\\mathrm{Heeg}}_\\infty(f,\\alpha_t)) \\hat\\otimes \\beta_-(\\Theta^{\\mathrm{Heeg}}_\\infty(f,\\beta_t))$. Choosing auxiliary characters so that $\\alpha=\\chi_t$ and $\\beta=\\delta^2$ with $L(f/K,\\delta^2,k/2)\\neq 0$ isolates the Heegner $\\theta$ element in the statement.","pith_inferences":["A direct extension would be to run the same nonvanishing criterion through the $\\eta_2$ component: since Corollary 3.29 applies to both $\\kappa_{f,\\eta_1}$ and $\\kappa_{f,\\eta_2}$, a choice of auxiliary characters with $\\xi_1\\xi_2$ equal to a different tame ring class character would yield a one-dimensional Selmer statement for the conjugate twist, not isolated in the main theorem.","Remark 3.21 computes the would-be norm relation at inert primes and finds a congruence modulo $q^2-1$; if this congruence can be promoted to an actual norm relation, inert primes could be added to the Euler system, turning the split system into a full anticyclotomic Euler system and possibly giving control of the vertical direction at $p$ as well.","The author states that Assumptions 4.3(ii)-(iii) can be relaxed; a testable extension would be to redo the argument with $N_f^+$ not squarefree or with inert primes allowed in the conductor of $\\xi_i$, which would widen the theorem's range.","Because the criterion is a concrete $p$-adic $L$-value condition, a computational implementation (for instance on elliptic curves) could provide numerical evidence or counterexamples for the Bloch-Kato conjecture in this setting before the full split anticyclotomic Euler system theory is written down."],"forward_implications":["If the theorem is correct, then for every triple $(f,\\chi,p)$ satisfying Assumption 1.1, the nonvanishing of $\\chi_-(\\Theta^{\\mathrm{Heeg}}_\\infty(f,\\chi_t))$ gives a proof that the Bloch-Kato Selmer group in analytic rank one has dimension exactly one.","The explicit reciprocity chain gives a practical way to verify rank-one Bloch-Kato: compute a $p$-adic Heegner theta value rather than compute a Selmer group directly.","The construction provides anticyclotomic Euler system classes at inert primes, at least in the split direction, and the author notes that the squarefree and conductor assumptions can be relaxed, so the method should extend to broader classes of levels and characters.","The appearance of the Heegner theta element at the wild part as the sole arithmetic input suggests that the Iwasawa main conjecture for anticyclotomic twists in the $p$-inert case can be approached through this Euler system, a direction the paper explicitly hopes to pursue."],"supporting_citations":[{"why":"Supplies the anticyclotomic Euler system construction from diagonal classes that this paper adapts to the p-inert case.","marker":"[CD23]"},{"why":"Supplies the generalized triple product p-adic L-function and its factorization into Heegner theta elements, the bridge from p-adic L-values to the bottom class.","marker":"[Mar24]"},{"why":"Proves the explicit reciprocity law expressing the Bloch-Kato logarithm of diagonal classes as a Petersson product ratio, used to detect nonvanishing.","marker":"[BSV20]"},{"why":"Establishes the construction of balanced diagonal classes and the degeneracy-map norm relations underlying the Euler system.","marker":"[BSV22]"},{"why":"Constructs the Heegner theta element and provides the nonvanishing result for the auxiliary L-value $L(f/K,\\delta^2,k/2)$.","marker":"[CH18]"},{"why":"Constructs the big theta element that the Heegner theta element generalizes in the Hida-family setting.","marker":"[CL16]"},{"why":"Supplies the norm-relation lemmas and local cohomology results used to produce the Euler system classes and show they lie in Bloch-Kato Selmer groups.","marker":"[Rub00]"},{"why":"Provides the patching of CM modules and norm maps over imaginary quadratic fields that the higher-weight generalization relies on.","marker":"[LLZ15]"},{"why":"Describes the expected features of the split anticyclotomic Euler system theory invoked in Corollary 3.29.","marker":"[ACR23]"}],"fun_headline_variants":["Inert primes: diagonal Euler system yields rank-one Bloch-Kato","Nonvanishing Heegner value at inert primes forces Selmer rank one","Diagonal cycles lift Heegner nonvanishing to Bloch-Kato rank one","Inert prime twist: theta value nonzero means Selmer dim one"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the unproved consequence of a forthcoming general theory of split anticyclotomic Euler systems that a nonzero bottom class forces the corresponding Bloch-Kato Selmer group to be one-dimensional; if that theory does not appear as assumed, the paper's main theorem does not follow from the arguments given.","fun_headline_variants_meta":{"raw":{"variants":["Inert primes: diagonal Euler system yields rank-one Bloch-Kato","Nonvanishing Heegner value at inert primes forces Selmer rank one","Diagonal cycles lift Heegner nonvanishing to Bloch-Kato rank one","Inert prime twist: theta value nonzero means Selmer dim one"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000212,"raw_usage":{"total_tokens":1426,"prompt_tokens":959,"completion_tokens":467,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":575,"completion_tokens_details":{"reasoning_tokens":388}},"tokens_in":575,"tokens_out":467,"duration_ms":5511,"temperature":1.0,"reasoning_tokens":388,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T11:18:49.805609+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete weight-2 newform $f$, an imaginary quadratic field $K$, and a prime $p$ inert in $K$ satisfying Assumption 1.1, compute $\\chi_-(\\Theta^{\\mathrm{Heeg}}_\\infty(f,\\chi_t))$ by a modular-symbol or overconvergent computation, and independently compute $\\dim_E\\operatorname{Sel}^{\\mathrm{BK}}(K,V_{f,\\chi})$ by descent or an existing algorithm; a single instance with a nonzero $\\theta$ value and Selmer dimension different from 1 would refute Theorem 1.2.","supporting_citations":[],"review_version":1}