REVIEW 2 major objections 2 minor
Reviewed by Pith at T0; open to challenge.
T0 means a machine referee read the full paper against a public rubric. The mark states how deep the mechanical check went, never who wrote it. the ladder, T0–T4 →
T0 review · grok-4.3
A tangential codimension formula equates logarithmic codimensions of toroidal tangential divisorial cylinders with tangential discrepancies for foliations on threefolds.
2026-07-03 06:19 UTC pith:JPUQC7NN
load-bearing objection The tangential arc confinement lets the paper reduce foliated discrepancies to ordinary ones via Ein-Mustaţă--Yasuda, but that step is the one to check first. the 2 major comments →
Foliated and Mather-Jacobian discrepancies via tangential arcs
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The tangential codimension formula identifies logarithmic codimensions of toroidal tangential divisorial cylinders with the corresponding tangential discrepancies, giving a toroidal tangential inversion of adjunction and a cylinder criterion for tangential log canonicity.
What carries the argument
The tangential arc-space approach, which confines reduced tangential arcs to the separatrix divisor in the non-resonant case and transfers the discrepancy calculus via foliated adjunction to ordinary adjunction pairs on normalised branches and conductors.
Load-bearing premise
Reduced tangential arcs centred on the prescribed tangential locus remain confined to the fixed invariant normal-crossing separatrix divisor in the non-resonant logarithmic case.
What would settle it
An explicit reduced tangential arc centred on the tangential locus that escapes the separatrix divisor in a non-resonant logarithmic foliation on a threefold, or a direct computation on a concrete example where the claimed codimension-discrepancy equality fails.
If this is right
- It supplies a branch-conductor description of the tangential non-lc and non-klt loci.
- It yields a cylinder criterion for tangential log canonicity.
- It establishes lower semicontinuity of the toroidal tangential minimal log discrepancy.
- It produces a relative Mather-Jacobian refinement for the canonical image separatrix system.
Where Pith is reading between the lines
- The reduction via foliated adjunction may let one compute tangential discrepancies in higher-dimensional foliations by descending to surface adjunction problems.
- The arc-confinement property could extend to resonant logarithmic cases or to foliations of different co-rank if suitable separatrix conditions are imposed.
- The codimension formula might furnish an effective way to test log canonicity by checking codimensions of certain cylinders rather than running the full discrepancy computation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a tangential arc-space approach to foliated discrepancies for logarithmic simple co-rank one foliations on threefolds relative to a fixed invariant normal-crossing separatrix divisor. In the non-resonant logarithmic case, it claims to prove that reduced tangential arcs centred on the prescribed tangential locus are confined to this divisor. This allows the tangential sector to be represented by the normalised separatrix-conductor system, with foliated adjunction transferring discrepancy computations to ordinary adjunction pairs on the strata. Applying the Ein-Mustaţă--Yasuda arc-space theorem then yields a tangential codimension formula equating logarithmic codimensions of toroidal tangential divisorial cylinders with the corresponding tangential discrepancies. Consequences include a toroidal tangential inversion of adjunction, a branch-conductor description of the tangential non-lc and non-klt loci, a cylinder criterion for tangential log canonicity, lower semicontinuity of the toroidal tangential minimal log discrepancy, and a relative Mather-Jacobian refinement for the canonical image separatrix system.
Significance. If the confinement of reduced tangential arcs holds, the work supplies a new arc-space framework for foliated discrepancies that reduces to established theorems via adjunction, yielding concrete criteria (inversion of adjunction, cylinder test) and descriptions of non-lc loci. The explicit reduction to the Ein-Mustaţă--Yasuda theorem on the normalised strata is a methodological strength, as is the production of falsifiable predictions such as the cylinder criterion and lower semicontinuity statements.
major comments (2)
- [non-resonant logarithmic case / confinement statement] Non-resonant logarithmic case (abstract and the section establishing confinement of reduced tangential arcs): the claim that every reduced tangential arc centred on the prescribed tangential locus lies inside the fixed invariant normal-crossing separatrix divisor is load-bearing for the entire codimension formula. The argument uses the non-resonant hypothesis to confine arcs to the separatrix-conductor system before applying foliated adjunction; if even one family of reduced arcs escapes, extraneous contributions appear in the codimension calculation and the identification between logarithmic codimensions of toroidal tangential divisorial cylinders and tangential discrepancies fails. The manuscript should supply an explicit verification that no escaping families exist under the stated hypotheses, perhaps by exhibiting the local equations or using the simple co-rank one assumption to deri
- [application of arc-space theorem on strata] Transfer via foliated adjunction to ordinary adjunction pairs (section applying Ein-Mustaţă--Yasuda on the strata): after confinement, the discrepancy calculus is moved to the normalised branches and conductors. The manuscript must confirm that the toroidal and divisorial-cylinder conditions required by the Ein-Mustaţă--Yasuda theorem are preserved exactly under this transfer, without additional error terms arising from the foliation or the separatrix normalisation. Any mismatch would invalidate the direct application and the resulting codimension formula.
minor comments (2)
- [introduction] The introduction could include a short table or diagram summarising the chain: confinement → foliated adjunction → Ein-Mustaţă--Yasuda → codimension formula, to improve readability of the logical flow.
- [notation] Notation for 'toroidal tangential divisorial cylinders' and 'tangential discrepancies' is introduced densely; a dedicated notation subsection or glossary would aid readers unfamiliar with the foliated arc-space setting.
Simulated Author's Rebuttal
We thank the referee for the careful and constructive report. The two major comments concern the explicitness of the confinement argument in the non-resonant case and the verification that the Ein-Mustaţă--Yasuda hypotheses are preserved under foliated adjunction. We address each below and indicate the revisions we will make.
read point-by-point responses
-
Referee: Non-resonant logarithmic case (abstract and the section establishing confinement of reduced tangential arcs): the claim that every reduced tangential arc centred on the prescribed tangential locus lies inside the fixed invariant normal-crossing separatrix divisor is load-bearing for the entire codimension formula. The argument uses the non-resonant hypothesis to confine arcs to the separatrix-conductor system before applying foliated adjunction; if even one family of reduced arcs escapes, extraneous contributions appear in the codimension calculation and the identification between logarithmic codimensions of toroidal tangential divisorial cylinders and tangential discrepancies fails. The manuscript should supply an explicit verification that no escaping families exist under the stated hypotheses, perhaps by exhibiting the local equations or using the simple co-rank one assumption to deri
Authors: The confinement is proved in Theorem 3.5 by a contradiction argument that invokes the simple co-rank one hypothesis together with the non-resonance condition on the local defining 1-form of the foliation. Any reduced tangential arc escaping the separatrix would force a resonance in the coefficients of that 1-form along the arc, contradicting the hypothesis. To address the request for greater explicitness we will insert, in the revised version, a short local-coordinate computation (in the style of the coordinate charts already used in §2) that writes the forbidden resonance explicitly and shows it cannot occur. revision: partial
-
Referee: [application of arc-space theorem on strata] Transfer via foliated adjunction to ordinary adjunction pairs (section applying Ein-Mustaţă--Yasuda on the strata): after confinement, the discrepancy calculus is moved to the normalised branches and conductors. The manuscript must confirm that the toroidal and divisorial-cylinder conditions required by the Ein-Mustaţă--Yasuda theorem are preserved exactly under this transfer, without additional error terms arising from the foliation or the separatrix normalisation. Any mismatch would invalidate the direct application and the resulting codimension formula.
Authors: Proposition 4.2 records that the foliated adjunction map sends toroidal tangential divisorial cylinders on the ambient space to ordinary toroidal divisorial cylinders on the normalised branches, with no extra error terms precisely because the separatrix is invariant and the foliation is logarithmic. The proof of the proposition uses the fact that the conductor ideal is generated by the same local equations that define the toroidal structure, so the cylinder conditions pass unchanged. We will add a one-paragraph remark immediately after the statement of Proposition 4.2 that spells out this compatibility with the hypotheses of Ein-Mustaţă--Yasuda. revision: partial
Circularity Check
No significant circularity; derivation relies on external theorem after independent internal proof.
full rationale
The paper first establishes the confinement of reduced tangential arcs to the separatrix divisor in the non-resonant case as a standalone result, then uses foliated adjunction to reduce to ordinary adjunction pairs where the external Ein-Mustaţă--Yasuda arc-space theorem applies directly to obtain the tangential codimension formula. No load-bearing step reduces by definition, by fitted-parameter renaming, or by self-citation chain to the target claims; the central identification is a consequence of the external theorem on the post-confinement strata rather than a tautology or internal fit.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Logarithmic simple co-rank one foliations on threefolds admit an invariant normal-crossing separatrix divisor.
- domain assumption Ein-Mustaţă--Yasuda arc-space theorem applies to the normalized branches and conductors after foliated adjunction.
read the original abstract
This article develops a tangential arc-space approach to foliated discrepancies for logarithmic simple co-rank one foliations on threefolds, relative to a fixed invariant normal crossing separatrix divisor. In the non-resonant logarithmic case, reduced tangential arcs centred on the prescribed tangential locus are confined to this divisor. The tangential sector is therefore presented, at the reduced arc level, by the normalised separatrix-conductor system. Foliated adjunction transfers the discrepancy calculus to ordinary log pairs obtained by adjunction on the normalised branches and conductors. The arc-space theorem of Ein-Musta\c{t}\u{a}-Yasuda, applied on these strata, then gives a tangential codimension formula identifying logarithmic codimensions of toroidal tangential divisorial cylinders with the corresponding tangential discrepancies. For toroidal invariant divisors read on branches, this tangential discrepancy agrees with the usual foliated discrepancy. The resulting theory gives toroidal tangential inversion of adjunction, a branch--conductor description of the tangential non-lc and non-klt loci, a cylinder criterion for tangential log canonicity, lower semicontinuity of the toroidal tangential minimal log discrepancy, and a relative Mather-Jacobian refinement for the canonical image separatrix system.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.