dcedeaec33f01db9.tex
1: \begin{abstract}
2: Quantum cat maps are toy models in quantum chaos associated to hyperbolic symplectic matrices $A\in \Sp(2n,\Z)$.
3: The macroscopic limits of sequences of eigenfunctions of a quantum cat map are characterized by
4: semiclassical measures on the torus $\R^{2n}/\Z^{2n}$. We show that if the characteristic polynomial of every
5: power $A^k$ is irreducible over the rationals, then every semiclassical measure has full support.
6: The proof uses an earlier strategy of Dyatlov--J\'ez\'equel~\cite{dyatlov2021semiclassical} and
7: the higher-dimensional fractal uncertainty principle of Cohen~\cite{Cohen}.
8: Our irreducibility condition is generically true, in fact we show that asymptotically for $100\%$ of matrices $A$,
9: the Galois group of the characteristic polynomial of $A$ is $S_2 \wr S_n$.
10: 
11: When the irreducibility condition does
12: not hold, we show that a semiclassical measure cannot be supported on a finite union of parallel non-coisotropic subtori.
13: On the other hand, we give examples of semiclassical measures supported on the union of two transversal symplectic subtori for $n=2$,
14: inspired by the work of Faure--Nonnenmacher--De Bi\`evre~\cite{FNdB} in the case $n=1$. This is complementary to the examples
15: by Kelmer~\cite{Kel} of semiclassical measures supported on a single coisotropic subtorus.
16: \end{abstract}
17: