6
$\begingroup$

What should be $\text{Spec } \mathbb{Z}[\sqrt{D}] \times_{\mathbb{F}_1} \text{Spec } \overline{\mathbb{F}}_{1}$?

Sure, there's more than one definition. I'm looking for any answer that uses at least one definition of scheme over $\mathbb{F}_1$.

This really is more a question of opinion. What do you think this should be? Some monoid that has something to do with $\text{Spec }\mathbb{Z}[\sqrt{D}][\mathbb{Q}/\mathbb{Z}]$ would be my guess (where the second brackets mean group ring).

This interests me from the point of view that, say, hyperelliptic curves over a finite field come (geometrically) from the group scheme of a quadratic extension of $\overline{\mathbb{F}}_p [t]$. In this case the frobenius acts on ideal classes, and satisfies a quadratic equation. But, from what I understand, the natural analogue of frobenius in the arithmetic case, is like taking any positive power, and taking limits to 0 (or something of the sort). Would this satisfy some kind of equation on, say, $\text{Pic(Spec } \mathbb{Z}[\sqrt{D}] \times_{\mathbb{F}_1} \text{Spec } \overline{\mathbb{F}}_{1}\text{)}$? (for whatever definition of Pic that should be natural here)

I've searched for information on $\mathbb{F}_1$, but most just talk about making $\text{Spec }\mathbb{Z}$ into a curve, getting zeta functions to be Riemann's, etc. Instead, I want to ask questions that are not just about proving the Riemann hypothesis, like the one above.

Improve this question
$\endgroup$
5
  • $\begingroup$ Is MathOverflow the right place for folklore? $\endgroup$
    – S. Carnahan ♦
    Commented Nov 24, 2009 at 2:39
  • 7
    $\begingroup$ If not here, then where? I'd kind of thought that part of the point was that folklore would end up being collected here. $\endgroup$
    – Charles Siegel
    Commented Nov 24, 2009 at 3:50
  • $\begingroup$ Re: I've searched for information on F1 , but most just talk ... --- did you read the answers to f-1 questions on MathOverflow? $\endgroup$
    – Ilya Nikokoshev
    Commented Nov 24, 2009 at 19:38
  • $\begingroup$ I read intently as I could, and it still seems all answers hold back from saying any opinion how this or that should look. If I asked what GL(F_1) should be, or about F_1^n, I would get the normal answers that are already considered natural and normal. In the question above I dare the community to go beyond. $\endgroup$
    – Dror Speiser
    Commented Nov 25, 2009 at 2:05
  • $\begingroup$ Sounds interesting indeed. $\endgroup$
    – Ilya Nikokoshev
    Commented Nov 29, 2009 at 23:49

1 Answer 1

Reset to default
3
$\begingroup$

Sorry I didn't reply before, I somehow didn't read the question till now. I think your question is a bit misguided. The main problem I see with it is: what is $\text{Spec} \mathbb{Z}[\sqrt{D}]$ over F1? If you think of it as the M_0 scheme given by $\mathbb{Z}[\sqrt{D}]$ as a multiplicative monoid, then it is something huge (since that monoid is not even finitely generated, for starters), so none of the current notions can effectively deal with it (so far one can mostly only control schemes of finite type). If you want to make better sense of the question, one should ask: is it possible to find an algebra $A$ over F1 such that its base extension to $\mathbb{Z}$ gives $A\otimes_{\mathbb{F}_1} \mathbb{Z} = \mathbb{Z}[\sqrt{D}]$?

If you find an answer to this question, say in CC setting where it boils down to finding a monoid (with zero) such that the reduced semigroup ring gives you back your original ring, then you might consider an approximation to your problem (the tensor with the abelian closure of F1) by taking some kind of multivariable-cyclotomic completion of your monoid, as in the papers by Manin and Marcolli.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .