REVIEW 4 major objections 6 minor 21 references
On the Fukaya categories of projective hypersurfaces of general type
T0 review · 4 major / 6 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read This paper proves that every smooth projective hypersurface of degree $a>2n+1$ satisfies homological mirror symmetry, via a functor from the wrapped Fukaya category of an affine hypersurface to the Fukaya category of its boundary at…
desk verdict A plausible but underproved HMS theorem for high-degree hypersurfaces; the fullness of the Lagrangian-correspondence functor is asserted without proof. 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 carrying the argument is the Lagrangian correspondence $C\subset U\times X$ obtained from the contact boundary of the Liouville domain whose completion is $U$. The key identity that makes it work is the obstruction formula (1.5)--(1.7): every pseudoholomorphic disk class $\beta$ with boundary on $C$ has Maslov index $\mu(\beta)\ge 2(a-n-2)$, so the virtual evaluation $(\mathrm{ev}_\beta)_!^{\mathrm{virt}}(1)$ has degree $2-\mu(\beta)$ at least $2n+2$, exceeding $\dim C$; hence $m_0(1)=0$ and $C$ is unobstructed. Once unobstructed, $C$ defines an $A_\infty$ functor $\Phi\colon W(U)\to\mathcal{F}(X)$ via a Yoneda-style construction, and the paper attributes fullness to that Yoneda-embedding definition. The quotient by compact objects isolates the boundary contribution to $\Phi$, turning the mirror equivalence into a statement about a stable category.
What would settle it
Compute both sides of the dimension identity (1.22) for a concrete pair, say $n=2$, $a=6$: the Hochschild cohomology of $\mathrm{mf}([\mathbb{A}^4/G], x_1^6+\cdots+x_4^6 - x_1x_2x_3x_4)$ and the quantum cohomology of a smooth sextic surface in $\mathbb{CP}^3$. Any mismatch would refute the essential-surjectivity step and therefore Theorem 1.1.
Extended reading notes
Core claim
Theorem 1.1 asserts that for a smooth degree-$a$ hypersurface $X\subset\mathbb{CP}^{n+1}$ with $a>2n+1$, there is an equivalence $$\mathcal{F}(X)\simeq \mathrm{mf}\left([\mathbb{A}^{n+2}/G], w-x_1\cdots x_{n+2}\right),$$ where $w=x_1^a+\cdots+x_{n+2}^a$, $G$ is the diagonal symmetry group preserving the superpotential, and $\mathrm{mf}$ is the idempotent-complete category of equivariant matrix factorizations. The proof constructs the affine hypersurface $U=Y\setminus X$ for a smooth degree-$a$ $Y\subset\mathbb{CP}^{n+2}$ containing $X$ as a hyperplane section, so $X$ is the boundary at infinity of the Liouville completion of $U$. The contact boundary $C$ of that Liouville domain forms a Lagrangian correspondence $C\to U\times X$; the degree hypothesis forces the disk-counting obstruction $m_0(C)$ to vanish, so $C$ induces an $A_\infty$ functor $\Phi\colon W(U)\to\mathcal{F}(X)$. Because compact Lagrangians in $U$ are disjoint from $C$, this functor descends to the stable quotient $S(U)=W(U)/\mathcal{F}(U)$. The paper proves $\Phi$ is full and faithful on that quotient using explicit matrix-factorization morphism computations, and then uses a Hochschild cohomology dimension count to conclude essential surjectivity, completing the equivalence.
Load-bearing premise
The whole proof leans on the assumption that the contact-boundary correspondence over $X$ can be turned into a fully faithful functor between the two symplectic invariants; this transformation is cited from another work, with the Liouville generalization said to be straightforward and fullness asserted rather than shown.
Editorial extensions
If this is right
- For every smooth hypersurface $X\subset\mathbb{CP}^{n+1}$ of degree $a>2n+1$, homological mirror symmetry holds: $\mathcal{F}(X)$ is equivalent to the equivariant matrix factorization category with superpotential $x_1^a+\cdots+x_{n+2}^a-x_1\cdots x_{n+2}$.
- The stable wrapped Fukaya category $W(U)/\mathcal{F}(U)$ of the affine Milnor fiber $U$ is equivalent to the Fukaya category of its boundary $X$, so the non-compact geometry of $U$ fully determines the closed Fukaya category of $X$.
- The dimension identity $\dim HH^\ast = \dim QH^\ast$ for these hypersurfaces follows from the Jacobian-ring computation (1.28)--(1.35), identifying the quantum cohomology of $X$ with primitive cohomology as in the classical Griffiths description.
- The degree bound is explicit: for a fixed dimension $n$, all degrees $a\ge 2n+2$ are covered, so the proof supplies infinitely many new mirror equivalences in every dimension.
Reading between the lines
- The explicit threshold $a>2n+1$ is likely not sharp: the proof really uses the Maslov-index bound (1.7) and the non-congruence of Floer cohomology degrees $0$ and $n$ modulo $2(a-n-2)$, so any degree range preserving those inequalities should admit the same equivalence.
- The same contact-boundary mechanism should extend to other families of projective varieties that are boundaries at infinity of Liouville domains, for example complete intersections, whenever the corresponding disk obstruction vanishes by a dimension count.
- A categorical consequence of the argument is a general template: the Fukaya category of a closed symplectic manifold can be recovered from the wrapped Fukaya category of its affine complement after localizing away compact objects, which may offer a uniform route from Landau–Ginzburg models to closed mirror symmetry.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves (Theorem 1.1) homological mirror symmetry for every smooth degree-a hypersurface X ⊂ CP^{n+1} with a > 2n+1, identifying the balanced, Z/2-graded, idempotent-complete Fukaya category F(X) with the equivariant matrix-factorization category mf([A^{n+2}/G], w − x_1⋯x_{n+2}), where w = Σ x_i^a and G is the finite group in (1.3). The strategy is to choose a smooth degree-a hypersurface Y ⊃ X and study the affine complement U = Y∖X, a Liouville manifold whose contact boundary C is an S^1-bundle over X. The author argues that C is an unobstructed Lagrangian correspondence in U × X: the Maslov/dimension bound (1.7) forces the obstruction m0(1) to vanish, so by [Fuk] the correspondence induces an A∞ functor Φ: W(U) → F(X) (with a one-sentence Liouville generalization). Since compact Lagrangians in U are disjoint from C, Φ descends to the stable Fukaya category S(U) = W(U)/F(U). Mirror-side inputs [LU, Thm 4.1] and [LU, §5.1] identify W(U) and S(U) with equivariant matrix-factorization categories, in which the thimbles L_i have explicitly computed Hom spaces (free modules over k[s^{±a}] of rank one or two). A grading argument gives Φ(s_L^a) = λ·id_V with λ ∈ k^*, so Φ descends to S(U) ⊗_{k[s^a]} k[s^a]/(s^a − λ) ≅ mf([Spec S/G], w̃).
Significance. If the proof can be completed, this is a major result: homological mirror symmetry for all smooth projective hypersurfaces of sufficiently high degree, obtained by a uniform argument. The mechanism — passing from the wrapped Fukaya category of an affine complement to the Fukaya category of its contact boundary at infinity via a Lagrangian correspondence — is attractive and likely reusable beyond this example. The paper includes several concrete and checkable computations that deserve explicit credit: the Maslov/dimension bound (1.7), the explicit Hom computation in S(U) on the mirror side, and the Hochschild dimension count (1.28)–(1.35), which matches equivariant matrix-factorization Hochschild cohomology against Griffiths' primitive-cohomology count and is independent of the construction of Φ. The dependence on [LU, Thm 4.1] and [LU, §5.1] is not, on its face, circular: those statements concern Brieskorn–Pham Milnor fibers and do not by themselves imply the target equivalence.
major comments (4)
- [§1, p. 3, sentence after the Hom computation] The statement 'The functor Φ is full since it is defined using the Yoneda embedding' is the load-bearing step of the paper and is not a valid argument. The Yoneda embedding is full and faithful as an embedding of a category into its category of right modules, but Φ is a geometric A∞ functor between Fukaya categories induced by the Lagrangian correspondence C; its fullness is the statement that the quilted/disk counts induce surjections Hom_W(U)(L,K) → Hom_F(X)(C∘L, C∘K), and this does not follow from the Yoneda lemma. No theorem in [Fuk] is identified that proves fullness of a correspondence functor in this setting, and the papers [WW10, MWW18, LL13] are cited only for the existence of the underlying structures. If Φ (or its descent Ψ) is not full, the map from S(U) ⊗_{k[s^a]} k[s^a]/(s^a − λ) ≅ mf([Spec S/G], w̃) to F(X) is not known to be full, the 'full and faithful' conclusion collapses, and the Hochschild dimension check at the end cannot repair a missing surjectivity on Hom spaces. The author should either prove fullness for the relevant pairs of thimbles (for instance, by computing the maps HF(L_i,L_j) → HF(V_i,V_j) explicitly in the coordinates of (1.16) and the identification (1.13)–(1.14)) or provide a precise citation to a theorem establishing fullness of correspondence functors in the Liouville setting.
- [§1, Eq. (1.8)] The existence of Φ: W(U) → F(X) is cited to [Fuk], an unpublished preprint developed in the compact setting, and the extension to the Liouville setting is dispatched with the sentence 'the generalization to the Liouville setting is straightforward, since C is compact.' This is a substantial black box: the source is the wrapped Fukaya category of a Liouville manifold, whose objects are noncompact Lagrangians and whose A∞ structure involves Hamiltonian functions growing at infinity, and the compatibility of the correspondence construction with that wrapped structure — including the asserted vanishing on the compact subcategory F(U) used in (1.9) — is not spelled out. Since [Gaoa] and [Gaob] are also preprints, the reader cannot verify this step from the published record. The paper should state precisely which theorem in which reference constructs a filtered A∞ functor from a wrapped Fukaya category to another Fukaya category from a compact Lagrangian correspondence, or should provide the argument.
- [§1, final paragraph (p. 3)] The passage from the scalar computation Φ(s_L^a) = λ·id_V to the conclusion that 'Φ induces a full and faithful functor' from the localized category is not written out and is incomplete as it stands. Fullness of the descended functor inherits from the unproved fullness of Φ (see the first major comment), while faithfulness requires showing that the rank-one (respectively rank-two) free generators of Hom_S(U)(L_i,L_j) computed on the mirror side do not map to zero or to proportional classes in HF(V_i,V_j); this injectivity is not demonstrated. In addition, the independence of λ from L is justified by the sentence 'any pair of vanishing cycles can be connected by a chain of vanishing cycles with non-trivial Floer cohomologies between them', which is only a sketch: the connecting morphisms need to be specified with their degrees, and the naturality argument requires the corresponding source-side morphisms in S(U) to exist and to map to nonzero classes. Please provide a complete proof of the full-and-faithfulness of the descended functor.
- [§1, Eqs. (1.13)–(1.14), (1.19), (1.22)] Several load-bearing inputs are cited to the author's companion works [LU, Theorem 4.1], [LU, Section 5.1], and [LU22, Theorem 6.11], which are arXiv preprints. In particular, the quasi-equivalence (1.13), the identification S(U) ≅ W(U) ⊗_{k[s^a]} k[s^{±a}], and the mirror statement about the monodromy natural transformation are the bridge between the geometric stable Fukaya category and the matrix-factorization categories used throughout the rest of the proof, and I cannot verify these inputs from the present text. This is a verifiability concern about load-bearing inputs, not an accusation of circularity: the quoted statements do not by themselves imply the target equivalence, and the final Hochschild check in (1.22) is a separate computation. The author should either state the exact theorems being used, with all hypotheses and grading conventions, or indicate precisely where these results have appeared in refereed form.
minor comments (6)
- [§1, Eq. (1.7)] The inequality 2 − μ(β) ≥ 2 + 2(a − n − 2) is not readable without the Maslov index convention: with the standard convention μ(β) is nonnegative, so the displayed inequality appears to force a negative lower bound on μ(β). Please specify the convention used for the Maslov index of disks with boundary on C and rewrite (1.7) so that the sign convention is explicit.
- [§1, p. 3] The word 'full' should be 'cohomologically full' throughout, with the relevant Hom complexes and degrees made explicit; the geometric meaning in terms of surjectivity of the induced maps on Floer cohomology should be stated.
- [§1, Eq. (1.28)–(1.29)] Please specify the character χ and the grading conventions used in (1.28)–(1.29), and state explicitly why the invariant part of the Jacobi ring is spanned by the classes (x_1⋯x_{n+2})^i for i = 0,…,n; the factors a in the relations a x_i^{a−1} − ∏_{l≠i} x_l require a normalization that is not discussed in the text.
- [§1, Eq. (1.28)] The grading degree t to which each summand in (1.28) contributes is only implicit (through the condition t − dim N_γ = 2); the author should state explicitly that the nontrivial γ-summands described after (1.32) lie in HH^2, since the reader otherwise has to reconstruct this to compare with the Poincaré-polynomial content of (1.22).
- [Title and abstract] The phrase 'of general type' is never justified in the text; it follows from K_X = O_X(a − n − 2), which is ample under (1.1), and this should be stated for the reader's convenience.
- [References] The numbering and hypotheses of [Gan, Theorem 3] and of the results cited from [San21] should be checked against the current arXiv versions, and the hypotheses used in applying [Gan, Theorem 3] (such as the relevant smoothness, properness, and the meaning of dim QH^*(X)) should be stated in the text.
Circularity Check
No significant circularity: the proof's mirror-side input is independent, and the final Hochschild dimension check is a direct computation.
full rationale
The derivation chain is a standard localization argument: the wrapped Fukaya category of the Milnor fiber U is identified with a matrix factorization category via the self-cited theorem [LU, Theorem 4.1] (equation 1.13); then the quotient S(U)=W(U)/F(U) is shown to be the localization of the mirror by the monodromy action, using [LU, Section 5.1] and [LU22, Theorem 6.11]; finally the geometric functor Phi from the Lagrangian correspondence C maps this localized category to F(X), and fullness/faithfulness plus the independent dimension equality (1.22) give the equivalence. The self-citations [LU] and [LU22] are load-bearing but they are parameter-free theorems about Brieskorn-Pham Milnor fibers and their monodromy, not statements about the projective hypersurface X, so they do not assume the target equivalence. The final check (1.22) is a Jacobi-ring/Griffiths computation that is carried out in the paper and does not depend on the theorem being proved. No fitted constants, normalization identities, or definitions in terms of the target occur. The only questionable point is the sentence about fullness of Phi being a consequence of the Yoneda embedding; that is an unproved assertion about a geometric A-infinity functor, not a circular reduction, because it does not identify the conclusion with an input. This is a correctness gap to be weighed elsewhere, but it is not circularity. Therefore the paper does not exhibit circular reasoning by construction, and the circularity score is 0.
Assumptions & free parameters
assumptions (6)
- domain assumption Algebraically closed ground field k of characteristic zero
- domain assumption Degree bound a > 2n+1 and n > 1
- domain assumption Existence of a Liouville structure on U = Y \ X and contact boundary C with Reeb S1-action quotient X
- standard math Functoriality of A-infinity functors from Lagrangian correspondences in the Liouville setting, from [Fuk] and related works
- standard math Quasi-equivalence W(U) ≅ mf([A^{n+3}/H], w - x0...x_{n+2}) from [LU, Theorem 4.1]
- standard math Essential surjectivity criterion dim HH* = dim QH* from [Gan, Theorem 3]
Cite this review
Pith. "Pith review of On the Fukaya categories of projective hypersurfaces of general type." pith.science (2026). https://pith.science/paper/RLAVBC5X
@misc{pith2026250500910,
author = {Pith},
title = {Pith review of: On the Fukaya categories of projective hypersurfaces of general type},
year = {2026},
howpublished = {\url{https://pith.science/paper/RLAVBC5X}},
note = {Machine review of arXiv:2505.00910}
}
read the original abstract
We prove homological mirror symmetry for projective hypersurfaces of sufficiently high degree using a functor from the wrapped Fukaya category of an affine hypersurface to the Fukaya category of its boundary at infinity.
Reference graph
Works this paper leans on
-
[1]
Matthew Ballard, David Favero, and Ludmil Katzarkov, A category of kernels for equivariant factorizations and its implications for H odge theory , Publ. Math. Inst. Hautes \'Etudes Sci. 120 (2014), 1--111. 3270588
work page 2014
-
[2]
Andrei C a ld a raru and Junwu Tu, Curved A_ algebras and L andau- G inzburg models , New York J. Math. 19 (2013), 305--342. 3084707
work page 2013
-
[3]
Tobias Dyckerhoff, Compact generators in categories of matrix factorizations, Duke Math. J. 159 (2011), no. 2, 223--274. 2824483 (2012h:18014)
work page 2011
-
[4]
Efimov, Homological mirror symmetry for curves of higher genus, Adv
Alexander I. Efimov, Homological mirror symmetry for curves of higher genus, Adv. Math. 230 (2012), no. 2, 493--530. 2914956
work page 2012
-
[5]
Kenji Fukaya, Unobstructed immersed L agrangian correspondence and filtered A infinity functor , arXiv:1706.02131
-
[6]
Benjamin Gammage, Mirror symmetry for B erglund- H \" u bsch M ilnor fibers , Adv. Math. 443 (2024), Paper No. 109563, 45. 4713718
work page 2024
-
[7]
Sheel Ganatra, Automatically generating F ukaya categories and computing quantum cohomology , rXiv:1605.07702
-
[8]
Yuan Gao, Functors of wrapped fukaya categories from lagrangian correspondences, arXiv:1712.00225
Show all 21 references
-
[9]
, Wrapped F loer cohomology and L agrangian correspondences , arXiv:1703.04032
-
[10]
Maxim Jeffs, Mirror symmetry and F ukaya categories of singular hypersurfaces , Adv. Math. 397 (2022), Paper No. 108116, 36. 4377932
2022
-
[11]
Tatsuki Kuwagaki, Adrian Petr, and Vivek Shende, On F ukaya categories and prequantization bundles , arXiv:2406.08852
-
[12]
Yank Lekili and Max Lipyanskiy, Geometric composition in quilted F loer theory , Adv. Math. 236 (2013), 1--23. 3019714
2013
-
[13]
Yank Lekili and Kazushi Ueda, Homological mirror symmetry for R abinowitz F ukaya categories of M ilnor fibers of B rieskorn-- P ham singularities , arXiv:2406.15915
-
[14]
, Homological mirror symmetry for M ilnor fibers via moduli of A_ -structures , J. Topol. 15 (2022), no. 3, 1058--1106. 4442683
2022
-
[15]
S. Ma'u, K. Wehrheim, and C. Woodward, A_ functors for L agrangian correspondences , Selecta Math. (N.S.) 24 (2018), no. 3, 1913--2002. 3816496
2018
-
[16]
Dmitri Orlov, Formal completions and idempotent completions of triangulated categories of singularities, Adv. Math. 226 (2011), no. 1, 206--217. 2735755
2011
-
[17]
Fumihiko Sanda, Computation of quantum cohomology from F ukaya categories , Int. Math. Res. Not. IMRN (2021), no. 1, 769--803. 4198511
2021
-
[18]
Noncommut
Ed Segal, The closed state space of affine L andau- G inzburg B -models , J. Noncommut. Geom. 7 (2013), no. 3, 857--883. 3108698
2013
-
[19]
P art 1, Proc
Paul Seidel, Symplectic homology as H ochschild homology , Algebraic geometry--- S eattle 2005. P art 1, Proc. Sympos. Pure Math., vol. 80, Amer. Math. Soc., Providence, RI, 2009, pp. 415--434. 2483942 (2010c:53129)
2005
-
[20]
Algebraic Geom
, Homological mirror symmetry for the genus two curve, J. Algebraic Geom. 20 (2011), no. 4, 727--769. 2819674 (2012f:53186)
2011
-
[21]
Woodward, Functoriality for L agrangian correspondences in F loer theory , Quantum Topol
Katrin Wehrheim and Chris T. Woodward, Functoriality for L agrangian correspondences in F loer theory , Quantum Topol. 1 (2010), no. 2, 129--170. 2657646 (2011g:53193)
2010
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.