symmetric monoidal (∞,1)-category of spectra
In algebra, a heap is an algebraic structure which is almost that of a group structure but without the specification of a neutral element.
While closely related to notions such as affine space, principal homogeneous space and torsor, the concept of heap is simpler in the sense that it postulates just a single set with a single ternary operation obeying two axioms (see Def. below).
Concretely, any group gives a heap where this ternary operation is defined from the group’s binary operation and inversion by
and every heap arises this way, up to isomorphism (cf. Prop. below) from a group that may be called its structure group.
However, the category of heaps (Def. below) is not equivalent to the category of groups. Instead:
The category of heaps (Def. ) is equivalent to the evident category of pairs consisting of a group and a -torsor .
On the one hand, for any heap , choosing any element , the endofunctions for constitute a group under composition, and the underlying set of the heap manifestly carries the structure of a -torsor. On the other hand, given a group and a -torsor we can make into a heap as follows: given elements let where is the unique with .
There is also a dual version of the concept of heap, see at quantum heap.
(disambiguation)
Heaps in the sense of algebra should not be confused with either
nor with
(synonyms)
There are also a number of synonyms for the term ‘heap’; below we consider ‘torsor’ in this light. In Russian one term for a heap is ‘груда’ (‘gruda’) meaning a heap of soil; this is a pun as it is parallel to the Russian word ‘группа’ (‘gruppa’) meaning a group: forgetting the unit element is sort of creating an amorphous version. This term also appears in English as ‘groud’. In universal algebra the standard name is associative Malcev algebra (in various spellings, including Mal’cev, Mal’tsev and Maltsev), other names include herd.
There is an oidification (horizontal categorification) of heaps, sometimes called heapoids.
A heap is a inhabited set equipped with a ternary operation satisfying the following two relations
,
.
More generally, a ternary operation in some variety of algebras satisfying the first pair of equations is called a Mal'cev operation. A Mal’cev operation is called associative if it also satisfies the latter equation (i.e. it makes its domain into a heap).
A heap is abelian if it additionally satisfies the relation
A homomorphism of heaps is, of course, a function of the underlying set which respects the ternary operations.
This defines a category whose objects are heaps and whose morphisms are heap homomorphisms.
The hom-sets of the full subcategory of abelian heaps inherit an abelian heap structure from the pointwise operation in the codomain: given , the function is again a heap homomorphism.
As indicated in (1) a group becomes a heap by setting
This construction (1) defines a functor
from the category Grp of groups to that of heaps, which is essentially surjective, meaning that, up to isomorphism all heaps arise in this way.
In fact, there is also a functor
such that
there exist natural group isomorphisms of the form
there exist heap isomorphisms of the form
which however are not natural (whence we do not have an equivalence of categories).
Given a heap , the claimed structure group is described, up to isomorphism, by any of the following constructions:
Choosing any element , then the binary operation
constitutes a group structure on , with neutral element .
This serves as the required structure group: .
Take the underlying set of to be that of equivalence classes of pairs , subject to the equivalence relation
(the idea is to think of the pair as the representative of )
and take the binary operation on the group to be given on representatives by
This again defines a group .
Notice that:
the inverse of (the equivalence class of) is (the equivalence class of)
the neutral element is (the equivalence class of) (for any ).
Finally, is realized also as an actual subgroup of the symmetric group on the underlying set of , analogously to Cayley's theorem for groups. We take the elements of to be set bijections of the form
where , with composition as the group’s binary operation.
Notice here that
so that is closed under this operation.
The first axiom of a heap shows that contains the neutral element , for any ), and the inverse element of is ; thus is a subgroup of the symmetric group of .
It remains to see that these constructions all agree and are functorial.
First to show that the equivalence relation used in the second construction is symmetric, and that it coincides with that implicitly used in the first construction, notice that the following are equivalent:
(i) the bijections and coincide
(ii)
(iii)
Namely:
(ii) follows from (i) and .
(ii) implies (iii) as follows. Given , we have , but
so . (iii) implies (ii) by a similar argument.
(i) follows from (ii) by the calculation:
Since the composition laws can also be seen to agree, the second two constructions of are canonically isomorphic.
To compare them to the first construction, observe that for a fixed , any equivalence class contains a unique pair of the form . (If is in the equivalence class, then is determined by .) This sets up a bijection between the first two constructions, which we can easily show is an isomorphism.
Finally, the second construction is manifestly functorial.
Given a group , a -torsor is a nonempty set with a free and transitive action of , which we may write as
Equivalently, a -torsor is a set with an action of the group but also a “division” operation
obeying
Given a group together with a -torsor , we can make into a heap by giving it the ternary operation
Conversely, from any heap we can construct a group together with a -torsor whose underlying set is itself. To see this, note that the group (?) comes equipped with a canonical group action on , as is most clear from the third definition (4).
This action is
by
and
since if then by the previous statement for each , and in particular and also .
Therefore, is an -torsor (over a point).
Conversely, any torsor over a group becomes a heap, by defining
where is the unique group element such that .
In fact, the category is equivalent to the following category : its objects are pairs consisting of a group and a -torsor , and its morphisms are pairs consisting of a group homomorphism and a -equivariant map .
If we wish to be an algebraic category, then we must remove the clause that the underlying set of a heap must be nonempty (see also at pseudo-torsor). Then the empty set becomes a heap in a unique way.
However, in this case, the various theorems relating heaps to groups above all break down. For this reason, one usually requires a heap to be inhabited.
On the other hand, we could generalize the notion of group to allow for an empty group. This even remains a purely algebraic notion: we can define a group as an inhabited invertible semigroup or an inhabited associative quasigroup. Then any invertible semigroup or associative quasigroup is a possibly-empty-heap, and every possibly-empty-heap arises in this way from its automorphism invertible semigroup or automorphism associative quasigroup (defined by either method (2) or (3)); the category of possibly-empty-heaps is equivalent to the category of invertible semigroups equipped with torsors over the point, and the category of associative quasigroups equipped with torsors over the point; etc.
This is even constructive; the theorems can be proved uniformly, rather than by treating the empty and inhabited cases separately. (This rather trivial method is obvious to a classical mathematician, but it's not constructively valid, since a invertible semigroup/associative quasigroup/heap as defined here can't be constructively proved empty or inhabited; it can only be proved empty iff not inhabited. Indeed, taking any group and any truth value , the invertible subsemigroup or associative subquasigroup is empty or inhabited iff is false or true.)
The map that sends , , , , and interpolates linearly between these points yields an associative Malcev operation on , where and are (unpointed) spaces, is the suspension functor, and denotes the set of morphisms in the homotopy category.
Thus, is a (nonabelian) heap. Likewise, the full mapping space can be turned into an (∞,1)-heap, defined as an (∞,1)-algebra (in spaces) over the algebraic theory of heaps.
See Vokřínek for more information.
A. K. Sushkevich, Theory of generalised groups, DNTVU, Kharkov-Kiev (1937) (Russian original: А. К. Сушкевич, Теория обобщенных групп, Государственное научно-техническое издательство Украины, 1937).
Peter T. Johnstone, The ‘closed subgroup theorem’ for localic herds and pregroupoids, Journal of Pure and Applied Algebra 70 (1991) 97-106 [doi:10.1016/0022-4049(91)90010-y]
G. M. Bergman, A.O. Hausknecht, Ch.IV §22 pp 95 in: Cogroups and co-rings in categories of associative rings, AMS (1996) [ams:surv-45]
Christopher D. Hollings, Mark V. Lawson, Wagner’s theory of generalised heaps, Springer (2017) [doi:10.1007/978-3-319-63621-4]
Zoran Škoda, Quantum heaps, cops and heapy categories, Mathematical Communications 12 1 (2007) 1-9 [math.QA/0701749]
Thomas Booker, Ross Street, Torsors, herds and flocks, J. Algebra 330 (2011) 346-374 [pdf arXiv:0912.4551]
Review:
Wikipedia: Heap (mathematics)
John Baez, Torsors made easy (2009)
John Baez, The group with no elements (2020)
In the context of stable homotopy theory:
Last revised on June 27, 2024 at 15:15:06. See the history of this page for a list of all contributions to it.