All Questions
Tagged with f-1 or field-with-one-element
24 questions
14
votes
1
answer
801
views
Is there a lift of the q-Vandermonde identity to some geometric (motivic) identity for Grassmannians over $F_q$?
The q-Vandermonde identity reads:
$$ \binom{m + n}{k}_{\!\!q} =\sum_{j} \binom{m}{k - j}_{\!\!q} \binom{n}{j}_{\!\!q} q^{j(m-k+j)} $$
The q-binomial coefficients:
$$ \binom{ a }{ b}_{\!\!q} $$
...
- 24.8k
33
votes
2
answers
1k
views
Analogies supporting heuristic: Weyl groups = algebraic groups over field with one element?
There is well-known heuristic that Weyl groups are reductive algebraic groups over "field with one element".
Probably the best known analogy supporting that heuristic is the limit $q\to1$ ...
- 24.8k
27
votes
13
answers
4k
views
Homological algebra for commutative monoids?
Homological algebra for abelian groups is a standard tool in many fields of mathematics. How much carries over to the setting of commutative monoids (with unit)? It seems like there is a notion of ...
- 27.5k
108
votes
7
answers
21k
views
What is the field with one element?
I've heard of this many times, but I don't know anything about it.
What I do know is that it is supposed to solve the problem of the fact that the final object in the category of schemes is one-...
- 5,062
101
votes
2
answers
11k
views
Riemann hypothesis via absolute geometry
Several leading mathematicians (e.g. Yuri Manin) have written or said publicly that there is a known outline of a likely natural proof of the Riemann hypothesis using absolute algebraic geometry over ...
- 5,232
13
votes
0
answers
740
views
Bijection between conjugacy classes and irreducible representation of Weyl group = Langlands correspondence over "field with one element"
Context: The number of conjugacy classes equals to the number of irreducuble representations (over C) for any finite group.
Moreover for the symmetric group there is well-known "natural bijection" ...
- 24.8k
7
votes
1
answer
434
views
Can one divide algebraic manifolds ? Make sense: $Gr(2,n)/ Gr(2,n+m) = P^{n-1}/P^{n+m-1} P^{n-2}/P^{n+m-2}$
Let's start from a little bit far.
Basic probability theory - chain rule reads:
$$ P(AB) = P(A)P(B|A)$$
Example: consider n+m balls, where n - white balls, m - black balls,
consider A - first ...
- 24.8k
41
votes
1
answer
3k
views
Connes–Consani's absolute geometry and Lurie's spectral algebraic geometry
Alain Connes and Caterina Consani seem to be currently working on "absolute algebraic geometry", which is a kind of "algebraic geometry over the sphere spectrum" (https://arxiv.org/...
- 511
35
votes
2
answers
2k
views
Durov approach to Arakelov geometry and $\mathbb{F}_1$
Durov's thesis on algebraic geometry over generalized rings looks extremely intriguing: it promises to unify scheme based and Arakelov geometry, even in singular cases, as well as including geometry ...
- 14.7k
26
votes
1
answer
816
views
What are the points of simple algebraic groups over extensions of $\mathbb{F}_1$?
The "field with one element" $\mathbb{F}_1$ is, of course, a very speculative object. Nevertheless, some things about it seem to be generally agreed, even if the theory underpinning them is not; in ...
- 32.4k
37
votes
3
answers
5k
views
Topological Langlands?
In a workshop about the geometry of $\mathbb{F}_1$ I attended recently, it came up a question related to a mysterious but "not-so-secret-anymore" seminar about... an hypothetical Topological Langlands ...
- 2,992
29
votes
3
answers
3k
views
The non-simplicity of $SO(4)$ and $A_4$
It is well known that the alternating group $A_n$ is simple unless $n=4$. It is likewise well known that the special orthogonal group $SO(n)$ is essentially simple unless $n=4$ (specifically, the ...
- 3,761
29
votes
2
answers
4k
views
What is the algebraic closure of the field with one element?
If doing geometry over $\mathbb F_p$ means also using its algebraic closure, it must be interesting to talk about the algebraic closure of $\mathbb F_1$ - the field with one element.
I saw that the ...
- 4,593
25
votes
4
answers
3k
views
Applications of algebraic geometry over a field with one element
I would like to understand at least one of the several existing approaches to algebraic geometry over $\mathbb{F}_1$ (the field with one element). Is there an example of an "interesting" theorem that ...
- 1,304
25
votes
1
answer
1k
views
How is Borger's approach to $\mathbb{F_{1}}$ related to previous approaches (e.g. Deitmar's)?
The "traditional" approach to the so-called "field with one element" $\mathbb{F}_{1}$ is by using monoids, or, to put it in another way, by forgetting the additive structure of ...
- 3,309
24
votes
3
answers
3k
views
K(F_1) = sphere spectrum?
I repeatedly heard that K(F_1) is the sphere spectrum. Does anyone know about the proof and what that means?
- 10.8k
19
votes
2
answers
3k
views
What does Faltings' theorem look like over function fields?
Minhyong Kim's reply to a question John Baez once asked about the analogy between $\text{Spec } \mathbb{Z}$ and 3-manifolds contains the following snippet:
Finally, regarding the field with one ...
- 118k
16
votes
1
answer
1k
views
What "should" be the absolute galois group of a field with one element
As far as I know there is many "suggestions" of what should be a "field with one element" $\mathbf{F}_{1}$.
My question is the following:
How we should think or what should be the "absolute Galois ...
- 771
15
votes
0
answers
2k
views
Inter-Universal Teichmuller Theory and the Field with One Element
The idea of the "field with one element", or $\mathbb{F}_{1}$, is supposed to allow us to do for number fields what we can do for function fields. Hence this idea often comes up regarding problems ...
- 3,309
11
votes
1
answer
853
views
Is $Lex(\mathcal B,\mathsf{Set}_*)$ an $\mathbb F_1$-linear category?
Following Anton Deitmar, let $\mathcal B$ be an "$\mathbb F_1$-linear category" (Deitmar uses the term "Belian"); i.e., $\mathcal B$ is balanced, pointed, contains finite products, kernels, and ...
- 1,349
7
votes
1
answer
390
views
Combinatorial/probabilistic statements having $F_{\text{un}}$/$F_q$ geometric interpetation
$\newcommand{\Fun}{F_\text{un}}$There was lots of "Fun with $\Fun$" (field with one element) in recent years.
One of the points is that it provides bridge between geometrical and ...
- 24.8k
6
votes
0
answers
342
views
What is known about the $q$-analogue of the simplex?
I am interested in the field with one element. I am thus interested in combinatorial interpretations of the Gaussian binomial coefficients. Richard Stanley's "Enumerative combinatorics" mentions ...
5
votes
2
answers
292
views
Field with one element look at counting index-$n$ subgroups in terms of Homs to $S_n$, generalization to $F_{1^k}$?
Main idea shortly: As we discussed recently MO272045, there is beautiful fomula which
counts index-n subgroups in terms of homomorphisms to $S_n$.
Let me give "field with one element" interpretation ...
- 24.8k
5
votes
2
answers
236
views
Descent of flatness from algebras to monoids
Consider a morphism of commutative monoids $u\colon M\rightarrow N$. We say that $u$ is flat, if the tensor product functor $\bullet\otimes_MN$ from the category of $M$-modules to the category of $N$-...
- 6,700