Published paper
Abstract
Selected proof-dependency source recorded for the bounded audit of arXiv:1501.01260v4.
Role in dependence graphs
Proof-critical source
Bernstein inequality and holonomic modules
This paper is included only for the following marked statement:
- Theorem and Main Theorem · arXiv:1301.1008v6, PDF p. 1Finite algebraic pi-one under stated hypotheses.
AI-generated audit
Audit summary
Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.
Exact reviewed source
Frozen exact arXiv:1301.1008v6
Fundamental groups of symplectic singularities
The exact versioned arXiv PDF was frozen and inspected because publisher full text was not acquired for this review. It is a fallback, not a claimed version of record.
Open audited source ↗01Statements2 reported findingsSuspected unsupported statements
Namikawa's exact theorem was located, but its focal leafwise applicability is a separate unresolved obligation. The source theorem and the focal transfer are not conflated.
Claim content and focal mappingStatement located; proof closure not independently verified
Theorem and Main Theorem
arXiv:1301.1008v6, Theorem and Main Theorem, PDF p. 1; Focal arXiv:1501.01260v4, §4.3, PDF p. 15.
The theorem gives finiteness of the algebraic fundamental group under positively graded affine and klt hypotheses. The source conclusion is distinct from the focal claim about each relevant leaf; the leafwise hypothesis transfer is separately marked unresolved. The audit verifies this statement-to-focal-role mapping only; it does not certify the source proof or any unexpanded antecedent.
Official arXiv:1301.1008v6 ↗Focal applicabilityFocal applicability not independently verified
Leafwise hypothesis transfer is unresolved
Focal arXiv:1501.01260v4, §4.3, PDF p. 15.
The focal argument applies the theorem leaf by leaf. The frozen source theorem requires positively graded affine and klt hypotheses; the audit has not verified those hypotheses for every focal leaf, so this is not reported as a source statement located in Namikawa.
Official focal arXiv:1501.01260v4 ↗02Proofs1 reported findingFurther proof verification needed
The selected proof route is bounded: the source's own proof dependencies have not been recursively closed in this audit.
Proof boundaryProof closure not independently verified
No recursive closure is claimed
Focal arXiv:1501.01260v4, §4.3, PDF p. 15.
The source theorem proof and focal leafwise hypothesis check are not recursively closed.
Frozen exact arXiv:1301.1008v6 ↗03Novelty0 reported findingsNo novelty concerns found
No non-novelty findings.