Inverterbar Komplekse Entydig Analytisk Matematikk

loopspace

29th July 2017

Creative Commons License

Contents

  1. Home

  2. 1. Introduction

  3. 2. Complexes and Models

  4. 3. Construction

  5. 4. Connections with Other Areas

  6. 5. Conclusion

Abstract

In this article we introduce the little known Scandinavian field of Inverterbar Komplekse Entydig Analyse Matematikk1, henceforth IKEA Matematikk. We shall give an overview of the main ideas and results with an outline of the strategies used in their proof.

1Ja visst! Men jeg kan litt norsk og ingen svensk. Også, “Komplekse" staves med “C" på svensk.

1 Introduction

The field of Ikea Matematikk is well-known in Scandinavia but seems to be relatively unknown outside. It has produced many surprising results that appear to contradict intuition based on traditional Mathematics such as Euclidean geometry and Archimedean arithmetic.

In this article we shall introduce the main ideas and sketch some of the key developments of the theory. The applications of this area are more well-known than the theoretical which is why we focus primarily on the abstract side of the subject.

2 Complexes and Models

The starting point of IKEA Matematikk is the IKEA complex, which is a very simple concept.

Definition 1

An IKEA complex is a pair of sets (W,B). The elements of B are called bolts and of W are pieces. If both B and W are finite, we say that the complex is a finite IKEA complex.

A morphism of IKEA complexes (W1,B1)(W2,B2) is a pair of morphisms of sets, ω:W1W2 and β:B1B2.

The category of IKEA complexes is thus Set×Set. The subtleties enter with the notion of instructions for an IKEA complex.

Definition 2

Instructions for an IKEA complex consists of:

  1. A pointed set of tools, T,

  2. A total ordering on the set B which describes the order in which the bolts are to be added to the model,

  3. A function a:BT which assigns to each bolt a tool,

  4. A pair of functions i1,i2:BW such that for each bB, i1(b)i2(b) which describes which two pieces a bolt connects.

An IKEA complex together with instructions for that complex is called an IKEA model.

A morphism of IKEA models is a triple of morphisms of sets ω:W1W2, β:B1B2, and τ:T1T2 (basepoint preserving) which commute with the structure.

It's important to note that the obvious functor from IKEA models to IKEA complexes is faithful but not full. This is because of the ordering on the set of bolts which is not part of the data of the complex.

In the early days of the theory there was considerable discussion as to whether the set of tools should have any particular structure. The eventual settlement on a pointed set is in no small part due to Alum's theorem (see Corollary 7 below).

3 Construction

Once we have instructions we can consider the geometric realisation of the complex.

Definition 3

A geometric realisation of an IKEA model M, written |M|, is an immersion k:WI23, where I2 is the unit square, such that:

  1. k is affine on each component (so the image of each component is a rectangle),

  2. k is an embedding when restricted to the coproduct of the interiors of the squares (so the rectangles can only overlap on their boundaries),

  3. for bB, the image of i(b)I2 under k is connected (so when a bolt connects two pieces of wood then then those two pieces are connected toplogically).

There is a generalisation of this definition wherein more shapes than squares are allowed for the models. Let 𝒫 be the set of polygons in 2.

Definition 4

An uvanlig geometric realisation of an IKEA model M consists of a function s:W𝒫 and an immersion k:wWs(w)3 satisfying the same conditions as for a geometric realisation.

The core concept of IKEA Matematikk is the following.

Definition 5

Let M be a finite IKEA model, with set of bolts B. Let n be the size of B and for in let BiB be the corresponding initial set of B (thus Bn=B and B0=). Let Mi be the IKEA model formed from M by replacing B by Bi and the various functions on B by their restrictions to Bi.

A construction of the IKEA model M consists of a sequence of geometric realisations ki of Mi such that:

  1. for each i<n, there is a homotopy of geometric realisations ϕi:kiki+1,

  2. the realisation k0 is an embedding on the whole of WI2.

An IKEA model is constructible if it admits a construction.

It is probably worth pointing out that the second condition means that the realisation k0 embeds each copy of I2 into 3 in such a way that the images are disjoint. Without that condition, one could take a geometric realisation of M and simply restrict it to each Bi in turn. With that condition, the ki effectively interpolate between the disjoint embedding of k0 and a full realisation of M; each homotopy ϕi involves attaching a piece onto the existent shape.

With this we can state the first theorem of IKEA Matematikk:

Theorem 6 Bestå

Let M be an IKEA model with set of tools T. Let T' be another set of tools and p:TT' a surjection (hereafter called a forgetful function). Define p(M) to be M with the tool function replaced by its composition with p.

If M is constructible then so is p(M).

Loosely speaking, this theorem states that if a tool is forgotten then it is still possible to construct the model, albeit with a different realisation. The key to the proof of this theorem is the introduction of an auxiliary component which Bestå referred to as the Banneord set. The forgetting of a tool is offset by an increase in this set.

A simple application of this theorem is the following, although this result predates the above theorem.

Corollary 7 Alum

If M is a finite IKEA model then there is a model M' derived from M with tool set T' consisting of a single element such that if M is constructible then so is M'.

The original proof followed the standard method of proof by exhaustion.

A singleton tool set is known as a key, in the literature this is sometimes known as an Alum key in honour of the original author.

This has led to the basepoint of a set of tools being referred to as an Alum key. The initial object in the category of IKEA models is therefore (,,{Alum key}); that is, the initial IKEA model is nothing but an Alum key.

There are many open questions regarding constructibility of IKEA models.

Open Problem 8

Give an algorithm that produces a construction of a given IKEA model.

It is conjectured that such an algorithm would be NP-complete, but as a general algorithm has not been devised this is unknown.

Much recent work has been on the topic of deconstructibility. Determining the correct notion of a deconstruction of an IKEA model is still open. There are several proposals that are demonstrably not equivalent, ranging from a stepwise reversal of a construction through to the øks method. However, all agree that as with a construction, a deconstruction should involve a series of steps. Given a method of deconstruction, there are several open questions.

Open Problem 9

For a given definition of deconstructibility:

  1. Can every constructible IKEA model be deconstructed?

  2. For a given IKEA model that can be deconstructed, can it be reconstructed? (An IKEA model that can be deconstructed and then reconstructed is known as inverterbar, whence the inclusion of that word in the name of this field.)

  3. Is there a step beyond which a deconstruction can no longer be reconstructed?

It is known that for the øks method, every IKEA model can be deconstructed but that none can be reconstructed.

All of the above has focussed on finite IKEA models, leading to the obvious area for future research.

Open Problem 10

What are valid extensions of the theories of constructibility and deconstructibility to infinite IKEA models?

Is there a suitable notion of a semi-infinite IKEA model?

Sadly, the method of proof by exhaustion – which has proven to be so effective in this field – does not apply in the infinite case. Proof by infinite descent is looking more promising.

4 Connections with Other Areas

The field of IKEA Matematikk has many connections with other, more established, areas of Mathematics. Here we shall outline just a few.

Definition 11

A IKEA neighbourhood of an IKEA model M is an open subset U3 with the property that there is a construction of the model such that the geometric realisations ki and homotopies ϕi factor through U.

The obvious open problem in IKEA Topology is therefore the following.

Open Problem 12

Given an IKEA model, how do the IKEA neighbourhoods behave? Is the intersection of two IKEA neighbourhoods an IKEA neighbourhood?

How do IKEA neighbourhoods relate to ε–neighbourhoods of the final construction?

There are obviously many connections with combinatorics.

Open Problem 13

Given an IKEA model, how many different sets of inequivalent instructions exist for that model?

How many constructible instructions exist?

We have already touched on the connections to algorithm design but there are plenty more. The following is the problem that has motivated the current author in studying this area.

Open Problem 14

Given a construction of an IKEA model, M, and a neighbourhood, U, of the final stage, is there an equivalent construction such that U is an IKEA neighbourhood for this second construction?

In other words, given a set of instructions that construct an IKEA model, is it possible to modify those instructions so that the model can be built in a confined space that nevertheless should fit the final model?

This question has taxes many workers in this field, and has proved a source of much fruitful thought. Many particular cases have been solved, but the general case is still open. It is to be hoped that by broadening the awareness of this area of Mathematics, more effort can be brought to bear on this most vexing of problems.

5 Conclusion

It is hoped that this short article has given a brief introduction to the field of IKEA Matematikk. It is an area that admits to much experimentation: it is easy to build simple IKEA Models that can be used to form and test conjectures so there is much to be investigated even by newcomers to the subject. Any of these simple results could potentially benefit the many practitioners so we would like to encourage other Mathematicians to bring their skills to bear on this most rewarding, stylish, and useful field of endeavour.