Dice Question Streamline Icon: https://streamlinehq.com

Stability of di-extension conditions through SES(X)

For a z-exact category X, determine whether: (i) if X is homologically self-dual, SES(X) is also homologically self-dual; (ii) if dinversion in X preserves normal maps, it also does so in SES(X); (iii) if X is di-exact, SES(X) is di-exact. The authors suspect the answer is negative at least for item (iii).

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper shows SES(X) is z-exact and homologically rich, but certain properties (HSD, DPN, DEx) may not be preserved when passing from X to SES(X). The exercise asks for a precise analysis of this inheritance.

References

We also turned certain questions which we currently are unable to answer into exercises; these are labelled 'ANK' for 'answer not known'. (i) If X is homologically self-dual, determine if SES(X) is homologically self-dual. (ii) If dinversion in X preserves normal maps, determine if it does so in SES(X). (iii) If X is di-exact, determine if SES" (X) is di-exact. We suspect that the answer is 'no' at least for item (iii).

A Homological View of Categorical Algebra (2404.15896 - Peschke et al., 24 Apr 2024) in Exercise 2.8.9 (Recursiveness of di-extension conditions) - Section 2.8