Showing 1–7 of 7 results for author: Nagamachi, I

Minimal log regular models of hyperbolic curves over discrete valuation fields

Authors: Ippei Nagamachi

Abstract: In the famous paper of Deligne and Mumford, they proved that a proper hyperbolic curve over a discrete valuation field has stable reduction if and only if the Jacobian variety of the curve has stable reduction in the case where the residue field of its valuation ring is algebraically closed. In the proof, the theory of minimal regular models played an important role. In this paper, we establish a… ▽ More In the famous paper of Deligne and Mumford, they proved that a proper hyperbolic curve over a discrete valuation field has stable reduction if and only if the Jacobian variety of the curve has stable reduction in the case where the residue field of its valuation ring is algebraically closed. In the proof, the theory of minimal regular models played an important role. In this paper, we establish a theory of minimal log regular models of curves. As a key tool for this theory, we give a criterion for $2$-dimensional local schemes to be log regular in terms of their minimal desingularization. Moreover, as an application of this theory, we prove the above equivalence without the assumption on the residue field. △ Less

Submitted 5 July, 2022; v1 submitted 24 May, 2022; originally announced May 2022.

Comments: 50 pages

MSC Class: 11G20; 14H25

On behavior of conductors, Picard schemes, and Jacobian numbers of varieties over imperfect fields

Authors: Ippei Nagamachi, Teppei Takamatsu

Abstract: Let $X$ be a regular geometrically integral variety over an imperfect field $K$. Unlike the case of characteristic $0$, $X':=X\times_{\mathrm{Spec}\,K}\mathrm{Spec}\,K'$ may have singular points for a (necessarily inseparable) field extension $K'/K$. In this paper, we define new invariants of the local rings of codimension $1$ points of $X'$, and use these invariants for the calculation of $δ$-inv… ▽ More Let $X$ be a regular geometrically integral variety over an imperfect field $K$. Unlike the case of characteristic $0$, $X':=X\times_{\mathrm{Spec}\,K}\mathrm{Spec}\,K'$ may have singular points for a (necessarily inseparable) field extension $K'/K$. In this paper, we define new invariants of the local rings of codimension $1$ points of $X'$, and use these invariants for the calculation of $δ$-invariants (, which relate to genus changes,) and conductors of such points. As a corollary, we give refinements of Tate's genus change theorem and the Patakfalvi-Waldron Theorem. Moreover, when $X$ is a curve, we show that the Jacobian number of $X$ is $2p/(p-1)$ times of the genus change by using the above calculation. In this case, we also relate the structure of the Picard scheme of $X$ with invariants of singular points of $X$. To prove such a relation, we give a characterization of the geometrical normality of algebras over fields of positive characteristic. △ Less

Submitted 3 March, 2022; v1 submitted 8 October, 2021; originally announced October 2021.

Comments: 35 pages

MSC Class: Primary 14H20; Secondary 14G17; 14K30

The Shafarevich conjecture and some extension theorems for proper hyperbolic polycurves

Authors: Ippei Nagamachi, Teppei Takamatsu

Abstract: In this paper, we prove the Shafarevich conjecture for proper hyperbolic polycurves, which is a higher dimensional analogue of that for proper hyperbolic curves. First, we study theories of proper hyperbolic polycurves over regular schemes. For example, we generalize the moduli theory of Kodaira fibrations due to Jost and Yau. We also show the Neron property of proper smooth models of proper hyper… ▽ More In this paper, we prove the Shafarevich conjecture for proper hyperbolic polycurves, which is a higher dimensional analogue of that for proper hyperbolic curves. First, we study theories of proper hyperbolic polycurves over regular schemes. For example, we generalize the moduli theory of Kodaira fibrations due to Jost and Yau. We also show the Neron property of proper smooth models of proper hyperbolic polycurves over Dedekind schemes under an assumption on residual characteristics. We then apply these extension theories to the proof of the Shafarevich conjecture for proper hyperbolic polycurves. △ Less

Submitted 3 November, 2019; originally announced November 2019.

Comments: 12 pages

MSC Class: 11G35

Topics in the Grothendieck conjecture for hyperbolic polycurves of dimension 2

Authors: Ippei Nagamachi

Abstract: In this paper, we study the anabelian geometry of hyperbolic polycurves of dimension 2 over sub-p-adic fields. In 1-dimensional case, Mochizuki proved the Hom version of the Grothendieck conjecture for hyperbolic curves over sub-p-adic fields and the pro-p version of this conjecture. In 2-dimensional case, a naive analogue of this conjecture does not hold for hyperbolic polycurves over general sub… ▽ More In this paper, we study the anabelian geometry of hyperbolic polycurves of dimension 2 over sub-p-adic fields. In 1-dimensional case, Mochizuki proved the Hom version of the Grothendieck conjecture for hyperbolic curves over sub-p-adic fields and the pro-p version of this conjecture. In 2-dimensional case, a naive analogue of this conjecture does not hold for hyperbolic polycurves over general sub-p-adic fields. Moreover, the Isom version of the pro-p Grothendieck conjecture does not hold in general. We explain these two phenomena and prove the Hom version of the Grothendieck conjecture for hyperbolic polycurves of dimension 2 under the assumption that the Grothendieck section conjecture holds for some hyperbolic curves. △ Less

Submitted 23 August, 2022; v1 submitted 6 February, 2019; originally announced February 2019.

Comments: 18 pages

On homotopy exact sequences for normal schemes

Authors: Ippei Nagamachi

Abstract: Consider a morphism between connected locally Noetherian normal schemes. In this paper, we discuss when the sequence of the etale fundamental groups associated to the morphism is exact. Moreover, we give a characterization of when the kernel of the induced homomorphism between their fundamental groups is topologically finitely generated, for the morphism from a smooth variety to a smooth curve. Consider a morphism between connected locally Noetherian normal schemes. In this paper, we discuss when the sequence of the etale fundamental groups associated to the morphism is exact. Moreover, we give a characterization of when the kernel of the induced homomorphism between their fundamental groups is topologically finitely generated, for the morphism from a smooth variety to a smooth curve. △ Less

Submitted 3 November, 2021; v1 submitted 28 November, 2018; originally announced November 2018.

Comments: 20 pages

Criteria for good reduction of proper polycurves

Authors: Ippei Nagamachi

Abstract: We give good reduction criteria for hyperbolic polycurves, i.e., successive extensions of families of curves, under mild assumption. These criteria are higher dimensional version of the good reduction criterion for hyperbolic curves given by Oda and Tamagawa. We give good reduction criteria for hyperbolic polycurves, i.e., successive extensions of families of curves, under mild assumption. These criteria are higher dimensional version of the good reduction criterion for hyperbolic curves given by Oda and Tamagawa. △ Less

Submitted 2 January, 2020; v1 submitted 26 January, 2018; originally announced January 2018.

On a good reduction criterion for proper polycurves with sections

Authors: Ippei Nagamachi

Abstract: We give a good reduction criterion for proper polycurves with sections,i.e., successive extensions of family of curves with section, under mild assumption. This criterion is a higher dimensional version of the good reduction criterion for hyperbolic curves given by Oda and Tamagawa. We give a good reduction criterion for proper polycurves with sections,i.e., successive extensions of family of curves with section, under mild assumption. This criterion is a higher dimensional version of the good reduction criterion for hyperbolic curves given by Oda and Tamagawa. △ Less

Submitted 22 November, 2016; v1 submitted 26 September, 2016; originally announced September 2016.