{"entities":{"Q2564635":{"pageid":2575378,"ns":120,"title":"Item:Q2564635","lastrevid":46813293,"modified":"2025-12-25T15:47:13Z","type":"item","id":"Q2564635","labels":{"en":{"language":"en","value":"Iterated double covers and connected components of moduli spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 966988"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564635$2D89D12A-6A60-4882-A3DA-3AD5DDBCB1FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dea403391b242a4049e677b4d133792d5133dca","datavalue":{"value":{"text":"Iterated double covers and connected components of moduli spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2564635$651075DC-4540-4594-9525-D66B02CDD719","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb05f52e1f99f70807fb282ee893ebcee66292e9","datavalue":{"value":"0889.14014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564635$8F072720-3475-422D-9114-856FE74E9798","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30908676c05ac058d9cfde52860abfe342770110","datavalue":{"value":"10.1016/S0040-9383(96)00026-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564635$ECA914D6-9C67-4FAF-BD63-B22541256A0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c42809747d5deac33377245303c524e581351c60","datavalue":{"value":{"entity-type":"item","numeric-id":298878,"id":"Q298878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564635$E4E0EA42-88AD-4CF6-96AF-4661B0E0D68E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68f468c44aee9489650eda81adf5e09eaa720a8c","datavalue":{"value":{"entity-type":"item","numeric-id":172615,"id":"Q172615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564635$68C71AE5-A479-4265-89A2-09517F52904D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81481511537480aa6e4dec18faa040d3b5b45d6","datavalue":{"value":{"time":"+1998-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2564635$975801AB-C2EE-48CA-B3E4-C7EE749B26B0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8815fb68c5e88466a20dc61eb0578bb930a89fce","datavalue":{"value":"Let \\(S\\) be a smooth minimal surface of general type over the field of complex numbers and denote by \\({\\mathcal M} (S)\\) the coarse moduli space of surface of general type homeomorphic to \\(S\\), \\({\\mathcal M} (S)\\) is a quasi-projective variety by Gieseker's theorem. Since \\(K^2_S>0\\), the divisibility \\(r(S)\\) of the canonical class \\(k_S= c_1(K_S) \\in H^2 (S,\\mathbb{Z})\\) is well defined, i.e. \\(r(S)= \\max \\{r\\in\\mathbb{N} \\mid r^{-1} c_1(S) \\in H^2 (S,\\mathbb{Z})\\}\\). \\(r(S)\\) is a positive integer which is invariant under deformation and the set \\[ {\\mathcal M}_d (S)=\\bigl\\{[S']\\in {\\mathcal M} (S) \\mid r(S') =r(S)\\bigr\\} \\] is a subvariety of \\({\\mathcal M} (S)\\) and the number of connected components of \\({\\mathcal M}_d(S)\\) is bounded by a function \\(\\delta\\) of the numerical invariants \\(K^2_S\\), \\(\\chi ({\\mathcal O}_S)\\). It is known that \\(\\delta\\) is not bounded [see \\textit{M. Manetti}, Compos. Math. 92, N. 3, 285-297 (1994; Zbl 0849.14016)]. Here we prove that ``in general'' \\(\\delta\\) takes quite large values, more precisely we have Theorem A. For every real number \\(4\\leq \\beta \\leq 8\\) there exists a sequence \\(S_n\\) of simply connected surfaces of general type such that: (a) \\(y_n= K^2_{S_n}\\), \\(x_n= \\chi ({\\mathcal O}_{S_n}) \\to\\infty\\) as \\(n\\to \\infty\\). (b) \\(\\lim_{n\\to \\infty} (y_n/x_n) =\\beta\\). (c) \\(\\delta (S_n) \\geq y_n^{(1/5) \\log y_n}\\) (here \\(\\delta (S_n)\\) is the number of connected components of \\({\\mathcal M}_d (S_n))\\). Theorem A relies on the explicit description of the connected components in the moduli space of a wide class of surfaces of general type whose Chern numbers spread in all the region \\({1\\over 2} c_2 \\leq c^2_1 \\leq 2c_2 \\). Definition B. A finite map between normal algebraic surfaces \\(p: X\\to Y\\) is called a simple iterated double cover associated to a sequence of line bundles \\(L_1, \\dots, L_n \\in\\text{Pic} (Y)\\) if the following conditions hold: (1) There exist \\(n+1\\) normal surfaces \\(X=X_0, \\dots, X_n=Y\\) and \\(n\\) flat double covers \\(\\pi_i: X_{i-1} \\to X_i\\) such that \\(p=\\pi_n \\circ \\cdots \\circ \\pi_1\\). (2) If \\(p_i: X_i\\to Y\\) is the composition of \\(\\pi_j\\)'s \\(j>i\\) then we have for every \\(i=1, \\dots, n\\) the eigensheaves decomposition \\(\\pi_{i*} {\\mathcal O}_{X_{i-1}}= {\\mathcal O}_{X_i} \\oplus p^*_i (-L_i)\\). For any sequence \\(L_1, \\dots, L_n\\in \\text{Pic} (\\mathbb{P}^1 \\times \\mathbb{P}^1)\\) define \\((N(L_1, \\dots, L_n)\\) as the image in the moduli space of the set of surfaces of general type whose canonical model is a simple iterated double cover of \\(\\mathbb{P}^1 \\times \\mathbb{P}^1\\) associated to \\(L_1,\\dots,L_n\\). The main theme of this paper is to determine sufficient conditions on the sequence \\(L_1,\\dots,L_n\\) in such a way that the set \\(N(L_1, \\dots, L_n)\\) has ``good'' properties; the conditions we find are summarized in the following definition: Definition C. A sequence \\(L_1, \\dots, L_n\\), \\(L_i= {\\mathcal O}_{\\mathbb{P}^1 \\times \\mathbb{P}^1} (a_i,b_i)\\), \\(n\\geq 2\\) of line bundles on \\(\\mathbb{P}^1 \\times\\mathbb{P}^1\\) is called a good sequence if it satisfies the following conditions. (C1) \\(a_i\\), \\(b_i\\geq 3\\) for every \\(i=1, \\dots, n\\). (C2) \\(\\max_{j