Source author record

David A. Madore

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.CO

Catalog footprint

Research overview

2works

2topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

The Hadwiger-Nelson problem over certain fields

We compute the Hadwiger-Nelson numbers $χ(E^2)$ for certain number fields $E$ , that is, the smallest number of colors required to color the points in the plane with coordinates in~ $E$ so that no two points at distance $1$ from one another have the same color. Specifically, we show that $χ(\mathbb{Q}(\sqrt{2})^2) = 2$ , that $χ(\mathbb{Q}(\sqrt{3})^2) = 3$ , that $χ(\mathbb{Q}(\sqrt{7})^2) = 3$ despite the fact that the graph $Γ(\mathbb{Q}(\sqrt{7})^2)$ is triangle-free, and that $4 \leq χ(\mathbb{Q}(\sqrt{3}, \sqrt{11})^2) \leq 5$ . We also discuss some results over other fields, for other quadratic fields. We conclude with some comments on the use of the axiom of choice.

preprint2014arXiv

Calculabilité de la cohomologie étale modulo l

Let $X$ be an algebraic scheme over an algebraically closed field and $\ell$ a prime number invertible on $X$ . According to classical results (due essentially to A. Grothendieck, M. Artin and P. Deligne), the étale cohomology groups $\mathrm{H}^i(X,\mathbb{Z}/\ell\mathbb{Z})$ are finite-dimensional. Using an $\ell$ -adic variant of M. Artin's good neighborhoods and elementary results on the cohomology of pro- $\ell$ groups, we express the cohomology of $X$ as a well controlled colimit of that of toposes constructed on $BG$ where the $G$ are computable finite $\ell$ -groups. From this, we deduce that the Betti numbers modulo $\ell$ of $X$ are algorithmically computable (in the sense of Church-Turing). The proof of this fact, along with certain related results, occupies the first part of this paper. This relies on the tools collected in the second part, which deals with computational algebraic geometry. Finally, in the third part, we present a "universal" formalism for computation on the elements of a field.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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