We classify all pairs
(
G
,
V
)
(G,V)
with
G
G
a closed subgroup in a classical group
G
\mathcal G
with natural module
V
V
over
C
\mathbb C
, such that
G
\mathcal G
and
G
G
have the same position factors on
V
⊗
k
V^{\otimes k}
for a fixed
k
∈
{
2
,
3
,
4
}
k\in \{2,3,4\}
. In particular, we prove Larsen’s conjecture stating that for
dim
(
V
)
>
6
\dim (V)>6
and
k
=
4
k=4
there are no such
G
G
aside from those containing the derived subgroup of
G
\mathcal G
. We also find all the examples where this fails for
dim
(
V
)
≤
6
\dim (V)\le 6
. As a consequence of our results, we obtain a short proof of a related conjecture of Katz. These conjectures are used in Katz’s recent works on monodromy groups attached to Lefschetz pencils and to character sums over finite fields. Modular versions of these conjectures are also studied, with a particular application to random generation in finite groups of Lie type.