1: \begin{abstract} The classification of endotrivial

2:   $kG$--modules, i.e., the elements of the Picard group of the stable module

3:   category, for an

4:   arbitrary finite group $G$ has been a long-running quest in modular

5:   representation

6:   theory. By deep work of Dade, Alperin, Carlson, Thevenaz, and others,

7: it has been reduced to understanding the subgroup consisting of modular representations that upon restriction

8: to a Sylow $p$--subgroup split as the trivial module direct sum a

9: projective module. In this paper we

10: identify this subgroup as the first cohomology group of the orbit

11: category on non-trivial $p$--subgroups with values in the units

12: $k^\times$, viewed as a constant

13: coefficient system. 

14: We then use homotopical techniques to give a

15: number of formulas for this group in terms

16: of one-dimensional representations of normalizers and centralizers, in particular

17: verifying the Carlson--Thevenaz conjecture. We also provide strong

18: restrictions on when such representations of dimension greater than one can occur,

19: in terms of the $p$--subgroup complex and $p$--fusion systems. 

20: We immediately recover and extend a large

21: number of computational results in the literature,

22: and further illustrate the computational potential by calculating the group in other sample new

23: cases, e.g., for the Monster at all primes. 

24: \end{abstract}

25: