The tree of the cusp curve X3 = Y2
in Z3 has a simple structure.
Trees of other varieties are not essentially more complicated.
SFB 878 Groups, Geometry & Actions,
projet
Algebraic groups and model theory
Domaines de recherche
Main topic: Model theory and arithmetic geometry in henselian valued fields
One project I am working on:
-
Setting: The set of solutions (x, y) of a polynomial equation in the p-adic
integers Zp can be represented as a tree:
For each solution (x, y) and each n, the tree has a node at height n
labelled by the pair (last n digits of x, last n digits of y).
The actual solutions correspond to infinite paths in that tree.
-
Question: What can these trees look like (after forgetting the labels)?
-
(Of course one wants to know this in arbitrary dimension,
for arbitrary varieties or even definable sets, and
if possible in arbitrary Henselian fields.)
-
See Trees of definable sets in Zp for details.
Other topics:
-
Representation theory (of real reductive groups), symmetric varieties
-
Model theory of pseudo-algebraically closed fields
-
Combinatorics
-
Polyomino achievement games
-
Zero-sum problems in finite abelian groups
-
Covering codes
CrocoPuzzle (casse-têtes)
