arXiv subjects

David Corwin

Publications and source records attributed to David Corwin.

9 recordsLinked to original sources

arXiv2026

$p$-adic Periods and Selmer Scheme Images

The Chabauty--Kim method was developed with the aim of approaching effective Faltings', the problem of explicitly determining the finite set of rational points on a hyperbolic curve. This method has seen success with the more particular Quadratic Chabauty method, but this method still applies only to certain curves. Previous applications of Chabauty--Kim beyond the quadratic level, as pursued by the authors, by S. Wewers, and by others, use mixed Tate motives and the $p$-adic period map of Chatzistamatiou-\"Unver to approach the particular hyperbolic curve $\mathbb{P}^1\setminus\{0,1,\infty\}$. The main purpose of this article is to lay foundations for extending the above approach to more general hyperbolic curves, in particular by defining an analogous $p$-adic period map for more general categories of motives and their non-conjectural cousins such as systems of realizations and $p$-adic Galois representations. We use this to describe a general setup for non-abelian Chabauty for an arbitrary hyperbolic curve. Our period map also connects the study of $p$-adic iterated integrals with Goncharov's theory of motivic iterated integrals, and allows us to investigate Goncharov's conjectures from a $p$-adic point of view. In particular, it suggests the possibility of evaluating syntomic regulators by writing elements of $K$-theory in terms of motivic iterated integrals. Lastly, it forms the basis for a certain generalization of the $p$-adic period conjecture of Yamashita for mixed Tate motives well-suited to applications in Chabauty--Kim theory.

math.NT↗

arXiv2024

The Unipotent Chabauty-Kim-Kantor Method for Relative Completions

We develop a new $p$-adic analytic method for studying integral points on hyperbolic curves, building on Kantor's relative-completion approach to unifying the Chabauty-Kim and Lawrence-Venkatesh methods. Its central mechanism converts dimension inequalities between algebraic global and local Galois cohomology stacks into nonzero rigid-analytic functions vanishing on the integral points within a residue disk. Assuming the relevant Bloch-Kato dimension formulas, we verify these inequalities for curves of genus at least $2$, as well as for certain modular curves, and thereby obtain a new conditional proof of the theorems of Faltings and Siegel. Our method produces genuinely new functions, different from those produced by Chabauty-Kim, pointing to an improved effective approach. Our key technical contributions include the following. We prove that Kantor's $p$-adic period map is analytic and algebraically Zariski dense in the relevant period domain. We also bypass the conjectural representability of Kantor's Selmer stacks by decomposing the integral-point locus into finitely many Kummer strata. On each stratum, the relative Kummer map factors through a neutral-fibre Selmer stack, which we prove is an algebraic Artin stack of finite type. We also develop a theory of finite-type motivic quotients of the relative completion: these quotients are cofinal among all finite-type quotients and recover the relative completion as their inverse limit. For Kodaira-Parshin families over curves of genus at least $2$, we construct a canonical adjoint-supported tower with fixed finite-dimensional abelianization and controlled graded pieces. At sufficiently deep levels, the Bloch-Kato formulas imply the required dimension inequality and produce genuinely relative rigid-analytic functions that do not arise from the ordinary unipotent completion.

math.NT↗

arXiv2022

Bounds on the Chabauty--Kim Locus of Hyperbolic Curves

Conditionally on the Tate--Shafarevich and Bloch--Kato Conjectures, we give an explicit upper bound on the size of the $p$-adic Chabauty--Kim locus, and hence on the number of rational points, of a smooth projective curve $X/\mathbb{Q}$ of genus $g\geq2$ in terms of $p$, $g$, the Mordell--Weil rank $r$ of its Jacobian, and the reduction types of $X$ at bad primes. This is achieved using the effective Chabauty--Kim method, generalising bounds found by Coleman and Balakrishnan--Dogra using the abelian and quadratic Chabauty methods.

math.NT↗

arXiv2021

Explicit Motivic Mixed Elliptic Chabauty-Kim

The main point of the paper is to take the explicit motivic Chabauty-Kim method developed in papers of Dan-Cohen--Wewers and Dan-Cohen and the author and make it work for non-rational curves. In particular, we calculate the abstract form of an element of the Chabauty-Kim ideal for $\mathbb{Z}[1/\ell]$-points on a punctured elliptic curve, and lay some groundwork for certain kinds of higher genus curves. For this purpose, we develop an "explicit Tannakian Chabauty-Kim method" using $\mathbb{Q}_{p}$-Tannakian categories of Galois representations in place of $\mathbb{Q}$-linear motives. In future work, we intend to use this method to explicitly apply the Chabauty-Kim method to a curve of positive genus in a situation where Quadratic Chabauty does not apply.

math.NT↗

arXiv2020

Brauer and Etale Homotopy Obstructions to Rational Points on Open Covers

In 2010, Poonen gave the first example of failure of the local-global principle that cannot be explained by Skorobogatov's \'etale Brauer-Manin obstruction. Motivated by this example, we show that the Brauer-Manin obstruction detects non-existence of rational points on a sufficiently fine Zariski open cover of any variety over an imaginary quadratic or totally real field. We provide some evidence for why this is expected to happen more generally over any number field, some of which relates to the section conjecture in anabelian geometry. We then prove a result about the behavior of the \'etale Brauer obstruction in fibrations of varieties using the \'etale homotopy obstruction of Harpaz and the second author. We finally use that result and other techniques to further analyze Poonen's example in light of our general results.

math.NT↗

arXiv2018

The polylog quotient and the Goncharov quotient in computational Chabauty-Kim theory I

Polylogarithms are those multiple polylogarithms that factor through a certain quotient of the de Rham fundamental group of the thrice punctured line known as the polylogarithmic quotient. Building on work of Dan-Cohen, Wewers, and Brown, we push the computational boundary of our explicit motivic version of Kim's method in the case of the thrice punctured line over an open subscheme of $\mathrm{Spec}\,\mathbb{Z}$. To do so, we develop a greatly refined version of the algorithm of Dan-Cohen tailored specifically to this case, and we focus attention on the polylogarithmic quotient. This allows us to restrict our calculus with motivic iterated integrals to the so-called depth-one part of the mixed Tate Galois group studied extensively by Goncharov. We also discover an interesting consequence of the symmetry-breaking nature of the polylog quotient that forces us to symmetrize our polylogarithmic version of Kim's conjecture. In this first part of a two-part series, we focus on a specific example, which allows us to verify an interesting new case of Kim's conjecture.

math.NT↗

arXiv2018

The polylog quotient and the Goncharov quotient in computational Chabauty-Kim theory II

Building on work by Dan-Cohen--Wewers, Dan-Cohen [DC], and Brown, we push the computational boundary of our explicit motivic version of Kim's method in the case of the thrice punctured line over an open subscheme of Spec ZZ. To do so, we develop a refined version of the algorithm of [DC] tailored specifically to this case. We also commit ourselves fully to working with the polylogarithmic quotient. This allows us to restrict our calculus with motivic iterated integrals to the so-called depth-one part of the mixed Tate Galois group studied extensively by Goncharov. An application was given in part one, where we verified Kim's conjecture in an interesting new case.

math.AG↗

arXiv2014

On Cohen-Macaulayness of S_n-invariant subspace arrangements

Given a partition $\lambda$ of n, consider the subspace $E_\lambda$ of $C^n$ where the first $\lambda_1$ coordinates are equal, the next $\lambda_2$ coordinates are equal, etc. In this paper, we study subspace arrangements $X_\lambda$ consisting of the union of translates of $E_\lambda$ by the symmetric group. In particular, we focus on determining when $X_\lambda$ is Cohen-Macaulay. This is inspired by previous work of the third author coming from the study of rational Cherednik algebras and which answers the question positively when all parts of $\lambda$ are equal. We show that $X_\lambda$ is not Cohen-Macaulay when $\lambda$ has at least 4 distinct parts, and handle a large number of cases when $\lambda$ has 2 or 3 distinct parts. Along the way, we also settle a conjecture of Sergeev and Veselov about the Cohen-Macaulayness of algebras generated by deformed Newton sums. Our techniques combine classical techniques from commutative algebra and invariant theory, in many cases we can reduce an infinite family to a finite check which can sometimes be handled by computer algebra.

math.AC↗

arXiv2012

Elliptic Curves with Full 2-Torsion and Maximal Adelic Galois Representations

In 1972, Serre showed that the adelic Galois representation associated to a non-CM elliptic curve over a number field has open image in GL_2(\hat{Z}). In Greicius' thesis, he develops necessary and sufficient criteria for determining when this representation is actually surjective and exhibits such an example. However, verifying these criteria turns out to be difficult in practice; Greicius describes tests for them that apply only to semistable elliptic curves over a specific class of cubic number fields. In this paper, we extend Greicius' methods in several directions. First, we consider the analogous problem for elliptic curves with full 2-torsion. Following Greicius, we obtain necessary and sufficient conditions for the associated adelic representation to be maximal and also develop a battery of computationally effective tests that can be used to verify these conditions. We are able to use our tests to construct an infinite family of curves over Q(alpha) with maximal image, where alpha is the real root of x^3 + x + 1. Next, we extend Greicius' tests to more general settings, such as non-semistable elliptic curves over arbitrary cubic number fields. Finally, we give a general discussion concerning such problems for arbitrary torsion subgroups.

math.NT↗