Related papers: Geometric Auslander criterion for flatness

Let $\Gamma$ denote a distance-regular graph with vertex set $X$ and diameter $D \geq 3$. Fix a vertex $x \in X$. Let the field $\mathbb{F}$ be either $\mathbb{R}$ or $\mathbb{C}$. Let $\operatorname{Mat}_X(\mathbb{F})$ denote the…

A group, $\fl{H}$, of automorphisms of a totally disconnected locally compact group, $G$, is flat if there is a compact open $U\leq G$ such that the index $[\alpha(U):U\cap \alpha(U)]$ is mininimized for every $\alpha\in\fl{H}$. The…

Let $R$ be a left and right Noetherian ring and $n,k$ any non-negative integers. $R$ is said to satisfy the Auslander-type condition $G_n(k)$ if the right flat dimension of the $(i+1)$-st term in a minimal injective resolution of $R_R$ is…

Let $X$ be a smooth, irreducible, projective algebraic surface, and let $\alpha \in \mathbb{Q}[m]_{>0}$ be a polynomial. In this paper, we determine topological and geometric properties of the moduli space of $\alpha$-stable coherent…

We prove that stably free modules of rank d-1 over a smooth affine algebra of dimension d over an algebraically closed field k are free, provided (d-1)! is nonzero in k.

We prove that for a left and right Noetherian ring $R$, $_RR$ satisfies the Auslander condition if and only if so does every flat left $R$-module, if and only if the injective dimension of the $i$th term in a minimal flat resolution of any…

A very useful result concerning flatness in Algebraic Geometry is EGA's ``fiber'' criterion. We propose similar fiber criteria to verify flatness of a module while avoiding ``finiteness'' assumptions. Motivated by a Tannakian viewpoint…

We prove that the stably free modules over a smooth affine threefold over an algebraically closed field of characteristic different from 2 are free.

Let R be a homomorphic image of a Gorenstein local ring. Recent work has shown that there is a bridge between Auslander categories and modules of finite Gorenstein homological dimensions over R. We use Gorenstein dimensions to prove new…

Let $f\colon Y \to X$ be a proper flat morphism of locally noetherian schemes. Then, the locus in $X$ over which $f$ is smooth is stable under generization. We prove that under suitable assumptions on the formal fibers of $X$, the same…

Let $A\to B$ be a morphism of Artin local rings with the same embedding dimension. We prove that any $A$-flat $B$-module is $B$-flat. This freeness criterion was conjectured by de Smit in 1997 and improves Diamond's Theorem 2.1 from his…

Let $f: X\to Y$ be a proper surjective morphism of varieties defined over an algebraically closed field of positive characteristic. We prove that if $f$ has geometrically connected fibers then the induced homomorphism of $F$-divided…

Tensor products usually have nonzero torsion. This is a central theme of Auslander's paper "Modules over unramified regular local rings"; the theme continues in the work of Huneke and Wiegand. The main focus in this note is on tensor powers…

It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and…

We study modules over a generalized Weyl algebra $R(\sigma,a)$ which are free when restricted to the base ring $R$. When $R$ is an integral domain, we construct all such finite-rank modules up to isomorphism, leading to new simple modules…

Let $R$ by a right coherent ring and $R$-Mod denote the category of left $R$-modules. We show that there is an abelian model structure on $R$-Mod whose cofibrant objects are precisely the Gorenstein flat modules. Employing a new method for…

Let S be a Noetherian scheme, f:X->Y a surjective S-morphism of S-schemes, with X of finite type over S. We discuss what makes Y of finite type. First, we prove that if S is excellent, Y is reduced, and f is universally open, then Y is of…

Let $R$ be a real smooth affine domain of dimension $3$ such that $R$ has either no real maximal ideals or the intersection of all real maximal ideals in $R$ has height at least $1$. Then we prove that all stably free $R$-modules of rank…

Let $\mathcal{X}$ be a smooth Artin stack with properly stable good moduli space $\pi\colon\mathcal{X} \to X$. The purpose of this paper is to prove that a simple geometric criterion can often characterize when the moduli space $X$ is…

Let $(X,L_{X})$ be an $n$-dimensional polarized manifold. Let $D$ be a smooth hypersurface defined by a holomorphic section of $L_{X}$. In this paper, we study the existence of a complete scalar-flat K\"{a}hler metric on $X \setminus D$ on…