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:1010.3182v3, PDF pp. 6–14Parameter framework.
- Section 2.3 · arXiv:1010.3182v3, PDF pp. 11–14Opposite-parameter setup.
- Section 6.2 and Theorem 6.2.1 · arXiv:1010.3182v3, §6 pp. 38–52; §6.2/Thm. 6.2.1 p. 40Special Gamma-n spherical SRA case.
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:1010.3182v3
Isomorphisms of quantizations via quantization of resolutions
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 ↗01Statements3 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:1010.3182v3, Section 2, PDF pp. 6–14; Focal arXiv:1501.01260v4, §2.2 PDF pp. 4–5 and Remark:SRA PDF p. 16.
The section supplies the quantization parameter framework cited in focal Section 2.2. It is conceptual setup rather than an independently asserted theorem parent of Theorem 1.3. The audit verifies this statement-to-focal-role mapping only; it does not certify the source proof or any unexpanded antecedent.
Official arXiv:1010.3182v3 ↗Claim content and focal mappingStatement located; proof closure not independently verified
Section 2.3
arXiv:1010.3182v3, Section 2.3, PDF pp. 11–14; Focal arXiv:1501.01260v4, §2.2 PDF pp. 4–5 and Remark:SRA PDF p. 16.
The section supplies the opposite-parameter comparison setup cited in focal Section 2.2. The audit records that notation/parameter role only and does not infer a separate downstream theorem from the citation. The audit verifies this statement-to-focal-role mapping only; it does not certify the source proof or any unexpanded antecedent.
Official arXiv:1010.3182v3 ↗Claim content and focal mappingStatement located; proof closure not independently verified
Section 6.2 and Theorem 6.2.1
arXiv:1010.3182v3, Section 6 PDF pp. 38–52; Section 6.2 and Theorem 6.2.1 PDF p. 40; Focal arXiv:1501.01260v4, §2.2 PDF pp. 4–5 and Remark:SRA PDF p. 16.
The exact selected result is the special Gamma-n spherical symplectic-reflection-algebra case. Focal Remark:SRA cites this special case; it is explicitly excluded as proof support for general Theorem 1.3(iii). The audit verifies this statement-to-focal-role mapping only; it does not certify the source proof or any unexpanded antecedent.
Official arXiv:1010.3182v3 ↗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 PDF pp. 4–5 and Remark:SRA PDF p. 16.
The proof dependencies in the three selected sections are unexpanded.
Frozen exact arXiv:1010.3182v3 ↗03Novelty0 reported findingsNo novelty concerns found
No non-novelty findings.