# Faithfully flat descent for projectivity of modules

@article{Perry2010FaithfullyFD, title={Faithfully flat descent for projectivity of modules}, author={Alexander Perry}, journal={arXiv: Commutative Algebra}, year={2010} }

We give a self-contained exposition of the proof of faithfully flat descent for projectivity of modules. This fills a gap in the proof given in the literature.

## 13 Citations

### Pure descent for projectivity of modules

- Mathematics
- 2020

In this note, faithfully flat descent for projectivity is generalized to pure descent for projectivity.

### Pure descent for projectivity of modules

- MathematicsArchiv der Mathematik
- 2020

In this note, faithfully flat descent for projectivity is generalized to pure descent for projectivity.

### Base change for coherent cohomology in Berkovich geometry

- Mathematics
- 2022

We prove some base change theorems for coherent cohomology in the setting of Berkovich spaces. In this setting, we get a ﬂat base change theorem, and some proper base change theorems that are…

### The Mittag-Leffler condition descents via pure monomorphisms

- Mathematics
- 2022

. This notes aims to clarify the proof given by Raynaud and Gruson [6] that the Mittag-Leﬄer property descents via pure rings monomorphism of commutative rings. A consequence of that is that…

### Homological Dimensions with Respect to a Semidualizing Complex

- Mathematics
- 2014

In this paper we build off of Takahashi and White's $\mathcal{P}_C$-projective dimension and $\mathcal{I}_C$-injective dimension to define these dimensions for when $C$ is a semidaulizing complex. We…

### Flat morphisms of finite presentation are very flat

- MathematicsAnnali di Matematica Pura ed Applicata (1923 -)
- 2019

Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring R , R -modules built from the rings of functions on principal…

### A Zariski-local notion of F-total acyclicity for complexes of sheaves1

- Mathematics
- 2015

Abstract We study a notion of total acyclicity for complexes of flat sheaves over a scheme. It is Zariski-local—i.e. it can be verified on any open aﬃne covering of the scheme—and for sheaves over a…

### DG homological algebra, properties of ring homomorphisms, and the generalized Auslander-Reiten conjecture

- Mathematics
- 2013

This dissertation contains three aspects of my research that are listed as three joint papers with my advisor and a solo paper in the bibliography [56]–[59]. Each paper will be discussed in a…

### Finitistic dimensions over commutative DG-rings

- Mathematics
- 2022

. We study the small and big ﬁnitistic projective, injective and ﬂat dimensions over a non-positively graded commutative noetherian DG-ring A with bounded cohomology. Our main results generalize…

### Well-Ordered Flag Spaces as Functors of Points

- Mathematics
- 2021

Using Grothendieck’s “functor of points” approach to algebraic geometry, we define a new infinite-dimensional algebro-geometric flag space as a k-functor (for k a ring) which maps a k-algebra R to…

## References

SHOWING 1-10 OF 11 REFERENCES

### Autour de la platitude

- Mathematics
- 1969

© Bulletin de la S. M. F., 1969, tous droits réservés. L’accès aux archives de la revue « Bulletin de la S. M. F. » (http://smf. emath.fr/Publications/Bulletin/Presentation.html) implique l’accord…

### Dimension homologique des modules plats sur an anneau commutatif noethérien, Symposia Mathematica, Vol. XI (Convegno di Algebra Commutativa

- INDAM, Rome,
- 1971

### The Stacks Project Authors, Stacks Project

### For this, use formulation (3) of being Mittag-Leffler from Proposition 6.11 and the fact that tensoring commutes with taking colimits

### Techniques de “ platification ” d ’ un module , Invent

- 1969

### Follows from Lemma 9.2, the fact that countable generation descends

### If M is a direct sum of countably generated R-modules, then the S-module M ⊗ R S is a direct sum of countably generated S-modules

### Dimension homologique des modules plats sur an anneau commutatif noethérien

- Symposia Mathematica
- 1971