Hmm. So here's where I'm confused: one can define the arithmetic zeta function of a finite type scheme over Z, and allegedly such schemes have the property I mentioned: for each R that is a finite product of finite fields, there are only finitely many R-points.
In the case this is not always true, the latter claim needs another adjective. Something like quasi-compact, then? Or something weaker is ok?
cc John Carlos Baez (npub1nf4…nqe4)
theHigherGeometer /
npub1d6…5mhwm
2025-02-05 00:37:54
in reply to nevent1q…rhr9
Author Public Key
npub1d60hhaertjrlmhefe54s00hfyga38wangrqthcu3zdnnnfm3myase5mhwmPublished at
2025-02-05 00:37:54Event JSON
{
"id": "10b31b7824c5d4f766ab8f9e149b4511696c0c816ef3e14d4720023c957567b7",
"pubkey": "6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b",
"created_at": 1738715874,
"kind": 1,
"tags": [
[
"p",
"f1fa5aba16a432641baf5088309790f7e3c08bf3e0975e7c3e5023dfc2909c97"
],
[
"proxy",
"https://mathstodon.xyz/@highergeometer/113948483557092698",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"1c194f59a6299def494bf2677dd6c27d20f9ff63b954625b75c1e6ada02da25b",
"",
"root",
"6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b"
],
[
"p",
"6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b"
],
[
"e",
"2c6c5c29d4ec583313065c1406bed8ef6ca62e6aaf28236cdf702aa07327f4df",
"",
"reply",
"f1fa5aba16a432641baf5088309790f7e3c08bf3e0975e7c3e5023dfc2909c97"
],
[
"proxy",
"https://mathstodon.xyz/users/highergeometer/statuses/113948483557092698",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/highergeometer/statuses/113948483557092698",
"pink.momostr"
],
[
"-"
]
],
"content": "Hmm. So here's where I'm confused: one can define the arithmetic zeta function of a finite type scheme over Z, and allegedly such schemes have the property I mentioned: for each R that is a finite product of finite fields, there are only finitely many R-points.\n\nIn the case this is not always true, the latter claim needs another adjective. Something like quasi-compact, then? Or something weaker is ok?\n\ncc nostr:npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4",
"sig": "c077e2c8a52a298390d69e81ae78220e9a7e8d2ead707657e2f5eceec760ffd569358e9736564d3d7c47058304de4779a52a341067edd7462d6da9ea0f714f42"
}