# Independence of Algebraic Monodromy Groups in Compatible Systems

## TL;DR

This paper introduces a general method to establish the independence of algebraic monodromy groups in compatible systems of representations, with applications to automorphic forms, Galois representations, and sheaves over finite fields.

## Contribution

It develops a unified approach to prove independence results for compatible systems, including new results for Lie-irreducible decompositions and applications in automorphic and positive characteristic contexts.

## Key findings

- Proves independence for Lie-irreducible compatible systems.
- Establishes existence of Lie-irreducible decompositions under certain conditions.
- Deduces independence results for Galois representations and sheaves over finite fields.

## Abstract

In this paper we develop a general method to prove independence of algebraic monodromy groups in compatible systems of representations, and we apply it to deduce independence results for compatible systems both in automorphic and in positive characteristic settings. In the abstract case, we prove an independence result for compatible systems of Lie-irreducible representations, from which we deduce an independence result for compatible systems admitting what we call a Lie-irreducible decomposition. In the case of geometric compatible systems of Galois representations arising from certain classes of automorphic forms, we prove the existence of a Lie-irreducible decomposition, assuming a classical irreducibility conjecture. From this we deduce an independence result. We conclude with the case of compatible systems of representations of the absolute Galois group of a global function field, for which we prove the existence of a Lie-irreducible decomposition, and we deduce an independence result. From this we also deduce an independence result for compatible systems of lisse sheaves on normal varieties over finite fields.