Abstract Let 𝔽 q {\mathbb{F}_{q}} be a finite field with q elements, 𝔽 \mathbb{F} = = 𝔽 ¯ q \overline{\mathbb{F}}_{q} an algebraic closure of 𝔽 q {\mathbb{F}_{q}} , X 1 {X_{1}} an absolutely irreducible projective smooth curve over 𝔽 q {\mathbb{F}_{q}} , and S 1 {S_{1}} a finite set of closed points of X 1 {X_{1}} . Let N 1 {N_{1}} be the cardinality of S 1 {S_{1}} . Erasing the index 1 indicates extension of scalars to 𝔽 {\mathbb{F}} . Replacing it by m indicates extension of scalars to 𝔽 q m \mathbb{F}_{q^{m}} ⊂ \subset 𝔽 \mathbb{F} . Let Fr be the Frobenius endomorphism of the curve X over 𝔽 {\mathbb{F}} , deduced from the 𝔽 q {\mathbb{F}_{q}} -form X 1 {X_{1}} of X. For ℓ {\ell} a prime not dividing q, the pullback by Fr is an autoequivalence of the category of smooth ℓ {\ell} -adic sheaves ( = = ℚ ¯ ℓ {\overline{\mathbb{Q}}_{\ell}} -local systems) on X - - S. It induces a permutation Fr ∗ {\operatorname{Fr}^{\ast}} of the set of isomorphism classes of irreducible smooth ℓ {\ell} -adic sheaves of rank n on X - - S, whose local monodromy at each s ∈ S {s\in S} is unipotent with a single Jordan block ( = = principal unipotent). Let T( X 1 X_{1} , S 1 S_{1} ,n) be the number of fixed points of Fr ∗ {\operatorname{Fr}^{\ast}} acting on this set. We will also consider the number of fixed points T( X 1 X_{1} , S 1 S_{1} ,n,m) of the iterate Fr ∗ , m {\operatorname{Fr}^{\ast,m}} of Fr ∗ {\operatorname{Fr}^{\ast}} . As Fr ∗ , m \operatorname{Fr}^{\ast,m} : X → \to X is the Frobenius, for X 1 X_{1} / 𝔽 q \mathbb{F}_{q} replaced by X m X_{m} / 𝔽 q m \mathbb{F}_{q^{m}} , one has T( X 1 X_{1} , S 1 S_{1} ,n,m) = = T( X m X_{m} , S m S_{m} ,n). The number T( X 1 X_{1} , S 1 S_{1} ,n) is computed when N 1 N_{1} ≥ \geq 2 in [4] where it is shown that the T( X 1 X_{1} , S 1 S_{1} ,n,m) are given by a formula reminiscent of a Lefschetz fixed point formula. The automorphic-Galois reciprocity is used there to reduce the computation of T( X 1 X_{1} , S 1 S_{1} ,n) to counting automorphic representations on GL(n), and the assumption N 1 N_{1} ≥ \geq 2 to move the counting to a division algebra, where the trace formula is easier to use. The trace formula used in Section 4 of [4] is based on a new, categorical approach to computing the trace formula in the very special case of counting that is needed there. It is not yet known if it extends to the use of Hecke correspondences and in the non-compact quotient case. Our aim here is to give an alternative proof of Section 4 of [4] using the usual trace formula in the compact quotient case. As stated in [4], after Lemma 4.9, the equivalence between the two approaches seems to us interesting.