Covering techniques in higher Auslander-Reiten theory

This paper investigates the behavior of $n$-precluster tilting subcategories under the push-down functor in the context of Galois coverings of locally bounded categories. Building on higher Auslander-Reiten theory and covering techniques, we establish that for a locally support-finite category $\mathcal{C}$ with a free group action $G$ on its indecomposables, the push-down functor maps $G$-equivariant $n$-precluster tilting subcategories of ${\rm mod}\mbox{-}\mathcal{C}$ to $n$-precluster tilting subcategories of ${\rm mod}\mbox{-}(\mathcal{C}/G)$, and vice versa. These results provide a framework for studying $\tau_n$-selfinjective algebras. We further prove that ${\rm mod}\mbox{-}\mathcal{C}$ is $n$-minimal Auslander-Gorenstein if and only if ${\rm mod}\mbox{-}(\mathcal{C}/G)$ is so, under square-free conditions on $\mathcal{C}/G$. Additionally, we analyze support $\tau_n$-tilting pairs via the push-down functor, showing that locally $\tau_n$-tilting finiteness is preserved under Galois coverings. Our work offers new insights into the interplay between higher homological algebra and covering theory in representation-finite contexts.