Showing 1–13 of 13 results for author: Hattori, S

$\mathscr{D}$-elliptic sheaves and the Hasse principle

Authors: Keisuke Arai, Shin Hattori, Satoshi Kondo, Mihran Papikian

Abstract: Let $p$ be a rational prime, $q>1$ a power of $p$ and $F=\mathbb{F}_q(t)$. For an integer $d\geq 2$, let $D$ be a central division algebra over $F$ of dimension $d^2$ which is split at $\infty$ and has invariant $\mathrm{inv}_x(D)=1/d$ at any place $x$ of $F$ at which $D$ ramifies. Let $X^D$ be the Drinfeld--Stuhler variety, the coarse moduli scheme of the algebraic stack over $F$ classifying… ▽ More Let $p$ be a rational prime, $q>1$ a power of $p$ and $F=\mathbb{F}_q(t)$. For an integer $d\geq 2$, let $D$ be a central division algebra over $F$ of dimension $d^2$ which is split at $\infty$ and has invariant $\mathrm{inv}_x(D)=1/d$ at any place $x$ of $F$ at which $D$ ramifies. Let $X^D$ be the Drinfeld--Stuhler variety, the coarse moduli scheme of the algebraic stack over $F$ classifying $\mathscr{D}$-elliptic sheaves. In this paper, we establish various arithmetic properties of $\mathscr{D}$-elliptic sheaves to give an explicit criterion for the non-existence of rational points of $X^D$ over a finite extension of $F$ of degree $d$. As an application, for $d=2$, we present explicit infinite families of quadratic extensions of $F$ over which the curve $X^D$ violates the Hasse principle. △ Less

Submitted 28 September, 2024; originally announced September 2024.

Comments: 49 pages. This article supersedes arXiv:1908.08678

Triviality of the Hecke action on ordinary Drinfeld cuspforms of level $Γ_1(t^n)$

Authors: Shin Hattori

Abstract: Let $k\geq 2$ and $n\geq 1$ be any integers. In this paper, we prove that all Hecke operators act trivially on the space of ordinary Drinfeld cuspforms of level $Γ_1(t^n)$ and weight $k$. Let $k\geq 2$ and $n\geq 1$ be any integers. In this paper, we prove that all Hecke operators act trivially on the space of ordinary Drinfeld cuspforms of level $Γ_1(t^n)$ and weight $k$. △ Less

Submitted 3 January, 2021; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: 21 pages; Proposition 2.6 and related things have been removed due to a gap in the proof of the proposition

$\wp$-adic continuous families of Drinfeld eigenforms of finite slope

Authors: Shin Hattori

Abstract: Let $p$ be a rational prime, $v_p$ the normalized $p$-adic valuation on $\mathbb{Z}$, $q>1$ a $p$-power and $A=\mathbb{F}_q[t]$. Let $\wp\in A$ be an irreducible polynomial and $\mathfrak{n}\in A$ a non-zero element which is prime to $\wp$. Let $k\geq 2$ and $r\geq 1$ be integers. We denote by $S_k(Γ_1(\mathfrak{n}\wp^r))$ the space of Drinfeld cuspforms of level $Γ_1(\mathfrak{n}\wp^r)$ and weigh… ▽ More Let $p$ be a rational prime, $v_p$ the normalized $p$-adic valuation on $\mathbb{Z}$, $q>1$ a $p$-power and $A=\mathbb{F}_q[t]$. Let $\wp\in A$ be an irreducible polynomial and $\mathfrak{n}\in A$ a non-zero element which is prime to $\wp$. Let $k\geq 2$ and $r\geq 1$ be integers. We denote by $S_k(Γ_1(\mathfrak{n}\wp^r))$ the space of Drinfeld cuspforms of level $Γ_1(\mathfrak{n}\wp^r)$ and weight $k$ for $A$. Let $n\geq 1$ be an integer and $a\geq 0$ a rational number. Suppose that $\mathfrak{n}\wp$ has a prime factor of degree one and the generalized eigenspace in $S_k(Γ_1(\mathfrak{n}\wp^r))$ of slope $a$ is one-dimensional. In this paper, under an assumption that $a$ is sufficiently small, we construct a family $\{F_{k'}\mid v_p(k'-k)\geq \log_p(p^n+a)\}$ of Hecke eigenforms $F_{k'}\in S_{k'}(Γ_1(\mathfrak{n}\wp^r))$ of slope $a$ such that, for any $Q\in A$, the Hecke eigenvalues of $F_k$ and $F_{k'}$ at $Q$ are congruent modulo $\wp^κ$ with some $κ>p^{v_p(k'-k)}-p^n-a$. △ Less

Submitted 23 July, 2019; v1 submitted 18 April, 2019; originally announced April 2019.

Comments: 31 pages; nebentypus character allowed, Cor. 4.4 added

Dimension variation of Gouvêa-Mazur type for Drinfeld cuspforms of level $Γ_1(t)$

Authors: Shin Hattori

Abstract: Let $p$ be a rational prime and $q>1$ a $p$-power. Let $S_k(Γ_1(t))$ be the space of Drinfeld cuspforms of level $Γ_1(t)$ and weight $k$ for $\mathbb{F}_q[t]$. For any non-negative rational number $α$, we denote by $d(k,α)$ the dimension of the slope $α$ generalized eigenspace for the $U$-operator acting on $S_k(Γ_1(t))$. In this paper, we prove a function field analogue of the Gouvêa-Mazur conjec… ▽ More Let $p$ be a rational prime and $q>1$ a $p$-power. Let $S_k(Γ_1(t))$ be the space of Drinfeld cuspforms of level $Γ_1(t)$ and weight $k$ for $\mathbb{F}_q[t]$. For any non-negative rational number $α$, we denote by $d(k,α)$ the dimension of the slope $α$ generalized eigenspace for the $U$-operator acting on $S_k(Γ_1(t))$. In this paper, we prove a function field analogue of the Gouvêa-Mazur conjecture for this setting. Namely, we show that for any $α\leq m$ and $k_1,k_2>α+1$, if $k_1\equiv k_2 \bmod p^m$, then $d(k_1,α)=d(k_2,α)$. △ Less

Submitted 21 June, 2018; originally announced June 2018.

Comments: 10 pages

Duality of Drinfeld modules and $\wp$-adic properties of Drinfeld modular forms

Authors: Shin Hattori

Abstract: Let $p$ be a rational prime and $q$ a power of $p$. Let $\wp$ be a monic irreducible polynomial of degree $d$ in $\mathbf{F}_q[t]$. In this paper, we define an analogue of the Hodge-Tate map which is suitable for the study of Drinfeld modules over $\mathbf{F}_q[t]$ and, using it, develop a geometric theory of $\wp$-adic Drinfeld modular forms similar to Katz's theory in the case of elliptic modula… ▽ More Let $p$ be a rational prime and $q$ a power of $p$. Let $\wp$ be a monic irreducible polynomial of degree $d$ in $\mathbf{F}_q[t]$. In this paper, we define an analogue of the Hodge-Tate map which is suitable for the study of Drinfeld modules over $\mathbf{F}_q[t]$ and, using it, develop a geometric theory of $\wp$-adic Drinfeld modular forms similar to Katz's theory in the case of elliptic modular forms. In particular, we show that for Drinfeld modular forms with congruent Fourier coefficients at $\infty$ modulo $\wp^n$, their weights are also congruent modulo $(q^d-1)p^{\lceil \log_p(n)\rceil}$, and that Drinfeld modular forms of level $Γ_1(\mathfrak{n})\cap Γ_0(\wp)$, weight $k$ and type $m$ are $\wp$-adic Drinfeld modular forms for any tame level $\mathfrak{n}$ with a prime factor of degree prime to $q-1$. △ Less

Submitted 8 September, 2017; v1 submitted 23 June, 2017; originally announced June 2017.

Comments: 61 pages; Lemmata 3.3, 4.11 and 5.4 corrected, Section 4.5 added and corrected, other minor revisions

Irreducible components of the eigencurve of finite degree are finite over the weight space

Authors: Shin Hattori, James Newton

Abstract: Let p be a rational prime and N a positive integer which is prime to p. Let W be the p-adic weight space for GL_{2,Q}. Let C_N be the p-adic Coleman-Mazur eigencurve of tame level N. In this paper, we prove that any irreducible component of C_N which is of finite degree over W is in fact finite over W. Combined with an argument of Chenevier and a conjecture of Coleman-Mazur-Buzzard-Kilford (whic… ▽ More Let p be a rational prime and N a positive integer which is prime to p. Let W be the p-adic weight space for GL_{2,Q}. Let C_N be the p-adic Coleman-Mazur eigencurve of tame level N. In this paper, we prove that any irreducible component of C_N which is of finite degree over W is in fact finite over W. Combined with an argument of Chenevier and a conjecture of Coleman-Mazur-Buzzard-Kilford (which has been proven in special cases, and for general quaternionic eigencurves) this shows that the only finite degree components of the eigencurve are the ordinary components. △ Less

Submitted 20 January, 2017; originally announced January 2017.

Comments: 21 pages

On a properness of the Hilbert eigenvariety at integral weights: the case of quadratic residue fields

Authors: Shin Hattori

Abstract: Let p be a rational prime. Let F be a totally real number field such that F is unramified over p and the residue degree of any prime ideal of F dividing p is 1 or 2. In this paper, we show that the eigenvariety for Res_{F/Q}(GL_2), constructed by Andreatta-Iovita-Pilloni, is proper at integral weights for p>=3. We also prove a weaker result for p=2. Let p be a rational prime. Let F be a totally real number field such that F is unramified over p and the residue degree of any prime ideal of F dividing p is 1 or 2. In this paper, we show that the eigenvariety for Res_{F/Q}(GL_2), constructed by Andreatta-Iovita-Pilloni, is proper at integral weights for p>=3. We also prove a weaker result for p=2. △ Less

Submitted 5 January, 2016; originally announced January 2016.

Comments: 105 pages

Ramification theory and perfectoid spaces

Authors: Shin Hattori

Abstract: Let K and F be complete discrete valuation fields of residue characteristic p>0. Let m be a positive integer no more than their absolute ramification indices. Let s and t be their uniformizers. Let L/K and E/F be finite extensions such that the modulo s^m of the extension O_L/O_K and modulo t^m of O_E/O_F are isomorphic. Let j=<m be a positive rational number. In this paper, we prove that the rami… ▽ More Let K and F be complete discrete valuation fields of residue characteristic p>0. Let m be a positive integer no more than their absolute ramification indices. Let s and t be their uniformizers. Let L/K and E/F be finite extensions such that the modulo s^m of the extension O_L/O_K and modulo t^m of O_E/O_F are isomorphic. Let j=<m be a positive rational number. In this paper, we prove that the ramification of L/K is bounded by j if and only if the ramification of E/F is bounded by j. As an application, we prove that the categories of finite separable extensions of K and F whose ramifications are bounded by j are equivalent to each other, which generalizes a theorem of Deligne to the case of imperfect residue fields. We also show the compatibility of Scholl's theory of higher fields of norms with the ramification theory of Abbes-Saito, and the integrality of small Artin and Swan conductors of abelian extensions of mixed characteristic. △ Less

Submitted 22 May, 2013; v1 submitted 22 April, 2013; originally announced April 2013.

Comments: 43 pages; Section 2 and 3 revised, the original Section 4 divided into sections, an error in Section 6 corrected, Cor. 6.3 added, other minor changes

MSC Class: 11S15

Journal ref: Compositio Math. 150 (2014) 798-834

On lower ramification subgroups and canonical subgroups

Authors: Shin Hattori

Abstract: Let p be a rational prime, k be a perfect field of characteristic p and K be a finite totally ramified extension of the fraction field of the Witt ring of k. Let G be a finite flat commutative group scheme over O_K killed by some p-power. In this paper, we prove a description of ramification subgroups of G via the Breuil-Kisin classification, generalizing the author's previous result on the case w… ▽ More Let p be a rational prime, k be a perfect field of characteristic p and K be a finite totally ramified extension of the fraction field of the Witt ring of k. Let G be a finite flat commutative group scheme over O_K killed by some p-power. In this paper, we prove a description of ramification subgroups of G via the Breuil-Kisin classification, generalizing the author's previous result on the case where G is killed by p>2. As an application, we also prove that the higher canonical subgroup of a level n truncated Barsotti-Tate group G over O_K coincides with lower ramification subgroups of G if the Hodge height of G is less than (p-1)/p^n. △ Less

Submitted 9 November, 2012; v1 submitted 27 August, 2012; originally announced August 2012.

Comments: 23 pages; Theorem 1.3 added

Journal ref: Algebra Number Theory 8 (2014) 303-330

Canonical subgroups via Breuil-Kisin modules for p=2

Authors: Shin Hattori

Abstract: Let p be a rational prime and K/Q_p be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, height h and dimension d over O_K with 0<d<h. In this paper, we prove the existence of higher canonical subgroups with expected properties for G if the Hodge height of G is less than 1/(p^{n-2}(p+1)), including the case of p=2. Let p be a rational prime and K/Q_p be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, height h and dimension d over O_K with 0<d<h. In this paper, we prove the existence of higher canonical subgroups with expected properties for G if the Hodge height of G is less than 1/(p^{n-2}(p+1)), including the case of p=2. △ Less

Submitted 26 July, 2012; v1 submitted 20 September, 2011; originally announced September 2011.

Comments: 17 pages; totally revised; results improved

Canonical subgroups via Breuil-Kisin modules

Authors: Shin Hattori

Abstract: Let p>2 be a rational prime and K/Q_p be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, height h and dimension d over O_K with 0<d<h. In this paper, we show that an upper ramification subgroup G^j+ is free of rank d over Z/p^nZ if the Hasse invariant of G is less than 1/(2p^(n-1)). We also prove the usual properties as the canonical subgrou… ▽ More Let p>2 be a rational prime and K/Q_p be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, height h and dimension d over O_K with 0<d<h. In this paper, we show that an upper ramification subgroup G^j+ is free of rank d over Z/p^nZ if the Hasse invariant of G is less than 1/(2p^(n-1)). We also prove the usual properties as the canonical subgroup. △ Less

Submitted 26 November, 2012; v1 submitted 6 December, 2010; originally announced December 2010.

Comments: 24 pages; refereed version; results improved; The final publication is available at springerlink.com, http://link.springer.com/article/10.1007%2Fs00209-012-1102-0

Ramification correspondence of finite flat group schemes over equal and mixed characteristic local fields

Authors: Shin Hattori

Abstract: Let p>2 be a rational prime, k be a perfect field of characteristic p and K be a finite totally ramified extension of the fractional field of the Witt ring of k. Let G and H be finite flat commutative group schemes killed by p over O_K and k[[u]], respectively. In this paper, we show the upper and the lower ramification subgroups of G and H in the sense of Abbes-Saito are naturally isomorphic to e… ▽ More Let p>2 be a rational prime, k be a perfect field of characteristic p and K be a finite totally ramified extension of the fractional field of the Witt ring of k. Let G and H be finite flat commutative group schemes killed by p over O_K and k[[u]], respectively. In this paper, we show the upper and the lower ramification subgroups of G and H in the sense of Abbes-Saito are naturally isomorphic to each other when they are associated to the same Kisin module. △ Less

Submitted 17 May, 2012; v1 submitted 19 July, 2010; originally announced July 2010.

Comments: 22 pages; refereed version; Lemma 4.2 corrected; proof of Proposition 4.4 simplified; Remark 4.7 added; other minor revisions

MSC Class: 11S15

On a ramification bound of torsion semi-stable representations over a local field

Authors: Shin Hattori

Abstract: For a rational prime p, let k be a perfect field of characteristic p, K be a finite totally ramified extension of Frac(W(k)) of degree e and r be a non-negative integer satisfying r<p-1. In this article, we prove the upper numbering ramification group G^(j) for j>u(K,r,n) acts trivially on the p^n-torsion semi-stable G_K-representations with the Hodge-Tate weights in {0,...,r}, where u(K,0,n)=0,… ▽ More For a rational prime p, let k be a perfect field of characteristic p, K be a finite totally ramified extension of Frac(W(k)) of degree e and r be a non-negative integer satisfying r<p-1. In this article, we prove the upper numbering ramification group G^(j) for j>u(K,r,n) acts trivially on the p^n-torsion semi-stable G_K-representations with the Hodge-Tate weights in {0,...,r}, where u(K,0,n)=0, u(K,1,n)=1+e(n+1/(p-1)) and u(K,r,n)=1-p^{-n}+e(n+r/(p-1)) for r>1. △ Less

Submitted 20 June, 2009; v1 submitted 14 January, 2008; originally announced January 2008.

Comments: 33 pages; totally revised version (the bound improved)

MSC Class: 11S23