REVIEW 3 major objections 4 minor 7 references
Slicing Correspondences with High Degree Hypersurfaces
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper establishes that for unbalanced complete intersections $Y$ and $Y'$ inside smooth projective varieties, the correspondence degree is asymptotically a fixed constant $K$ times the product of all multidegrees, and that the…
desk verdict The slicing bijection idea and the K≠mfd^2 example are good, but the key proof rests on an unjustified Cayley-Bacharach transfer from P^n to arbitrary Y. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is a pair of slicing operations $\Phi$ and $\Psi$ on dominant correspondences. For a correspondence $W \subseteq Y \times Y'$ and a smooth divisor $X \in |dH|$, $\Phi$ intersects $W$ with $X \times Y'$ and keeps the components dominating both factors; $\Psi$ intersects with $Y \times X'$ and keeps dominating components. The paper's core technical results (Theorems 2.5–2.8) state that, when the slicing degree $d$ is much larger than the relevant degree bounds, $\Phi$ and $\Psi$ are bijections between the corresponding sets of dominant correspondences and preserve primality. The proofs rely on a Cayley–Bacharach property: the general fiber of a dominant correspondence over a point is a finite set of points with the property that any section of a line bundle vanishing on all but one point vanishes on all of them, and this forces any curve of small degree containing the set to be unique. This uniqueness lets the author lift a sliced correspondence back to the ambient product.
What would settle it
Compute, for a smooth projective variety $M$ with very ample $H$ not equal to projective space, the correspondence degrees of a sequence of smooth hypersurface pairs with $d \gg d'$ and compare the ratio $\operatorname{corr.deg}(Y,Y')/(dd')$ with $K$, where $K$ is the minimum product degree of an ambient 1-correspondence. A single sequence for which the ratio does not tend to $K$—or, more directly, a smooth $X \in |dH|$ and a correspondence whose general fiber is a Cayley–Bacharach set lying on two distinct minimal curves of degree at most $e'$—would break the lifting lemma and hence Theorem 1.3.
Extended reading notes
Core claim
The paper's main theorem (Theorem 1.4) asserts that if $Y \subset M$ and $Y' \subset M'$ are smooth complete intersections of codimension $r$ whose multidegrees satisfy $d_1 \gg d'_1 \gg \cdots \gg d_r \gg d'_r$, then $$\operatorname{corr.deg}(Y,Y') \approx d_1\cdots d_r\, d'_1\cdots d'_r\, K,$$ where $\approx$ means the ratio tends to $1$ as the degrees grow and $K$ is a constant depending only on the ambient varieties $M,M'$ and the polarizing divisors $H,H'$. The constant is explicit: it is the minimum product degree of a dominant $r$-correspondence between $M$ and $M'$. The key structural discovery is that the two slicing operations $\Phi$ and $\Psi$—intersect a correspondence with $X \times Y'$ or $Y \times X'$ and keep the dominating components—are bijections between sets of dominant correspondences whenever the slicing hypersurface has sufficiently high degree. Iterating these bijections along a flag of complete intersections shows that every sufficiently small correspondence between $Y$ and $Y'$ is a slice of a single ambient correspondence, and this forces the asymptotic formula.
Load-bearing premise
The whole argument rests on the cited theorem that the general fiber of a correspondence is a Cayley–Bacharach set whose unique minimal-degree containing curve exists and has controlled degree; if that uniqueness fails for hypersurfaces in arbitrary smooth ambient varieties, the slicing bijections and the constant-$K$ formula collapse.
Editorial extensions
If this is right
- For any smooth complete intersections in the unbalanced regime, the correspondence degree is asymptotically $K\cdot \prod d_i \prod d'_i$, with $K$ independent of the degrees.
- The minimizing correspondence between the complete intersections is obtained by slicing a minimal ambient $r$-correspondence, so the extremal object is controlled by the ambient variety alone.
- No very general hypothesis is needed: the asymptotic statement holds for every smooth pair in the given linear systems provided the degrees are sufficiently unbalanced.
- The explicit product-of-curves example shows that $K$ need not equal the square of the minimum fibering degree, so the original motivating guess fails in general.
- For covers, the results imply that when $d \gg d'$, a smooth hypersurface $X'$ cannot be covered by any smooth hypersurface $X \in |dH|$ with covering degree below a fixed bound.
Reading between the lines
- An implication left implicit is that the same slicing bijections might govern other association measures, such as degrees of irrationality or connecting gonality, in the unbalanced regime; if so, their asymptotic constants would also factor through $K$.
- A testable extension is to treat $K$ as a new invariant of the pair $(M,H)$—the minimal product degree of a dominant correspondence of maximal dimension—and compare it with the square of the minimum fibering degree across examples to see precisely when the original guess holds.
- One could try replacing the unbalanced assumption with a very-general assumption, which the paper notes might recover a balanced asymptotic; a concrete project would be to compute higher-order error terms in the ratio to see how quickly the approximation converges.
- The paper argues the analogous statement likely fails in positive characteristic; a testable extension would be to construct a smooth hypersurface pair over a finite field whose correspondence degree separates from the characteristic-zero formula via inseparable correspondence phenomena.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines slicing operations Φ and Ψ on dominant correspondences and claims that they are bijections between sets of bounded-degree correspondences associated to a variety and a high-degree hypersurface (Theorems 2.5–2.8). Using these bijections, it derives an asymptotic formula for the correspondence degree of two unbalanced complete intersections: corr.deg(Y,Y′) ≈ d_1...d_r d′_1...d′_r K, where K is a constant depending only on the ambient varieties and their polarizations (Theorems 1.3 and 1.4). The proof relies on Cayley–Bacharach theory, specifically on Theorem 1.13 of the author's paper [1] and Proposition 4.2 of [2]. The paper also gives an example showing K need not equal mfd(M,A)², and it discusses failure in positive characteristic.
Significance. If correct, the result would provide the first asymptotic computation of correspondence degree for complete intersections in the unbalanced regime, answering a corrected version of a question of Lazarsfeld and Martin, and showing that the minimizing correspondence arises by slicing an ambient correspondence. It would also yield new consequences for covers of hypersurfaces. The exposition is mostly clear and the strategy is appealing. However, the central bijection theorem depends on an unverified transfer of a Cayley–Bacharach curve-existence theorem from projective space to arbitrary smooth projective varieties, so the main results are currently not supported.
major comments (3)
- [Section 5.1, Propositions 5.7 and 5.8] Theorem 1.13 of [1] is stated in Section 5.1 only for X = P^n and L = O(d). In the proof of Theorem 2.5, for an arbitrary smooth projective Y with very ample H and X ∈ |dH|, the fiber W_z is Cayley–Bacharach for K_X, and the author claims that the embedding Y ⊂ P^N 'gives us an embedding of W_z in P^N as a Cayley–Bacharach set', so that the P^n theorem applies. This transfer is not automatic and is generally false: being CB for K_X does not imply being CB for O_P^N(m)|_X, since K_X = (K_Y + dH)|_X need not be the restriction of O_P^N(m). Consequently the existence and uniqueness of the curve C_z of degree ≤ e' in Propositions 5.7 and 5.8 is unsupported; this underpins the bijectivity of Φ in Theorem 2.5 and hence the lower bound in Theorem 1.4.
- [Section 3, proof of Theorem 1.4] The proof asserts that the inequality ab < d_1...d_r d'_1...d'_r K 'implies' d_1 ≫ b/d_1 (with what appears to be a typo, 'b d1' for 'b/d1'). This implication is not valid: the inequality only gives b/d_1 < (d_2...d_r d'_1...d'_r K)/a, and if a is small (e.g., a=1), this quantity can be much larger than d_1. Thus the iterative application of Theorem 2.6 to lift W to W' is not justified, and the contradiction argument for the lower bound on corr.deg does not go through.
- [Section 5.3, Proposition 5.6] The proof uses the fact that a Cayley–Bacharach set for K_X contains at least d − O(1) points. This fact is stated in Section 5.1 only for X = P^n and L = O(d). The same unproved transfer from projective space to arbitrary smooth projective X occurs here. Without a proof of a general version, the conclusion that the curves C_1 and C_2 have a common component for d ≫ e' is not established.
minor comments (4)
- [Throughout] The text contains several typos and OCR artifacts, e.g., 'HYPERSURF ACES' in the running head, 'ìnfinity/asciiacute' in Remark 1.5, and 'often' for 'often'. A careful proofread is needed.
- [Section 3] In the proof of Theorem 1.4, the expression 'd1 ≫ b d1' should presumably be 'd_1 \gg b/d_1'; additionally, the punctuation in 'd1,d2 . . .dr ,d′ 1 . . .d′r K' is confusing.
- [Section 8] Propositions 8.2, 8.4, 8.6, and 8.8 are proved by 'mutatis mutandis'; since Theorems 2.6 and 2.8 rely on them, a fuller treatment would be helpful.
- [Section 2] The same notation DomCor is used for even and uneven correspondences; this is acknowledged but may still cause confusion, so a separate notation would be preferable.
Circularity Check
No significant circularity: K is an independent ambient minimum and the slicing bijections are genuine derivations, though a key curve-uniqueness input is self-cited from the author's prior work.
full rationale
The target asymptotic is not assumed as an input. In Theorem 1.4, K is defined independently as min{ab : deg W=(a,b), W a dominant r-correspondence between M and M'}; the upper bound is obtained by slicing a minimizing ambient correspondence, and the lower bound by lifting a hypothetical small correspondence via the slicing bijections. The bijections in Theorems 2.5-2.8 are derived from Cayley-Bacharach facts rather than being identical to the definitions of DomCor by construction. The main self-citation is the use of Theorem 1.13 of [1] in Section 5.1(2) for the existence and uniqueness of a minimal-degree curve through a Cayley-Bacharach set, invoked in Propositions 5.7 and 5.8. This is load-bearing, but it is a parameter-free theorem whose stated assumptions (Z in P^n, L=O(d)) do not include correspondence degree or the paper's main theorem, and nothing is fitted to force the paper's conclusion. Whether the transfer of that P^n theorem to arbitrary smooth Y via an embedding is valid is a correctness concern, not circularity. Accordingly, no circular step is identified; the score of 2 reflects the prominent self-citation rather than a reduction of the central claim to its own inputs.
Assumptions & free parameters
assumptions (5)
- standard math General fibers of a dominant correspondence from a smooth variety are Cayley-Bacharach divisors for the canonical bundle, Proposition 4.2 of [2].
- domain assumption Theorem 1.13 of [1]: existence and uniqueness of a minimal-degree curve through a suitable Cayley-Bacharach set.
- domain assumption Covering degree lower bound covdeg(X) is at least d minus O(1) for a smooth member X in |dH|, from Lemma 3.3 of [5] and Lemma 1.3 of [3].
- domain assumption The base field has characteristic 0, so all projections in question are separable and the trace/Cayley-Bacharach differential argument applies.
- standard math Relative Hilbert schemes parametrizing dominant correspondences admit stratifications on which the slicing maps are algebraic, Propositions 6.1 through 6.4.
Cite this review
Pith. "Pith review of Slicing Correspondences with High Degree Hypersurfaces." pith.science (2026). https://pith.science/paper/P2VUOCSM
@misc{pith2026250602977,
author = {Pith},
title = {Pith review of: Slicing Correspondences with High Degree Hypersurfaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/P2VUOCSM}},
note = {Machine review of arXiv:2506.02977}
}
abstract
We approximately compute the correspondence degree (as defined by Lazarsfeld and Martin) between two unbalanced complete intersections. This is accomplished by showing that the procedure of taking a subvariety of a product $Y \times Y'$ and intersecting it with $X \times Y'$ (for $X$ a sufficiently ample smooth divisor in $Y$) induces a bijection between two sets of varieties. This may be of independent interest.
Reference graph
Works this paper leans on
-
[1]
Ishan Banerjee, Error terms for the motives of discriminant complements and a Cayley-Bacharach theorem https://arxiv.org/abs/2403.07272
-
[2]
Francesco Bastianelli ,On symmetric products of curves, Trans. Amer. Math. Soc. 364 (2012), 2493-2519
work page 2012
-
[3]
F. Bastianelli, P. De Poi, L. Ein, R. Lazarsfeld, and B. Ullery, Measures of irrationality for hypersurfaces of large degree, Compositio Mathematica, 153 (2017), p. 2368–2393
work page 2017
- [4]
-
[5]
Jake Levinson, Brooke Ullery, David Stapleton, Minimal degree fibrations in curves and the asymptotic degree of irrationality of divisors https://arxiv.org/abs/2304.09963
- [6]
-
[7]
T etsuji Shioda, Toshiyuki Katsura. On Fermat varieties. T^ohoku Mathematical Journal, 31(1):97–115, 1979
work page 1979
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.