Equivariant division

Prajeet Bajpai and Peter G. Doyle

arXiv: 1704.04089v1 · PDF · 13 April 2017
Categories: math.CO, math.LO
Licence: CC0 1.0 The site shows the text.

Abstract

Let C be a non-empty finite set, and Gamma a subgroup of the symmetric group S(C). Given a bijection f:A cross C to B cross C, the problem of Gamma-equivariant division is to find a quotient bijection h:A to B respecting whatever symmetries f may have under the action of S(A) cross S(B) cross Gamma. Say that Gamma is fully cancelling if this is possible for any f, and finitely cancelling if it is possible providing A,B are finite. Feldman and Propp showed that a permutation group is finitely cancelling just if it has a globally fixed point. We show here that a permutation group is fully cancelling just if it is trivial. This sheds light on the fact that all known division algorithms that eschew the Axiom of Choice depend on fixing an ordering for the elements of C.

Items 8

Proposition

Proposition 1 (Feldman-Propp)

J4ZO

If some * \in C is fixed by every g \in \Gamma, \Gamma is finitely cancelling.

Proposition

Proposition 2

P76C

To a finite bijection f: A \times C \to B \times C we can associate in a fully equivariant manner a new bijection \bar{f} with

\bar{f}((a,c)) = (\bar{f}_c(a),c)

where \bar{f}_c:A \to B is a bijection for each c \in C.

Proposition

Proposition 3 (Feldman-Propp)

3WX4

No permutation group containing a semiregular subgroup is finitely cancelling.

Theorem

Theorem 4 (Feldman-Propp)

GIY9

A permutation group is finitely cancelling just if it has a globally fixed point.

Theorem

Theorem 5

50U1

A permutation group is fully cancelling just if it is trivial.

Problem

Problem 1

HEDX

Can we equivariantly associate a total ordering of C to any full division method for C?

Problem

Problem 2

XU79

Can we equivariantly associate a single point in C to any finite division method for C?

Problem

Problem 3

AXOJ

If a finite bijection f: A \times C \to B \times C has a \Gamma-equivariant quotient, must the parallelization \bar{f} also have a \Gamma-equivariant quotient?

Source and licence

The text on this page is from arXiv:1704.04089v1 by Prajeet Bajpai and Peter G. Doyle, under the licence CC0 1.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/1704/1704.04089.jsonl.