Semi-stable reduction implies minimality of the resultant (Q405881): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The group \(\mathrm{PGL}_{n+1}\) acts on \(\mathbb{P}^n\) as coordinate-changes, and hence it acts on the set of morphisms from \(\mathbb{P}^n\) to \(\mathbb{P}^n\) via conjugation. The set \(M_d^n\) of morphisms which induce a map of degree \(d\) on the Picard group can be written as the affine open of \(\mathbb P^N\) where the Macaulay resultant \(\rho\) does not vanish, with \(N = \binom {n+d}d (n+1) - 1\). Since \(\rho\) is invariant under \(\mathrm{PSL}\) and \(\mathrm{PGL} = \mathrm{PSL}\) over algebraically closed fields, one can apply the geometric invariant theory in this setting with \(\mathrm{PSL}\). The semi-stable locus can be very explicitly written as \(\mathrm{Proj}\,\, \mathbb Z[x_0,\dots, x_N]^{\mathrm{SL}_{n+1}}\). Using this description, the authors improve their earlier work [\textit{L. Szpiro} et al., Publ. Mat., Barc. 58, No. 2, 295--329 (2014; Zbl 1392.37108)] to show that if a point \([a_0:\dots:a_N]\) defined over a global field is semi-stable modulo a place \(p\), then the point is minimal with respect to \(\rho\) at \(p\) (Theorem 3.3). That is, \[ \frac{\rho(a_0,\dots, a_N)}{\max(|a_0|_p, \dots, |a_N|_p)^{\deg \rho}} \] has the least \(p\)-adic valuation among the coordinate-changes (i.e. \(\mathrm{PGL}\)-action) of \([a_0:\dots : a_N]\). Thus, good/bad reduction can be checked immediately for semi-stable points, and numerical criteria for semi-stability for \(n=1\) [\textit{J. H. Silverman}, Duke Math. J. 94, No. 1, 41--77 (1998; Zbl 0966.14031)] automatically imply the minimality. As a corollary, they show that a bad reduction at a semi-stable point persists in algebraic extensions (Corollary 4.1). For number fields, they also show that each morphism has a coordinate-change over an extension such that the map is semi-stable (and thus minimal) for all \(p\) (Theorem 5.1). The question of finding globally semi-stable presentation has a counterexample over function fields [\textit{A. Levy}, Algebra Number Theory 6, No. 7, 1483--1501 (2012; Zbl 1268.14043)]. Note that [\textit{N. Bruin} and \textit{A. Molnar}, LMS J. Comput. Math. 15, 400--417 (2012; Zbl 1300.37051)] and [\textit{R. Rumely}, ``The minimal resultant locus'', preprint, \url{arXiv:1304.1201}] also give other approaches to minimal resultants in the case of \(n=1\). The authors give several examples, including one that shows that the Lattés maps on \(\mathbb P^1\) coming from an elliptic curve \(E\) are actually unstable at places where \(E\) has semi-stable reductions (Example 3.2). | |||
Property / review text: The group \(\mathrm{PGL}_{n+1}\) acts on \(\mathbb{P}^n\) as coordinate-changes, and hence it acts on the set of morphisms from \(\mathbb{P}^n\) to \(\mathbb{P}^n\) via conjugation. The set \(M_d^n\) of morphisms which induce a map of degree \(d\) on the Picard group can be written as the affine open of \(\mathbb P^N\) where the Macaulay resultant \(\rho\) does not vanish, with \(N = \binom {n+d}d (n+1) - 1\). Since \(\rho\) is invariant under \(\mathrm{PSL}\) and \(\mathrm{PGL} = \mathrm{PSL}\) over algebraically closed fields, one can apply the geometric invariant theory in this setting with \(\mathrm{PSL}\). The semi-stable locus can be very explicitly written as \(\mathrm{Proj}\,\, \mathbb Z[x_0,\dots, x_N]^{\mathrm{SL}_{n+1}}\). Using this description, the authors improve their earlier work [\textit{L. Szpiro} et al., Publ. Mat., Barc. 58, No. 2, 295--329 (2014; Zbl 1392.37108)] to show that if a point \([a_0:\dots:a_N]\) defined over a global field is semi-stable modulo a place \(p\), then the point is minimal with respect to \(\rho\) at \(p\) (Theorem 3.3). That is, \[ \frac{\rho(a_0,\dots, a_N)}{\max(|a_0|_p, \dots, |a_N|_p)^{\deg \rho}} \] has the least \(p\)-adic valuation among the coordinate-changes (i.e. \(\mathrm{PGL}\)-action) of \([a_0:\dots : a_N]\). Thus, good/bad reduction can be checked immediately for semi-stable points, and numerical criteria for semi-stability for \(n=1\) [\textit{J. H. Silverman}, Duke Math. J. 94, No. 1, 41--77 (1998; Zbl 0966.14031)] automatically imply the minimality. As a corollary, they show that a bad reduction at a semi-stable point persists in algebraic extensions (Corollary 4.1). For number fields, they also show that each morphism has a coordinate-change over an extension such that the map is semi-stable (and thus minimal) for all \(p\) (Theorem 5.1). The question of finding globally semi-stable presentation has a counterexample over function fields [\textit{A. Levy}, Algebra Number Theory 6, No. 7, 1483--1501 (2012; Zbl 1268.14043)]. Note that [\textit{N. Bruin} and \textit{A. Molnar}, LMS J. Comput. Math. 15, 400--417 (2012; Zbl 1300.37051)] and [\textit{R. Rumely}, ``The minimal resultant locus'', preprint, \url{arXiv:1304.1201}] also give other approaches to minimal resultants in the case of \(n=1\). The authors give several examples, including one that shows that the Lattés maps on \(\mathbb P^1\) coming from an elliptic curve \(E\) are actually unstable at places where \(E\) has semi-stable reductions (Example 3.2). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Yu Yasufuku / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14L24 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37P45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37P55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14D20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13P15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6340897 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
moduli for dynamical systems | |||
Property / zbMATH Keywords: moduli for dynamical systems / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
geometric invariant theory | |||
Property / zbMATH Keywords: geometric invariant theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
minimal resultant | |||
Property / zbMATH Keywords: minimal resultant / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
bad reduction | |||
Property / zbMATH Keywords: bad reduction / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2073804676 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1212.3391 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal models for rational functions in a dynamical setting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The semistable reduction problem for the space of morphisms on \(\mathbb P^n\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The space of morphisms on projective space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The minimal resultant locus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Global minimal models for endomorphisms of projective space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isotriviality is equivalent to potential good reduction for endomorphisms of over function fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometric reductivity over arbitrary base / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3427175 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The space of rational maps on \(\mathbf P^1\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resultant and conductor of geometrically semi-stable self maps of the projective line over a number field or function field / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:03, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semi-stable reduction implies minimality of the resultant |
scientific article |
Statements
Semi-stable reduction implies minimality of the resultant (English)
0 references
8 September 2014
0 references
The group \(\mathrm{PGL}_{n+1}\) acts on \(\mathbb{P}^n\) as coordinate-changes, and hence it acts on the set of morphisms from \(\mathbb{P}^n\) to \(\mathbb{P}^n\) via conjugation. The set \(M_d^n\) of morphisms which induce a map of degree \(d\) on the Picard group can be written as the affine open of \(\mathbb P^N\) where the Macaulay resultant \(\rho\) does not vanish, with \(N = \binom {n+d}d (n+1) - 1\). Since \(\rho\) is invariant under \(\mathrm{PSL}\) and \(\mathrm{PGL} = \mathrm{PSL}\) over algebraically closed fields, one can apply the geometric invariant theory in this setting with \(\mathrm{PSL}\). The semi-stable locus can be very explicitly written as \(\mathrm{Proj}\,\, \mathbb Z[x_0,\dots, x_N]^{\mathrm{SL}_{n+1}}\). Using this description, the authors improve their earlier work [\textit{L. Szpiro} et al., Publ. Mat., Barc. 58, No. 2, 295--329 (2014; Zbl 1392.37108)] to show that if a point \([a_0:\dots:a_N]\) defined over a global field is semi-stable modulo a place \(p\), then the point is minimal with respect to \(\rho\) at \(p\) (Theorem 3.3). That is, \[ \frac{\rho(a_0,\dots, a_N)}{\max(|a_0|_p, \dots, |a_N|_p)^{\deg \rho}} \] has the least \(p\)-adic valuation among the coordinate-changes (i.e. \(\mathrm{PGL}\)-action) of \([a_0:\dots : a_N]\). Thus, good/bad reduction can be checked immediately for semi-stable points, and numerical criteria for semi-stability for \(n=1\) [\textit{J. H. Silverman}, Duke Math. J. 94, No. 1, 41--77 (1998; Zbl 0966.14031)] automatically imply the minimality. As a corollary, they show that a bad reduction at a semi-stable point persists in algebraic extensions (Corollary 4.1). For number fields, they also show that each morphism has a coordinate-change over an extension such that the map is semi-stable (and thus minimal) for all \(p\) (Theorem 5.1). The question of finding globally semi-stable presentation has a counterexample over function fields [\textit{A. Levy}, Algebra Number Theory 6, No. 7, 1483--1501 (2012; Zbl 1268.14043)]. Note that [\textit{N. Bruin} and \textit{A. Molnar}, LMS J. Comput. Math. 15, 400--417 (2012; Zbl 1300.37051)] and [\textit{R. Rumely}, ``The minimal resultant locus'', preprint, \url{arXiv:1304.1201}] also give other approaches to minimal resultants in the case of \(n=1\). The authors give several examples, including one that shows that the Lattés maps on \(\mathbb P^1\) coming from an elliptic curve \(E\) are actually unstable at places where \(E\) has semi-stable reductions (Example 3.2).
0 references
moduli for dynamical systems
0 references
geometric invariant theory
0 references
minimal resultant
0 references
bad reduction
0 references
0 references