Arbitrarily large Galois orbits of non-homeomorphic surfaces (Q1746631): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: 1110.4930 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topologically distinct conjugate varieties with finite fundamental group / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Number of Automorphisms of a Closed Riemann Surface / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective invariants of braid monodromy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3375880 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Chebycheff and Belyi polynomials, dessins dénfants, Beauville surfaces and group theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Faithful actions of the absolute Galois group on connected components of moduli spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4175362 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4889534 / rank
 
Normal rank
Property / cites work
 
Property / cites work: ON GALOIS EXTENSIONS OF A MAXIMAL CYCLOTOMIC FIELD / rank
 
Normal rank
Property / cites work
 
Property / cites work: Determining Fuchsian groups by their finite quotients / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fibred surfaces, varieties isogenous to a product and related moduli spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conjugate varieties with distinct real cohomology algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3039546 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3251484 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997911 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Setting for the Group of the Bitangents / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Permutation Representation of the Group of the Bitangents / rank
 
Normal rank
Property / cites work
 
Property / cites work: Permutation Representations of a Group of Order 9, 196, 830, 720 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Klein's Encounter with the Simple Group of Order 660 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3333640 / rank
 
Normal rank
Property / cites work
 
Property / cites work: PGL(2,11) and PSL(2,11) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Beauville surfaces and finite groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Torus bundles not distinguished by TQFT invariants. With an appendix by Louis Funar and Andrei Rapinchuk / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4027276 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The absolute Galois group acts faithfully on regular dessins and on Beauville surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-homeomorphic Galois conjugate Beauville structures on \(\mathrm{PSL}(2,p)\). / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4846449 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4143433 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4200361 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4364744 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Grothendieck's problem for 3-manifold groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Bound for the Number of Automorphisms of a Compact Riemann Surface / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Mapping-Class Groups and Teichmüller Spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nonhomeomorphic conjugates of connected Shimura varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic geometry and analytic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5728048 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4003835 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3559368 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subgroups of Fuchsian Groups and Finite Permutation Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finitely Maximal Fuchsian Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Field of definition and Galois orbits for the Macbeath-Hurwitz curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4708080 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3434821 / rank
 
Normal rank

Revision as of 13:17, 15 July 2024

scientific article
Language Label Description Also known as
English
Arbitrarily large Galois orbits of non-homeomorphic surfaces
scientific article

    Statements

    Arbitrarily large Galois orbits of non-homeomorphic surfaces (English)
    0 references
    0 references
    0 references
    0 references
    25 April 2018
    0 references
    This paper shows two results involving complex surfaces isogenous to higher products with non-homeomorphic Galois conjugates. The first result deals with Beauville surfaces, i.e. those of the form \((C_1\times C_2)/G\), where each \(C_i\) is a curve of genus \(g_i>1\) such that \(C_i/G\cong\mathbb{P}^1(\mathbb{C})\) and the projection \(C_i\to C_i/G\) is branched over three points (i.e. \(C_i\) is a quasiplatonic curve). As in [\textit{G. González-Diez} and \textit{D. Torres-Teigell}, Adv. Math. 229, No. 6, 3096--3122 (2012; Zbl 1263.14038)], the key idea relies on Catanese's rigidity theorem of Beauville surfaces: Two such surfaces are isomorphic if they are products of two curves, where each of them are isomorphic or differ by complex conjugation, divided by isomorphic groups. In contrast to [loc.cit.], they consider the group action of \(G:=\mathrm{PGL}_2(p)\) instead of \(\mathrm{PSL}_2(p)\) on curves. After the summaries on Beauville surfaces and properties of \(\mathrm{PGL}_2(p)\) in Sections 2-3, the construction goes as follows: Let \(k,l>10\) be divisors of \(p-1\) and \(p+1\) respectively such that \((p-1)/k\) and \((p+1)/l\) are odd. There are \(\mathrm{Gal}(\overline{\mathbb Q}/\mathbb{Q})\)-orbits of non-isomorphic real curves of length \(\varphi(k)/2\) resp. \(\varphi(l)/2\) with \(G\)-actions defined over the triangle groups \(\Delta(2,3,k)\) resp. \(\Delta(2,4,l)\) as constructed in Sections 4-5. These give rise to a Galois orbit of \(\varphi(k)\varphi(l)/4\) Beauville surfaces that are non-mutually isomorphic as discussed in Sections 6-7. The second result deals with \(n\)-dimensional families of complex surfaces isogenous to higher products. The key idea is Proposition 8.1, which is a slight modification of Catanese's rigidity theorem when one factor is a quasiplatonic curve. The second factor then arises from a cocompact Fuchsian group having \(G\) as quotient. Fixing such a curve \(C_2\) of genus \(g_2\), we obtain a family of curves of genus \(g_2\) with \(G\)-actions topologically conjugate to the one on \(C_2\). Example 8.3 shows that we can obtain such families with any given fixed dimension. Furthermore, we can choose the first factor such that \(\mathrm{Gal}(\mathbb{C}/\mathbb{Q})\)-orbit of the resulting surface has at least \(N\) non-isomorphic fundamental groups for any given \(N\). This paper ends with the discussion in the last section that, although the fundamental groups of those surfaces in a Galois orbit are non-isomorphic, they have the same profinite completions. This can be seen, for instance, by the theory of étale fundamental group.
    0 references
    Beauville surfaces
    0 references
    Galois orbits
    0 references
    algebraic and topological fundamental groups
    0 references
    triangle groups
    0 references
    Fuchsian groups
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references