Abstract:For an algebraically closed field $\mathbb{K}$, we consider a Galois $G$-covering $\mathcal{B} \to \mathcal{A}$ between locally bounded $\mathbb{K}$-categories given by bound quivers, where $G$ is torsion-free and acts freely on the objects of $\mathcal{B}$. We define the notion of $(G,\tau_{\mathcal{B}})$-rigid subcategory and of support $(G,\tau_{\mathcal{B}})$-tilting pairs over $\mathcal{B}$-$\rm mod$. These are the analogues of the similar concepts in the context of a finite-dimensional algebra, where we additionally require that the subcategory be $G$-equivariant. When $\mathcal{A}$ is a finite-dimensional algebra, we show that the corresponding push-down functor $\mathcal{F}_{\lambda}: \mathcal{B}$-$\rm mod$ $\to \mathcal{A}$-$\rm mod$ sends $(G,\tau_{\mathcal{B}})$-rigid subcategories (respectively support $(G,\tau_{\mathcal{B}})$-tilting pairs) to $\tau_{\mathcal{A}}$-rigid modules (respectively support $\tau_{\mathcal{A}}$-tilting pairs). We further show that there is a notion of mutation for support $(G,\tau_{\mathcal{B}})$-tilting pairs over $\mathcal{B}$-$\rm mod$. Mutations of support $\tau_\mathcal{A}$-tilting pairs and of support $(G,\tau_\mathcal{B})$-tilting pairs commute with the push-down functor. We derive some consequences of this, and in particular, we derive a $\tau$-tilting analogue of the result of P. Gabriel that locally representation-finiteness is preserved under coverings. Finally, we prove that when the Galois group $G$ is finitely generated free, any rigid $\mathcal{A}$-module (and in particular $\tau_\mathcal{A}$-rigid $\mathcal{A}$-modules) lies in the essential image of the push-down functor.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
The paper aims to solve the following problems:
1. **Combining Galois coverings with τ -tilting theory**: The paper attempts to combine Galois covering techniques with τ -tilting (τ -tilting) theory to study the representation theory of finite - dimensional algebras. Specifically, the author introduces the concepts of \( (G, \tau _B)\)-rigid subcategories and supported \( (G, \tau _B)\)-tilting pairs, and explores the properties of these concepts under Galois coverings.
2. **Compatibility of mutation**: An important goal of the paper is to prove the compatibility of the push - down functor with the mutation operation. That is, how to define and support the mutation of \( (G, \tau _B)\)-tilting pairs in the context of Galois coverings, and ensure that these mutations are compatible with the mutations of classical supported τ -tilting pairs.
3. **Local τ -tilting finiteness**: The paper also studies whether Galois coverings preserve local \( (G, \tau _B)\)-tilting finiteness. Specifically, if a Galois covering \( B\) is locally \( (G, \tau _B)\)-tilting finite, then whether the corresponding quotient algebra \( A\) is also τ -tilting finite.
4. **Classification and properties of modules**: Through the above theoretical framework, the paper further explores the behavior of certain modules (such as rigid modules) under the push - down functor, and attempts to give the classification and properties of these modules.
### Summary of specific content
- **Background and motivation**:
- τ -tilting theory and Galois covering techniques both have important applications in the representation theory of finite - dimensional algebras.
- The mutation operation is an important tool in τ -tilting theory for generating new tilting modules.
- Galois covering techniques are helpful for understanding the structure and representation of algebras.
- **Main contributions**:
- Introduced the concepts of \( (G, \tau _B)\)-rigid subcategories and supported \( (G, \tau _B)\)-tilting pairs.
- Proved the compatibility of the push - down functor with the mutation operation.
- Explored the relationship between local \( (G, \tau _B)\)-tilting finiteness and τ -tilting finiteness.
- Provided some specific results on module classification.
### Key theorems and conclusions
- **Theorem A**: The push - down functor \( F_λ\) is compatible with the mutation operation, that is, the supported \( (G, \tau _B)\)-tilting pair after mutation is still a supported τ -tilting pair after being pushed down.
\[
\begin{CD}
s(G, \tau _B)\text{-tilt} @>{\mu}>> s(G, \tau _B)\text{-tilt}\\
@V{F_λ}VV @V{F_λ}VV\\
s\tau _A\text{-tilt} @>{\mu}>> s\tau _A\text{-tilt}
\end{CD}
\]
- **Theorem B**: A Galois covering \( B\) is locally \( (G, \tau _B)\)-tilting finite if and only if the algebra \( A\) is τ -tilting finite.
- **Proposition C**: If two supported τ -tilting pairs are in the same connected component of the Hasse quiver, then they both belong to the first - type modules.
- **Theorem D**: Suppose \( G\) is a finitely generated free group. If \( M\in A\text{-mod}\) is a rigid \( A\)-module, then \( M\in A\text{-mod}_1\), and thus is \( G\)-gradable.
Through these results, the paper provides a new perspective for understanding the relationship between Galois coverings and τ -tilting theory, and lays the foundation for further research.