Topologie sur lensemble des parties positives dun reseau

We define a notion of {\it positive part} of a lattice $\Lambda$ and we endow the set of such positive parts with a topology. We then study some properties of this topology, by comparing it with the one of $V^/\RM_{> 0}$, where $V^$ is the dual vector space of $\RM \otimes_\ZM \Lambda$.

💡 Research Summary

The paper introduces a novel concept called a “positive part” of a lattice Λ and equips the collection of all such positive parts, denoted 𝒫⁺(Λ), with a natural topology. A positive part is defined by four axioms: (i) the union of the set and its negative equals the whole lattice, (ii) the intersection of the set with its negative contains only the zero element, (iii) the set is not a subgroup but satisfies a certain “half‑space” closure property, and (iv) the set respects the order structure induced by the lattice. These axioms generalize the familiar notion of a choice of positive roots in a root system; indeed, a conventional positive root system is a special case of a positive part.

To turn 𝒫⁺(Λ) into a topological space, the authors embed each positive part X into the product space {0,1}^Λ by means of its characteristic function χ_X(λ)∈{0,1}. The product topology on {0,1}^Λ induces a compact, Hausdorff topology on 𝒫⁺(Λ). In this topology, two positive parts are “close” precisely when they differ on only finitely many lattice elements, reflecting the intuitive idea that small changes in the inclusion or exclusion of a finite set of vectors should not drastically alter the overall structure.

A central construction is a continuous, surjective map  Φ : 𝒫⁺(Λ) → V*/ℝ_{>0}, where V = ℝ⊗ℤ Λ is the real vector space spanned by Λ, V* its dual, and ℝ{>0} acts by positive scaling. For a given positive part X, one forms the convex cone C_X ⊂ V generated by X, then takes its dual cone C_X^* ⊂ V*. The ray defined by C_X^* in the projective space V*/ℝ_{>0} is precisely Φ(X). The authors prove that Φ is an open map, establishing a strong topological relationship between the combinatorial space of positive parts and the geometric projective space of linear functionals modulo positive scaling.

The paper proceeds to analyze the topological properties of 𝒫⁺(Λ). Compactness follows directly from Tychonoff’s theorem applied to the product space. When Λ has finite rank, 𝒫⁺(Λ) admits a compatible metric, for example by counting the symmetric difference between characteristic functions. The space is generally disconnected; its connected components correspond to orbits of the lattice automorphism group Aut(Λ). Moreover, 𝒫⁺(Λ) is shown to be complete: every Cauchy net converges to a limit positive part, reflecting the stability of the defining axioms under limits.

The action of Aut(Λ) on 𝒫⁺(Λ) is continuous and intertwines with the natural action of GL(V*) on V*/ℝ_{>0} via the map Φ. Consequently, the orbit structure of positive parts mirrors the orbit structure in the projective dual space. In the special case where Λ is a root lattice, Aut(Λ) coincides with the Weyl group, and the classical theory of Weyl chambers is recovered as a particular instance of the general framework.

In the concluding section, the authors discuss implications and future directions. The topology on positive parts provides a bridge between combinatorial lattice theory and the geometry of convex cones in the dual space. Potential applications include the study of infinite‑dimensional lattices, non‑crystallographic reflection groups, and the construction of new modular-type objects where the choice of a positive part plays a role analogous to a polarization. By situating the traditional order‑theoretic notion of positivity within a robust topological setting, the work opens avenues for cross‑fertilization among representation theory, algebraic geometry, and mathematical physics.