I am continuing from the post Towards qubits: graphic lambda calculus over conical groups and the barycentric move. My goal here is to give a set of axioms for a “projective conical space”. Let me recall the following facts:
- affine conical spaces are the non-commutative equivalent of affine spaces. An affine conical space is constructed over a conical group as an affine space is constructed over a vector space. Conical groups are generalizations of Carnot groups, in the sense that in the realm of Lie groups the basic example of a conical group is a Carnot group. A conical Lie group is a contractive Lie group and therefore, by a theorem of Siebert, if it is simply connected then it is a nilpotent Lie group with a one-parameter family of contractive automorphisms. Carnot groups (think about examples as the Heisenberg group) are conical Lie groups with a supplementary hypothesis concerning the fact that the first level in the decomposition of the Lie algebra is generating the whole algebra.
- an affine conical space is an usual affine space if and only if it satisfies the barycentric move. In this case and only in this case the underlying structure of the conical group is commutative.See arXiv:0804.0135 [math.MG] for the introduction of “non-commutative affine geometry”, called here “affine conical geometry”, which generalizes results from W. Bertram Generalized projective geometries: From linear algebra via affine algebra to projective algebra, Linear Algebra and its Applications 378 (2004), 109 – 134.
- afine conical spaces are defined in terms of a one-parameter family of quandle operations (called dilations). More specifically an affine conical space is generated by a one-parameter family of quandles which satisfy also some topological sugar axioms (which I’ll pass). More precisely, affine conical spaces are self-distributive uniform idempotent right quasigroups. Uniform idempotent right quasigroups were introduced and studied under the shorter name “emergent algebras” in arXiv:0907.1520 [math.RA], see also arXiv:1005.5031 [math.GR] for the context of studying them as algebraic-topologic generalizations of dilation structures (introduced in arXiv:math/0608536 [math.MG]), as well as for the description of symmetric spaces as emergent algebras.
- in affine conical geometry there is no notion of incidence or co-linearity, because of non-commutativity lurking beneath. However, there is a notion of a collinear triple of points, as well as a ratio associated to such points, but such collinear triples correspond to triples of dilations (see further what “dilation” means) which, composed, give the identity. Such triples give the invariant of affine conical geometry which corresponds to the ration of three collinear points in the usual affine geometry.
In the post Towards qubits I I explained (or linked to explanations) this in the language of graphic lambda calculus. Here I shall not use it fully, instead I shall use a graphical notation with variable names. But I think the correspondences between these two notations are rather clear. In particular I shall interpret identities as moves in trivalent graphs.
1. Algebraic axioms for affine conical spaces. (Topological sugar not included). We have a non-empty set and a commutative group of parameters with operation denoted multiplicatively and neutral element . Think about as being or even where is a field.
On is defined a function (Bertram uses the letter instead, I am using ). This function is to be interpreted as a -parametrized family of operations. Namely we denote:
This family of operations, called dilations, satisfies a number of algebraic axioms (as well as topological axioms which I pass), making them in particular into a family of quandle operations. I shall give these axioms in a graphical form, by using the transparent, I hope, notation:
Combinations (i.e. compositions) of dilations appear therefore as oriented trees with trivalent planar nodes decorated by the elements of , with leaves (but not the root) decorated with elements from .
The algebraic axioms of affine conical spaces are stating identities between certain compositions of dilations. Graphically these identities will be representes, as I wrote, as moves applied to such oriented trees.
Here are these axioms in graphical form:
(1) this is equivalent with the move ext2 from graphical lambda calculus: (i.e. extensionality move 2)
(2) this is equivalent with the move R1a from graphical lambda calculus (i.e. Reidemeister move R1a, following the notation from Michael Polyak “Minimal generating sets of Reidemeister moves“)
(3) this is equivalent with the move R2 from the graphical lambda calculus (i.e. Reidemeister move 2, all Reidemeister moves 2 are equivalent in this formalism)
(4) this is the self-distributivity axiom, which could be called move R3b with the notations of Polyak
2. Algebraic axioms for projective conical spaces. The intention is to propose a generalization of the same type, this time for projective spaces, of the one from W. Bertram Generalized projective geometries: General theory and equivalence with Jordan structures, Advances in Geometry 3 (2002), 329-369.
This time we have a pair of spaces . Think about the elements as being “points” and about the elements as being “lines”, although, as in the case of affine conical geometry, there is no proper notion of incidence (except, of course, for the “commutative” particular case).
A pair geometry is a triple where is the set of pairs (say point-line) in general position. Compared to the more familiar case of incidence systems, the interpretation of is “the point is not incident with the line “. The triple satisfies some conditions which I shall write after introducing some notations.
For any and any we denote:
Let also denote
(Pair geometry 1) for any and for any the sets and are non-empty,
(Pair geometry 2) for any pair of different points there exists and it’s unique a line such that and are not in ; dually, for any pair of different lines there exists and it’s unique a point such that and are not in .
Remark. This is the definition of a pair geometry given by Bertram. I shall keep further only (Pair geometry 1) because I feel that (Pair geometry 2) has too much “incidence content” which might be not non-commutative enough. So, for the moment, (Pair geometry 2) is in quarantine. As a first suggestion coming into mind, it might well turn out that it can be replaced by a more lax version saying that there is a number such that is covered by the reunion of sets (and a similar dual formulation for . As it is, (Pair geometry 2) corresponds to such a formulation for .
We want the following:
- for any point the space is an affine conical space,
- for any line the space is an affine conical space,
- these structures are glued together by some axioms.
Let’s pass through these three points of the list.
1. that means we shall put a structure of dilation operations on every . It is natural then to mark the dilation operations not only by elements of the group , but also by . More concretely that means we introduce for any a function
which, for any it takes a pair of lines , with and returns .
We ask that for any the dilations satisfy axioms (1), (2), (3) of affine conical spaces.
2. in the same way, we want that every to have a structure of dilation operations. We have therefore, for any another function (but I shall use the same letter )
which, for any it takes a pair of points , with and returns .
We ask that for any the dilations satisfy axioms (1), (2), (3) of affine conical spaces.
3. the gluing axioms are generalizations of axioms (PG1), (PG2) of Bertram. In the mentioned article, Bertram explains that these two axioms lead to eight identities. From those eight, six of them are different. From those six, Bertram is using the barycentric axiom to eliminate two of them, which leaves him with four identities. I shall not use the barycentric axiom, because otherwise I shall fall on the commutative case, but I shall eliminate as well these two axioms> Therefore I shall have four moves which will replace the Reidemeister move 3 axiom , i.e. the self-distributivity move (4) from affine conical spaces.
Remark. Bertram adds some sugar over (PG1) and (PG2) which serves to be able to construct tangent structures further. I renounce at those in favor of my topological sugar which I pass, for the moment.
Remark. As we saw that the axioms of affine conical spaces are practically corresponding to the Reidemeister moves, it is natural to expect that the four axioms correspond to either: the Roseman moves, or to some 2-quandle definition. I need help and suggestions here!
I shall write further the four axioms which replace the axiom (4), that is why I shall name them (4.1) … (4.4). As previously I shall use a graphical notation, which my visual brain finds more easy to understand than the notation using multiple compositions of functions with 4 arguments (however, see Bertram’s notations involving adjoint pairs). Also, there are limits to my capacity to write latex formulae which are well parsed in this blog.
So, here is the notation for dilations which I shall use for writing those four axioms:
Let’s look at the first line. For any we have an associated dilation operation taking as input a pair of points . Graphically this is represented by a node with two inputs and an output, together with a planar embedding (i.e. the local planar embedding tells us which is the left input and which is the right output), and with a supplementary input which points to the center of the circle (node), serving to identify the node as the dilation in the space . Similar comments could be made about the second line of the figure.
Therefore, this time we are working with trees made by 4-valent nodes, each node having three inputs and one output and moreover with a triple of two inputs and the output with an orientation given. The leaves, but not the root of such a tree are decorated by points or lines. There should be other constraints on this family of trees, coming from the fact that if the input which points to the center of the circle correspond to a point then the other inputs should correspond to lines, and so on. For the moment I pass over this, probably a solution would be to colour the edges, by using two colors, one for points, the other for lines, then express the constraints in terms of those colors.
As previously, the nodes are decorated by elements of the commutative group .
(4.1) first part of (PG1)
(4.2) second part of (PG1)
(4.3) first part of (PG2)
(4.4) second part of (PG.2)
In a future post I shall give:
- a theorem of characterization of projective conical spaces, of the same type as the theorem of characterization of affine conical spaces
- examples of non-commutative projective conical spaces, in particular answering to the question: what is the natural notion of a projective space of a conical group (more particularly, if we think about Carnot groups as being non-commutative vector spaces, then who are their associated non-commutative projective spaces?).
UPDATE: The axioms (4.1) … (4.4) take a much more simple form if we use choroi and differences, but that’s also for a future post.