BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

David Corwin

David Corwin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.AGmath.KT

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2021arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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 étale 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 étale Brauer obstruction in fibrations of varieties using the étale 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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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.

0 citations0 reviewsNo code linkedOpen access