Characterization of quasi-coherent modules that are module schemes

Amelia Álvarez Sánchez; Carlos Sancho de Salas; Pedro Sancho de Salas

Home/Archive/arXiv

arXiv · 0709.3412

Characterization of quasi-coherent modules that are module schemes

Amelia Álvarez Sánchez·Carlos Sancho de Salas·Pedro Sancho de Salas

View original source ↗Read source document ↗Export metadata ↓

Abstract

The R-module functors that are essential for the development of the theory of the linear representations of an affine R-group are the quasi-coherent R-modules and the R-module schemes. The aim of this paper is to study when a quasi-coherent R-module is an R-module scheme. We will prove that it is equivalent to giving a characterization of projective R-modules of finite type.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Amelia Álvarez Sánchez, Carlos Sancho de Salas, Pedro Sancho de Salas. 2007-09-28. Characterization of quasi-coherent modules that are module schemes. https://arxiv.org/abs/0709.3412

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Homological Detection by Perfectoid Algebras

We first establish estimates for the projective and injective dimensions for quotients of perfectoid algebras by radical ideals. As applications, we obtain homological characterizations of modules of finite injective dimension, (big) Cohen--Macaulay modules, Gorenstein local rings, and regular local rings in mixed characteristic in terms of perfectoid algebras. These are mixed characteristic analogues of the corresponding characterizations via Frobenius morphisms in positive characteristic.

math.AC↗

arXiv2026

Holomorphy rings and the Nullstellensatz over large fields

For an infinite field $K$ and an ideal $I\subseteq K[X_1,\dots,X_n]$, let $J(Z_K(I))$ be the ideal of polynomials vanishing on the $K$-rational zero locus of $I$. A Nullstellensatz over $K$ is an algebraic description of this closure operator on ideals. Hilbert's classical theorem provides such a description via the radical of $I$ over any algebraically closed field. In the present article, we introduce a unifying framework for Nullstellensätze over arbitrary rings using the notion of an $A$-radical, for $A$ is a subring of $K(X)$ containing $K[X]$. We show that a single canonical holomorphy ring gives a Nullstellensatz over every infinite field, recovering Hilbert's theorem when $K$ is algebraically closed. In addition, we give a new characterization of large fields (in the sense of Pop) via a particular Nullstellensatz: a perfect field is large exactly when the \emph{rational} holomorphy ring $A_n(K)$--the intersection of all $K$-rational places of residue field exactly $K$--satisfies the corresponding Nullstellensatz. Finally we study the order structure of the class of rings $A$ for which the $A$-radical gives a Nullstellensatz. We show that over non-algebraically closed fields this class has no minimal element, showing there is no optimal Nullstellensatz over such fields.

math.AC↗

arXiv2026

On the variety of sum of powers of certain complete intersection forms

Let $F$ be a homogeneous polynomial (form). If the annihilator ideal $F^\perp$ is a complete intersection, then $F$ is called as a complete intersection form. For many complete intersection forms, we show that its minimal apolar ideal is a complete intersection and further we show that ${\rm VSP}(F)$ is irreducible and compute its dimension.

math.AC↗