We obtain some methods to construct a (strongly) proper resolution (resp. coproper coresolution) of one end term in a short exact sequence from that of the other two terms. By using this method, 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 ith term in a mi...

A ring R is called left GF-closed, if the class of all Gorenstein flat left Rmodules is closed under extensions. The class of left GF-closed rings includes strictly the one of right coherent rings and the one of rings of finite weak dimension. In this paper, we investigate the Gorenstein flat dimension over left GF-closed rings. Namely, we generalize the fact that the class of all Gorenstein fl...

The main focus of this talk is to prove ascent of finiteness of flat dimension through local homomorphisms. Descent is known classically, e.g., it is in Cartan–Eilenberg’s book on homological algebra, but the corresponding ascent property is surprising because of the need to use derived categories. We present a short proof of ascent due to Dwyer–Greenlees–Iyengar, and discuss the main ingredien...

Simple and nuclear C-algebras which fail to absorb the Jiang-Su algebra tensorially have settled many open questions in the theory of nuclear C-algebras, but have been little studied in their own right. This is due partly to a dearth of invariants sensitive to differences between such algebras. We present two new real-valued invariants to fill this void: the dimension-rank ratio (for unital AH ...

In terms of the duality property of injective preenvelopes and flat precovers, we get an equivalent characterization of left Noetherian rings. For a left and right Noetherian ring R, we prove that the flat dimension of the injective envelope of any (Gorenstein) flat left R-module is at most the flat dimension of the injective envelope of RR. Then we get that the injective envelope of RR is (Gor...

We show that the recently introduced L1TV functional can be used to explicitly compute the flat norm for co-dimension one boundaries. Furthermore, using L1TV, we also obtain the flat norm decomposition. Conversely, using the flat norm as the precise generalization of L1TV functional, we obtain a method for denoising non-boundary or higher co-dimension sets. The flat norm decomposition of differ...

We prove various extensions of the Local Flatness Criterion over a Noetherian local ring R with residue field k. For instance, if Ω is a complete R-module of finite projective dimension, then Ω is flat if and only if Torn (Ω, k) = 0 for all n = 1, . . . , depth(R). In low dimensions, we have the following criteria. If R is onedimensional and reduced, then Ω is flat if and only if Tor1 (Ω, k) = ...

Given a homomorphism of commutative noetherian rings R → S and an S–module N , it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is finitely generated over S, the Gorenstein flat dimension equals sup {m ∈ Z | TorRm(E,N) 6= 0}, where E is the injective hull of the residue field of R. This r...

Given a homomorphism of commutative noetherian rings R → S and an S–module N , it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is finitely generated over S, the Gorenstein flat dimension equals sup {m ∈ Z | Torm(E,N) 6= 0}, where E is the injective hull of the residue field of R. This re...