Abstract
Let V be a cubic surface defined by the equation \(T_0^3+T_1^3+T_2^3+\theta T_3^3=0\) over a quadratic extension of 3-adic numbers \(k=\mathbb {Q}_3(\theta )\), where \(\theta ^3=1\). We show that a relation on a set of geometric k-points on V modulo \((1-\theta )^3\) (in a ring of integers of k) defines an admissible relation and a commutative Moufang loop associated with classes of this admissible equivalence is non-associative. This answers a problem that was formulated by Yu. I. Manin more than 50 years ago about existence of a cubic surface with a non-associative Moufang loop of point classes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Throughout the paper V will denote an irreducible cubic hypersurface defined over a field k and embedded in some projective space over k. It is well-known that new points on V may be obtained from old ones by secant and tangent constructions. One of difficulties in studying this secant and tangent process when \(\dim V > 1\) is that it does not lead to an associative binary operation as in the case of elliptic curves. An interesting remedy to this was suggested in Siksek [7] via introduction of a certain abelian group associated with a cubic surface which retains much information about secant and tangent process. Here we follow a different approach that was suggested in Manin [6]. See also a short survey of content of first two chapters of this Manin’s book in Sect. 2 in this paper.
Let V(k) be a set of points on V (where by “points" we mean geometric points with values in k). Three points \({\varvec{P_1}}, {\varvec{P_2}}, {\varvec{P_3}} \in V(k)\) not necessary different, are said to be collinear if they lie on a straight line \({\varvec{L}}\) defined over k and either \({\varvec{L}} \subset V\) or \({\varvec{P_1}}+{\varvec{P_2}}+{\varvec{P_3}}\) is the intersection cycle of V with \({\varvec{L}}\). For any \({\varvec{P_1}}, {\varvec{P_2}} \in V(k)\) there exists \({\varvec{P_3}} \in V(k)\) such that \({\varvec{P_1}},{\varvec{P_2}}, {\varvec{P_3}}\) are collinear. If V is smooth and has dimension 1, then the collinearity relation on its set of points introduces a structure of the Abelian group by the law \({\varvec{P}}_1+{\varvec{P}}_2 = {\varvec{U}} \circ ({\varvec{P}}_1 \circ {\varvec{P}}_2)\) where \(\{{\varvec{P}}_1, {\varvec{P}}_2, {\varvec{P}}_1 \circ {\varvec{P}}_2\}\) and \(\{{\varvec{P}}_1+{\varvec{P}}_2, {\varvec{P}}_1 \circ {\varvec{P}}_2, {\varvec{U}}\}\) are collinear triples of points on V). If V has dimension \( \ge 2\) than the condition “\({\varvec{P_1}}, {\varvec{P_2}}, {\varvec{P_3}} \in V(k)\) are collinear” does not define a binary composition since there are many tangent lines at a point \({\varvec{P_1}}\) to V or there could be lines through \({\varvec{P_1}}\) belonging to V. This leads to the following definition.
Definition 1.1
An equivalence relation \(\mathcal {A}\) on V(k) is said to be admissible if the following condition holds:
If \({\varvec{P_1}}, {\varvec{P_2}}, {\varvec{P_3}} \in V(k)\) and \({\varvec{P_1'}}, {\varvec{P_2'}}, {\varvec{P_3'}} \in V(k)\) are collinear, \({\varvec{P_1}} \sim {\varvec{P_1'}} \mod \mathcal {A}\), \({\varvec{P_2}} \sim {\varvec{P_2'}} \mod \mathcal {A}\), then \({\varvec{P_3}} \sim {\varvec{P_3'}} \mod \mathcal {A}\).
If \({\varvec{P_1}} \ne {\varvec{P_2}}\) and there is no straight line on V through \({\varvec{P_1}}, {\varvec{P_2}}\), then \({\varvec{P_3}}\) is uniquely defined and we sometimes write \({\varvec{P_1}} \circ {\varvec{P_2}} = {\varvec{P_3}}\). Let \(\mathcal {A}\) be an admissible equivalence on V(k) and let \(E = V(k)/\mathcal {A}\) denote the set of equivalence classes. For any \({\varvec{S_1}}, {\varvec{S_2}} \in E\) there is a uniquely determined class \({\varvec{S_3}} \in E\) such that that there exists collinear points \({\varvec{P_1}}, {\varvec{P_2}}, {\varvec{P_3}}\) with \({\varvec{P_i}} \in {\varvec{S_i}}\). Defining a new binary operation \({\varvec{S_1}} {\varvec{S_2}} = {\varvec{U}} \circ ({\varvec{S_1}} \circ {\varvec{S_2}})\) where U is a fixed class, one can convert E into a commutative Moufang loop as defined in 2.4 (for brevity, we shall speak of \(CML\; E\)). For all preceding examples of cubic surfaces where admissible equivalence was computed (such as those in Sect. 3 below) it led to associative commutative Moufang loops, i.e., to Abelian groups. The main result of this paper is constructing a cubic surface V with non-associative \(CML\; E\) for some admissible equivalence \(\mathcal {A}\) on V(k). This answers a long standing problem that was formulated after Theorem in Section 4.12 in Manin [5] in different but equivalent terms of existence of non-abelian quasi-groups associated with some cubic surface over some field. In this paper the question about existence of cubic surfaces for which there exist non-associative structures is considered following Manin [6] (see this formulation in Problem 11.11 in the Chapter II). In our example (Sect. 4) a cubic surface with non-associative Moufang loop of point classes is defined by
where \(T_0, T_1, T_2, T_3\) is a homogeneous coordinate system in a projective space \(\mathbb {P}^3_k\) and \(k=\mathbb {Q}_3(\theta )\), \(\theta ^3=1\) (quadratic extension of 3-adic numbers). The non-associativity Theorem 4.1 is proved in Sects. 5, 6.
It was also can be shown (the work by the author in preparation) that in this example the admissible equivalence is universal, i.e., it is the finest possible admissible equivalence on this surface. Constructing an example of a cubic surface with a non-associative Moufang loop of point classes is not a trivial task, since one can show that for a cubic surface over a local field with a residue field of characteristic not equal 3 admissible equivalence on this surface over the local field generates an associative commutative Moufang loop of point classes [4]. And if a cubic surface defined over a local field with a residue field of characteristic 3 and certain non-degenerated conditions for V hold then a Moufang loop of point classes for this surface consists of only one element (Introduction, Theorem 2, Swinnerton-Dyer [8]). This leaves only a cubic surface over a local field with a residue field of characteristic 3 with "bad" reduction modulo a uniformizing element of the local field as a source of non-associative Moufang loops of point classes.
Our work opens a new direction in geometry of cubics with non-associative Moufang loop of point classes. We can examine the asymptotic behavior of a specific subset of rational points on cubic surfaces over number fields, a subset generated by four rational points through the process of taking secants and tangents. A potential question to explore could be: Does this asymptotic behavior depend on whether this subset generates a non-associative Moufang loops of point classes? See a discussion in Sect. 7 on what classes of cubic surfaces over number fields may have non-associative Moufang loops of point classes. One can try to classify Moufang loops associated with these surfaces.
We would like to thank Prof. Vyacheslav Shokurov for reading the manuscript and suggesting improvements to it.
2 CH-quasigroups, Moufang loops
Here, we give a brief survey of some algebraic and geometric structures which emerge in the theory of cubic hypersurfaces, initiated by Yu. Manin ([6], Chapters I and II).
Definition 2.1
A set E with a binary composition law \(E \times E \rightarrow E: (x,y) \mapsto x \circ y\) is called a symmetric quasigroup if it satisfies one of the following equivalent conditions:
-
(i)
The three-place relation \(L(x,y,z): x \circ y = z\) is invariant under all permutations of x, y, z
-
(ii)
The following identities hold for all \(x,y \in E:\)
$$\begin{aligned}{} & {} x \circ y = y \circ x \\{} & {} x \circ (x \circ y) = y \end{aligned}$$
A set E of non-singular points on an irreducible cubic curve V embedded in a projective plane over a field k with a collinearity relationship \(\{(x,y,x\circ y)\} = L \subset E \times E \times E\) provides an example of a symmetric quasigroup in the Definition 2.1. One can choose a fixed element \(u \in E\) and introduce on E the new composition law: \(xy = u \circ (x \circ y)\) for \(x,y \in E\). Then E becomes an Abelian group with u as unit element. Generalization of this example leads to the following:
Definition 2.2
A symmetric quasigroup E is called Abelian if it satisfies one of the following equivalent conditions:
-
(i)
There exists an Abelian group structure on E with composition law \((x,y) \mapsto xy\), and there is an element \(c \in E\) such that \(x \circ y = c x^{-1} y ^{-1}\) for all \(x, y \in E\).
-
(ii)
For any element \(u \in E\) the composition law \(xy = u \circ (x \circ y)\) turns E into an Abelian group.
Let us now assume that V is an irreducible cubic hypersurface of dimension \( \ge 2\) embedded in some projective space; let E be the set of non-singular points on V. Let L(x, y, z) be the three-place relationship on E defined by the condition "x, y, z are collinear". It is symmetric, but since in general it does not define a binary composition we consider a quotient set of E such that induced relation of "collinearity" comes from a symetric quasigroup composition law. Since any three points of V are contained in the intersection of V with a plane, that defines a cubic curve we obtain the result that any set of three elements of the quasigroup generates an Abelian quasigroup.
Definition 2.3
A CH-quasigroup (CH stands for Cubic Hypersurface) is a symmetric quasigroup in which any three elements generate an Abelian subquasigroup.
Next, by analogy with Abelian case we have the following
Definition 2.4
A set E with composition law \((x,y) \mapsto xy = u \circ (x \circ y)\), where u is some fixed element, is called a commutative Moufang loop (CML) if it is satisfied the following axioms:
-
1.
Commutativity: \(xy = yx\) for all \(x,y \in E\).
-
2.
Unit element: \(ux = x\) for all \(x \in E\).
-
3.
Inverses: there exists a map \(E \rightarrow E: x \mapsto x^{-1}\) such that \(x^{-1}(xy) = y\) for all \(x,y \in E\)
-
4.
Weak associativity:
for three factors:
for four factors:
The connection between CH-quasigroups and CMLs is given in the following ([6], Theorem 1.5)
Theorem 2.1
If E is a CH-quasigroup and \(u \in E\), then the composition law \(xy = u\circ (x \circ y)\) turns E into a CML.
Next, we describe some general structural results for sets of classes of points on cubic hypersurfaces obtained by Yu. Manin.
Definition 2.5
Let \(V \subset P^n\) be a cubic hypersurface. A geometric point x on V is called a point of general type if the following conditions are satisfied:
-
(i)
x is non-singular point on V.
-
(ii)
The intersection C(x) of the tangent hyperplane at x with V is geometrically irreducible and reduced.
-
(iii)
The singular point \(x \in C(x)\) is not conical on C(x).
Theorem 2.2
Let V be a cubic hypersurface of dimension \(\ge 2\) having a point of general type, let V(k) be the set of non-singular k-points. Let \(\mathcal {A}\) be some admissible equivalence relation on V(k) and \(E = V(k)/\mathcal {A}\) be the corresponding symmetric quasigroup. Then the following statements hold:
-
(i)
Every equivalence class is dense in the Zariski topology. If k is algebraically closed, then all points of V(k) are equivalent to one another.
-
(ii)
E is CH-quasigroup.
-
(iii)
Let the CML be introduced on the quasigroup E by means of the composition law \(XY = U \circ (X \circ Y)\), where \(U \in E\) is some fixed class. Then the relation \(X^6 = 1\) holds on E.
From general structural results described in Chapter 1 in Manin [6] it also follows that under conditions of Theorem 2.2E is the direct product of an Abelian group of exponent 2 and a CML of exponent 3; and that if E has a finite number of generators, then it is finite and consists of \(2^a3^b\) elements.
3 Some prior results on admissible equivalences
3.1 R-equivalence
R-equivalence on points V(k) of a cubic hypersurface V over a filed k is defined as the weakest equivalence relation such that for any two points P, Q the following holds. There exists a sequence of points \(T_0, T_1,... T_n \in V(k)\) such that \(T_0=P, T_n=Q\) and points \(T_i\) and \(T_{i+1}\) are directly R-connected, i.e., there exist a k-morphism \(f: \mathbb {P}_k^1 \rightarrow V\) such that \(f(0) = T_i\) and \(f(\infty )=T_{i+1}\). The \(R-equivalence\) can be computed efficiently for Chatelet surfaces for which it leads to associative commutative Moufang loops of point classes ([6], Proposition 45.10).
3.2 Cubic surfaces over finite and local fields
Let k be a \(\mathfrak {p}\)-adic field and \({\tilde{k}}\) is the residue field. We denote reduction \(\mod \mathfrak {p}\) by a tilde. We take V to be nonsingular with equations \(F(X, Y, T, Z)=0\), where the coefficients of F are \(\mathfrak {p}\)-adic integers; then \(\tilde{V}\) is given by \({\tilde{F}}=0\). Theorem 2 in Swinnerton-Dyer [8] states that if \({\tilde{V}}\) smooth and Char \({\tilde{k}} \ne 2,3\) or some non-degeneration conditions hold in Char \({\tilde{k}} =2,3\) then all the rational points of V belong to the same class. Some cases for Char \({\tilde{k}}=2\) were considered in Kanevsky [3] for which it was shown that CML associated with these cases is associative. Our Theorem 4.1 in this paper falls into the case Char \({\tilde{k}}=3\) and \({\tilde{V}}\) is non-smooth.
3.3 Brauer equivalence
The Brauer equivalence was introduced in Manin ([6], Chapter VI), as described below. The Brauer equivalence on a set of rational points on an algebraic variety V over a filed k is defined via pairing \(V(k) \times Br(V) \rightarrow Br(k)\), where \(B=Br(V)\) is the Brauer group of V and Br(k) is the Brauer group of k. Namely, two points \(P, Q \in V(k)\) are defined as B equivalent if for any \(b \in B\) we have for their specializations \(b(P)=b(Q)\). The Brauer equivalence is admissible for cubic hypersurfaces V and \(CML\; V(k)/B\) is associative.
4 Definitions and main result
Let \(K = \mathbb {Z}_3[\theta ] \subset k\) be a quadratic extension of a ring of 3-adic integers \(\mathbb {Z}_3\) and let \(\mathfrak {p} = 1 - \theta \). Then \(3=-\theta ^2 \mathfrak {p}^2\), \(\mathfrak {p}\) generates the maximal ideal in K such that factor of K modulo this ideal is a finite field consisting of three elements. We shall denote the additive valuation on k by \(\nu \), so that for \(x \ne 0 \in k\) the exact power of \(\mathfrak {p}\) divides x is \(\mathfrak {p}^{\nu (x)}\).
Let \({\varvec{P}}=(t_0,t_1,t_2,t_3) \in V(k)\). We define \({\varvec{P}} \mod \mathfrak {p}^n\) as \((t_0',...t_3')\) where \(t_i' = x t_i \mod \mathfrak {p}^n\), for some \(x \in k\), \(\nu (x t_i) \ge 0\) for all \(i=0,...3\), and there is such \(i \in \{0,1,2,3\}\) that the following holds:
Theorem 4.1
Let V be a cubic surface defined over k by Eq. (1.1). Let us define for \({\varvec{P}},{\varvec{P'}} \in V(k)\) \({\varvec{P}} \sim {\varvec{P'}} \mod \mathcal {A}\) if \({\varvec{P}} = {\varvec{P'}} \mod \mathfrak {p}^3\). Then \(\mathcal {A}\) is admissible, \(CML\; (V(k)/\mathcal {A})\) is non-associative and consists of 243 elements.
5 A non-associative composition example \(\mod \mathfrak {p}^3\)
Here we give examples of points on V(k) (defined by Eq. 1.1) whose composition \(\mod \mathfrak {p}^3\) does not obey the associative law (in a sense of composition in \(CML\; (V(k)/\mathcal {A}))\) in Theorem (4.1).
Lemma 5.1
The tuple \((1,-1+\mathfrak {p}^2,\mathfrak {p},-\mathfrak {p})\) can be lifted to a point on V(k).
Lemma 5.2
Let us define the following points in V(k)
Then for any \({\varvec{R}}=(x,y,z,u) \in V(k)\) the following triples of points are collinear:
Proposition 5.1
Let \({\varvec{Q_0}} = (1,-1+\mathfrak {p}^2,\mathfrak {p},-\mathfrak {p}) + \mathfrak {p}^3 v\) be a point on V(k) for some \(v \in K^4\).
Let us denote the following points on V(k) as:
And let’s for any collinear triple of points \({\varvec{R_0}}, {\varvec{R_1}}, {\varvec{R_2}} \in V(k)\), \({\varvec{R_0}} \ne {\varvec{R_1}}\) define \({\varvec{R_0}}+{\varvec{R_1}}\) as a point on V(k) such that \(({\varvec{U_0}}, {\varvec{R_2}}, {\varvec{R_0}}+{\varvec{R_1}})\) are collinear (this definition makes sense since there are no straight lines on V defined over k). Then the following non-associative inequality holds:
Since Theorem 4.1 implies that the equivalence relation \(\mod \mathcal {A}=\mod \mathfrak {p}^3\) on V(k) is admissible Proposition 5.1 gives examples of a triple of classes in \(CML\; (V(k)/\mathcal {A}))\) with non-associative composition law.
5.1 Remark
The points \({\varvec{U_i}}\) in Lemma 5.2 are Eckhardt points, since if considered over the algebraic closure of k a tangent plane to any of these points intersects V in a curve that decomposes into three straight lines passing through this point. It is well-known that any Eckhardt point on any projective cubic surface induces an automorphism of this surface that is a restriction of a reflection in a three-dimensional projective space that contains this surface.
5.2 Proof of Lemma 5.1
Let’s show that for some \(y \in K\):
Substituting (5.4) into (1.1) we get:
Substituting \(3=-\theta ^2\mathfrak {p}^2\) into (5.5), using \(\mathfrak {p}^3-\theta \mathfrak {p}^3=\mathfrak {p}^4\) and dividing the equation by \(\mathfrak {p}^5\) we get
The result now follows from Hensel’s lemma.
5.3 Proof of Lemma 5.2
Without loss of generality we can assume that \({\varvec{R}}=(1,y,z,u)\) and \({\varvec{U}}_0 \ne {\varvec{R}}\). Taking a straight line through \({\varvec{U_0}}, {\varvec{R}}\) we get
for some \(\tau \in k\). Substituting (5.6) into (1.1) and solving this equation in \(\tau \) gives us:
This implies:
and
Q.E.D. Similarly one can prove (5.2) and (5.3).
5.4 Proof of Proposition 5.1
Since \(({\varvec{Q_0}}+{\varvec{Q_1}})+{\varvec{Q_2}} \ne {\varvec{Q_0}}+({\varvec{Q_1}}+{\varvec{Q_2}})\) iff \(({\varvec{Q_0}}+{\varvec{Q_1}})\circ {\varvec{Q_2}} \ne {\varvec{Q_0}}\circ ({\varvec{Q_1}}+{\varvec{Q_2}}) \) we compute \(({\varvec{Q_0}}+{\varvec{Q_1}})\circ {\varvec{Q_2}}\) and \({\varvec{Q_0}}\circ ({\varvec{Q_1}}+{\varvec{Q_2}})\)
5.4.1 Additional notations and definitions
Throughout this paper we will use the following notations:
-
For any tuples \(v, v' \in K^n\) we set \(v\equiv _i v'\) if \(v = v' \mod \mathfrak {p^i}\)
-
\({\tilde{K}}_i:=K \mod \mathfrak {p^i}\)
-
For any tuples \(v, v' \in {\tilde{K}}^n_i\) we set \(v \sim v' \) if there is \(x \in K,\; \nu (x) =0\) such that \(v = xv'\) (with the obvious multiplication action of x on \({\tilde{K}}_i^n\)).
-
For any tuples \(v=(t_0,t_1,t_2, t_3), v'=(t'_0,t'_1,t'_2,t'_3) \in K^4\) that define the same point in V(K) we write \(v=v'\).
5.4.2 Computation of \(({\varvec{Q_0}}+{\varvec{Q_1}})\circ {\varvec{Q_2}}\)
\({\varvec{Q_1}} = {\varvec{U_1}}\) from Lemma 5.2 interchanges a first and third coordinates when it is applied to \({\varvec{Q_0}}\) and therefore
Next, \({\varvec{U_0}}\) interchanges a first and second coordinates in \({\varvec{Q_0}} \circ {\varvec{Q_1}}\) and therefore
Next, we compute \(({\varvec{Q_0}} + {\varvec{Q_1}}) \circ {\varvec{Q_2}}\). We have \({\varvec{Q_2}} \mod \mathfrak {p}^3 = (0,1,-\theta ,0) \sim (0,-\theta ^2,1,0)\)
Therefore,
for some \(\tau \in k\), \(v' \in K^4\). Substituting (5.7) in (1.1) and solving a quadratic equation in \(\tau \) we get: \(l_0+l_1\tau +l_2\tau ^2=0\) where \(l_0 = 3\theta (\mathfrak {p}+\theta ^2)\), \(l_1=-3\theta ^2(\mathfrak {p} +\theta ^2)^2\) and \(l_2=-l_0-l_1\) Using \(\tau = \frac{l_0}{l_2}\) we get
for some \(x,y \in K\). Then multiplying all terms in (5.7) by \(\mathfrak {p}\), substituting (5.8) into (5.7), and taking modulo \(\mathfrak {p}^3\) we get
5.4.3 Computation of \({\varvec{Q_0}}\circ ({\varvec{Q_1}}+{\varvec{Q_2}})\)
We have
where \(\tau = -\frac{1}{1+\mathfrak {p}} \mod \mathfrak {p}^3\).
Proposition 5.1 now follows from the fact that
5.5 Number of points
In this subsection we compute number of points on V(K) modulo \(\mathfrak {p^i}\), \(i=1,2,3\) and also give some representation for elements in these sets that will be needed for calculations in the Sect. 6.
5.5.1 Number of points modulo \(\mathfrak {p}\)
Lemma 5.3
\(V(K) \mod \mathfrak {p}\) consists of three tuples in \(\mathbb {F}_3^4\), where \(\mathbb {F}_3\) is a field of 3 elements.
Proof
First, we have that after permutation of coordinates any canonical representation of a solution of (1.1) has the following form:
where \( \tilde{y}, \tilde{z}, \tilde{u} \in K\).
Indeed, let \(X=1\), \(Y= a + \mathfrak {p}b\), \(Z = c + \mathfrak {p}d\), \(U=e + \mathfrak {p}f\) where \(a,c,e \in \{-1,0, 1\}\) and \(b,d,f \in K\).
Putting this into (1.1) gives:
This gives
This implies \(e = 0 \) in (5.10)) (i.e., \(U = 0 \mod \mathfrak {p}\) in (5.9)) and
Substituting all choices of \(a,c \in \{-1,0, 1\}\) gives two solutions: \(a = -1, \; c = 0\) or \(a = 0, \; c = -1\) Q.E.D. \(\square \)
5.5.2 Number of points modulo \(\mathfrak {p}^2\)
Lemma 5.4
\(V(K) \mod \mathfrak {p}^2\) consists of 27 tuples over \(K \mod \mathfrak {p}^2\)
where \(i,j,r,\epsilon , \delta , \sigma \in \{0,1,-1\}\)
Proof
Let
where \( z, u \in \{0,1,-1\} \subset K\) and \(y \in K\). Substituting \({\tilde{y}},{\tilde{z}},{\tilde{u}}\) into a cubic equation
gives us:
or
Since \(y - \mathfrak {p} y^2 - \theta y^3 = 0 \mod \mathfrak {p}\) we have \( z + u = 0 \mod \mathfrak {p}\) or \( z = - u \mod \mathfrak {p}\). Q.E.D. \(\square \)
5.5.3 Number of points modulo \(\mathfrak {p}^3\)
Let’s define polynomials maps: \(\{\mathbb {Z},K^4\} \rightarrow K^4\):
where i, j, r are integers and \(\epsilon , \delta , \sigma , z, z_1, z_2, u, u_1, u_2, x, y, y_1 \in K\). And lets define subsets:
where \(i,j,r,\epsilon , \delta , \sigma , z, z_1, z_2, u, u_1, u_2, x, y, y_1 \in \{0,1,-1\} \subset K\).
Lemma 5.5
\(V(K) \mod \mathfrak {p}^3 \cong \Lambda \) and \(\#\Lambda = 243\).
Proof
Substituting \((1, {\tilde{y}}, {\tilde{z}}, {\tilde{u}}):= P(i,\epsilon ,y',z,u)\), where \(y' \in K\) into a cubic equation with affine coordinates \({\tilde{y}}, {\tilde{z}}, {\tilde{u}}\)
gives us
and
For any \(z', u' \in K\) there is a solution for \(y' \in K\) of this equation according to Hensel’s lemma
This equation implies
This implies for \(y'=y\mod \mathfrak {p}\):
There are 9 choices for \(\{z,u\}\) such that \(z = z' \mod \mathfrak {p}, u = u' \mod \mathfrak {p}\) in the above equation. Each of them uniquely defines \(\epsilon - \theta ^{2i+2}y' = \epsilon - y = 0 \mod \mathfrak {p}\) where \(y=y' \mod \mathfrak {p}\). There are three choices for \(\epsilon , y\) such that \(\epsilon - y = 0\). There are 3 choices for i.
I.e. \(\#\Lambda _P = 81\).
Repeating similar calculations for \(\Lambda _Q\) and \(\Lambda _R\) gives us
And finally we get: \(\#\Lambda = 3*81= 243\). Q.E.D. \(\square \)
5.5.4 Remark
Using parametric representation for elements in \(\Lambda \) like in (5.11, 5.12, 5.13) and for composition of points (6.10) one can give a full description of triples of points on V(k) that leads to non-associative composition relations and describe the associative center in \(CML\; (V(k)/\mathcal {A}))\) (the work by the author in preparation).
6 Proof of admissibility of relation modulo \(\mathfrak {p}^3\) on V(k)
In the notation of Theorem 4.1 we prove:
Proposition 6.1
If \({\varvec{P_1}}, {\varvec{P_2}}, {\varvec{P_3}} \in V(k)\) and \({\varvec{P_1'}}, {\varvec{P_2'}}, {\varvec{P_3'}} \in V(k)\) are collinear, \({\varvec{P_1}} \equiv _3 {\varvec{P_1'}}\), \({\varvec{P_2}} \equiv _3 {\varvec{P_2'}}\) then \({\varvec{P_3}} \equiv _3 {\varvec{P_3'}}\).
We prove some statements in the following three cases and use them to prove Proposition 6.1:
- Case 1::
-
\({\varvec{P_1}} = {\varvec{P_2}}\), \({\varvec{P_1'}} = {\varvec{P_2'}}\) (points on a tangent plane).
- Case 2::
-
\({\varvec{P_1}} \ne {\varvec{P_2}} \mod \mathfrak {p}\)
- Case 3::
-
\({\varvec{P_1}} = {\varvec{P_2}} \mod \mathfrak {p}\)
6.1 Case 1: Points on a tangent plane
Proposition 6.2
Let \({{\varvec{P}}}, {{\varvec{P}}'} \in V(k)\) and \({{\varvec{P}}'}\) is lying on a tangent plane to V at \({{\varvec{P}}}\), then \({{\varvec{P}}} \equiv _3 {{\varvec{P}}'} \)
Proof
Let \({{\varvec{P}}} = (1, - 1 + \mathfrak {p} \tilde{y}, \mathfrak {p} \tilde{z}, \mathfrak {p} \tilde{u})\). Substituting this into (1.1) gives
or
We can interpret (6.1) as solution of the following equation in variables \({\tilde{Y}}, {\tilde{Z}}, {\tilde{U}}\):
Let us consider a transformation:
Then
and
for some \(( {\tilde{\alpha }}, {\tilde{\beta }}, {\tilde{\gamma }}) \in K^3\) such that
and \(t \in k\). Substituting (6.4) into (6.2) we get the following equalities:
or
where
Since \({\varvec{P}}'\) belongs to an intersection of a tangent plane at \({\varvec{P}}\) with V we have \(l_0=0\). Therefore, \(\nu (\tilde{\alpha }) \ge 2\) or \( \tilde{\alpha } = \mathfrak {p}^2 {\bar{\alpha }}\) for some \(\bar{\alpha }\in K\). Next, we have:
If \({\tilde{\beta }}^3 + \theta {\tilde{\gamma }} ^3 = 0 \mod \mathfrak {p}^2\), then \(\nu ({\tilde{\beta }}) > 0\) and \(\nu (\tilde{\gamma }) > 0\) that contradicts to a fact that \(\nu ({\tilde{\alpha }}) > 0\) and assumption (6.5). If \({\tilde{\beta }}^3 + \theta \tilde{\gamma }^3 \ne 0 \mod \mathfrak {p}\), then \(\nu (t) \ge 2\) and therefore \(\mathcal {T}{{\varvec{P}}} \equiv _2 \mathcal {T}{{\varvec{P}}'}\). This implies that \({\varvec{P}} \equiv _3 {\varvec{P}}'\). This leaves us the last case to consider:
This gives as options for \( {\tilde{\beta }} = 1 \mod \mathfrak {p}, \; {\tilde{\gamma }} = -1 \mod \mathfrak {p}\) or \( {\tilde{\beta }} = -1 \mod \mathfrak {p}, \; {\tilde{\gamma }} = 1 \mod \mathfrak {p}\). This allows to represent (6.6) as
for some \(g \in K\). Note that in (6.1)
Therefore
Next:
This implies that
or that
This also means that in (6.7)
Therefore \(\nu (t) \ge 2\), i.e., \(\mathcal {T}{{\varvec{P}}} \equiv _2 \mathcal {T}{{\varvec{P}}'}\) and finally \({\varvec{P}} \equiv _3 {\varvec{P}}'\). \(\square \)
6.2 Case 2: \({\varvec{P_1}} \ne {\varvec{P_2}} \mod \mathfrak {p}\)
Here we compute composition of points on V(k) that lie above \(P(i,\epsilon , y,z,u), Q(j,\delta , y_1, z_1, u_1)\). Namely, we show that if \({\varvec{P}}, {\varvec{Q}}, {\varvec{R}} \in V(k)\) are collinear and \({\varvec{P}} = P(i,\epsilon , y,z,u) \mod \mathfrak {p}^3\), \({\varvec{Q}} = Q(j,\delta , y_1, z_1, u_1) \mod \mathfrak {p}^3\) then \({\varvec{R}} = (R_0, R_1, R_2, R_3) \mod \mathfrak {p}^3 \in {\tilde{K}}_3^4\) where \(R_0,R_1,R_2,R_3 \) are polynomials of \(i,\epsilon , y,z,u, j,\delta , y_1, z_1, u_1\) with coefficients in K. This immediately gives us the Case 2 in the admissibility proof.
We set for \(P(i,\epsilon ,y,z,u)\):
And we set for \(Q(j,\delta , y_1, z_1, u_1) \)
And then:
Next we set:
This gives us:
Next, we will compute components \(\alpha Y^{-1}\), \(Y^{-2} \alpha ^{-1} Z \beta ^2 \) and \(Y^{-3} Z^2 \beta \).
This gives us
Next we compute \(Y^{-2} \alpha ^{-1} Z \beta ^2 \)
This gives us:
And next we get
Now we can compute:
This gives us finally:
This gives us:
Let us set
Then
This finishes the proof of our statement.
6.3 Case 3: \({\varvec{P_1}} = {\varvec{P_2}} \mod \mathfrak {p}\)
Proposition 6.3
Let \({{\varvec{P}}_1}, {{\varvec{P}}_2}, {{\varvec{P}}_3} \in V(K)\) be collinear and \({{\varvec{P}}_1} \equiv _i {{\varvec{P}}_2}\) where \(1 \le i \le 3\), then \({{\varvec{P}}_1} \equiv _i {{\varvec{P}}_3} \)
Proof
If \({\varvec{P}}_1 = {\varvec{P}}_2\), then Proposition 6.3 follows from Proposition 6.2. Therefore we assume that \({\varvec{P}}_1 \ne {\varvec{P}}_2\). We can follow the proof in Proposition 6.2 until the equation (6.3). Then we define:
for some \(( {\tilde{\alpha }}, {\tilde{\beta }}, {\tilde{\gamma }}) \in K^3\), \(\tau \in k\), \(j = i-1\) and
since \({{\varvec{P}}_1} \equiv _i {{\varvec{P}}_2}\) and \({{\varvec{P}}_1}, {{\varvec{P}}_2}, {{\varvec{P}}_3}\) are collinear. Substituting (6.11) into (6.2) we get the following equalities:
This can be represented as:
where
Since
we get
We have \(\nu ({\tilde{\beta }}^3 + \theta {\tilde{\gamma }}^3) \le 1\) and therefore we consider the following sub-cases.
Sub-case i
If \(j=0\), then we proceed as in the following. First, we have \(-\theta ^2 {\tilde{\alpha }} + {\tilde{\alpha }}^3 = -{\tilde{\alpha }} + {\tilde{\alpha }}^3 = 0 \mod \mathfrak {p}\). This contradicts to (6.15) because of (6.13). If \(j > 0\), then \(\nu (\tilde{\alpha }) > 0\) and
i.e., \(\nu (\tau ) \ge 0\) and therefore
Therefore \(\mathcal {T}{{\varvec{P}}_1} \equiv _j \mathcal {T}{{\varvec{P}}_3}\) and finally \({\varvec{P}}_1 \equiv _i {\varvec{P}}_3\).
Sub-case ii
If \(\nu ({\tilde{\alpha }}) = 0\), then \(j=0\) and \(\nu \left( \frac{l_1}{l_2} \right) = 1\) or \(\nu (\tau ) = 0\) proving the Sub-case ii. Otherwise, if \(\nu ({\tilde{\alpha }}) > 0\), then we can set \({\tilde{\alpha }} = \mathfrak {p} {\hat{\alpha }}, \; {\hat{\alpha }} \in K\) and we can represent
The equality (6.20) and assumptions \(\nu ({\tilde{\alpha }}) > 0\), (6.12) imply
and
This implies:
for some \(h \in K\). Next, \(\theta ^2 \tilde{z}+\tilde{u} = \tilde{z}+\tilde{u} = 0 \mod (\mathfrak {p})\) (we use here (6.8) and its consequence (6.9)).
Next, (6.9) and (6.20) imply that
where \(h_1 = \frac{\theta ^2 \tilde{z}+\tilde{u}}{\mathfrak {p}} \in K\) and \(h_2 = \frac{\bar{\beta }^3 + \theta \bar{\gamma } ^3}{\mathfrak {p}} \in K\), \(\nu (h_2) = 0\) and then again we can have a flow like after (6.16).
Equations (6.17,6.18,6.19) also show that if there is another collinear triple of points \({\varvec{P_1'}}, {\varvec{P_2'}}, {\varvec{P_3'}} \in V(k)\), \({\varvec{P_1'}} \ne {\varvec{P_2'}}\) such that \({\varvec{P_1}}\equiv _3 {\varvec{P_1'}}\), \({\varvec{P_2}}\equiv _3 {\varvec{P_2'}}\) then \({\varvec{P_3}}\equiv _3 {\varvec{P_3'}}\). If \({\varvec{P_1'}}\equiv _3 {\varvec{P_2'}}\) then \({\varvec{P_1}}\equiv _3 {\varvec{P_2}} \equiv _3 {\varvec{P_3}}\) and by Proposition 6.2\({\varvec{P_1'}}\equiv _3 {\varvec{P_3'}}\) completing the proof of admissibility of modulo \(\mathfrak {p}^3\) on V(k) in the Case 3. This completes the proof of Theorem 4.1. \(\square \)
7 Conjecture on cubic surfaces over number fields
Let \(V \subset \mathbb {P}^3_L\) be a smooth cubic surface defined over a number field L and such that V(L) is non-empty. Let \(\nu _1\) and \(\nu _2\) be two different places of L such that the following holds.
-
1.
There exists a non-associative Moufang loop of point classes on \(V(L_{\nu _1})\) (This can happen only if the residue field of \(L_{\nu _1}\) has characteristic 3 Kanevsky [4])
-
2.
Let \(\mathcal {O}\) be the ring of integers of \(L_{\nu _2}\), which has a maximal ideal generated by uniformizing element \(\pi \). Let \(V_{\nu _2}\) be the Zariski closure of V in \(\mathbb {P}^3_{L_{\nu _2}}\). Let \({\tilde{V}}_{\nu _2}\) be the special fiber of \(V_{\nu _2}\) (this is a reduction of V modulo \(\pi \)). Assume that \({\tilde{V}}_{\nu _2}\) is a cone over smooth cubic curve (over \(\mathcal {O} \mod \pi \))
Under these conditions we have
Conjection 1
There exists an admissible equivalence \(\mathcal {A}\) on V(L) such that \(CML \; V(L)/\mathcal {A}\) is not associative.
This conjecture is motivated by the fact that if a cubic surface over \(\mathfrak {p}\)-adic field k has a “bad” reduction to a cone over a smooth cubic curve then generically the local evaluation map \(V(k) \rightarrow \mathbb {Q}/\mathbb {Z}\) takes as many values as possible ([1]). This can be used to show that for every point \({\varvec{P_1}} \in V(L_{\nu _1})\) we can find a point \({\varvec{P_2}} \in V(L_{\nu _2})\) such that the sum of local invariants over a certain adele (that includes \({\varvec{P_1}}\) and \({\varvec{P_2}}\)) vanishes. Using this observation one can expect (for example, in the spirit of Colliot-Thélène’s and Sansuc’s conjecture H3 in the section 3.8 [2]) that V(L) is dense in \(V(L_{\nu _1})\) and therefore a non-associative Moufang loop of point classes on \(V(L_{\nu _1})\) induces a non-associative Moufang loop of point classes over V(L).
Data Availability Statements
(1)The link for Bright [1] https://link.springer.com/article/10.1007/s00229-010-0400-2 (2) The link for Colliot-Thélène, Sansuc [2] https://www.imo.universite-paris-saclay.fr/~jean-louis.colliot-thelene/DescenteII.pdf (3) The link for Kanevsky [3] https://drive.google.com/drive/folders/1zgKQxr0UU8zZTPdwlcEpJ5NkKHALEOfR?usp=sharing (4) The link for Manin [5] https://www.mathnet.ru/php/archive.phtml?wshow=paper &jrnid=im &paperid=2514 &option_lang=eng (5) The link for Siksek [7] https://arxiv.org/abs/1012.1838
References
Bright, M.: Evaluating Azumaya algebras on cubic surfaces. J. Manuscr. Math. 134(3), 405–421 (2011)
Colliot-Thélène, J.L., Sansuc, J.-J.: La descente sur les variétés rationnelles II. Duke Math. J. 54, 375–492 (1987). (EUCLID)
Kanevsky, D.: On an example of Manin. Duke Math. J. 49(3), 621–627 (1982)
Kanevsky, D.: Moufang loops of point classes on cubic surfaces over local fields (in preparation)
Manin, Y.I.: Cubic hypersurfaces. I. Quasigroups of classes of points. Izv. Acad. Nauk SSSR Ser. Mat. 32(6), 1223–1244 (1968)
Manin, Y.I.: Cubic Forms. North-Holland Mathematical Library 4, 2nd edn. North-Holland, Amsterdam (1986)
Siksek, S.: On the number of Mordell–Weil generators for cubic surfaces. J. Number Theory 132(11), 2610–2629 (2012)
Swinnerton-Dyer, H.P.F.: Universal equivalence for cubic surfaces over finite and local fields. Symp. Math. XXIV, 111–143 (1981)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
I have no financial or non-financial interests that are directly or indirectly related to the work submitted for publication.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kanevsky, D. An example of a non-associative Moufang loop of point classes on a cubic surface. J Algebr Comb 58, 1277–1298 (2023). https://doi.org/10.1007/s10801-023-01274-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-023-01274-y