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 statements:
- Section 2 · arXiv:1208.3863v6, PDF pp. 5–11Conical-resolution contextual setup.
- Sections 5 and 5.3 · arXiv:1208.3863v6, §5 p. 39 onward; §5.3 pp. 45–50Localization.
- Lemma 3.14 · arXiv:1208.3863v6, PDF p. 26Opposite reduction.
- Section 6.1 · arXiv:1208.3863v6, PDF pp. 58–63HC translation bimodules.
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:1208.3863v6
Quantizations of conical symplectic resolutions I: local and global structure
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 ↗01Statements4 reported findingsSuspected unsupported statements
Selected claim text and its focal use were checked in the frozen exact versioned source. The source proofs and antecedent citations are outside this bounded first-order shell, so no selected claim is certified merely from its locator.
Claim content and focal mappingStatement located; proof closure not independently verified
Section 2
arXiv:1208.3863v6, Section 2, PDF pp. 5–11; Focal arXiv:1501.01260v4, §§2.2–2.3 and 4.2–4.3, PDF pp. 4–6 and 14–16.
The located section supplies definitions and structural setup for conical symplectic resolutions. Focal Section 2.2 cites it as context; it is deliberately not mapped as a theorem parent of Theorem 1.3(i). The audit verifies this statement-to-focal-role mapping only; it does not certify the source proof or any unexpanded antecedent.
Official arXiv:1208.3863v6 ↗Claim content and focal mappingStatement located; proof closure not independently verified
Section 5 and 5.3
arXiv:1208.3863v6, Section 5 PDF p. 39 onward; Section 5.3 PDF pp. 45–50; Focal arXiv:1501.01260v4, §§2.2–2.3 and 4.2–4.3, PDF pp. 4–6 and 14–16.
The located pages contain the localization route used in the conical-resolution branch. The focal use needs its parameter and localization hypotheses; their full verification is bounded with the selected source proof chain. The audit verifies this statement-to-focal-role mapping only; it does not certify the source proof or any unexpanded antecedent.
Official arXiv:1208.3863v6 ↗Claim content and focal mappingStatement located; proof closure not independently verified
Lemma 3.14
arXiv:1208.3863v6, Lemma 3.14, PDF p. 26; Focal arXiv:1501.01260v4, §§2.2–2.3 and 4.2–4.3, PDF pp. 4–6 and 14–16.
The lemma supplies the opposite quantum-Hamiltonian-reduction relation used in focal Section 2.3 and the Hamiltonian-reduction part of Section 4.2. The audit preserves this narrow relation and does not treat it as a general localization theorem. The audit verifies this statement-to-focal-role mapping only; it does not certify the source proof or any unexpanded antecedent.
Official arXiv:1208.3863v6 ↗Claim content and focal mappingStatement located; proof closure not independently verified
Section 6.1
arXiv:1208.3863v6, Section 6.1, PDF pp. 58–63; Focal arXiv:1501.01260v4, §§2.2–2.3 and 4.2–4.3, PDF pp. 4–6 and 14–16.
The located section gives the Harish-Chandra and translation-bimodule framework cited in focal Section 4.3. It is tracked as a source input only at that framework level; its internal construction is not recursively expanded. The audit verifies this statement-to-focal-role mapping only; it does not certify the source proof or any unexpanded antecedent.
Official arXiv:1208.3863v6 ↗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, §§2.2–2.3 and 4.2–4.3, PDF pp. 4–6 and 14–16.
Version 6 correction/corrigendum context and source proof dependencies are not fully reconciled here.
Frozen exact arXiv:1208.3863v6 ↗03Novelty0 reported findingsNo novelty concerns found
No non-novelty findings.