Search arXiv⌕ Search

arXiv subjects

Fumiharu Kato

Publications and source records attributed to Fumiharu Kato.

At least 19 recordsLinked to original sources
arXiv2026

Non-vanishing of the structure-sheaf cohomology of affine henselian schemes and henselian affinoids

Let $(A,I)$ be a henselian pair such that $A$ is a domain of characteristic zero and $I\ne0$. We prove that any flat affine henselian scheme of finite presentation over $(A,I)$ has nonzero first structure-sheaf cohomology whenever one of its fibers over a point in $V(I)$ has positive dimension. This in particular gives a negative answer to the question by Devadas in the mixed-characteristic case. As an application, we also prove that the first structure-sheaf cohomology does not vanish for henselian affinoids of positive dimensions.

math.AG↗
arXiv2024

Sharp bounds for the number of rational points on algebraic curves and dimension growth, over all global fields

Let $C\subset{\mathbb P}_K^2$ be an algebraic curve over a number field $K$, and denote by $d_K$ the degree of $K$ over ${\mathbb Q}$. We prove that the number of $K$-rational points of height at most $H$ in $C$ is bounded by $c d^{2}H^{2d_K/d}(\log H)^κ$ where $c,κ$ are absolute constants. We also prove analogous results for global fields in positive characteristic, and, for higher dimensional varieties. The quadratic dependence on $d$ in the bound as well as the exponent of $H$ are optimal; the novel aspect is the quadratic dependence on $d$ which answers a question raised by Salberger. We derive new results on Heath-Brown's and Serre's dimension growth conjecture for global fields, which generalize in particular the results by the first two authors and Novikov from the case $K={\mathbb Q}$. The proofs however are of a completely different nature, replacing the real analytic approach previously used by the $p$-adic determinant method. The optimal dependence on $d$ is achieved using a technical improvement in the treatment of high multiplicity points on mod $p$ reductions of algebraic curves.

math.NT↗
arXiv2022

Rational points of rigid-analytic sets: a Pila-Wilkie type theorem

We establish a rigid-analytic analog of the Pila-Wilkie counting theorem, giving sub-polynomial upper bounds for the number of rational points in the transcendental part of a $\mathbb{Q}_p$-analytic set, and the number of rational functions in a $\mathbb{F}_q((t))$-analytic set. For $\mathbb{Z}[[t]]$-analytic sets we prove such bounds uniformly for the specialization to every non-archimedean local field.

math.NT↗
arXiv2021

Regular dessins with moduli fields of the form $\mathbb{Q}(ζ_p,\sqrt[p]{q})$

Gareth Jones asked during the 2014 SIGMAP conference for examples of regular dessins with nonabelian fields of moduli. In this paper, we first construct dessins whose moduli fields are nonabelian Galois extensions of the form $\mathbb{Q}(ζ_p,\sqrt[p]{q})$, where $p$ is an odd prime and $ζ_p$ is a $p$th root of unity and $q\in\mathbb{Q}$ is not a $p$th power, and we then show that their regular closures have the same moduli fields. Finally, in the special case $p=q=3$ we give another example of a regular dessin with moduli field $\mathbb{Q}(ζ_3,\sqrt[3]{3})$ of degree $2^{19}\cdot3^4$ and genus $14155777$.

math.AG↗
arXiv2021

Extremal quasimodular forms of lower depth with integral Fourier coefficients

We show that, based on Grabner's recent results on modular differential equations satisfied by quasimodular forms, there exist only finitely many normalized extremal quasimodular forms of depth $r$ that have all Fourier coefficients integral for each of $r=1,2,3,4$, and partly classifies them, where the classification is complete for $r=2,3,4$; in fact, we show that there exists no normalized extremal quasimodular forms of depth $4$ with all Fourier coefficients integral. Our result disproves a conjecture by Pellarin.

math.NT↗
arXiv2021

Exactness, integrality, and log modifications

In this paper we discuss log blow-up's, introduced by Kazuya Kato, and define the concept of log modifications. Using this concept we prove that any morphism f: X ---> Y of locally noetherian fs log schemes with underlying structures of f and Y quasi-compact can be modified to an exact morphism, and moreover to an integral morphism. By a well-known fact on the underlying structure of an integral morphism this result can be considered as a weak log-version of flattening theorem by Raynaud and Gruson.

math.AG↗
arXiv2021

Integral morphisms and log blow-ups

This paper is a revision of the author's old preprint "Exactness, integrality, and log modifications". We will prove that any quasi-compact morphism of fs log schemes can be modified locally on the base to an integral morphism by base change by fs log blow-ups.

math.AG↗
arXiv2019

Discontinuous groups in positive characteristic and automorphisms of Mumford curves

A Mumford curve of genus g (>1) over a non-archimedean valued field k of positive characteristic has at most max{12(g-1), 2 g^(1/2) (g^(1/2)+1)^2} automorphisms. This bound is sharp in the sense that there exist Mumford curves of arbitrary high genus that attain it (they are fibre products of suitable Artin-Schreier curves). The proof provides (via its action on the Bruhat-Tits tree) a classification of discontinuous subgroups of PGL(2,k) that are normalizers of Schottky groups of Mumford curves with more than 12(g-1) automorphisms. As an application, it is shown that all automorphisms of the moduli space of rank-2 Drinfeld modules with principal level structure preserve the cusps.

math.AG↗
arXiv2017

Foundations of Rigid Geometry I

In this research oriented manuscript, foundational aspects of rigid geometry are discussed, putting emphasis on birational side of formal schemes and topological feature of rigid spaces. Besides the rigid geometry itself, topics include the general theory of formal schemes and formal algebraic spaces, based on a theory of complete rings which are not necessarily Noetherian (cf. introduction). The manuscript is encyclopedic and almost self-contained, and contains plenty of new results. A discussion on relationship with J. Tate's rigid analytic geometry, V. Berkovich's analytic geometry and R. Huber's adic spaces is also included. As a model example of applications, a proof of Nagata's compactification theorem for schemes is given in the appendix. 5th version (Feb. 28, 2017): minor changes.

math.AG↗
arXiv2017

On Henselian Rigid Geometry

We overview some of the foundations of the so-called henselian rigid geometry, and show that henselian rigid geometry has many aspects, useful in applications, that one cannot expect in the usual rigid geometry. This is done by announcing a few characteristic results, one of which is an analogue of Zariski Main Theorem.

math.AG↗
arXiv2016

The densest lattices in PGL3(Q2)

We find the smallest possible covolume for lattices in PGL3(Q2), show that there are exactly two lattices with this covolume, and describe them explicitly. They are commensurable, and one of them appeared in Mumford's construction of his fake projective plane. We also discuss a new 2-adic uniformization of another fake projective plane.

math.GR↗
arXiv2014

A fake plane via 2-adic uniformization with torsion

We adapt the theory of non-Archimedean uniformization to construct a smooth surface from a lattice in PGL3(Q2) that has nontrivial torsion. It turns out to be a fake projective plane, commensurable with Mumford's fake plane yet distinct from it and the other fake planes that arise from 2-adic uniformization by torsion-free groups. As part of the proof, and of independent interest, we compute the homotopy type of the Berkovich space of our plane.

math.AG↗
arXiv2013

A combinatorial Li-Yau inequality and rational points on curves

We present a method to control gonality of nonarchimedean curves based on graph theory. Let k denote a complete nonarchimedean valued field. We first prove a lower bound for the gonality of a curve over the algebraic closure of k in terms of the minimal degree of a class of graph maps, namely: one should minimize over all so-called finite harmonic graph morphisms to trees, that originate from any refinement of the dual graph of the stable model of the curve. Next comes our main result: we prove a lower bound for the degree of such a graph morphism in terms of the first eigenvalue of the Laplacian and some "volume" of the original graph; this can be seen as a substitute for graphs of the Li-Yau inequality from differential geometry, although we also prove that the strict analogue of the original inequality fails for general graphs. Finally, we apply the results to give a lower bound for the gonality of arbitrary Drinfeld modular curves over finite fields and for general congruence subgroups Gamma of Gamma(1) that is linear in the index [Gamma(1):Gamma], with a constant that only depends on the residue field degree and the degree of the chosen "infinite" place. This is a function field analogue of a theorem of Abramovich for classical modular curves. We present applications to uniform boundedness of torsion of rank two Drinfeld modules that improve upon existing results, and to lower bounds on the modular degree of certain elliptic curves over function fields that solve a problem of Papikian.

math.AG↗
arXiv2008

Three examples of the relation between rigid-analytic and algebraic deformation parameters

We consider three examples of families of curves over a non-archimedean valued field which admit a non-trivial group action. These equivariant deformation spaces can be described by algebraic parameters (in the equation of the curve), or by rigid-analytic parameters (in the Schottky group of the curve). We study the relation between these parameters as rigid-analytic self-maps of the disk.

math.AG↗
arXiv2003

Zur Entartung gezuegelter Gruppenoperationen auf Kurven (Degeneration of restrained group actions on curves)

An action of a finite group on a smooth projective curve over an algebraically closed field of positive characteristic is called restrained, if all second ramification groups are trivial (e.g., every group action on an ordinary curve is restrained). When the ramification indices satisfy certain numerical criteria, we construct a degenerating equivariant quasi-projective family to which the given curve belongs, and which in a sense is the unique building block for all such restrained equivariant families that ramify above a fixed set of points. The result is used to inductively study automorphisms of ordinary curves.

math.AG↗
arXiv2002

Mumford curves with maximal automorphism group

The maximal number of automorphisms of a Mumford curve over a non-archimedean valued field of positive characteristic is known. In this note, the unique family of curves that attains this bound in genus not equal to 5,6,7 or 8 is explicitly determined, as is its automorphism group.

math.AG↗