SearcharxivSearch

arXiv subjects

William Dallaporta

Publications and source records attributed to William Dallaporta.

2 recordsLinked to original sources

Recovering the Picard group of quadratic algebras from Wood's binary quadratic forms

Let $S$ be a scheme such that $2$ is not a zero divisor. In this paper, we address the following question: given a quadratic algebra over $S$, how can we parametrize its Picard group in terms of quadratic forms? In 2011, Wood established a set-theoretical bijection between isomorphism classes of primary binary quadratic forms over $S$ and isomorphism classes of pairs $(\mathcal{C},\mathcal{M})$ where $\mathcal{C}$ is a quadratic algebra over $S$ and $\mathcal{M}$ is an invertible $\mathcal{C}$-module. Unexpectedly, examples suggest that a refinement of Wood's bijection is needed in order to parametrize Picard groups. This is why we start by classifying quadratic algebras over $S$; this is achieved by using two invariants, the discriminant and the parity. Extending the notion of orientation of quadratic algebras to the non-free case is another key step, eventually leading us to the desired parametrization. All along the paper, we illustrate various notions and obstructions with a wide range of examples.

math.NT

Quadratic forms and Genus Theory : a link with 2-descent and an application to non-trivial specializations of ideal classes

Genus Theory is a classical feature of integral binary quadratic forms. Using the author's generalization of the well-known correspondence between quadratic form classes and ideal classes of quadratic algebras, we extend it to the case when quadratic forms are twisted and have coefficients in any PID $R$. When ${R = \mathbb{K}[X]}$, we show that the Genus Theory map is the quadratic form version of the $2$-descent map on a certain hyperelliptic curve. As an application, we make a contribution to a question of Agboola and Pappas regarding a specialization problem of divisor classes on hyperelliptic curves. Under suitable assumptions, we prove that the set of non-trivial specializations has density $1$.

math.NT