Timeline for Rational points on towers of surfaces
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 21, 2021 at 13:19 | comment | added | Ariyan Javanpeykar | If the irregularity grows with $n$ then you can deduce non-density from Faltings's theorem for closed subvarieties of abelian varieties most likely. (Actually, you just need the irregularity to be at least three for some n. Then you can apply Faltings.) | |
| Apr 19, 2021 at 15:57 | comment | added | Joachim König | @Joe Silverman: That's basically what I had in mind, although there are cases which are trivially not of general type - e.g. if one of the variables doesn't feature at all or only in a very restricted way, one may get a product of a line and a high genus curve. In this case, the assertion reduces again to Faltings though, so the working hypothesis would be that excluding such extreme cases, one will eventually get to general type. | |
| Apr 19, 2021 at 15:26 | comment | added | Joe Silverman | Might it be better to formulate a geometric version first, i.e., is it possible that none of the $S_n$ are of general type? This is on the theory that surfaces that are not of general type may well have a Zariski dense set of rational points, but conjecturally general type surfaces do not. | |
| Apr 19, 2021 at 14:23 | history | asked | Joachim König | CC BY-SA 4.0 |