Showing 1–15 of 15 results for author: Sachi

Rational points on $X_0(N)^*$ when $N$ is non-squarefree

Authors: Sachi Hashimoto, Timo Keller, Samuel Le Fourn

Abstract: Let $N$ be a non-squarefree integer such that the quotient $X_0(N)^*$ of the modular curve $X_0(N)$ by the full group of Atkin-Lehner involutions has positive genus. We establish an integrality result for the $j$-invariants of non-cuspidal rational points on $X_0(N)^*$, representing a significant step toward resolving a key subcase of Elkies' conjecture. To this end, we prove the existence of rank… ▽ More Let $N$ be a non-squarefree integer such that the quotient $X_0(N)^*$ of the modular curve $X_0(N)$ by the full group of Atkin-Lehner involutions has positive genus. We establish an integrality result for the $j$-invariants of non-cuspidal rational points on $X_0(N)^*$, representing a significant step toward resolving a key subcase of Elkies' conjecture. To this end, we prove the existence of rank-zero quotients of certain modular Jacobians $J_0(pq)$. Furthermore, we provide a conjecturally complete classification of the rational points on $X_0(N)^*$ of genus $1 \leq g \leq 5$. In the process we identify exceptional rational points on $X_0(147)^*$ and $X_0(75)^*$ which were not known before. △ Less

Submitted 1 May, 2025; originally announced May 2025.

Comments: 64 pages. Comments very welcome!

Local heights on hyperelliptic curves and quadratic Chabauty

Authors: L. Alexander Betts, Juanita Duque-Rosero, Sachi Hashimoto, Pim Spelier

Abstract: Quadratic Chabauty is a $p$-adic method for determining rational points on curves. Local heights are arithmetic invariants used in the quadratic Chabauty method. We present an algorithm to compute these local heights for hyperelliptic curves at odd primes $\ell \neq p$. This algorithm significantly broadens the applicability of quadratic Chabauty to curves which were previously inaccessible due to… ▽ More Quadratic Chabauty is a $p$-adic method for determining rational points on curves. Local heights are arithmetic invariants used in the quadratic Chabauty method. We present an algorithm to compute these local heights for hyperelliptic curves at odd primes $\ell \neq p$. This algorithm significantly broadens the applicability of quadratic Chabauty to curves which were previously inaccessible due to the presence of non-trivial local heights. We provide numerous examples, including the first quadratic Chabauty computation for a curve having two primes with non-trivial local heights. △ Less

Submitted 21 May, 2025; v1 submitted 10 January, 2024; originally announced January 2024.

Comments: Revised with clarifications, minor corrections, and added remarks

Towards a classification of isolated $j$-invariants

Authors: Abbey Bourdon, Sachi Hashimoto, Timo Keller, Zev Klagsbrun, David Lowry-Duda, Travis Morrison, Filip Najman, Himanshu Shukla

Abstract: We develop an algorithm to test whether a non-CM elliptic curve $E/\mathbb{Q}$ gives rise to an isolated point of any degree on any modular curve of the form $X_1(N)$. This builds on prior work of Zywina which gives a method for computing the image of the adelic Galois representation associated to $E$. Running this algorithm on all elliptic curves presently in the $L$-functions and Modular Forms D… ▽ More We develop an algorithm to test whether a non-CM elliptic curve $E/\mathbb{Q}$ gives rise to an isolated point of any degree on any modular curve of the form $X_1(N)$. This builds on prior work of Zywina which gives a method for computing the image of the adelic Galois representation associated to $E$. Running this algorithm on all elliptic curves presently in the $L$-functions and Modular Forms Database and the Stein-Watkins Database gives strong evidence for the conjecture that $E$ gives rise to an isolated point on $X_1(N)$ if and only if $j(E)=-140625/8, -9317,$ $351/4$, or $-162677523113838677$. △ Less

Submitted 20 January, 2025; v1 submitted 13 November, 2023; originally announced November 2023.

Comments: With an appendix by Maarten Derickx and Mark van Hoeij. Fixed proof of Theorem 38 and added Descent lemma

Journal ref: Math. Comp. 94 (2025), 447-473

Domination of semigroups on standard forms of von Neumann algebras

Authors: Sahiba Arora, Ralph Chill, Sachi Srivastava

Abstract: Consider $(T_t)_{t\ge 0}$ and $(S_t)_{t\ge 0}$ as real $C_0$-semigroups generated by closed and symmetric sesquilinear forms on a standard form of a von Neumann algebra. We provide a characterisation for the domination of the semigroup $(T_t)_{t\ge 0}$ by $(S_t)_{t\ge 0}$, which means that $-S_t v\le T_t u\le S_t v$ holds for all $t\ge 0$ and all real $u$ and $v$ that satisfy $-v\le u\le v$. This… ▽ More Consider $(T_t)_{t\ge 0}$ and $(S_t)_{t\ge 0}$ as real $C_0$-semigroups generated by closed and symmetric sesquilinear forms on a standard form of a von Neumann algebra. We provide a characterisation for the domination of the semigroup $(T_t)_{t\ge 0}$ by $(S_t)_{t\ge 0}$, which means that $-S_t v\le T_t u\le S_t v$ holds for all $t\ge 0$ and all real $u$ and $v$ that satisfy $-v\le u\le v$. This characterisation extends the Ouhabaz characterisation for semigroup domination to the non-commutative $L^2$ spaces. Additionally, we present a simpler characterisation when both semigroups are positive as well as consider the setting in which $(T_t)_{t\ge 0}$ need not be real. △ Less

Submitted 14 November, 2023; v1 submitted 5 September, 2023; originally announced September 2023.

Comments: This is version 2. Compared to version 1, a reference has been added along with several minor changes

MSC Class: 47D06; 46L89; 47A07; 47B65; 47A15

Journal ref: Archiv der Mathematik, vol. 121, pp. 715-729 (2023)

Self-dual matroids from canonical curves

Authors: Alheydis Geiger, Sachi Hashimoto, Bernd Sturmfels, Raluca Vlad

Abstract: Self-dual configurations of 2n points in a projective space of dimension n-1 were studied by Coble, Dolgachev-Ortland, and Eisenbud-Popescu. We examine the self-dual matroids and self-dual valuated matroids defined by such configurations, with a focus on those arising from hyperplane sections of canonical curves. These objects are parametrized by the self-dual Grassmannian and its tropicalization.… ▽ More Self-dual configurations of 2n points in a projective space of dimension n-1 were studied by Coble, Dolgachev-Ortland, and Eisenbud-Popescu. We examine the self-dual matroids and self-dual valuated matroids defined by such configurations, with a focus on those arising from hyperplane sections of canonical curves. These objects are parametrized by the self-dual Grassmannian and its tropicalization. We tabulate all self-dual matroids up to rank 5 and investigate their realization spaces. Following Bath, Mukai, and Petrakiev, we explore algorithms for recovering a curve from the configuration. A detailed analysis is given for self-dual matroids arising from graph curves. △ Less

Submitted 12 December, 2022; originally announced December 2022.

Comments: 33 pages

Geometric quadratic Chabauty and $p$-adic heights

Authors: Juanita Duque-Rosero, Sachi Hashimoto, Pim Spelier

Abstract: Let $X$ be a curve of genus $g>1$ over $\mathbb{Q}$ whose Jacobian $J$ has Mordell--Weil rank $r$ and Néron--Severi rank $ρ$. When $r < g+ ρ- 1$, the geometric quadratic Chabauty method determines a finite set of $p$-adic points containing the rational points of $X$. We describe algorithms for geometric quadratic Chabauty that translate the geometric quadratic Chabauty method into the language of… ▽ More Let $X$ be a curve of genus $g>1$ over $\mathbb{Q}$ whose Jacobian $J$ has Mordell--Weil rank $r$ and Néron--Severi rank $ρ$. When $r < g+ ρ- 1$, the geometric quadratic Chabauty method determines a finite set of $p$-adic points containing the rational points of $X$. We describe algorithms for geometric quadratic Chabauty that translate the geometric quadratic Chabauty method into the language of $p$-adic heights and $p$-adic (Coleman) integrals. This translation also allows us to give a comparison to the (original) cohomological method for quadratic Chabauty. We show that the finite set of $p$-adic points produced by the geometric method is contained in the finite set produced by the cohomological method, and give a description of their difference. △ Less

Submitted 6 March, 2024; v1 submitted 21 July, 2022; originally announced July 2022.

Comments: Update definition of simple open. This clarifies that simple opens are everywhere locally soluble, which is not explicitly noted in the published version

Journal ref: Expositiones Mathematicae, 41, (2023), no. 3, 631-674

Real interpolation of functions with applications to accretive operators on Banach spaces

Authors: Ralph Chill, Praveen Sharma, Sachi Srivastava

Abstract: We study real interpolation, but instead of interpolating between Banach spaces, we interpolate between general functions taking values in $[0,\infty].$ We show the equivalence of the mean method and the $K$-method and apply the general theory to interpolation between the norm on a Banach space and the set norm associated with an m-accretive operator on such a space. We study real interpolation, but instead of interpolating between Banach spaces, we interpolate between general functions taking values in $[0,\infty].$ We show the equivalence of the mean method and the $K$-method and apply the general theory to interpolation between the norm on a Banach space and the set norm associated with an m-accretive operator on such a space. △ Less

Submitted 27 June, 2022; originally announced June 2022.

Comments: 34 pages

MSC Class: 46B70; 47H06; 47H20; 47J35; 35K92

Quadratic Chabauty and $p$-adic Gross-Zagier

Authors: Sachi Hashimoto

Abstract: Let $X$ be a quotient of the modular curve $X_0(N)$ whose Jacobian $J_X$ is a simple factor of $J_0(N)^{new}$ over $\mathbb{Q}$. Let $f$ be the newform of level $N$ and weight 2 associated with $J_X$; assume $f$ has analytic rank 1. We give analytic methods for determining the rational points of $X$ using quadratic Chabauty by computing two $p$-adic Gross-Zagier formulas for $f$. Quadratic Chabaut… ▽ More Let $X$ be a quotient of the modular curve $X_0(N)$ whose Jacobian $J_X$ is a simple factor of $J_0(N)^{new}$ over $\mathbb{Q}$. Let $f$ be the newform of level $N$ and weight 2 associated with $J_X$; assume $f$ has analytic rank 1. We give analytic methods for determining the rational points of $X$ using quadratic Chabauty by computing two $p$-adic Gross-Zagier formulas for $f$. Quadratic Chabauty requires a supply of rational points on the curve or its Jacobian; this new method eliminates this requirement. To achieve this, we give an algorithm to compute the special value of the anticyclotomic $p$-adic $L$-function of $f$ constructed by Bertolini, Darmon, and Prasanna, which lies outside of the range of interpolation. △ Less

Submitted 13 March, 2023; v1 submitted 17 June, 2022; originally announced June 2022.

Comments: to appear in Transactions of the American Mathematical Society

A geometric linear Chabauty comparison theorem

Authors: Sachi Hashimoto, Pim Spelier

Abstract: The Chabauty-Coleman method is a $p$-adic method for finding all rational points on curves of genus $g$ whose Jacobians have Mordell-Weil rank $r < g$. Recently, Edixhoven and Lido developed a geometric quadratic Chabauty method that was adapted by Spelier to cover the case of geometric linear Chabauty. We compare the geometric linear Chabauty method and the Chabauty-Coleman method and show that g… ▽ More The Chabauty-Coleman method is a $p$-adic method for finding all rational points on curves of genus $g$ whose Jacobians have Mordell-Weil rank $r < g$. Recently, Edixhoven and Lido developed a geometric quadratic Chabauty method that was adapted by Spelier to cover the case of geometric linear Chabauty. We compare the geometric linear Chabauty method and the Chabauty-Coleman method and show that geometric linear Chabauty can outperform Chabauty-Coleman in certain cases. However, as Chabauty-Coleman remains more practical for general computations, we discuss how to strengthen Chabauty-Coleman to make it theoretically equivalent to geometric linear Chabauty. We apply these methods to genus 2 and genus 3 curves. △ Less

Submitted 10 December, 2021; v1 submitted 9 February, 2021; originally announced February 2021.

Comments: fixed minor issues and updated exposition; to appear in Acta Arithmetica

A transcendental Brauer-Manin obstruction to weak approximation on a Calabi-Yau threefold

Authors: Sachi Hashimoto, Katrina Honigs, Alicia Lamarche, Isabel Vogt

Abstract: In this paper we investigate the $\mathbb{Q}$-rational points of a class of simply connected Calabi-Yau threefolds, which were originally studied by Hosono and Takagi in the context of mirror symmetry. These varieties are defined as a linear section of a double quintic symmetroid; their points correspond to rulings on quadric hypersurfaces. They come equipped with a natural $2$-torsion Brauer clas… ▽ More In this paper we investigate the $\mathbb{Q}$-rational points of a class of simply connected Calabi-Yau threefolds, which were originally studied by Hosono and Takagi in the context of mirror symmetry. These varieties are defined as a linear section of a double quintic symmetroid; their points correspond to rulings on quadric hypersurfaces. They come equipped with a natural $2$-torsion Brauer class. Our main result shows that under certain conditions, this Brauer class gives rise to a transcendental Brauer-Manin obstruction to weak approximation. Hosono and Takagi showed that over $\mathbb{C}$ each of these Calabi-Yau threefolds $Y$ is derived equivalent to a Reye congruence Calabi-Yau threefold $X$. We show that these derived equivalences may also be constructed over $\mathbb{Q}$, and we give sufficient conditions for $X$ to not satisfy weak approximation. In the appendix, N. Addington exhibits the Brauer groups of each class of Calabi--Yau variety over $\mathbb{C}$. △ Less

Submitted 5 May, 2022; v1 submitted 12 September, 2020; originally announced September 2020.

Comments: minor edits

Journal ref: Res. number theory 8, 12 (2022)

38406501359372282063949 & all that: Monodromy of Fano Problems

Authors: Sachi Hashimoto, Borys Kadets

Abstract: A Fano problem is an enumerative problem of counting $r$-dimensional linear subspaces on a complete intersection in $\mathbb{P}^n$ over a field of arbitrary characteristic, whenever the corresponding Fano scheme is finite. A classical example is enumerating lines on a cubic surface. We study the monodromy of finite Fano schemes $F_{r}(X)$ as the complete intersection $X$ varies. We prove that the… ▽ More A Fano problem is an enumerative problem of counting $r$-dimensional linear subspaces on a complete intersection in $\mathbb{P}^n$ over a field of arbitrary characteristic, whenever the corresponding Fano scheme is finite. A classical example is enumerating lines on a cubic surface. We study the monodromy of finite Fano schemes $F_{r}(X)$ as the complete intersection $X$ varies. We prove that the monodromy group is either symmetric or alternating in most cases. In the exceptional cases, the monodromy group is one of the Weyl groups $W(E_6)$ or $W(D_k)$. △ Less

Submitted 22 November, 2020; v1 submitted 11 February, 2020; originally announced February 2020.

Comments: to appear in International Mathematics Research Notices

Chabauty-Coleman computations on rank 1 Picard curves

Authors: Sachi Hashimoto, Travis Morrison

Abstract: We provably compute the full set of rational points on 1403 Picard curves defined over $\mathbb{Q}$ with Jacobians of Mordell-Weil rank $1$ using the Chabauty-Coleman method. To carry out this computation, we extend Magma code of Balakrishnan and Tuitman for Coleman integration. The new code computes $p$-adic (Coleman) integrals on curves to points defined over number fields where the prime $p$ sp… ▽ More We provably compute the full set of rational points on 1403 Picard curves defined over $\mathbb{Q}$ with Jacobians of Mordell-Weil rank $1$ using the Chabauty-Coleman method. To carry out this computation, we extend Magma code of Balakrishnan and Tuitman for Coleman integration. The new code computes $p$-adic (Coleman) integrals on curves to points defined over number fields where the prime $p$ splits completely and implements effective Chabauty for curves whose Jacobians have infinite order points that are not the image of a rational point under the Abel-Jacobi map. We discuss several interesting examples of curves where the Chabauty-Coleman set contains points defined over number fields. △ Less

Submitted 8 December, 2020; v1 submitted 9 February, 2020; originally announced February 2020.

Comments: revised Section 3.2 on precision analysis, typos

Computing rational points on rank 0 genus 3 hyperelliptic curves

Authors: María Inés de Frutos-Fernández, Sachi Hashimoto

Abstract: We compute rational points on genus $3$ odd degree hyperelliptic curves $C$ over $\mathbb{Q}$ that have Jacobians of Mordell-Weil rank $0$. The computation applies the Chabauty-Coleman method to find the zero set of a certain system of $p$-adic integrals, which is known to be finite and include the set of rational points $C(\mathbb{Q})$. We implemented an algorithm in Sage to carry out the Chabaut… ▽ More We compute rational points on genus $3$ odd degree hyperelliptic curves $C$ over $\mathbb{Q}$ that have Jacobians of Mordell-Weil rank $0$. The computation applies the Chabauty-Coleman method to find the zero set of a certain system of $p$-adic integrals, which is known to be finite and include the set of rational points $C(\mathbb{Q})$. We implemented an algorithm in Sage to carry out the Chabauty-Coleman method on a database of $5870$ curves. △ Less

Submitted 23 September, 2020; v1 submitted 10 September, 2019; originally announced September 2019.

Comments: revisions to Section 2

Maximal regularity in interpolation spaces for second order Cauchy problems

Authors: Charles J. K. Batty, Ralph Chill, Sachi Srivastava

Abstract: We study maximal regularity in interpolation spaces for the sum of three closed linear operators on a Banach space, and we apply the abstract results to obtain Besov and Hölder maximal regularity for complete second order Cauchy problems under natural parabolicity assumptions. We discuss applications to partial differential equations. We study maximal regularity in interpolation spaces for the sum of three closed linear operators on a Banach space, and we apply the abstract results to obtain Besov and Hölder maximal regularity for complete second order Cauchy problems under natural parabolicity assumptions. We discuss applications to partial differential equations. △ Less

Submitted 10 April, 2014; originally announced April 2014.

Comments: 18 pages

MSC Class: Primary 34G10; 47D09; 35B65; Secondary 35L10; 35K10; 35K90

Sharper Lower Bounds in the Maximum Degree and Diameter Bounded Subgraph Problem in the Mesh

Authors: Sachi Hashimoto

Abstract: The Maximum Degree and Diameter Bounded Subgraph Problem (MaxDDBS) asks: given a host graph G, a bound on maximum degree Δ, and a diameter D, what is the largest subgraph of the host graph with degree bounded by Δand diameter bounded by D? In this paper, we investigate this problem when the host graph is the k-dimensional mesh. We provide lower bounds for the size of the largest subgraph of the me… ▽ More The Maximum Degree and Diameter Bounded Subgraph Problem (MaxDDBS) asks: given a host graph G, a bound on maximum degree Δ, and a diameter D, what is the largest subgraph of the host graph with degree bounded by Δand diameter bounded by D? In this paper, we investigate this problem when the host graph is the k-dimensional mesh. We provide lower bounds for the size of the largest subgraph of the mesh satisfying MaxDDBS for all k and Δ> 3 that agree with the known upper bounds up to the first two terms, and show that for Δ= 3, the lower bounds are at least the same order of growth as the upper bounds. △ Less

Submitted 29 November, 2012; originally announced November 2012.