Scribd
Upload
145 views3 pages

Ababou Isomorphism Theorem

The document constructs an isomorphism between the category of Ababou constants (Ab) and the category of affine bundles (ab). It maps each Ababou structure to an affine bundle, preserving the structure under this mapping. Specifically, the integer structure (Z, ab) maps to a nontrivial affine bundle over R^ab, implying ab must be composite. Further research is suggested on applications to physics and mathematics.

Uploaded by

Fred
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
145 views3 pages

Ababou Isomorphism Theorem

The document constructs an isomorphism between the category of Ababou constants (Ab) and the category of affine bundles (ab). It maps each Ababou structure to an affine bundle, preserving the structure under this mapping. Specifically, the integer structure (Z, ab) maps to a nontrivial affine bundle over R^ab, implying ab must be composite. Further research is suggested on applications to physics and mathematics.

Uploaded by

Fred
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

The Ababou Isomorphism Theorem

Yellocord soc.

Abstract
We construct an isomorphism I between the category Ab of Ababou Constants and ab of
affine bundles. We explore some special cases, namely the image of (Z, ab) under I, and prove
that the distinguished Ababou constant is composite.

Preliminaries
ab denotes the distinguished Ababou constant, in other words the least upper bound on the
integers. This is the primary object of interest in Mohamed Ababou’s Theory of Numbers have
and end, in which he claims that the natural numbers do indeed have an “end".

The category Ab contains Ababou structures as its objects, and Ababou maps as its arrows.
By an Ababou structure, we mean an ordered ring equipped with an upper bound, which we
call the Yeet of the ring. Well known examples include (Z, ab) with the standard ordering [3].

An Ababou map is a ring isomorphism ϕ : R1 → R2 with the property

ϕ(c1 ) = c2

where c1 , c2 are the Yeets for R1 , R2 respectively.

The category ab contains affine bundles as its objects and affine bundle homomorphisms as
its arrows. An affine bundle is a fibre bundle

π:E→B

whose standard fibre is an affine space. Given affine bundles π1 : E → B and π2 : F → C, an


affine bundle homomorphism is a pair (ϕ, ψ) of continuous maps preserving the affine structure
such that the following diagram commutes:
ϕ
E F
π1 π2

ψ
B C
In other words, it is a pair of maps preserving the fibres. By “preserving the affine structure", we
mean that given a point p ∈ B, ϕp is an affine space homomorphism (that is, a semilinear map).

For example, we may take E = R2 and F = R3 viewed as trivial vector bundles over R.
Let ϕ be the inclusion map (x, p) 7→ (x, 0, p), and ψ the identity map. Then it is clear that
ψ ◦ π1 = π2 ◦ ϕ, so the corresponding diagram commutes. Each map is continuous, and the
inclusion is linear. Thus (ϕ, ψ) is an affine bundle homomorphism. (It is in fact a vector bundle
homomorphism, which is a stronger condition.)

1
Construction of the Ab → ab Functor I
We construct I : Ab → ab as follows:
1. The empty Ababou structure is mapped to the empty bundle. Let A be the trivial
Ababou structure. Then I(A ) is the trivial bundle - the bundle with standard fibre {0},
with base space {0}. We extend this to define I on finite fields Zp (with an ordering
inherited from Z, with yeet p): (Zp , p) is mapped to the trivial bundle π : Rn × {0} → Rn ,
where n corresponds to the natural number such that p is the nth prime. For example,

I(Z57 , 57) = π : R17 × {0} → R17 .

For yeet > p, r = yeet − p is the rank of the fibre. Finally, Ababou structures that are
not rings are mapped to affine bundles that are not vector bundles in the natural way.
2. We now define the action of I on Ababou maps. Let â : R1 → R2 be an Ababou map such
that â(c1 ) = c2 , where c1 , c2 are the yeets of R1 , R2 respectively. Let ρ be the natural
group representation mapping into R. Then ρ(c1 ), ρ(c2 ) are the dimensions of the base
space of the domain and codomain of I(â) respectively. At each point in the base space,
I(â) canonically inherits semilinearity, so I(â) is an affine bundle homorphism as required.
3. We now check that I(idR ) = idI(R) . By definition, idR maps between two ababou struc-
tures with equal yeet. Thus I(idR ) is a map between bundles with the same base space.
Moreover, I(idR ) is clearly the identity on the fibres of bundle. Thus identity morphisms
are preserved.
4. Finally we check that composition of morphisms is preserved. This is an easy consequence
of the adjoint functor theorem.
The existence of an inverse functor to I is a well known corollary of the Ababou limit theorem.
Its construction is left as an exercise to the reader, but an outline of the construction is given
in, e.g., [5]. Therefore, we have an isomorphism between the category of Ababou constants Ab
and the category of affine bundles ab.

The Ababundle, I(Z, ab)


The fundamental object which sparked the “Theory of Numbers have an End" is the intergers
along with the distinguished Ababou constant, written (Z, ab) in modern terminology. We now
have access to the functor I to study the structure of (Z, ab) in the realm of affine bundles, a
well developed theory. A similar functor was used to better understand Füd in [2]. From our
construction of I, we observe that I(Z, ab) is an affine bundle with base space isomorphic to
Rab . However, it is not a trivial bundle (in that the total space of I(Z, ab) cannot be expressed
as a product Rab × F where F is the standard fibre of the bundle). We observe this because
otherwise I(Z, ab) could be turned into a trivial vector bundle (by choosing an origin). This
would in turn mean that (Z, ab) is a field, which is absurd. Thus I(Z, ab) is a nontrivial affine
bundle, so ab must be composite. This agrees with earlier conjectures by R.Attema, such as
“ab is likely composite", his reasoning being the vanishing density of primes for large n [4].

Futher Research
It is conjectured that there are deep links between ab and the discrete nature of physics at the
quantum scale [1]. As the exact value of ab is unknown, the precise structure of the Ababundle
is also unknown. However, many believe the 6 dimensional Calabi-Yau manifold is a submani-
fold of the base space of the Ababundle. If this is the case, the theoretical “quantum limit of
observation" can be calculated by considering the dimensions of the Ababundle.

2
It is likely that a careful adaptation of the Ababundle to spacetime and quantum field theory
will remove the need for renormalisation and regularisation. In current formulations, many un-
physical results are obtained, such as self-interactions resulting in infinite quantities. However,
the finite rank of the Ababundle will also provide an upper bound to the energies caused by
self-interactions.

In the realm of mathematics, one of the greatest achievements of the decade was the proof
by S.Shen that all series converge [6]. Now with access to the theory of affine bundles the exact
nature of the convergence may be determined.

W.Kim, who originally introduced the the category of Ababou constants Ab, has famously
been working in isolation for a number of years, most likely in an attempt to calculate the ho-
mology modules of the long exact Ababou sequence. This result is likely to aid in his research.
His original 2014 paper is cited here for completion [7].

References
[1] A.Leeuwenkamp. “Ababou-String Theory”. In: The Journal of Ultrafinite Quantum
Physics (Mar. 2018).
[2] E.Morehouse. Burritos for the Hungry Mathematician. Apr. 2015.
[3] M.Ababou. “The Theory of Numbers have an End”. In: The Journal of Ultrafinite
Mathematics (Sept. 2017).
[4] R.Attema. Open Questions regarding the Ababou Constant. Dec. 2017.
[5] Yellocord soc. The Ababou Isomorphism Theorem. http://vixra.org/abs/1806.
0046. June 2018.
[6] S.Shen. “Ababou Analysis: On the Convergence of Series”. In: Ultrafinite Analysis
(July 2016).
[7] W.Kim. The Yeeted Category and Associated Functors. Aug. 2014.

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy