Effective estimates for the degrees of maximal special subvarieties (Q2286216)

The paper under review generalizes the results obtained in [\textit{C. Daw}, J. Reine Angew. Math. 721, 81--108 (2016; Zbl 1368.11056)], where a new proof of the André-Oort conjecture under GRH was given, as well as a new proof of a finiteness theorem [\textit{L. Clozel} and \textit{E. Ullmo}, Ann. Math. (2) 161, No. 3, 1571--1588 (2005; Zbl 1099.11031)] concerning strongly special subvarieties. The main goal here is to prove effective results. Let \(S\) be a Shimura variety. Assume that the group \(G\) defining \(S\) is semi simple of adjoint type and that the associated open subgroup \(K\) of \(G({\mathbb{A}}_f)\) is equal to a product of compact open subgroups \(K_p\subset G({\mathbb{Q}}_p)\). Let \(Z\) be an algebraic subvariety of \(S\). The main result of the paper under review is that there exists an effectively computable constant \(c\) depending only on the dimension and of the degree of \(Z\) such that, if \(V\) is a non-facteur maximal special subvariety of \(Z\), then the degree of \(V\) is at most \(c\). The notion of non-facteur special subvariety arises from [\textit{E. Ullmo}, J. Reine Angew. Math. 606, 193--216 (2007; Zbl 1137.11043)]: a special subvariety \(V\) of a Shimura variety \(S\) is non-facteur if there is no finite morphism of Shimura varieties \(S_1\times S_2\to S\) with \(S_2\) having positive dimension such that \(V\) is the image of \(S_1\times\{z\}\) for any \(z\in S_2\).