A mathematically fascinating question is whether one could use quantum arithmetics as a tool to build quantum deformations of partonic 2surfaces or even of spacetime surfaces and how could one achieve this. These quantum spacetimes would be commutative and therefore not like noncommutative geometries assigned with quantum groups. Perhaps one could see them as commutative semiclassical counterparts of noncommutative quantum geometries just as the commutative quantum groups (see this) could be seen commutative counterparts of quantum groups.
As one tries to develop a new mathematical notion and interpret it, one tends to forget the motivations for the notion. It is however extremely important to remember why the new notion is needed.
 In the case of quantum arithmetics Shnoll effect is one excellent experimental motivation. The understanding of canonical identification and realization of number theoretical universality are also good motivations coming already from padic mass calculations. A further motivation comes from a need to solve a mathematical problem: canonical identification for ordinary padic numbers does not commute with symmetries.
 There are also good e motivations for padic numbers? pAdic numbers and quantum phases can be assigned to finite measurement resolution in length measurement and in angle measurement. This with a good reason since finite measurement resolution means the loss of ordering of points of real axis in short scales and this is certainly one outcome of a finite measurement resolution. This is also assumed to relate to the fact that cognition organizes the world to objects defined by clumps of matter and with the lumps ordering of points does not matter.
 Why quantum deformations of partonic 2surfaces (or more ambitiously: spacetime surfaces) would be needed? Could they represent convenient representatives for partonic 2surfaces (spacetime surfaces) within finite measurement resolution?
 If this is accepted there is not compelling need to assume that this kind of spacetime surfaces are preferred extremals of Kähler action.
 The notion of quantum arithmetics and the interpretation of padic topology in terms of finite measurement resolution however suggest that they might obey field equations in preferred coordinates but not in the real differentiable structure but in what might be called quantum padic differentiable structure associated with prime p.
 Canonical identification would map these quantum padic partonic (spacetime surfaces) to their real counterparts in a unique a continuous manner and the image would be real spacetime surface in finite measurement resolution. It would be continuous but not differentiable and would not of course satisfy field equations for Kähler action anymore. What is nice is that the inverse of the canonical identification which is twovalued for finite number of pinary digits would not be needed in the correspondence.
 This description might be relevant also to quantum field theories (QFTs). One usually assumes that minima obey partial differential equations although the local interactions in QFTs are highly singular so that the quantum average field configuration might not even possess differentiable structure in the ordinary sense! Therefore quantum padicity might be more appropriate for the minima of effective action.
The conclusion would be that commutative quantum deformations of spacetime surfaces indeed have a useful function in TGD Universe.
Consider now in more detail the identification of the quantum deformations of spacetime surfaces.
 Rationals are in the intersection of real and padic number fields and the representation of numbers as rationals r=m/n is the essence of quantum arithmetics. This means that m and n are expanded to series in powers of p and coefficients of the powers of p which are smaller than p are replaced by the quantum counterparts. They are quantum quantum counterparts of integers smaller than p. This restriction is essential for the uniqueness of the map assigning to a give rational quantum rationals.
 One must get also quantum padics and the idea is simple: if the pinary expansions of m and n in positive powers of p are allowed o become infinite, one obtains a continuum very much analogous to that of ordinary padic integers with exactly the same arithmetics. This continuum can be mapped to reals by canonical identification. The possibility to work with numbers which are formally rationals is utmost importance for achieving the correct map to reals. It is possible to use the counterparts of ordinary pinary expansions in padic arithmetics.
 One can defined quantum padic derivatives and the rules are familiar to anyone. Quantum padic variants of field equations for Kähler action make sense.
 One can take a solution of padic field equations and by the commutativity of the map r=m/n→ r_{q}=m_{q}/n_{q} and of arithmetic operations replace padic rationals with their quantum counterparts in the expressions of quantum padic imbedding space coordinates h^{k} in terms of spacetime coordinates x^{α}.
 After this one can map the quantum padic surface to a continuous real surface by using the replacement p→ 1/p for every quantum rational. This spacetime surface does not anymore satisfy the field equations since canonical identification is not even differentiable. This surface  or rather its quantum padic preimage  would represent a spacetime surface within measurement resolution. One can however map the induced metric and induced gauge fields to their real counterparts using canonical identification to get something which is continuous but nondifferentiable.
 This construction works nicely if in the preferred coordinates for imbedding space and partonic (spacetime) surface itself the imbedding space coordinates are rational functions of spacetime coordinates with rational coefficients of polynomials (also Taylor and Laurent series with rational coefficients could be considered as limits). This kind of assumption is very restrictive but in accordance with the fact that the measurement resolution is finite and that the representative for the spacetime surface in finite measurement resolution is to some extent a convention. The use of rational coefficients for the polynomials involved implies that for polynomials of finite degree WCW reduces to a discrete set so that finite measurement resolution has been indeed realized quite concretely!
Consider now how the notion of finite measurement resolution allows to circumvent the objections against the construction.
 Manifest GCI is lost because the expression for spacetime coordinates as quantum rationals is not general coordinate invariant notion unless one restricts the consideration to rational maps and because the real counterpart of the quantum padic spacetime surface depends on the choice of coordinates. The condition that the spacetime surface is represented in terms of rational functions is a strong constraint but not enough to fix the choice of coordinates. Rational maps of both imbedding space and spacetime produce new coordinates similar to these provided the coefficients are rational.
 Different choices for imbedding space and spacetime surface lead to different quantum padic spacetime surface and its real counterpart. This is an outcome of finite measurement resolution. Since one cannot order the spacetime points below the measurement resolution, one cannot fix uniquely the spacetime surface nor uniquely fix the coordinates used. This implies the loss of manifest general coordinate invariance and also the nonuniqueness of quantum real spacetime surface. The choice of coordinates is analogous to gauge choice and quantum real spacetime surface preserves the information about the gauge.
For background see chapter Quantum Arithmetics.
