# Geometric and arithmetic characterization of 𝒟-module flatness with applications to tensor products

## TL;DR

This paper explores flatness in D-modules using geometry, algebra, and arithmetic, revealing new connections and applications.

## Contribution

The paper introduces new flatness criteria and obstruction theory for D-modules, combining geometric and arithmetic methods.

## Key findings

- New flatness criteria through Lagrangian geometry and irregular Hodge theory are established.
- A geometric obstruction theory for globalizing flat modules is introduced.
- Compatibility theorems for Beilinson-Bernstein localization are proven.

## Abstract

This paper establishes a comprehensive framework for studying flatness properties and tensor products of D-modules across algebraic, geometric, and arithmetic contexts. We develop new criteria characterizing flatness through Lagrangian geometry, homological algebra, and irregular Hodge theory, revealing deep connections between these perspectives. The work introduces a geometric obstruction theory for globalizing pointwise flat modules and proves fundamental results about the monoidal structure of the derived tensor product category. Applications include compatibility theorems for Beilinson-Bernstein localization and arithmetic characterizations of flatness in characteristic p. The methods combine microlocal analysis, irregular Riemann-Hilbert correspondence, and p-adic techniques to yield new insights into the interplay between local and global properties of differential systems.