Dice Question Streamline Icon: https://streamlinehq.com

Quotient characterization of compact integral-integral affine manifolds

Establish whether every compact integral-integral affine manifold is the quotient of R^n by a free and proper action of a discrete group of integral-integral affine transformations of the form x ↦ Ax + b with A ∈ GL_n(Z) and b ∈ Z^n.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper introduces integral-integral affine manifolds—manifolds equipped with atlases whose transition maps are affine with integer linear and integer translational parts—and studies their geometry in connection with Lagrangian torus fibrations and geometric quantization.

Typical examples arise as quotients Rn/Γ where Γ is a group of integral-integral affine transformations acting freely and properly, such as tori, Klein bottles, and Kodaira–Thurston-type manifolds.

The authors explicitly pose whether every compact integral-integral affine manifold is of this quotient form. They note that this question appears to be open and relate it to the Markus conjecture, which predicts geodesic completeness under det(A)=±1 transition maps for closed affine manifolds.

References

Does every compact integral-integral affine manifold arise as a quotient of Rn by a free and proper action of a discrete group of integral-integral affine maps? This appears to be an open question. It is a special case of the Markus conjecture, which posits that if a closed affine manifold possesses an atlas whose transition maps all have det A = ± 1 then it is geodesically complete.

Integral-integral affine geometry, geometric quantization, and Riemann-Roch (2411.10348 - Hamilton et al., 15 Nov 2024) in Section "Downstairs — integral-integral affine geometry", Examples subsection