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

Resumen Técnico: Magnetismo Algebraico: Productos X de atractores vía geometría sobre $\mathbb{F}_1$

Planteamiento del Problema
Esta nota aborda una pregunta específica dentro del marco del "magnetismo algebraico", un campo que codifica la dinámica geométrica mediante monoides conmutativos. El problema central es comprender y describir el producto de fibra de los atractores asociados a submonoides de un grupo abeliano. Específamente, dado un grupo abeliano $M$ y una colección de submonoides $N_1, \dots, N_d \subset M$ que actúan como "imanes" para una acción algebraica del esquema de monoides diagonalizables $D(M)$ sobre un espacio algebraico $X$, el artículo busca caracterizar el espacio:
$$X_{N_1} \times_X \dots \times_X X_{N_d}$$
donde $X_{N_i}$ denota el atractor asociado al submonoide $N_i$. Los autores se centran en el caso donde las completaciones de grupo de estos submonoides son idénticas, es decir, $N_1^{gp} = \dots = N_d^{gp}$.

Metodología
La metodología se basa en la interacción entre el magnetismo algebraico y la geometría de Deitmar basada en monoides sobre el cuerpo con un elemento, $\mathbb{F}_1$ (también conocida como monoschemes). El enfoque procede de la siguiente manera:

1. Construcción de un esquema sobre $\mathbb{F}_1$: Los autores construyen un esquema sobre $\mathbb{F}_1$, denotado $\mathcal{N}$, mediante el pegado de los monoschemes afines $\text{spec}(N_\tau)$ a lo largo de su subespacio abierto común $\text{spec}(N^{gp})$. Esta construcción es válida porque todos los submonoides $N_\tau$ comparten la misma completación de grupo $N^{gp}$.
2. Cambio de base a $\mathbb{Z}$: Al aplicar el functor de cambio de base $\otimes_{\mathbb{F}_1} \mathbb{Z}$, los autores asocian un esquema sobre $\mathbb{Z}$, denotado $A(\mathcal{N})$, al esquema $\mathcal{N}$. Se demuestra que este esquema es el colímite del diagrama formado por los esquemas de monoides diagonalizables $A(N_\tau)$ pegados a lo largo del subesquema abierto común $D(N^{gp})$.
3. Estructura Equivariante: El esquema $A(\mathcal{N})$ está dotado de una acción natural de $D(M)$, heredada de las acciones sobre los $A(N_\tau)$, lo que lo convierte en un esquema $D(M)$.
4. Propiedad Universal: El núcleo del argumento utiliza la propiedad universal del colímite en la categoría de esquemas (y de esquemas $D(M)$) para relacionar los morfismos desde $A(\mathcal{N})$ con el producto de fibra de los atractores.

Contribuciones Clave y Resultados

• Teorema 4.1 (Fórmula Principal): Bajo la condición de que las completaciones de grupo de los submonoides sean iguales, el producto de fibra de los atractores es isomorfo al espacio de morfismos $D(M)$-equivariantes de $A(\mathcal{N})$ a $X$:
  $$\prod_{\tau \in A}^X X_{N_\tau} \cong \text{Hom}_{D(M)}(A(\mathcal{N}), X)$$
  Este resultado es válido siempre que $X$ sea cuasi-separado sobre $S=\text{Spec}(\mathbb{Z})$ con fibras conectadas para $D(M/Z)$, o que $X$ sea separado.

• Definición del Functor Atractor: Los autores definen el functor $\text{Hom}_{D(M)}(A(\mathcal{N}), X)$ como $X_{\mathcal{N}}$, denominado el "atractor asociado a $\mathcal{N}$". Esto generaliza la noción de un atractor de un solo submonoide a una colección que satisface la condición de completación de grupo.

• Representabilidad (Proposición 4.3): El artículo establece las condiciones bajo las cuales $X_{\mathcal{N}}$ es representable por un espacio algebraico. Si $X \to S$ es afín, $X_{\mathcal{N}}$ es representable y corresponde a la intersección de los atractores individuales $X_{N_\tau}$ (específicamente, el subesquema cerrado definido por la suma de los ideales definidores). Si $X$ es separado y el conjunto de submonoides es finito, la representabilidad también está garantizada.

• Propiedades Geométricas:

  • Monomorfismo (Proposición 4.5): Si $X/S$ es separado y el conjunto de submonoides es finito, la aplicación natural $X_{\mathcal{N}} \to X$ es un monomorfismo.
  • Suavidad (Observación 4.6): Los autores señalan que la interpretación de esquema sobre $\mathbb{F}_1$ implica resultados de suavidad. Si $X \to S$ es suave, entonces $X_{\mathcal{N}} \to S$ es suave. El artículo aclara explícitamente que esta suavidad no sigue trivialmente de la suavidad de los factores individuales y la fórmula del producto de fibra, ya que los productos de fibra de morfismos suaves no son necesariamente suaves.

Significado y Reivindicaciones
El artículo afirma proporcionar una respuesta puramente magnética a una cuestión estructural utilizando la geometría de $\mathbb{F}_1$. Mediante la construcción del esquema $\mathcal{N}$ sobre $\mathbb{F}_1$, los autores demuestran que la compleja operación de tomar un producto de fibra de atractores puede unificarse en un único espacio de mapeo $\text{Hom}_{D(M)}(A(\mathcal{N}), X)$.

Este trabajo construye sobre y complementa investigaciones previas (específicamente la referencia [3] en la bibliografía) al extender la teoría de atractores a los productos. Los autores destacan que, si bien la fórmula $X_{\mathcal{N}} = \bigcap X_{N_\tau}$ se cumple en el caso afín, esta falla en el caso no afín (como ilustra el Ejemplo 4.4 que involucra a $\mathbb{P}^1$), lo que requiere la descripción funcional más general proporcionada por la construcción de $A(\mathcal{N})$. El artículo se posiciona como una nota técnica que establece este isomorfismo y verifica las propiedades geométricas resultantes (representabilidad, monomorfismo, suavidad) dentro del marco establecido del magnetismo algebraico.