arXiv:math/0612171v2
Abstract
We show that for any and any `drifting away from walls', Dirichlet's Theorem cannot be -improved along for Lebesgue almost every system of linear forms (see the paper for definitions). In the case we also show that for a large class of measures there is such that for any drifting away from walls , any , and for -almost every , Dirichlet's Theorem cannot be -improved along . These measures include natural measures on sufficiently regular smooth manifolds and fractals. Our results extend those of several authors beginning with the work of Davenport and Schmidt done in late 1960s. The proofs rely on a translation of the problem into a dynamical one regarding the action of a diagonal semigroup on the space .
AI-generated audit
Audit summary
Not a correctness certificate. A “Correct” result may include yellow typos or minor formal corrections that do not affect substantive soundness. It means this audit found no unresolved substantive error under the stated criteria; it does not replace expert scrutiny or formal verification.
Current report
Detailed mathematical audit
01Statements2 reported findingsCorrect
The generic non-improvability theorem away from Weyl-chamber walls, its good/nonplanar-measure extension, and the thickness result for weighted badly approximable systems are correct.
Generic non-improvability along drifting parameter sets
Pages 3–5 and Section 2 · Theorem 1.4 · arXiv:math/0612171v2
Equidistribution of the expanding translates implies that a positive-measure set cannot eventually remain in the compact subset encoding a uniform improvement. Drifting away from all walls supplies expansion in every relevant root direction, exactly the hypothesis required by the translate theorem.
Full paper, version 2 ↗Good/nonplanar measures and weighted badly approximable sets
Pages 5–6 and Sections 3–4 · Theorem 1.5 and Corollary 4.5 · arXiv:math/0612171v2
Quantitative nondivergence controls the cusp excursions of every primitive exterior vector for a good nonplanar map. The weighted diagonal flow then gives the stated zero-measure non-improvability conclusion, while the modified Schmidt-game construction yields thickness of the weighted badly approximable set.
02Proofs2 reported findingsCorrect
The equidistribution, quantitative nondivergence, and weighted-flow arguments are correct and complete.
Expanding translates equidistribute in the required chamber
Section 2 · Theorem 2.2 · arXiv:math/0612171v2
The proof reduces to nonescape of mass and mixing on the expanding horospherical subgroup. The distance-from-walls condition gives uniform expansion of every nontrivial character, so the compactly supported test-function limit is uniform over the parameter set used later.
Nondivergence and the weighted correspondence align
Sections 3–4 · Theorem 3.5 · arXiv:math/0612171v2
Goodness bounds the small-value sets, nonplanarity gives a uniform lower covolume on a smaller ball, and the exterior-power theorem controls all primitive ranks. The weighted Dani correspondence uses those same diagonal exponents, and the game strategy preserves the required lower bound at every stage.
03Novelty0 reported findingsNo non-novelty findings
No non-novelty findings.