Suppose a theory is formulated on a four-dimensional Euclidean space with a positive-definite metric.
Assume that:
I do not mean approximate Lorentz invariance in a low-energy or long-wavelength limit. I mean exact special-relativistic kinematics.
The usual signature argument shows that a positive-definite Euclidean metric cannot be transformed into a Lorentzian metric by a real nonsingular coordinate transformation.
But does it also imply the stronger statement that exact Lorentzian kinematics cannot arise in a theory whose underlying geometric structure remains Euclidean?
In other words, are these two statements equivalent?
Given the assumptions in the paper "Nothing but Relativity", including group properties of a transformation (two boosts in one direction are equivalent to one boost of the same form),Suppose a theory is formulated on a four-dimensional Euclidean space with a positive-definite metric.Assume that:
Can such a theory nevertheless contain a physical sector in which the Lorentz transformations hold exactly, with an exact finite invariant signal speed?
- the metric always remains Euclidean;
- no coordinate is analytically continued (t \to it);
- no real coordinate transformation is claimed to convert the Euclidean metric into a Minkowski metric.
Transformartion equation (27) in the article can be derived without the 2nd postulate.
K<0 : can be excluded (causality would be not invariant)
K=0 : makes it the Galilean transformation
K>0 : makes it the Lorentz transformation
An experiment is needed to decide between Galilean- or Lorentz-transformation.
From this with twin paradox-experiments we know, that the Lorentz transformation is physically valid.
With unit system ##c=1##, in the ##xt##-plane:
LT
##(1)\ x'=\gamma (x-vt)##
##(2)\ t'=\gamma (t-vx)##
Add (1) and (2):
##(3)\ x'+t'=\gamma (x+t-v(x+t))=\gamma(1-v)(x+t)##
Subtract (2) from (1):
##(4)\ x'-t'=\gamma (x-t+v(x-t))=\gamma(1+v)(x-t)##
Multiply (3) and (4):
##(5)\ x'^2-t'^2=\gamma^2(1-v^2)(x^2-t^2)##
$$x'^2-t'^2=x^2-t^2$$
The Lorentz transformation is equivalent to Minkowski metric and not to 4D-Euclidean metric.
If you mean a 4d Euclidean space where one direction is timelike, I don't see what would pick out the dimension to call timelike. You can certainly draw such things (it's what a Minkowski diagram is), but there we impose a Minkowski metric on the diagram artificially and just arbitrarily pick a couple of directions to call null.
So my immediate thought is that you can impose Lorentzian dynamics on other geometries, but it has to be put in manually.
Some related work: analogue gravity (Barceló, Liberati & Visser, Analogue Gravity, Living Rev. Relativity 14, 3, 2011), effective Lorentzian metrics emerging from non-relativistic substrates. It's close to the spirit of the question, though not a full answer: it gives effective/emergent Lorentz invariance, not the exact kinematics the OP is asking about.
Yes. It is the unphysical first case ##K=-1## in posting #2, which is an Euclidean rotation in the ##xt## plane.
##\begin{pmatrix}
x'\\
t'
\end{pmatrix}
=
\frac{1}{\sqrt{1+v^2}}
\begin{pmatrix}
1 & -v\\
v & 1
\end{pmatrix}
\begin{pmatrix}
x\\
t
\end{pmatrix}##
##\begin{pmatrix}
x'\\
t'
\end{pmatrix}
=
\begin{pmatrix}
\cos\theta & -\sin\theta\\
\sin\theta & \cos\theta
\end{pmatrix}
\begin{pmatrix}
x\\
t
\end{pmatrix},
\qquad
\theta=\arctan v##
I also don’t know what speed would mean in such a manifold.
The Lorentz transform treats time and space differently. Since in your space there is nothing that distinguishes the different directions any method that ends in the Lorentz transform would not be natural.
That's kind of the point I was trying to make - all the directions are the same, so which one is time?
The only solution I can think of is something like a Minkowski diagram, which is a Euclidean plane where we impose Lorentzian physics by fiat rather than having it follow from the geometry.
I think your derivation is fine once (x) and (t) are already taken to be physical space and time coordinates. Then we already have inertial frames, relative velocity, etc., and the Galilean/Lorentz alternatives follow in the usual way.
But I think this may actually be the key point of my question.
PeterDonis, Dale and Ibix are right that in a genuinely Euclidean four-dimensional space none of the four directions is timelike. I agree. Simply choosing one Euclidean coordinate and calling it time would not solve anything.
So maybe the question is whether we have to identify the underlying four-dimensional geometry with physical spacetime in the first place.
Could the underlying geometry have four equivalent Euclidean directions, none of which is physical time, while physical time and the event structure arise at another level? And could the resulting structure then obey the Lorentz transformations exactly?
This is also why Roberto Pavani's comment about the problem of time seems relevant. If time has to be fundamental, I don't see how the construction could work. If time itself can emerge, the situation seems less obvious.
What I am trying to understand is whether there is a theorem that rules out this second possibility. The signature argument tells us that a Euclidean metric cannot be transformed into a Minkowski metric. But does it also tell us that a different physical spacetime structure cannot arise on top of an underlying Euclidean one?
Note that in this view, on the ## \mathbb{R}^4 ## side there will be no scale, because the two spaces are separate. The scale belongs to ## \mathbb{R}^{3,1} ##.
About the theorem, I doubt one can exist, simply because there are infinitely many possible mappings between the two spaces.
This involves analytic continuation of the time coordinate, which the OP rules out, so it's not what's being asked about in this thread.
Note that analytic continuation means the Euclidean region is not an "overlay" on the Minkowski region; it's a different region, just as the imaginary axis in the complex plane is a different region from the real axis.
For example, Alexander Gersten published Euclidean Special Relativity in Foundations of Physics, and J. M. C. Montanus published a proper-time formulation there as well.
But after looking at these papers, I am not sure they solve the problem we are discussing. Gersten starts from the usual Minkowski interval and then introduces Euclidean coordinates. In the proper-time approach, proper time is already used as the fourth Euclidean coordinate.
So in both cases a substantial part of the relativistic structure seems to be there from the beginning. This looks close to Ibix's point that one can put Lorentzian physics on top of another geometry, but then it has basically been put in by hand.
What I am wondering is whether the harder version is possible: can exact SR arise naturally from a genuinely Euclidean starting point, rather than being encoded into it?
Maybe the signature itself is not the main problem. Perhaps the real question is whether time and the physical event structure have to be fundamental in the first place.
Isn't that what we already answered?
I have never seen such a thing, and I don't think it would be possible. Particularly not the "naturally" qualification. There is no natural way to single out one dimension.
Proper time can't be a coordinate, because different observers that follow different worldlines between the same two events can have different proper times (as in the "twin paradox"). A coordinate has to give a unique number to each event.
No, one can't. As I responded to Ibix, the whole point of Lorentzian physics is that the spacetime geometry is Minkowski. You can't "overlay" one geometry on another. You can make a map of geometry B on a surface with geometry A, but saying that that means the actual physics involves geometry A is like saying, to borrow from an old Beyond the Fringe sketch, that coloring Venezuela blue on a map in your atlas is the same thing as the actual country of Venezuela being blue, with the colors we actually see being an "overlay" on the blue.
It certainly is, since the signature is what distinguishes Minkowski from Euclidean geometry.
There is research being done along these lines--for example, loop quantum gravity--but they are not trying to construct Lorentzian physics on top of some other geometry, Euclidean or otherwise. They are trying to construct Lorentzian physics as being emergent from something that isn't geometry at all.
@Ans if you have a reference to an actual published paper (meaning a link to where it is posted online, which journal, etc.--arxiv.org preprint pages will have this information if a paper has been published) that claims that what you are asking about is possible, you can provide it to me by PM and the moderators will review it to see if it merits further discussion.
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | I have a couple of questions about general relativity | 0 | 10 | 11-10-2026 |
| 2 | Derive the Lorentz transformation in Minkowski four-dimensional spacetime spacetime | 0 | 10 | 22-12-2025 |
| 3 | Theoretical question on extra dimensions | 0 | 10 | 17-10-2026 |
| 4 | A question about special relativity | 0 | 5 | 21-05-2026 |
| 5 | Traveling through space at zero km/s | 0 | 1 | 31-12-2025 |
| 6 | Problem in understanding how upwards acceleration works (General Relativity) | 0 | 10 | 07-10-2026 |
| 7 | Mass, inertia and momentum in reativity | 0 | 10 | 10-10-2026 |
| 8 | Why does Moment of Inertia have an R^2 dependence (logically)? | 0 | 10 | 19-10-2026 |
| 9 | The Planck scale, black hole interiors, observable universe and GR | 0 | 10 | 16-10-2026 |
| 10 | Why is g = 9.8 and from where/what triggers the upward acceleration? | 0 | 19.09 | 28-09-2026 |