Locally complete intersection maps and the proxy small property
Abstract
It is proved that a map $\varphi\colon R\to S$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small as a bimodule. This means that the thick subcategory generated by $S$ as a module over the enveloping algebra $S\otimes_RS$ contains a perfect complex supported fully on the diagonal ideal. This is in the spirit of the classical result that $\varphi$ is smooth if and only if $S$ is small as a bimodule, that is to say, it is itself equivalent to a perfect complex. The geometric analogue, dealing with maps between schemes, is also established. Applications include simpler proofs of factorization theorems for locally complete intersection maps.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2020
- DOI:
- 10.48550/arXiv.2007.08562
- arXiv:
- arXiv:2007.08562
- Bibcode:
- 2020arXiv200708562B
- Keywords:
-
- Mathematics - Commutative Algebra;
- 13B10 (primary);
- 13D09;
- 13D03;
- 14A15;
- 14A30 (secondary)
- E-Print:
- V2: 19 pages, some substantial simplifications and clarifications, to appear in IMRN