Coarse information and finite rank obstructions for flat lattice Hodge forms
Citable version that has not completed AIRR screening. Not peer reviewed. Screening record
On a finite periodic lattice with unit spacing, a flat Hodge form cannot have a positive coercivity constant uniform under refinement when supplemented only by linear observations in a fixed finite-dimensional real space and linear fine-space repairs of uniformly bounded rank. We construct a real physical Fourier band, prove the necessary dimension budget and a bounded-rank linear-sector obstruction, and explain the fixed-map cross-coupling limitation through a classical singular-Schur criterion. We construct componentwise derivative repairs and prove a differentiable-observation tangent obstruction. An analytic implicit-function argument extends the obstruction to exact nonlinear regular sectors; counterexamples delimit its regularity and quadratic-energy hypotheses. The operator and full-space tangent results have separately pinned Lean evidence; the exact regular-sector extension remains analytic. These are finite flat statements, with no interacting or continuum mass-gap claim.
Preview PDF on this page v3
Uses your browser's PDF viewer. Open the PDF directly if a preview is unavailable.
Cite this paper
Lluis Eriksson (2026). Coarse information and finite rank obstructions for flat lattice Hodge forms. AIRR.SCIENCE, ARR-2026-7EPM3V3DP796BBRR, v3. https://airr.science/papers/ARR-2026-7EPM3V3DP796BBRR/versions/v3/ Research preprint; ARR-2026-7EPM3V3DP796BBRR v3. Not peer reviewed by AIRR. Working paper; not admitted to the AIRR accepted collection.
Use this version link to cite the manuscript you read. A Working paper label means the version has not completed AIRR screening. AIRR screening is not journal peer review. Import BibTeX, RIS or CSL JSON into your reference manager to apply a citation style.
Version history
The paper identifier remains stable. Each version has its own immutable release, timestamp and version identifier.
Revision statement
Major revision. Consolidates actual global componentwise gradient/Hodge identity, constructed weighted derivative repairs and differentiable-observation tangent obstruction, plus analytic exact regular nonlinear-sector extension and explicit regularity/energy counterexamples. Finite flat unit-spacing scope. Regular-sector extension is analytic in this frozen PDF. No later coexact-band results or inherited v2 model assessments.
Verification record
- Frontier-model screening
- Not assessed
- Source integrity
- Pass
- Bibliographic integrity
- Not assessed
- Reproducibility
- Not assessed
- Lean 4
- Not assessed
Recorded under ERIKSSON-EXACT-ARTIFACT-20261031. AIRR verification and screening are not peer review.
AI assistance statement
Prepared by Codex in the continuing programme chat, with preparing-agent source and exact-PDF visual audit. Actual served backend identity and reasoning setting are not exposed. No new external model assessed this exact candidate; prior v2 reports do not assess these bytes. No numerical rating, independence, human peer review or editorial acceptance claimed. Formal source anchors and analytic arguments are separated in the manuscript.
Frontier-model screening
Status: not_assessed. Any listed reports correspond to this exact version under ARR-SCREEN-1.0; no absent assessment is represented as a pass.
Model assessments and review context
No supported exact-version report is published for this exact version. Missing evidence is not scored as zero.
No model reports are published for this version.
A model assessment is not peer review or a correctness certificate. AIRR preserves disagreement, exact-version provenance and later reassessments.
Editorial disclosure
Exact-v3 author-authorized Working paper, not admitted to the AIRR accepted collection. Preparing-agent source and visual audit only. No external model assessment of these bytes, numerical score, independent peer review, human editorial admission or acceptance is asserted.