Algebraic Geometry over Non-Algebraically Closed Fields -- A-Coherent Sheaves over a Ringed Space

Algebraic Geometry Over Non-Algebraically Closed Fields: Categorical Equivalences for A-Coherent Sheaves

Introduction

This work addresses the structure and categorical properties of coherent and quasi-coherent sheaves in the context of algebraic geometry over non-algebraically closed fields. The classical theory, predominantly founded on Serre’s correspondence for affine schemes over algebraically closed fields, encounters major obstacles when extended to real or more general ground fields. Here, the authors develop a broad generalization of the classical theory, introducing the concepts of A-coherent and A-quasi-coherent sheaves for ringed spaces and establishing their categorical equivalence with module categories over rings of global sections. Central to this theory are flatness assumptions and cohomological vanishing results, particularly those of Cartan and Serre, applied in analytic and Nash settings.

A-Coherence and Sheaf-Module Correspondence

The paper defines an Ox-module F over a ringed space $(X, O_X)$ as A-coherent if it admits a global presentation by finite-rank free $O_X$-modules, and as A-quasi-coherent if the presentation has arbitrary rank. The principal structural result (Theorem 2.1) establishes a correspondence: any A-coherent (resp. A-quasi-coherent) sheaf is isomorphic to the pullback of a finitely presented (resp. quasi-coherent) module from the spectrum of the ring of global sections $A = \Gamma(X, O_X)$. This correspondence is bidirectional, mirroring affine case results yet valid under weaker hypotheses on $X$ and, crucially, for non-algebraically closed fields.

The necessity of flatness for the canonical morphism $y: X \to Y = \mathrm{Spec}(A)$ and the exactness of the global section functor is emphasized. When these conditions are met, the functor $G \mapsto y^*G$ induces an equivalence of categories between the category of coherent $O_Y$-modules and the category of A-coherent $O_X$-modules (Theorem 2.2). The precise conditions, such as $A$ being Noetherian and $y$ being flat, are indispensable for the equivalence to hold.

Cohomological Flatness and Its Applications

The flatness of the canonical homomorphisms between rings of global sections plays a crucial role. The paper proves (Theorem 2.6/2.8) that under flatness of morphisms and the vanishing of first cohomology $O_X$0 (guaranteed by Cartan’s Theorem B for analytic sheaves on Stein manifolds), the canonical map $O_X$1 is flat. This result extends to Nash and analytic function rings in real algebraic geometry, underpinning several concrete applications.

Specifically, the canonical inclusions $O_X$2 and $O_X$3—from rings of Nash functions to analytic functions—are shown to be faithfully flat (Corollaries 2.9, 2.10), utilizing the vanishing theorem and flatness. This substantiates the compatibility of the Nash and analytic categories and offers a robust algebraic-geometric framework to study real and Nash spaces analogously to the classical complex case.

Further Structural Results and Category Theory

Several technical results expand the categorical landscape:

• Direct Limit Structure: Any A-quasi-coherent $O_X$4-module is a filtered inductive limit of A-coherent $O_X$5-modules (Corollary 2.7), paralleling quasi-coherent sheaf theory on schemes.
• Torsion-Free and Flat Cases: Under further assumptions (Theorem 2.11), equivalences of categories extend to torsion-free and flat modules/sheaves, providing practical tools for decompositions of sheaf categories relevant in both the Nash and analytic settings.
• These results culminate in equivalences between categories of Nash sheaves (on open semi-algebraic sets or varieties) and torsion-free, finitely generated modules over Nash function rings (Corollaries 2.12, 2.13).

Summarizing, the authors provide categorical equivalence theorems for sheaves on ringed spaces over non-algebraically closed fields, conditionally replicating the paradigm of Serre's correspondence in a much broader context.

Implications and Future Directions

The extension of the classical correspondence between sheaves and module categories to non-algebraically closed settings has substantial implications:

• Real Algebraic Geometry: The results rigorously justify the translation of cohomological and module-theoretic concepts between Nash and analytic categories, making tools from complex algebraic geometry accessible to real and Nash geometries.
• Theoretical Foundations: The approach clarifies the significance of flatness and cohomological vanishing in generalizing sheaf-module equivalences, indicating necessary and sufficient conditions for such equivalences.
• Potential Extensions: Future research might explore: relaxing the Noetherian or flatness hypotheses; examining analogues for stacks or higher-dimensional ringed spaces; extending functoriality results to derived categories; and investigating further arithmetic implications in the context of arithmetic geometry and real algebraic varieties.

Conclusion

This work formally generalizes the equivalence between sheaf categories and module categories to ringed spaces over non-algebraically closed fields through the introduction and analysis of A-coherent and A-quasi-coherent sheaves. The categorical correspondences established, supported by strong flatness and cohomological criteria, yield new tools for real, Nash, and non-closed base field geometries. The results enhance both the theoretical and practical foundations for algebraic geometry and its real and analytic analogues, suggesting several promising avenues for further mathematical development.