🔢 mathematics

Algebraic Magnetism: $X$ -products of attractors via $\mathbb{F}_1$ -geometry

This paper presents a formula for $X$ -products of attractors by utilizing the framework of $\mathbb{F}_1$ -geometry.

Original authors: Arnaud Mayeux

Published 2026-06-02

📖 4 min read🧠 Deep dive

Original authors: Arnaud Mayeux

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a city planner trying to understand how different groups of people (let's call them "magnet groups") interact with a giant, complex city (the "algebraic space").

This paper is a mathematical recipe for figuring out what happens when you try to find the "meeting point" or the "common ground" for several of these magnet groups at once. The author, Arnaud Mayeux, uses a clever trick involving a theoretical concept called "The Field with One Element" (let's call it F1) to solve a problem that is usually very hard to calculate.

Here is the breakdown using simple analogies:

1. The Setup: Magnets and Groups

In this mathematical world, imagine you have a big group of numbers or shapes (an "abelian group"). Inside this big group, you have several smaller sub-groups.

The Metaphor: Think of the big group as a massive dance floor. Inside, you have several smaller circles of dancers (the sub-groups). Each circle acts like a magnet.
The Goal: If you have a dancer (an object in the "space X") who is attracted to Circle A, and another who is attracted to Circle B, what happens if you ask for a dancer who is attracted to both Circle A and Circle B simultaneously?
The Problem: Usually, calculating the result of combining these attractions (called an "X-product of attractors") is messy and complicated.

2. The Secret Weapon: The "Field with One Element" (F1)

Mathematicians have a long-standing idea called F1-geometry.

The Metaphor: Think of standard geometry as building a house with bricks, wood, and glass (complex materials). F1-geometry is like looking at the blueprint of the house before the materials are even added. It's the pure skeleton or the "combinatorial structure" underneath.
The Trick: The author says, "Instead of trying to calculate the complex interaction of the magnets directly, let's look at their blueprints (the F1-skeleton)."
By translating the magnets into this "F1-skeleton" language, the author can build a new, single structure (a "scheme") that represents all the magnets working together.

3. The Main Discovery: The "Gluing" Formula

The paper proves a specific formula.

The Scenario: You have magnets $N_1, N_2, \dots, N_d$ .
The Condition: These magnets must all share the same "core identity" (mathematically, their group completions are the same).
The Result: The author shows that the complex intersection of all these magnets is exactly the same as looking at a single, newly built structure (called $A(N)$ ) and seeing how it fits into your city.
The Analogy: Instead of trying to find the overlap of five different crowds by walking through each one, you build a single "Master Blueprint" that represents all five crowds combined. If you can find a path from this Master Blueprint to your city, you have found the answer.

4. Why This Matters (The "Good Properties")

The paper doesn't just give a formula; it shows that this new "Master Blueprint" structure behaves nicely.

Smoothness: If your original city was "smooth" (no jagged edges or broken parts), this new combined structure is also smooth.
The Warning: The author notes a trap. You can't just assume that combining two smooth things always results in a smooth thing (like how mixing two smooth liquids might create a chunky sludge). However, because this specific "F1" method builds the structure correctly from the start, it guarantees the result stays smooth.

5. A Concrete Example

The paper gives an example where you have a "positive" magnet and a "negative" magnet.

If you try to combine them in a simple, flat world (affine case), the result is just the intersection of the two (like the number 0).
But in a more complex, curved world (non-affine), the result is surprisingly different. It turns out to be a whole new shape (like a sphere with two points, 0 and infinity) rather than just a simple intersection. This shows that the "F1" method captures the true, complex nature of the geometry that simple formulas miss.

Summary

In short, this paper says: "When you want to find the common ground for several mathematical magnets, don't struggle with the complex math directly. Instead, translate them into the 'skeleton' language of F1-geometry, glue them together into one master structure, and the answer will appear clearly and smoothly."

It is a tool for simplifying complex geometric puzzles by looking at their underlying, simpler blueprints.

Technical Summary: Algebraic Magnetism: X-products of attractors via F1-geometry

Problem Statement
This note addresses a specific question within the framework of "algebraic magnetism," a field that encodes geometric dynamics via commutative monoids. The central problem is to understand and describe the fiber product of attractors associated with submonoids of an abelian group. Specifically, given an abelian group $M$ and a collection of submonoids $N_1, \dots, N_d \subset M$ acting as "magnets" for an algebraic action of the diagonalizable monoid scheme $D(M)$ on an algebraic space $X$ , the paper seeks to characterize the space:
$X_{N_1} \times_X \dots \times_X X_{N_d}$
where $X_{N_i}$ denotes the attractor associated with the submonoid $N_i$ . The authors focus on the case where the group completions of these submonoids are identical, i.e., $N_1^{gp} = \dots = N_d^{gp}$ .

Methodology
The methodology relies on the interplay between algebraic magnetism and Deitmar's monoid-based geometry over the field with one element, $\mathbb{F}_1$ (also known as monoschemes). The approach proceeds as follows:

Construction of an $\mathbb{F}_1$ -scheme: The authors construct a scheme over $\mathbb{F}_1$ , denoted $\mathcal{N}$ , by gluing the affine monoschemes $\text{spec}(N_\tau)$ along their common open subspace $\text{spec}(N^{gp})$ . This construction is valid because all submonoids $N_\tau$ share the same group completion $N^{gp}$ .
Base Change to $\mathbb{Z}$ : By applying the base change functor $\otimes_{\mathbb{F}_1} \mathbb{Z}$ , the authors associate a scheme over $\mathbb{Z}$ , denoted $A(\mathcal{N})$ , to $\mathcal{N}$ . This scheme is shown to be the colimit of the diagram formed by the diagonalizable monoid schemes $A(N_\tau)$ glued along the common open subscheme $D(N^{gp})$ .
Equivariant Structure: The scheme $A(\mathcal{N})$ is endowed with a natural action of $D(M)$ , inherited from the actions on the constituent $A(N_\tau)$ , making it a $D(M)$ -scheme.
Universal Property: The core of the argument utilizes the universal property of the colimit in the category of schemes (and $D(M)$ -schemes) to relate morphisms from $A(\mathcal{N})$ to the fiber product of attractors.

Key Contributions and Results

Theorem 4.1 (Main Formula): Under the condition that the group completions of the submonoids are equal, the fiber product of the attractors is isomorphic to the space of $D(M)$ -equivariant morphisms from $A(\mathcal{N})$ to $X$ :
$\prod_{\tau \in A}^X X_{N_\tau} \cong \text{Hom}_{D(M)}(A(\mathcal{N}), X)$
This result holds provided $X$ is either quasi-separated over $S=\text{Spec}(\mathbb{Z})$ with $D(M/Z)$ having connected fibers, or $X$ is separated.
Definition of the Attractor Functor: The authors define the functor $\text{Hom}_{D(M)}(A(\mathcal{N}), X)$ as $X_{\mathcal{N}}$ , termed the "attractor associated to $\mathcal{N}$ ." This generalizes the notion of an attractor from a single submonoid to a collection satisfying the group completion condition.
Representability (Proposition 4.3): The paper establishes conditions under which $X_{\mathcal{N}}$ is representable by an algebraic space. If $X \to S$ is affine, $X_{\mathcal{N}}$ is representable and corresponds to the intersection of the individual attractors $X_{N_\tau}$ (specifically, the closed subscheme defined by the sum of the defining ideals). If $X$ is separated and the set of submonoids is finite, representability is also guaranteed.
Geometric Properties:
- Monomorphism (Proposition 4.5): If $X/S$ is separated and the set of submonoids is finite, the natural map $X_{\mathcal{N}} \to X$ is a monomorphism.
- Smoothness (Remark 4.6): The authors note that the $\mathbb{F}_1$ -scheme interpretation implies smoothness results. If $X \to S$ is smooth, then $X_{\mathcal{N}} \to S$ is smooth. The paper explicitly clarifies that this smoothness does not follow trivially from the smoothness of individual factors and the fiber product formula, as fiber products of smooth morphisms are not necessarily smooth.

Significance and Claims
The paper claims to provide a purely magnetic answer to a structural question using $\mathbb{F}_1$ -geometry. By constructing the scheme $\mathcal{N}$ over $\mathbb{F}_1$ , the authors demonstrate that the complex operation of taking a fiber product of attractors can be unified into a single mapping space $\text{Hom}_{D(M)}(A(\mathcal{N}), X)$ .

The work builds upon and complements previous research (specifically reference [3] in the bibliography) by extending the theory of attractors to products. The authors highlight that while the formula $X_{\mathcal{N}} = \bigcap X_{N_\tau}$ holds in the affine case, it fails in the non-affine case (as illustrated by Example 4.4 involving $\mathbb{P}^1$ ), necessitating the more general functorial description provided by the $A(\mathcal{N})$ construction. The paper positions itself as a technical note establishing this isomorphism and verifying the resulting geometric properties (representability, monomorphism, smoothness) within the established framework of algebraic magnetism.