Abstract:We characterize the regularity of an FI-module using the derivative functors.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to characterize the regularity of FI - modules through the derivative functor. Specifically, the author hopes to use the derivative functor and its derived functors to describe the regularity of FI - modules and establish the relationships between them.
### Main problems and objectives of the paper
1. **Definitions and background**
- An FI - module is a functor from the category FI consisting of finite sets and injections to the category Z - Mod of abelian groups.
- Regularity is an important indicator for measuring the complexity of FI - modules, defined as:
\[
\text{reg}(V) := \max \{ t_i(V) - i : i \geq 1 \}
\]
where \( t_i(V)=\deg(H^i_{\text{FI}}(V)) \), that is, the degree of the \( i \)-th derived functor.
2. **Applications of the derivative functor**
- The derivative functor \( \Delta \) is a right - exact functor, defined as the cokernel of a certain natural transformation.
- By studying the derivative functor, its iterations and derived functors, we can gain a deeper understanding of the structure and properties of FI - modules.
3. **Main results**
- **Theorem A**: For any FI - module \( V \) represented in a finite number of times, if it is not \( H^0_{\text{FI}} \)-acyclic, then for each \( i \geq 1 \), we have:
\[
\text{width}_\Delta^i(V) - i=\text{reg}(V)
\]
where \( \text{width}_\Delta^i(V) \) is defined as:
\[
\text{width}_\Delta^i(V) := \sup \{ \deg(H_\Delta^a(V)) + a : a \geq 0, H_\Delta^a(V) \neq 0 \}
\]
4. **Relationship with existing literature**
- The author compared and integrated the new results with previous works, such as the relevant theorems in [Ram18] and [Bah24], further improving the understanding of the regularity of FI - modules.
### Summary
The main purpose of this paper is to provide a new method to characterize the regularity of FI - modules by introducing the concept of the derivative functor. This method not only deepens the understanding of FI - modules but also provides new tools and perspectives for future research.