# Enveloping Classes over Commutative Rings

## TL;DR

This paper characterizes when a 1-tilting class over a commutative ring is enveloping, linking it to perfect Gabriel topologies and properties of associated quotient rings, with implications for ring epimorphisms.

## Contribution

It provides a precise characterization of enveloping 1-tilting classes over commutative rings using Gabriel topologies and ring perfection conditions.

## Key findings

- A 1-tilting class is enveloping iff the associated Gabriel topology is perfect and quotient rings are perfect.
- Enveloping classes correspond to flat ring epimorphisms with projective dimension ≤ 1.
- Conditions involve perfect localizations and properties of endomorphism rings.

## Abstract

Given a $1$-tilting cotorsion pair over a commutative ring, we characterise the rings over which the $1$-tilting class is an enveloping class. To do so, we consider the faithful finitely generated Gabriel topology $\mathcal{G}$ associated to the $1$-tilting class $\mathcal{T}$ over a commutative ring as illustrated by Hrbek. We prove that a $1$-tilting class $\mathcal{T}$ is enveloping if and only if $ \mathcal{G}$ is a perfect Gabriel topology (that is, it arises from a perfect localisation) and $R/J$ is a perfect ring for each $J \in \mathcal{G}$, or equivalently $\mathcal{G}$ is a perfect Gabriel topology and the discrete quotient rings of the topological ring $\mathfrak R=$End$(R_ \mathcal{G}/R)$ are perfect rings where $R_\mathcal{G}$ denotes the ring of quotients with respect to $\mathcal{G}$. Moreover, if the above equivalent conditions hold it follows that pdim$R_\mathcal{G} \leq 1$ and $\mathcal{T}$ arises from a flat ring epimorphism.