Questions tagged [f-1]

This tag refers to the (non-existent) "field of one element".

Filter by
Sorted by
Tagged with
6 votes
0 answers
258 views

Étale cohomology of the field with one element

In the function field - number field analogy, some expect progress on RH to come from reproducing various aspects of the Grothendieck program in a way where $\mathbb{Z}$ could be treated as a function ...
user avatar
  • 4,293
15 votes
0 answers
454 views

Does the $\mathbb{F}_1$ point of view lead to any testable predictions?

In number theory we can informally consider number rings as curves over something like a field with one element. For example it is mentioned here by Kedlaya. The question is does this perspective lead ...
user avatar
  • 421
4 votes
0 answers
362 views

What do we know about $\mathbb{Z}\otimes_{\mathbb{S}}\mathbb{Z}$ and the spectral DM Stack $\mathrm{Spét}(\mathbb{Z}\otimes_{\mathbb{S}}\mathbb{Z})$?

These days I've been trying to wrap my head around the current proposed approaches to algebraic geometry over the elusive "field with one element", one of whose main objects of interest is ...
user avatar
  • 604
3 votes
0 answers
136 views

Does the category of rings embed fully faithfully into the category of $\mathbb{F}_{1}$-algebras?

The idea of a theory of algebraic geometry over the "field with one element" $\mathbb{F}_{1}$ is to give a fully faithfully embedding of categories $$\mathsf{Sch}_{\mathbb{Z}}\hookrightarrow\...
user avatar
  • 6,346
28 votes
1 answer
2k views

Connes'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/...
user avatar
7 votes
0 answers
162 views

In what sense do the real and complex places correspond to setting q equal to 1 or -1?

It often happens that if we have a scheme $X/\mathbb Z$ (or an open subset thereof) and we denote by $p(q) = X(\mathbb F_q)$, then $p(1)$ and $p(-1)$ compute the euler characteristic of $X(\mathbb C)$ ...
user avatar
  • 6,834
31 votes
2 answers
1k 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 ...
user avatar
10 votes
0 answers
324 views

The term "absolute geometry"

My question concerns the so-called absolute geometry over the "field with one element" F_1 or over the spectrum $\mathrm{Spec}(F_1)$, cf. https://ncatlab.org/nlab/show/Borger%27s+absolute+geometry. I ...
user avatar
5 votes
1 answer
207 views

Generating function for lattice paths making aribitrary (i,j)-up-right move in one step and fitting rectangular (m,n)?

There is the following beautiful formula (see Qiaochu Yuan excellent blog): $$ \sum_{\lambda \in Young~diagrams~fitting~rectangle~m~n} q^{Box~count(="area~under~the~curve")~of~\lambda} = \binom{n+m}{...
user avatar
13 votes
2 answers
526 views

$q$ as a prime power and a root of unity

The number of points on the $(n-1)$-dimensional projective space $P^{n-1}(\mathbb{F}_q)$ over a finite field $\mathbb{F}_q$ is the $q$-integer $$[n]_q := \frac{q^n-1}{q-1}.$$ In analogy, the number of ...
user avatar
  • 1,400
15 votes
1 answer
588 views

Schur-Weyl duality and q-symmetric functions

Disclaimer: I'm far from an expert on any of the topics of this question. I apologize in advance for any horrible mistakes and/or inaccuracies I have made and I hope that the spirit of the question ...
user avatar
  • 6,927
21 votes
1 answer
937 views

What is $\mathbb{Q}_1$, the "field of $1$-adic numbers"?

(Disclaimer: I'm totally ignorant about $\mathbb{F}_1$ theory) There are now (several) working definitions of the "field with one element" $\mathbb{F}_1$ (not literally a field, of course), and ...
user avatar
  • 21.6k
7 votes
1 answer
335 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 ...
user avatar
7 votes
1 answer
382 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 ...
user avatar
14 votes
1 answer
630 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} $$ ...
user avatar
10 votes
0 answers
313 views

What are the analogs of a Levi/Parabolic/Borel/Bruhat over the field with 1 element?

This is inevitably an imprecise question, but there are already several questions like this on the site so I thought i'd try anyway. If I understand correctly, for any reductive algebraic group $G$ ...
user avatar
  • 6,927
24 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 ...
user avatar
  • 2,371
14 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 ...
user avatar
  • 2,371
5 votes
2 answers
252 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 ...
user avatar
10 votes
3 answers
781 views

Buildings, projective geometry - what led Tits to think of "the field with one element"?

The mysterious object "field with one element" seems to appear first in J. Tits papers on buildings. It is mentioned in almost any text on $\mathbb{F}_1$. However, I have never seen any exposition of ...
user avatar
26 votes
1 answer
759 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 ...
user avatar
  • 21.7k
32 votes
2 answers
998 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$ ...
user avatar
12 votes
0 answers
619 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" ...
user avatar
11 votes
1 answer
543 views

Gauss, Jacobi, Kloosterman sums and representation theory in the $\mathbb F_1$-world

This question is inspired by Why are Bessel function and Kloosterman sum similar? - it developed in me desire to understand Kloosterman sums better. There seems to be common knowledge that Gauss, ...
user avatar
3 votes
0 answers
201 views

Can MacLane's notion of universality inform $\mathbb{F}_1$?

MacLane (1939) calls a field $F$ universal if every other field $F'$ of the same cardinality and characteristic as $F$ is a subfield of $F$. He then exhibits an example, viz. a field of generalized ...
user avatar
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 ...
user avatar
5 votes
2 answers
197 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$-...
user avatar
  • 6,504
11 votes
1 answer
658 views

Is an ordinary scheme in Borger's Absolute Geometry the same as a "scheme over F1" with a map to Spec(Z)?

$\newcommand{\Z}{\mathbb{Z}}$ $\newcommand{\F}{\mathbb{F}_1}$ $\newcommand{\spec}{\operatorname{Spec}}$ If I understand correctly, in Borger's paper about the field with one element, the category of "...
user avatar
  • 2,180
1 vote
0 answers
447 views

What is the significance of the $-1$-simplex?

The number of $k$-simplex elements in an $n$-simplex is counted by the binomial coefficient $\binom{n+1}{k+1}$. For example, the $3$-simplex is the tetrahedron, which has the following elements: $4$ ...
user avatar
6 votes
0 answers
300 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 ...
user avatar
25 votes
1 answer
1k views

A geometric theory of Blueprints? (Algebras over the field with one element)

In my attempt to tackle the various approaches of defining algebraic geometry over $\mathbb F_1$, I was just reading through Lorscheid's paper The geometry of blueprints. I certainly like the idea a ...
user avatar
  • 1,573
6 votes
0 answers
278 views

Laurent and power series over the field with one element?

Question. Is there a suitable notion of the Laurent series ring $\mathbb{F}_1((t))$ and power series ring $\mathbb{F}_1[[t]]$ in some framework for the field with one element $\mathbb{F}_1$? For ...
user avatar
  • 1,783
2 votes
1 answer
238 views

Are binomial coefficients $F_1$ analogs of $q$-binomial coefficients?

This is a mostly philosophical question. Is it fair to think of usual binomial coefficients and their identities as an $F_1$ case of $q$-binomial coefficients and identities? Here $F_1$ is the field ...
user avatar
  • 5,106
23 votes
1 answer
845 views

Fundamental theorem of K-theory for loop groups over $\mathbb{F}_1$?

As the title says, I would like to know what the fundamental theorem of algebraic K-theory would say over the field with one element. Recall that the fundamental theorem of K-theory provides a ...
user avatar
15 votes
0 answers
420 views

Connes' idea to use the hyperfinite $III_1$ factor for the archimedian place of Spec(Z)?

I recently gave a talk, where I talked about the tensor category of (all, not just finite index) bimodules over the hyperfinite $III_1$ factor. Vaughan Jones, who was in the audience, later told me ...
user avatar
8 votes
0 answers
473 views

The logarithm over $\mathbb F_1$

In 'Cyclotomy and analytic geometry over F1', Manin proposes a version of the notion of `analytic function' over the 'field with one element $\mathbb F_1$'. Question 1: can somebody explain or give ...
user avatar
  • 798
3 votes
0 answers
257 views

Categorizing epimorphisms in $\mathscr{L}ex(\mathcal{B}^{Str},\mathsf{Set}_*)$

This is a follow up to this question of mine. The setup: Let $\mathcal{B}$ be an $\mathbb{F}_1$-linear category (Deitmar uses the term Belian); that is, $\mathcal{B}$ is pointed; balanced; contains ...
user avatar
  • 632
11 votes
1 answer
770 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 ...
user avatar
  • 632
25 votes
3 answers
2k 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 ...
user avatar
14 votes
0 answers
865 views

The symmetric group and the field with one element

I've heard a few times that the symmetric group is an algebraic group over a field with one element, and that the alternating group is quite specifically $SO_n(\mathbb{F}_1)$. This does make a lot of ...
user avatar
  • 16.7k
16 votes
1 answer
725 views

Are there F_un Lie algebras ?

Background See WP-article on F_1 = F_{un} = Field with one element (and also this MO question). Paraphrasing someone: we do not know what is it, but it is not a field :). For this question it is ...
user avatar
3 votes
1 answer
315 views

affine and projective schemes over $\mathbf{F}_1$?

What should affine and projective schemes over $\mathbf{F}_1$ be?
user avatar
52 votes
2 answers
4k views

Connections between various generalized algebraic geometries (Toen-Vaquié, Durov, Diers, Lurie)?

As far as I know, there are four possible ways to generalize algebraic geometry by 'simply' replacing the basic category of rings with something similar but more general: $\bullet$ In the approach by ...
user avatar
1 vote
3 answers
543 views

Terminology for certain monoids which are to monoids like fields are to rings

Let $M$ be a commutative monoid with zero. Then the condition $M^* = M \setminus \{0\}$ is very similar to the condition for a commutative ring to be a field. This analogy is also used in the work "...
3 votes
1 answer
730 views

Connected components of schemes over $\mathbb{F}_1$

I'm reading Deitmar's paper on Schemes over $\mathbb{F}_1$. Proposition 2.4. states that for a scheme $X$ over $\mathbb{F}_1$ there is a bijection between $X(\mathbb{F}_1)$ and the set of connected ...
user avatar
7 votes
0 answers
633 views

Invertible elements in generalized fields

Durov's theory of generalized rings also includes generalized fields (5.7.6), which are defined as generalized rings, which are not subtrivial and whose proper strict quotients are subtrivial. For ...
user avatar
2 votes
1 answer
294 views

Coproducts of modules over an algebraic monad

Coproducts of modules over an algebraic monad $\Sigma$ are described in Section 4.16.14/15 in Durov's thesis. It is claimed there that for $\Sigma$-modules $M,N$, the set $M \coprod N$ generates $M \...
user avatar
2 votes
0 answers
684 views

Spec$\mathbb{Z}$ in absolute geometry

What are the obstacles that prevent from defining Spec$\mathbb{Z}$ in absolute geometry? By absolute geometry I mean the geometry over the field with one element F1.
user avatar
32 votes
2 answers
2k views

Is the moduli space of curves defined over the field with one element?

There are various frameworks around which enlarge the category of rings to include more exotic objects such as the 'field with one element,' $\mathbb{F}_1$. While these frameworks differ in their ...
user avatar
6 votes
2 answers
500 views

Are the closures of the tori in the decomposition of a torified variety toric varieties?

In "Torified varieties and their geometries over $\mathbb{F}_1$", J. L. Pena and O. Lorscheid define a torified variety as a variety $X$ over $\mathbb{Z}$ along with a family of locally closed ...
user avatar
  • 1,788