Geometric characterization of flat modules

TL;DR

This paper provides a geometric characterization of flat modules over a commutative ring, linking algebraic properties to direct limits and unions of affine algebraic varieties.

Contribution

It introduces a novel geometric perspective on flat and flat Mittag-Leffler modules using affine algebraic varieties.

Findings

Flat modules are characterized as direct limits of affine algebraic varieties.

Flat Mittag-Leffler modules are unions of their submodule affine algebraic varieties.

Provides a geometric criterion for flatness in module theory.

Abstract

Let $R$ be a commutative ring. Roughly speaking, we prove that an $R$-module $M$ is flat iff it is a direct limit of $R$-module affine algebraic varieties, and $M$ is a flat Mittag-Leffler module iff it is the union of its $R$-submodule affine algebraic varieties.