{"entities":{"Q943363":{"pageid":945211,"ns":120,"title":"Item:Q943363","lastrevid":42778685,"modified":"2025-07-11T09:56:23Z","type":"item","id":"Q943363","labels":{"en":{"language":"en","value":"Intersecting subvarieties of \\({G_m^n}\\) with algebraic subgroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5323305"}},"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":"Q943363$75CA7C65-84FF-480D-9C26-FAD99ED815E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d7e244be608cf75654ff3a9bb8219e12b708776","datavalue":{"value":{"text":"Intersecting subvarieties of \\({G_m^n}\\) with algebraic subgroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q943363$BD08FDF0-708F-4C38-A129-B725DDAA6260","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6adfbf5c8e504d4b7d518f16c6e695631c728475","datavalue":{"value":"1168.14019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943363$5EF3B52E-A10E-4429-9565-BBA8CC4E04F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943363$FFD53EBB-A768-48F5-B7D6-3E38EC6A88E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c410b8e6c6f16e495cecdeb38de7754dabfa1e","datavalue":{"value":{"time":"+2008-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q943363$CFBBA9DF-B645-4703-9886-C01B369E0D78","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11f628c8122649a2bec88aaafa591f6881eba798","datavalue":{"value":"The author continues the research, initiated by \\textit{E. Bombieri, D. Masser} and \\textit{U. Zannier} [Int. Math. Res. Not. 1999, No. 20, 1119--1140 (1999; Zbl 0938.11031)], on the intersections of subvarieties of the \\(n\\)-dimensional linear torus \\({\\mathbb G}_m^n\\) with algebraic subgroups of the linear torus. Denote by \\({\\mathcal H}_m\\) the union of all algebraic subgroups of \\({\\mathbb G}_m^n\\) of dimension at most \\(m\\). Further, denote by \\(h\\) the logarithmic Weil height on \\({\\mathbb G}_m^n(\\overline{{\\mathbb Q}})\\), and then define \\(C({\\mathcal H}_m,\\epsilon )\\) to be the set of \\(p\\in {\\mathbb G}_m^n(\\overline{{\\mathbb Q}})\\) for which there exist \\(a\\in {\\mathcal H}_m\\), \\(b\\in {\\mathbb G}_m^n(\\overline{{\\mathbb Q}})\\) such that \\(p=a\\cdot b\\) and \\(h(b)<\\epsilon (1+h(a))\\). Let \\(X\\) be a subvariety of the \\(n\\)-dimensional linear torus \\({\\mathbb G}_m^n\\), defined over \\(\\overline{{\\mathbb Q}}\\). A subvariety \\(Y\\) of \\(X\\) is called \\textit{anomalous}, if it is an irreducible component of an improper intersection of \\(X\\) with a translate of an algebraic subgroup of \\({\\mathbb G}_m^n\\), i.e., if there is a translate \\(H\\) of an algebraic subgroup of \\({\\mathbb G}_m^n\\) such that \\(Y\\subset H\\) and \\(\\text{codim} Y\\leq\\min \\big(n-1 ,\\text{codim} X+\\text{codim} Y-1\\big)\\). Denote by \\(X^{\\text{oa}}\\) the subset of \\(X\\), obtained be removing the union of all its anomalous subvarieties defined over \\(\\overline{{\\mathbb Q}}\\). It is known that if \\(U\\) is a Zariski open subset of \\(X\\) defined over \\(\\overline{{\\mathbb Q}}\\), then the set of \\(\\overline{{\\mathbb Q}}\\)-points of \\(\\big(X\\setminus U\\big)\\cap {\\mathcal H}_m\\) has unbounded height if \\(m\\geq n-\\dim X+1\\); the author recalls the simple proof. Bombieri, Masser and Zannier proved that \\(X^{\\text{oa}}\\) is Zariski open in \\(X\\), and stated the conjecture that the set of \\(\\overline{{\\mathbb Q}}\\)-rational points of \\(X^{\\text{oa}}\\cap{\\mathcal H}_m\\) has bounded height if \\(m\\leq n-\\dim X\\). This conjecture has been proved in the cases \\(\\dim X=1,2\\) (Bombieri, Masser and Zannier) and \\(\\dim X =n-1\\) (Bombieri, Zannier). The author formulates the stronger conjecture that there exists \\(\\epsilon >0\\) such that \\(X^{\\text{oa}}\\cap C({\\mathcal H}_m,\\epsilon )\\) has bounded height if \\(m\\leq n-\\dim X\\). Further, he proves among other things, the following explicit version of a special case of his conjecture; \\(\\deg X\\) and \\(h(X)\\) denote the degree and height of \\(X\\): Put \\(s:=\\dim X\\), \\(c(n):= (2n)^{30n^2}\\), and let \\(m\\) be an integer with \\(m