Abstract:In their generalization of the rational homotopy theory to non-simply connected spaces, Gómez-Tato--Halperin--Tanré adopted local systems of commutative differential graded algebras (CDGA's) as algebraic models. As another non-simply connected rational model, a $\pi_1$-equivariant CDGA with a semi-simple action was introduced by Hain and studied by Katzarkov-Pantev-Toën and Pridham. These models have their own advantages and direct comparison might be important. In this note, we present an example of local system of CDGA's which is a non-nilpotent version of an example given by Gómez-Tato et al., and compute the corresponding $\pi_1$-equivariant CDGA. We also see how some homotopy invariants such as homotopy groups and twisted cohomology are algebraically recovered from the equivariant CDGA with this example. We also describe a general procedure to obtain the corresponding equivariant CDGA model from a local system model in the case of $\pi_1=\mathbb{Z}\times \mathbb{Z}$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the relationship between different algebraic models and their applications in the rational homotopy theory of non - simply - connected spaces. Specifically, the paper focuses on two main algebraic models: Local System Models and Equivariant CDGA Models. These two models were proposed by Gómez - Tato, Halperin, Tanré and Hain respectively to describe the rational homotopy types of non - simply - connected spaces.
### Main Objectives of the Paper
1. **Model Comparison**:
- The paper aims to show, through a specific example, how to make a direct comparison between these two models. In particular, the author provides a CDGA model of a local system and calculates the corresponding equivariant CDGA model.
2. **Recovery of Homotopy Invariants**:
- The author shows how to recover some homotopy invariants from the equivariant model, such as rational homotopy groups and Postnikov invariants. In particular, in a specific example, the author shows how to calculate the twisted cohomology from the equivariant model.
3. **Specific Calculations**:
- The paper describes in detail a specific example in which the CDGA model of the local system is non - nilpotent. Through this example, the author shows how to calculate the corresponding equivariant CDGA model and explains how to extract homotopy information from these models.
### Formulas and Calculations
The paper involves some important formulas and calculation steps. Here are some of them:
1. **Definition of the Local System**:
- The local system \( \mathcal{L} \) is defined on each cell \( \sigma \) as \( \mathcal{L}_\sigma = A_{T^2, \sigma} \otimes (\Lambda Z, d) \), where \( \Lambda Z \) is an exterior algebra with generators \( x, y, z, w, u \), and \( x, y, z \) are 3 - cycles, \( w \) is a 6 - cycle, \( u \) is a 5 - chain, satisfying \( du = yz \).
2. **Definition of the Face Maps**:
- The face maps \( d_0 \) and \( d_1 \) are defined as follows:
- \( d_0(x) = a_1 x \)
- \( d_0(y) = b_1 y \)
- \( d_0(z) = a_1 z \)
- \( d_0(w) = a_1 b_1 (w + xy) \)
- \( d_0(u) = a_1 b_1 u \)
- \( d_1=\text{id} \)
3. **Equivariant Minimal Model**:
- The equivariant minimal model \( M \) is defined as \( M = \Lambda(s_1, s_2, \bar{x}, \bar{y}, \bar{z}, \bar{w}, \bar{u}) \), where \( s_1, s_2 \) are 1 - cycles, \( \bar{y}, \bar{z} \) are 3 - cycles, \( \bar{x} \) is a 3 - chain, satisfying \( d\bar{x} = s_2 \bar{z} \), \( \bar{u} \) is a 5 - chain, satisfying \( d\bar{u} = \bar{y} \bar{z} \), \( \bar{w} \) is a 6 - chain, satisfying \( d\bar{w} = s_1 \bar{x} \bar{y}-s_1 s_2 \bar{u} \).
4. **Calculation of the Twisted Cohomology**:
- For a given representation \( V_3 \), the twisted cohomology \( C^*(X, V_3) \) can be calculated through the following complex:
\[
((M \otimes V_3^{\text{ss}})^