Dear Georgina,
Thank you for your interest to my essay. First of all, let me note that I am not a mathematician since am not working on mathematical theories. Mathematicians work with theories based on sets of axioms; typically they don't discuss how their theories apply to reality. But physics cannot be without math. In my essay I argue that any fundamental physical theory can be based only on a finite math. In other words, I believe that reality is not only discrete (digital) but even finite.
I read your essay and tried to understand your approach to spacetime. Probably our approaches have much in common since you do not accept that spacetime is fundamental. But in my understanding you accept that spacetime can be an emergent notion and here we have disagreements. Let me describe my understanding of spacetime.
In physics there is a principle that a definition of a physical quantity is a description of how it should be measured. In quantum theory this principle is formalized by requiring that any physical quantity can be discussed only in conjunction with the operator defining this quantity. When we have an elementary particle or a macroscopic body, we can define operators charactering them; some of the operators can be called the coordinate operators and we can discuss whether the coordinates can be measured with a sufficient accuracy etc. But the notion of spacetime has nothing to do with coordinates of real bodies. The assumption is that spacetime is a manifold, which exists even if there are no bodies at all. It is obvious that the notion of spacetime fully contradicts the above principle since spacetime exists only in our imagination and is not measurable. In particular, a discussion whether the empty spacetime can be curved or flat has no physical meaning; in particular, the cosmological constant problem is not a problem at all [9]. However, the absolute majority of physicists accept spacetime. Their argument is that although spacetime is not measurable, it is only an auxiliary tool for constructing equations of motion for real bodies in General Relativity (GR) or Hilbert spaces in Quantum Field Theory (QFT) and since those theories in many cases give an excellent agreement with the data, this proves that spacetime is meaningful. In other words, a question is whether nonphysical notions can be used at intermediate stages of constructing physical theories.
I believe it is obvious that the notion of spacetime reflects our macrocopic experience that everything is continuous, can be divided into any number of parts etc. Physicists used this notion when they did not know about elementary particles, that matter is discrete, cannot be divided into any number of particles etc. One can say that we are using this notion since we don't have another math. As shown in my essay and papers, we do have another math, which is not using continuity, the notion of infinitely small etc. but can be used in physics.
Several authors treated GR as a theory where spacetime is replaced by a reference frame. For example, in a well known textbook by Landau and Lifshits "Classical Field Theory", the reference frame in GR is defined as a collection of weightless bodies, each of which is characterized by three numbers (coordinates) and is supplied by a (weightless) clock. Such a notion (which resembles ether) is not physical even on classical level and for sure it is meaningless on quantum level.
In 60th, the majority of quantum physicists came to a consensus that any future fundamental theory should not involve spacetime at all (in the spirit of the Heisenberg S-matrix program). In the introductory section of the well known textbook [8] the authors argue that local quantum fields and Lagrangians are rudimentary notions which will disappear in the future theory. Nobody has refuted those arguments but in view of successes of QCD and electroweak theory physicists returned to QFT. In string theory the notion of spacetime is used even in a greater extent than in QFT. Here it is discussed whether spacetime has 10, 11 or 26 dimensions; physics is defined by a choice of a Calabi-Yau manifold at Planck distances etc. I believe it is rather obvious that manifolds, geometry, topology, differential equations etc. have arisen from our macroscopic experience. For example, the water in the ocean can be described by equations of hydrodynamics but we know that this is only an approximation since matter is discrete. There is no reason to believe that continuity, geometry, topology etc. work even at Bohr distances, to say nothing about Planck distances.
In my papers I argue that theory should start not from spacetime but from a symmetry algebra. The idea is simple (in the spirit of Dirac's paper [13]): each system is described by a set of independent operators and they somehow commute with each other. By definition, the rules how they commute define a Lie algebra which is treated as a symmetry algebra. For example, if we choose a Poincare or de Sitter algebras then in quasiclassical approximation we obtain a description equivalent to that obtained from a four-dimensional spacetime. When we choose the de Sitter algebra, we first do not have the de Sitter space, Riemannian geometry, metric, connection etc. However, as shown in [9], in quasiclassical approximation we recover standard results of GR for the motion of particles in the de Sitter space.
My impression is that, although very slowly, physicists are returning to ideas of 60th that fundamental physics should not involve spacetime at all; several physicists note that on quantum level spacetime is meaningless etc. But the number of such physicists is very small.
My impression from your essay is that in general you accept the above ideas. However, there is a trend that spacetime is not fundamental but emergent. I tried to understand those papers; maybe I am wrong but my impression is that for physicists it is very difficult to abandon spacetime at all. Some of them may accept that spacetime might be discrete or emergent but for me it is not clear why we need spacetime at all. Again, maybe I am wrong, but it seems to me that when you are talking about the emergent spacetime, you in fact mean measurements of coordinates of real bodies; so maybe this is only a question of terminology but the coordinates of real bodies have nothing to do with spacetime coordinates.
I would appreciate your comments. Thank you.
Best regards, Felix.