the weak equivalence principle states that the trajectories of small test bodies , neither affected by gravitational tidal forces nor by forces other than gravity , are independent of their internal structure and composition  @xcite . experimentally , this principle is confirmed with extremely high precision  @xcite ; in gravity theory it has been implemented already by newton who postulated that gravitational mass should equal inertial mass , and then by einstein who formulated the motion of test bodies in terms of geodesics on lorentzian spacetime .
these trajectories extremize the lorentzian length integral which is interpreted physically as proper time .
the fundamental geometric object entering this construction is the lorentzian spacetime metric .
this observation led einstein to the development of a gravity theory that determines the metric and so provides a dynamical background geometry for point particles , observers and physical fields .
the essential point in einstein s implementation of the weak equivalence principle by a clock postulate is the use of geometric concepts , not the particular choice of metric geometry .
indeed , more general geometries can be used which automatically realize this principle . here
we consider finsler geometry  @xcite which generalizes metric geometry by providing a very general length functional for curves @xmath0 on a manifold @xmath1 , @xmath2=\int d\tau\ , f(\gamma(\tau ) , \dot \gamma(\tau))\,.\ ] ] the finsler function @xmath3 maps the points of the curve and the attached four - velocities into real numbers and is homogeneous of degree one in its second argument to ensure the reparametrization invariance of @xmath4 $ ] .
the usual length measure associated to a lorentzian metric  @xmath5 is obtained for the special case @xmath6 .
physically , we interpret the integral above as a generalized clock postulate and point particle action .    on this basis
we will develop a consistent gravity theory which determines the finsler function dynamically .
our construction builds on the precise definition of physical finsler spacetimes in  @xcite , where we established a minimal set of requirements on the function @xmath3 so that it can describe a geometric spacetime background suitable for physics .
in particular , finsler spacetimes provide a well - defined notion of causality and the possibility to formulate field theory actions .
a generalization of gravity based on finsler geometry has the potential to explain various issues that are not naturally explained by einstein gravity .
indeed , it has been argued that finsler geometry in principle can address the rotational curves of galaxies and the acceleration of the universe without introducing dark matter  @xcite or dark energy  @xcite , and that it admits sufficiently complex causal structures that allow a consistent geometric explanation of superluminal neutrino propagation  @xcite .
here we will find that finsler gravity may also explain the fly - by anomaly  @xcite in the solar system .
our presentation is structured as follows .
we will begin in section  [ sec : fstreview ] with a brief review of our definition of finsler spacetimes and of the mathematical tools and geometric objects needed .
moreover , we will define field theory action integrals on finsler spacetimes .
equipped with these concepts we will show in section  [ sec : obs ] how to model observers on finsler spacetimes and discuss how they perform measurements .
we will prove that two different observers are related by a transformation composed out of a certain parallel transport and a lorentz transformation .
the set of these transformations has the algebraic structure of a groupoid that reduces to the usual lorentz group in the metric geometry limit . in section  [ sec : gravdyn ]
we will present our new theory of finsler gravity , including a matter coupling principle , which geometrically extends einstein gravity without introducing new fundamental scales
. we will derive the finsler gravity field equation by variation and prove that it reduces consistently to the einstein field equations in the metric limit .
symmetries of finsler spacetimes will be introduced in section  [ sec : fsym ] .
the maximally symmetric solution of vacuum finsler gravity turns out to be standard minkowski spacetime .
section  [ sec : corr ] considers a spherically symmetric perturbation around this vacuum which is found to be a refinement of the schwarzschild solution that shows how finsler gravity could resolve the fly - by anomaly .
we conclude in section  [ sec : disc ] .
appendix  [ app : details ] presents technical details of our derivations .
the central idea behind the generalization of einstein gravity presented in this article is the description of spacetime and its dynamics by finsler geometry instead of metric geometry . in this section
we will review the basic geometric concepts available on finsler spacetimes  @xcite .
these were introduced as a generalization of lorentzian metric spacetimes ; they allow full control of the null geometry and a clean definition of causality , which is essential for the description of light and observers .
in particular , we will describe non - linear connections and curvature ; moreover , we will explain how to obtain well - defined field theory actions .
the definition of finsler spacetimes involves the eight - dimensional tangent bundle @xmath7 which is the union of all tangent spaces to the underlying four - dimensional event manifold @xmath1 .
thus , any point @xmath8 is a tangent vector to @xmath1 at some point @xmath9 ; there is a natural projection @xmath10 .
it is convenient to use the so - called induced coordinates on the tangent bundle which are constructed as follows .
let @xmath11 be coordinates on some open neighbourhood @xmath12 of @xmath13 . with respect to these we can express @xmath14 ; the induced coordinates of @xmath15 are then @xmath16 .
the corresponding induced coordinate basis of @xmath17 will be denoted by @xmath18 and that of its dual @xmath19 by @xmath20 .    * definition 1 . *    _ geometric structures implemented in every tangent space @xmath21 by definition  1 of finsler spacetimes .
the solid lines show the guaranteed cone of timelike vectors with the shells of unit timelike vectors and null boundary .
the dotted lines indicate a potentially more complex null structure._,scaledwidth=30.0% ]    lorentzian metric spacetimes @xmath22 arise from definition  1 in case @xmath23 ; then @xmath24 and @xmath25 is the set of unit @xmath5-timelike vectors . for general function
@xmath26 , the relation between the inverse finsler metric @xmath27 and the inverse lagrange metric @xmath28 is given by @xmath29 the definition of finsler spacetimes guarantees a well - defined causal structure by the existence of timelike vectors that form an open convex cone with null boundary in every local tangent space , see figure  [ fig : nullstructure ] .
it provides full control of the geometry along the null directions where @xmath30 : we could show that the geometric concepts of connections and curvature that will be discussed below can be extended to this set , which is not possible in standard textbook formulations of finsler spaces .
furthermore , by constructing a theory of electrodynamics on finsler spacetimes we proved that light propagates along null directions . for further details see  @xcite .
the geometry of finsler spacetimes is formulated by extending the standard language of finsler geometry , see e.g.  @xcite ; this is a special geometry on the tangent bundle based on the finsler function @xmath3 that appears in the clock postulate .
the basic geometric object deduced from the finsler function is the cartan non - linear connection .
any non - linear connection on @xmath7 is equivalent to a unique decomposition of all tangent spaces to @xmath7 as @xmath31 , see figure  [ fig : verthori ] . while the vertical bundle @xmath32 is canonically spanned by @xmath33 , the horizontal bundle @xmath34 is spanned by @xmath35 where the @xmath36 are the coefficients of the non - linear connection .
then the dual bundle @xmath37 is spanned by @xmath38 , and @xmath39 by @xmath40 .
for the cartan non - linear connection , the connection coefficients are determined by the fundamental functions @xmath3 or @xmath26 as @xmath41=\frac{1}{4}\bar\partial_b\big[g^{laq}\big(y^p\partial_p\bar\partial_ql-\partial_ql\big)\big ] .\ ] ] the equality of the two expressions for @xmath42 follows from the proof of theorem  2 in  @xcite which makes particular use of the euler theorem @xmath43 for @xmath44-homogeneous functions .
note that the right hand side is also valid on the null structure where @xmath3 is not even differentiable .
_ tangent bundle geometry : decomposition of @xmath45 into horizontal and vertical parts._,scaledwidth=60.0% ]    under tangent bundle changes of coordinates induced from coordinate transformations @xmath46 of the manifold , the non - linear connection coefficients @xmath42 transform in such a way that the horizontal / vertical basis @xmath47 of @xmath17 and the dual basis @xmath48 transform as vectors or one - forms over the manifold , @xmath49 tensors on @xmath7 that obey the standard tensor transformation law under manifold induced coordinate changes are called distinguished , or , in short , d - tensors . an example for a d - vector
is the horizontal lift @xmath50 of a vector @xmath51 in @xmath21 to @xmath52 , @xmath53 the inverse map is given by the pushforward along the projection , @xmath54 .
the horizontal tangent spaces to @xmath7 can thus be identified with the tangent spaces to the manifold @xmath1 ; this will be important for the identification of field components of tensors over the tangent bundle with field components measured over the spacetime manifold .
a d - tensor of particular importance for our construction of gravitational dynamics for finsler spacetimes is the curvature of the cartan non - linear connection which measures the integrability of the horizontal bundle @xmath34 .
it is defined as @xmath55^a =- y^q\big(\delta_b\gamma^{\delta a}{}_{qc}-\delta_c\gamma^{\delta a}{}_{qb}+\gamma^{\delta a}{}_{pb}\gamma^{\delta p}{}_{qc}-\gamma^{\delta a}{}_{pc}\gamma^{\delta p}{}_{qb}\big),\ ] ] using as a short - hand notation the generalized christoffel symbols @xmath56 which are related to the non - linear connection coefficients via @xmath57 .
the proof of the above equality is given in theorem  2 of  @xcite .    in order to formulate covariant differential equations in the language of finsler geometry , a linear covariant derivative @xmath58 that acts on tensor fields over @xmath7 is needed .
this must be compatible with the horizontal / vertical structure so that the identification of horizontal tangent spaces with tangent spaces to the manifold stays intact under transports . in the literature exist four such covariant derivatives with slightly different properties .
we will employ the cartan linear covariant derivative defined by @xmath59 in later sections we will often need the cartan linear covariant derivative with respect to horizontal directions ; we will then use the abbreviation @xmath60 .
the action of @xmath58 on the following sasaki type metric on @xmath7 , @xmath61 gives zero .
hence this metric is covariantly constant with respect to the cartan linear connection ; it will play a crucial role as an integration measure on @xmath7 .
this completes our quick review of geometric objects needed in this article . for later use
observe that all the objects definable from @xmath3 , i.e. , the finsler metric @xmath27,the cartan non - linear connection @xmath42 , its curvature , and the cartan linear connection , are invariant under the transformation @xmath62 . in the metric limit @xmath23
they reduce to known constructions from metric geometry : the curvature essentially becomes the riemann curvature tensor , @xmath63 ; the generalized christoffel symbols become the usual christoffel symbols , @xmath64 ; the non - linear connection now is a linear connection , @xmath65 ; the cartan linear covariant derivative in horizontal directions becomes the levi - civita covariant derivative while it becomes trivial in vertical directions .
we saw that all geometric objects on finsler spacetimes are homogeneous tensor fields on the tangent bundle ; the same will be true for physical fields in our construction .
the formulation of field theory actions needs the well - defined integration procedure developed in  @xcite .
since integrals over the tangent bundle over homogeneous functions diverge , we must consider integrals over the unit tangent bundle @xmath66 on this domain we have a natural volume element constructed from the pull back of the sasaki - type metric  ( [ eq : sasaki ] ) .
thus , actions arise as integrals of scalar functions @xmath67 on @xmath7 restricted to @xmath68 as  @xmath69 .    to perform such integrals explicitly ,
we change coordinates on @xmath7 from the induced @xmath70 to the more convenient coordinates @xmath71 , where @xmath72 , the @xmath73 are zero - homogeneous , and @xmath74 . now @xmath68 is defined by @xmath75 and described by coordinates @xmath76 .
the coordinate transformation matrices on @xmath7 are @xmath77,\qquad \frac{\partial z^a}{\partial \hat z^b } = \left[\begin{array}{c|c } \delta^a_b&\begin{array}{cc}0\quad & \;0 \end{array}\\ \hline \hat\partial_by^a & \begin{array}{cc } \partial_{u^\beta } y^a & \frac{y^a}{r } \end{array } \end{array}\right].\ ] ] and satisfy the invertibility properties    [ eq : invvv ] @xmath78 =   \left[\begin{array}{c|c}\delta^a_b & 0 \\ \hline \begin{array}{c}0 \\ 0 \end{array } & \begin{array}{cc } \delta^\alpha_\beta & 0 \\ 0 & 1 \end{array}\end{array}\right],\ ] ] @xmath79 =   \left[\begin{array}{c|c}\delta^a_b & 0 \\ \hline 0 & \delta^a_b \end{array}\right].\ ] ]    we now calculate the pullback of the sasaki type metric to @xmath68 in order to determine the relevant volume form .
first we transform  ( [ eq : sasaki ] ) to the new coordinates @xmath80 , which yields @xmath81 in terms of @xmath82 and @xmath83 .
then the pull - back to @xmath68 with @xmath75 becomes @xmath84    using the shorthand notation @xmath85 and @xmath86 , a well - defined integral over @xmath68 of a homogeneous tangent bundle function @xmath67 now reads @xmath87 for tangent bundle functions @xmath88 that are homogeneous of degree @xmath44 the following formulae for integration by parts hold    [ eq : intbp ] @xmath89_{|\sigma}\,,\\ \int_\sigma d^4\hat x d^3u\ \sqrt{g^fh^f}{}_{|\sigma}\big(\bar\partial_a
a^a\big)_{|\sigma } & = & - \int_\sigma d^4\hat x d^3u\ \sqrt{g^fh^f}{}_{|\sigma}\big[\big(g^{f\,pq}\bar\partial_ag^f_{pq } - ( m+3 ) y^p g^f_{pa}\big)a^a\big]_{|\sigma}\,,\end{aligned}\ ] ]    where @xmath90 and @xmath91 . these formulae can be proven with the help of the coordinate transformation relations  ( [ eq : invvv ] ) .
the definitions and mathematical techniques presented in this section are the foundation of the following new developments . in the next section
we present how observers are modelled and perform measurements before we turn to the construction of a gravity theory for finsler spacetimes .
in order to study physics on general finsler spacetimes it is necessary to define a mathematical model of physical observers and to determine how they measure time , spatial distances , and physical fields . guided by general relativity , freely falling observers move on trajectories that extremize the proper time integral ; variation of  ( [ eq : fact ] ) here leads to finsler geodesics . moreover a model of observers requires four tangent vectors that build an orthonormal frame
; then measurable quantities are the components of physical fields with respect to this frame , evaluated at the observers position .
we explicitly calculate the illustrative example of an observer s measurement of the speed of light on which the results of  @xcite are based . to compare measurements of different observers
it is necessary to communicate the results obtained by one observer to another .
this communication is realized by a certain class of transformations between different observers ; we will show that these transformations have the algebraic structure of a groupoid that generalizes the usual lorentz group in metric geometry .
an observer moves along a spacetime curve @xmath92 in @xmath1 with timelike tangents .
the parametrization can be chosen so that @xmath93 is unit timelike ; according to definition  1 we now have @xmath94 and the signature of @xmath95 is lorentzian . for points of the tangent bundle @xmath96 , which is analogous to the coordinate representation @xmath97 . ]
then the clock postulate  ( [ eq : fact ] ) tells us that @xmath98 must be interpreted as the local unit time direction of the observer .
we may write the normalization condition in the form @xmath99 using the horizontal lift @xmath100 of @xmath101 , see  ( [ eq : horlift ] ) .    to identify the three - space seen by an observer , we will complete @xmath102 to a four - dimensional basis @xmath103 of @xmath104 ; as explained before the projections of the @xmath105 for @xmath106 by @xmath107 into @xmath108 then are identified as the spatial tangent directions to the manifold .
we determine the three horizontal vectors @xmath105 by the condition @xmath109 .
this construction is justified by the observation that a horizontal three - space is defined by a conormal horizontal one - form .
the only linearly independent one - form available in terms of geometric data is the vertical form @xmath110 .
this can be mapped globally to the horizontal one - form @xmath111 , which is proportional to the cartan one - form known from finsler geometry and is a lagrangian analogue of the poincar one - form in hamiltonian mechanics .
the condition @xmath112 on @xmath105 is equivalent to that stated above in terms of the finsler metric .
we remark that the @xmath105 may depend less trivially on @xmath113 than in lorentzian geometry because of their defining equation @xmath114 .
the definition of unique unit directions in the three - dimensional span @xmath115 requires orthonormalization . for this purpose
we use the finsler metric to set @xmath116 , assuming definite signature .
the choice of the metric @xmath27 for orthonormalization is preferred over that of @xmath28 , since only @xmath27 is invariant under @xmath62 as are the geometrical objects on finsler spacetimes , see section  [ sec : basic ] .
we will now prove a useful theorem on the relation between the signatures of the metrics @xmath28 and @xmath27 where both are defined ; a corollary will then confirm our assumption of a definite signature of the finsler metric on @xmath115 .    *
theorem 1 . *
_ on the set @xmath117 the metric @xmath28 is nondegenerate of signature @xmath118 for natural numbers @xmath119 with @xmath120 .
then the finsler metric has the same signature where @xmath121 , and reversed signature @xmath122 where @xmath123 .
_    the observer s time direction @xmath102 is in @xmath124 which is contained in @xmath117 .
this tells us that the metric @xmath125 has signature @xmath126 for @xmath127 and @xmath128 for @xmath129 .
we also know that @xmath99 .
hence we conclude from theorem 1 :    * corollary . *
_ the finsler metric @xmath130 evaluated at the tangent bundle position of an observer has lorentzian signature @xmath126 , and the unit spatial directions satisfy @xmath131 .
_    _ proof of theorem 1 .
_ by the definition of finsler spacetimes the metric @xmath28 is non - degenerate on @xmath132 , hence also on the smaller set excluding the null structure on which @xmath27 is defined .
now observe that if an inner product is given by a matrix @xmath133 and @xmath134 has indefinite signature @xmath118 , then the signature of @xmath135 is found to be @xmath136 for @xmath137 and @xmath118 for @xmath138 ; for @xmath139 the result is the once degenerate signature @xmath140 .
this can be seen in a sylvester normal form basis for @xmath141 by using the remaining @xmath142 freedom .
we can apply this result to our situation by identifying @xmath143 from equation  ( [ eq : gftogl ] ) .
it follows that @xmath144 ; then the signature of @xmath27 is the signature of @xmath141 , i.e. , that of @xmath28 up to the sign of @xmath26 . @xmath145    we summarize our construction of observers frames and measurements into a precise definition .
* definition 2 .
*    the minkowski metric @xmath146 in this definition has signature @xmath128 .
we emphasize again that the frame @xmath147 in @xmath104 can be identified one to one with a frame @xmath148 in @xmath108 , or reversely by the horizontal lift . from  ( [ eq : gftogl ] )
, one can show that the observer frame has the nice property to diagonalize @xmath27 and @xmath28 simultaneously .
we will now discuss the measurement procedure in more detail and present the example of how an observer measures the speed of light .
definition 2 of the observer frame includes the statement that a physical observable is given by the components of a horizontal tensor field with respect to the observer s frame , evaluated at her position on the tangent bundle , i.e. , at her position on the manifold and her four - velocity .
the motivation for this is as follows .
the geometry of finsler spacetimes is formulated on the tangent bundle @xmath7 , and hence matter tensor fields coupling to this gravitational background must also be defined over @xmath7 .
not all such tensor fields can be interpreted as tensor fields from the perspective of the spacetime manifold @xmath1 .
this interpretation requires that the tensor fields be horizontal ; then they are multilinear maps built on the horizontal space @xmath149 and its dual which are identified with the tangent space @xmath150 and its dual .
consider the example of a 2-form field @xmath151 over @xmath7 ; in the horizontal / vertical basis this expands as @xmath152 only the purely horizontal part @xmath153 has a clear interpretation .
note that such horizontal tensor fields are automatically d - tensor fields , and have the same number of components as a tensor field of same rank on @xmath1 .
the difference is that the components depend on the tangent bundle position .
the measurement of a horizontal tensor field by an observer at the tangent bundle position @xmath154 clearly requires an observer frame of @xmath104 in order to read out the components .
we emphasize that the dependence of observables on the four - velocity of the observer is not surprising .
neither is it problematic as long as observers can communicate their results . in general relativity , observables are the components of tensor fields over @xmath1 with respect to the observer s frame in @xmath108 ; they clearly depend on @xmath101 which induces the splitting of @xmath108 into time and space directions . on finsler spacetimes
the dependence of observables on the observer s four - velocity is not only present in the time / space split of @xmath104 , but also in the argument of the tensor field components .    as a simple example we discuss the measurement of the spatial velocity of a point particle that moves on a worldline @xmath155 with horizontal tangent @xmath156
this can be expanded in the orthonormal frame of an observer as @xmath157 , where we recall that @xmath158 is the observer s four velocity . the time @xmath159 passes while the particle moves in spatial direction @xmath160 , so the spatial velocity @xmath161 and its square @xmath162 are @xmath163    as a consequence of this formula we may derive the speed of light seen by a given observer . as discussed in  @xcite light propagates on null worldlines @xmath155 with @xmath164 which is equivalent to @xmath165 .
we can use this fact to replace the finsler metric in the formula for the velocity above .
taylor expanding @xmath166 around @xmath167 yields @xmath168 evaluating this formula at the position of the observer @xmath169 and dividing by @xmath170 , we immediately obtain an expression for the speed of light @xmath171 , i.e. , the speed of light traveling in spatial direction @xmath172 and measured by the observer @xmath154 : @xmath173 the @xmath159 are determined by solving the null condition @xmath174 ; on a generic finsler spacetime there can be more than one solution since the null structure can be very complicated . from equation  ( [ eq : speedlight ] )
we see that the measured speed of light depends on the higher than second order derivatives of the squared finsler function ; these vanish in the metric limit where we thus reobtain @xmath175 independent of the observer and the spatial direction of the light ray .
the formulae  ( [ eq : v2 ] ) and  ( [ eq : light ] ) enable us to compare experimental results on particle and light velocities with predictions on specific finsler spacetime models . in  @xcite we used this to study the possibility of superluminal particle propagation .
we already stressed the importance that observers should be able to communicate their measurements .
consider two observers whose worldlines meet at a point @xmath176 . since observers by definition  2 measure the components of horizontal tensor fields in their frame and at their tangent bundle position , we need to determine which transformation uniquely maps an observer frame @xmath147 in @xmath52 to a second observer frame @xmath177 in @xmath178 .
their respective four - velocities , or time directions , @xmath179 and @xmath180 generically are different , so that the two observer frames are objects in tangent spaces to @xmath7 at different points . as a consequence , we will now demonstrate that the transformations between observers consist of two parts : the first is a transport of the frame @xmath147 from @xmath181 to @xmath182 , the second will turn out to be a lorentz transformation .
* theorem  2 . *    _ proof .
we first show that the curve @xmath183 required in _
( i ) _ exists .
the verticality condition @xmath184 implies @xmath185 ; the definition of the cartan linear connection  ( [ eq : cartanlin ] ) then tells us that @xmath186 is equivalent to solving @xmath187 .
this has a unique solution connecting @xmath181 to any point @xmath182 in a sufficiently small neighbourhood in @xmath21 .
now let @xmath188 be the parallelly transported vector fields @xmath189 with @xmath190 .
the properties of the cartan linear connection ensure that the @xmath191 are horizontal fields .
observe also that @xmath192 along the curve @xmath183 since @xmath27 is covariantly constant under @xmath58 .
it follows that @xmath193 is independent of @xmath194 , and holds in particular at the final point of the transport @xmath195 .
now @xmath196 and @xmath177 are orthonormal frames with respect to @xmath27 in @xmath178 ; hence they are related by a unique lorentz transformation as stated in point _
( ii ) _  of the theorem . @xmath145
the procedure described in theorem  2 provides a map between the frames of two observers at the same point of the manifold @xmath176 , but with different four - velocities @xmath197 ; we display the two parts of this procedure as @xmath198 , i.e. , as parallel transport followed by lorentz transformation , which is illustrated in figure  [ fig : trafo ] .
the combined maps transform observers uniquely into one another as long as the autoparallel @xmath183 connecting the vertically different points in @xmath7 exists and is unique .
this is certainly the case if @xmath181 and @xmath182 are sufficiently close to each other . whether the geometric structure of a specific , or maybe all , finsler spacetimes is such that unique transformations between all observers exist requires requires further investigation .    in the observer transformations on generic finsler spacetimes
there appears an additional ingredient that is not present on metric spacetimes . before applying the lorentz transformation to the frame ,
one has to perform a parallel transport in the vertical tangent space . in the metric limit
the vertical covariant derivative becomes trivial so that the parallely transported frame does not change at all along the curve @xmath183 . in this special case
the transformation of an observer thus reduces to @xmath199 which is fully determined by a lorentz transformation .    _ transformation between two observer frames : the frame @xmath147 in @xmath52 is first parallely transported to @xmath200 in @xmath178 , second lorentz transformed into the final frame @xmath177._,scaledwidth=55.0% ]    the observer transformations on finsler spacetimes essentially have the algebraic structure of a groupoid that reduces to the lorentz group in the metric limit .
we first review the general definition of a groupoid and then show how this applies to our case .
* definition 3 . * _ a groupoid @xmath201 consists of a set of objects @xmath202 and a set of arrows @xmath203 .
every arrow @xmath141 is assigned a source @xmath204 and a target @xmath205 by the maps @xmath206 and @xmath207 ; one writes this as @xmath208 . for arrows @xmath141 and @xmath209 whose source and target match as @xmath210 there exists an associative multiplication @xmath211 with @xmath212 a unit map @xmath213 where @xmath214 exists so that @xmath215 for every arrow @xmath141 exists an inverse arrow @xmath216 that satisfies @xmath217 _    groupoids are generalizations of groups .
these can be expressed as groupoids with a single object in @xmath202 ; then the arrows correspond to group elements all of which can be multiplied since sources and targets always match .
the multiplication is associative , the identity element and inverse elements exist .
consider @xmath218 as the set of unit timelike vectors which contains the different four - velocities of observers at the point @xmath176 .
let the arrows in @xmath203 be the set of all maps between two observer frames at @xmath219 which are defined by the procedure stated in theorem  2 .
in case the involved vertical autoparallels connect the four - velocities uniquely , the sets @xmath202 and @xmath203 define a groupoid : source and target of a map @xmath220 between two frames @xmath221 and @xmath222 are simply given by @xmath223 and @xmath224 ; the multiplication @xmath225 is defined by applying the procedure of theorem  2 to construct the map between @xmath226 and @xmath227 , which gives the properties  ( [ eq : mult ] ) ; we choose the unit map @xmath228 that provides  ( [ eq : one ] ) as @xmath229 , i.e. , as trivial parallel transport of the frame @xmath221 with respect to the cartan linear connection along the vertical autoparallel that stays at @xmath181 followed by the identity lorentz transformation .
finally , we define the inverse @xmath230 , where @xmath231 denotes parallel transport backwards along the unique vertical autoparallel connecting @xmath181 and @xmath182 which is also used for @xmath232 ; to check the properties  ( [ eq : inv ] ) , one simply shows that parallel transport of the frames and lorentz transformation commute .
thus we have shown the following result :    * theorem 3 .
* _ on finsler spacetimes @xmath233 the transformations between observer frames @xmath234 at @xmath176 that are attached to points @xmath235 define a groupoid @xmath201 under the condition that any pair of points in @xmath236 can be connected by a unique vertical autoparallel of the cartan linear connection .
_    we already discussed that the transformations of observer frames reduce to the form @xmath237 in the limit of metric geometry .
hence the only information contained in the reduced groupoid @xmath238 with @xmath239 and @xmath240 is given by the lorentz transformations .
in mathematically precise language this can be expressed as the equivalence of @xmath238 to the lorentz group seen as a groupoid @xmath241 with a single object @xmath242 and arrows @xmath243 .
the functor @xmath244 establishing the equivalence can be defined by the projection @xmath245 and by @xmath246 .
indeed , @xmath247 can be checked to be injective , full and essentially surjective , and so it makes @xmath248 and @xmath241 equivalent .
see  @xcite for details on the required mathematical definitions .
we have now reviewed the basic concept of finsler spacetime geometry and laid the foundations for the interpretation of physics on these backgrounds .
we have seen that well - defined observers exist which communicate with each other by means of groupoid transformations that generalize the lorentz group in metric geometry .
as emphasized in previous work  @xcite , physical predictions in our generalized geometric framework require gravitational dynamics for the fundamental geometry function @xmath26 to determine specific spacetime solutions . in this section
we for the first time present a finsler gravity action along with a consistent minimal coupling principle between gravity and matter .
we begin our presentation with the variation of the pure gravity action , before the coupling of finsler gravity to matter is discussed in section  [ sec : gravmat ] ; the full field equation is derived in section  [ sec : gravmateq ] .
moreover , we prove that the finsler gravity field equation becomes equivalent to the einstein equations in the metric limit .
on finsler spacetime the simplest curvature scalar built from the non - linear curvature tensor @xmath249 , which is relevant for the tidal acceleration of finsler geodesics , is @xmath250 .
this contains the lowest number of derivatives on the fundamental function  @xmath26 without involving additional d - tensors besides the curvature , like @xmath251 or @xmath252 .
recall that integrals are well - defined over the seven - dimensional unit tangent bundle @xmath68 with coordinates @xmath76 , as discussed in section  [ sec : int ] .
these two facts directly lead to our finsler gravity action @xmath253=\int d^4\hat xd^3u \left[\sqrt{g^fh^f}\ \mathcal{r}\right]_{|\sigma}\,.\ ] ]    the gravitational field equation in vacuum now is obtained by variation with respect to @xmath26 . to perform this variation for an @xmath44-homogeneous function @xmath254 on @xmath7 restricted to @xmath68 it is useful to realise that @xmath255 where @xmath256 is the homogeneity of @xmath26 . with the help of this formula and the results for integration by parts in  ( [ eq : intbp ] ) we can derive the vacuum field equations in three steps .
the first uses the variation formula above with @xmath257 and @xmath258 , which yields @xmath259=\int d^4\hat xd^3u \left[\delta\big(\sqrt{g^fh^f}\ \mathcal{r}\big)-\frac{5}{n}\sqrt{g^fh^f}\ \mathcal{r } \frac{\delta l}{l}\right]_{|\sigma}\,.\end{aligned}\ ] ] the second step is the variation of the volume element which leads to @xmath260=\int d^4\hat xd^3u \sqrt{g^fh^f}_{|\sigma } \left [ \big(g^{f\,pq}\delta g^f_{pq}-\frac{6}{n}\frac{\delta l}{l}\big)\mathcal{r}+y^b\delta r^a{}_{ab } \right]_{|\sigma}\,,\ ] ] while in the third step we use the following identities    [ eq : calcgrav ] @xmath261_{|\sigma } = \int d^4\hat xd^3u \left[\sqrt{g^fh^f}\ g^{f\,ab}\bar\partial_a\bar\partial_b\mathcal{r}\frac{\delta l}{nl}\right]_{|\sigma}\,,\ ] ] @xmath262_{|\sigma } = \int d^4\hat xd^3u \left[\sqrt{g^fh^f}\ 2g^{f\,ab}\big(\nabla_as_b+s_as_b+\bar\partial_a\nabla s_b\big)\frac{\delta l}{nl}\right]_{|\sigma}\,,\ ] ]    to arrive at the final form of the variation of the finsler gravity action  ( [ eq : gravact ] ) : @xmath263=\int d^4\hat xd^3u \sqrt{g^fh^f}_{|\sigma}\left [ g^{f\,ab}\bar\partial_a\bar\partial_b\mathcal{r}-6\mathcal{r}+2g^{f\,ab}\big(\nabla_as_b+s_as_b+\bar\partial_a\nabla s_b\big)\right]_{|\sigma}\frac{\delta l}{nl}\,.\ ] ] for further details of this variation we refer the reader to appendix  [ app : vargrav ] .
now we can read off the vacuum field equation on @xmath68 as @xmath264_{|\sigma } = 0 \,.\ ] ]    observe that all terms in the bracket are zero - homogeneous on @xmath7 , except the second term  @xmath265 that has homogeneity two .
since @xmath266 we can replace the second term by @xmath267 which is now also zero - homogeneous .
hence the equation can be lifted to @xmath7 in the form @xmath268 it seems as if this equation could be invalid on @xmath269 where @xmath3 is not differentiable so that the finsler metric @xmath27 does not exist .
however , this is not the case : the equation is valid also on the null structure . to see this
, one expresses @xmath27 through @xmath28 with the help of formula  ( [ eq : gftogl ] ) and multiplies by @xmath270 .
the resulting equation is well - defined whereever @xmath28 is nondegenerate , and in particular on the null structure .
note that equation  ( [ eq : gravvac ] ) is invariant under the transformation @xmath271 , which will be a guiding principle for matter coupling below .    in the metric limit @xmath272 ,
the tensors in the the finsler gravity equation reduce as @xmath273 and @xmath274 , where @xmath275 is the ricci tensor of the metric @xmath5 .
accordingly , the field equation becomes @xmath276 which is equivalent to the einstein vacuum equations @xmath277 by differentiating twice with respect to @xmath278 .
we conclude that a family of solutions of the finsler gravity vacuum equation  ( [ eq : gravvac ] ) is induced by solutions @xmath279 of the vacuum einstein equations via the fundamental functions @xmath280 . in section  [ sec : corr ] we will present a solution of the finsler gravity vacuum equation beyond metric geometry .
above we have achieved a consistent generalization of vacuum einstein gravity from metric spacetimes to finsler spacetimes .
next we will show that this generalization can be completed by the coupling of matter fields .
for this purpose we will discuss a minimal coupling principle that generates consistent matter field actions on finsler spacetimes from their well - known counterparts on metric spacetimes . in the discussion
we restrict our attention to @xmath281-form fields ; spinor fields have to be investigated further . in section  [ sec : gravmateq ] we will deduce the complete gravity equations with energy - momentum source term .
consider an action @xmath282 $ ] for a physical @xmath281-form field @xmath283 on a lorentzian spacetime @xmath22 , @xmath284 = \int_m d^4x\ \sqrt{g}\ \mathcal{l}(g,\phi , \mathrm{d}\phi)\,.\ ] ] the corresponding matter action on finsler spacetime is obtained by lifting @xmath285 to the tangent bundle @xmath7 equipped with the sasaki - type metric @xmath286 defined in  ( [ eq : sasaki ] ) in the following way :    a.   consider the lagrangian density @xmath287 of the standard theory on @xmath1 as a contraction prescription that forms a scalar function from various tensorial objects ; b.   replace the lorentzian metric @xmath288 in @xmath287 by the sasaki - type metric @xmath286 ; c.   replace the @xmath281-form field @xmath289 on @xmath1 by a zero - homogeneous @xmath281-form field as in  ( [ eq:2form ] ) , for example , is zero - homogeneous if and only if its components @xmath290 , @xmath291 and @xmath292 have the homogeneities @xmath293 , @xmath294 and @xmath295 , respectively ; these are cancelled by the homogeneity of @xmath296 . ]
@xmath297 on @xmath7 ; d.   introduce lagrange multipliers @xmath298 for all not purely horizontal components of @xmath151 ; e.   finally integrate over the unit tangent bundle @xmath68 with the volume form given by the pull - back  @xmath299 of the sasaki - type metric .
the result of this procedure is the finsler spacetime field theory action @xmath300=\int_\sigma
d^4\hat xd^3u \big[\sqrt{g^fh^f } \big(\mathcal{l}(g,\phi , \mathrm{d}\phi)+\lambda ( 1-p^h)\phi \big)\big]_{|\sigma}\,.\ ] ]    the projection @xmath301 projects to the purely horizontal part of the @xmath281-form @xmath151 ; in the example of the general two - form on @xmath7 displayed in equation  ( [ eq:2form ] ) we have @xmath302 the lagrange multiplier guarantees that the on - shell degrees of freedom of @xmath151 are precisely those with a clear physical interpretation as fields along the manifold @xmath1 , as discussed in section  [ sec : measure ] .
the minimal coupling principle for matter to finsler spacetime presented above is a slightly refined version of that in  @xcite where we discussed electrodynamics on finsler spacetime .
the only modification here is in the definition of the sasaki - type metric @xmath286 that is now defined in terms of the finsler metric @xmath27 instead of  @xmath28 .
this change ensures that the resulting matter action @xmath303 $ ] is invariant under @xmath62 in the same way as the pure gravity action
. nevertheless , the results obtained for electrodynamics on finsler spacetime in  @xcite are unchanged by the refined coupling principle presented here .
the matter field equations obtained by extremizing the action with respect to the @xmath281-form field  @xmath151 and the lagrange multiplier @xmath298 can be studied most easily if expressed in components with respect to the horizontal / vertical basis .
the calculation is performed in detail in appendix  [ app : varmat ] .
we display the results with the convention that barred indices denote vertical components , unbarred indices now denote horizontal components , and capital indices both horizontal and vertical components . variation with respect to the lagrange multiplier yields the constraints @xmath304 variation for the purely horizontal components of @xmath151 gives @xmath305 which determines the evolution of the physical field components , while variation with respect to the remaining components produces @xmath306 which fixes the components of the lagrange multiplier .
the @xmath307 are the commutator coefficients of the horizontal / vertical basis .
our coupling principle is consistent with the metric limit , i.e. , the equations of motion obtained from the finsler spacetime action reduce to the equations of motion on lorentzian spacetime in the case @xmath272 and @xmath308 .
then we have the geometric identity @xmath274 ; moreover @xmath309}\ ] ] using the constraints  ( [ eq : cons ] ) and the fact that the horizontal derivative acts as a partial derivative on the @xmath278-independent @xmath281-form components .
finally , @xmath310 because , as a consequence of our coupling principle where the sasaki - type metric is block - diagonal in the horizontal / vertical basis , the vertical index of @xmath311 must appear in @xmath312 contracted via @xmath27 into either a vertical derivative or into components of @xmath151 with at least one vertical index . in the metric limit ,
vertical derivatives give zero , while the constraints  ( [ eq : cons ] ) guarantee that all components of @xmath151 with at least one vertical index vanish . combining these observations
shows that equation  ( [ eq : eom1 ] ) reduces to @xmath313 where @xmath58 now operates in the same way as the levi  civita connection of the metric @xmath5 .
again , as a consequence of our minimal coupling principle with the block - diagonal form of the sasaki - type metric in the horizontal / vertical basis , we can conclude in the metric limit that @xmath314 so that ( [ eq : red ] ) becomes equivalent to the standard @xmath281-form field equation of motion on metric spacetime .
our minimal coupling procedure for matter fields to finsler spacetime can be applied immediately for instance to the scalar field , as done in  @xcite .
note that it can be easily extended to the case of interacting form fields of any degree with metric spacetime action @xmath315 = \int_m d^4x\ \sqrt{g}\ \mathcal{l}(g,\phi_1 , \mathrm{d}\phi_1,\phi_2,\mathrm{d}\phi_2, ... )\,.\ ] ] the minimal coupling procedure then leads to the action @xmath316\nonumber\\ & = & \int_\sigma d^4\hat xd^3u \big[\sqrt{g^fh^f } \big(\mathcal{l}(g,\phi_1 , \mathrm{d}\phi_1,\phi_2 , \mathrm{d}\phi_2, ...
)+\sum_i \lambda_i ( 1-p^h)\phi_i \big)\big]_{|\sigma}\,.\end{aligned}\ ] ] the equations of motion for each field @xmath317 have the same form as in the single field case , and the metric limit leads to the standard field equations by arguments that proceed in a completely analogous way as before .    in the standard formulation of electrodynamics , the action is a functional @xmath318 $ ] of a one - form potential @xmath141 , but the classical physical field is @xmath319 . our minimal coupling principle to obtain an action on finsler spacetimes can not be applied immediately to this situation : the problem is that the lagrange multiplier then only kills the vertical components of the lift of @xmath141 , but does not guarantee that the lift of @xmath3 is purely horizontal .
this problem is solved in  @xcite by starting from an equivalent interacting action of the form @xmath320 $ ] which provides the complete set of maxwell equations @xmath319 and @xmath321 by variation .
now the minimal coupling principle entails that both the lifted fields @xmath141 and @xmath3 are purely horizontal and can be interpreted physically .
we are now in the position to study the interplay between the matter actions @xmath322 introduced in  ( [ eq : matact ] ) and the pure finsler gravity action @xmath323 in  ( [ eq : gravact ] ) .
their sum provides a complete description of gravity and classical matter fields on finsler spacetimes : @xmath324 & = & \kappa ^{-1}s_g[l]+s_m[l,\phi,\lambda ] \nonumber\\ & = & \kappa^{-1}\int d^4\hat xd^3u \left[\sqrt{g^fh^f}\ \mathcal{r}\right]_{|\sigma}+ \int d^4\hat xd^3u\ \big[\sqrt{g^fh^f}\ ( \mathcal{l}(g,\phi , \mathrm{d}\phi)+\lambda(1-p^h)\phi)\big]_{|\sigma}\,.\end{aligned}\ ] ] as usual , the matter field equations following from this are the same as for the pure matter action .
the gravitational field equations are obtained by variation with respect to the fundamental geometry function  @xmath26 .
the variation of @xmath322 with respect to  @xmath26 is @xmath325 and leads us to the definition of the energy momentum scalar @xmath326 on the unit tangent bundle as @xmath327 with this definition the complete gravitational field equations on finsler spacetime including energy - momentum sources formally become @xmath328_{|\sigma}=-\kappa t_{|\sigma}\,.\ ] ] as in the vacuum case with @xmath329 , these equations can be lifted to @xmath7 .
the terms in the bracket on the left hand side are all zero - homogeneous and can be lifted trivially .
the terms in @xmath330 without the restriction on the right hand side in principle can result from variation with different homogeneities ; to lift these one simply multiplies each term by the appropriate power of @xmath3 in order to make it zero homogeneous .
this is the same procedure applied in section  [ sec : gravvac ] to the gravity side .
the gravitational constant @xmath331 will now be determined so that the gravitational field equation on finsler spacetimes becomes equivalent to the einstein equations in the metric limit .
variation with respect to @xmath26 of the concrete form of the matter action in  ( [ eq : compact ] ) and performing the metric limit , i.e. , @xmath332 for observers and @xmath333 , the gravity equation  ( [ eq : fgrav ] ) becomes @xmath334 the detailed calculation of this result is involved and can be found in appendix  [ app : varmat ] . introducing the standard energy momentum tensor of @xmath281-form fields on lorentzian metric spacetimes @xmath335 and its trace @xmath336 we can rewrite the equation above as @xmath337 if evaluated at @xmath5-timelike observer four - velocities @xmath278 .
now we take a second derivative with respect to @xmath278 , contract with @xmath338 , reinsert the result , and conclude @xmath339 since there is no @xmath278-dependence beyond the explicit one , a second derivative with respect to @xmath278 yields the einstein equations , if we choose the gravitational constant @xmath340 .
the gravity equation on finsler spacetime including the coupling to matter therefore is @xmath341 with zero homogeneous source function @xmath330 on @xmath7 .
observe that this field equation including the matter part is invariant under @xmath271 by construction of the coupling principle , as the vacuum equation is .
this leads to the interesting conclusion that every solution @xmath279 of the einstein equations induces a family @xmath342 of solutions of the finsler gravity solution with @xmath343 .    in order to find further solutions of this highly complicated partial differential equation we will study symmetries of finsler spacetimes in the next section .
then we present a solution of the linearised finsler gravity equation in section  [ sec : corr ] which turns out to be a geometric refinement of the linearised schwarzschild solution of general relativity .
in the previous section we have deduced the finsler gravity field equation including matter sources and shown that it is consistent with the einstein equations in the metric geometry limit .
our new field equation is a highly complex differential equation ; in order to simplify the task of finding analytic solutions we wish to consider symmetric spacetimes .
we begin this section by defining symmetries of finsler spacetimes and show how this concept is a generalisation of the symmetries of lorentzian spacetimes .
we explicitly present the general structure of the fundamental geometry function @xmath26 for the spherically , cosmologically and maximally symmetric case . in the next section
we will then use our results about symmetric finsler spacetimes to solve the linearised finsler gravity equation .      on a symmetric lorentzian manifold @xmath22 ,
the metric is invariant under certain diffeomorphisms ; similarly we wish to define symmetries of a finsler spacetime @xmath233 as an invariance of the fundamental geometry function  @xmath26 .
consider a diffeomorphism generated by the vector field @xmath344 ; this acts as a coordinate change on local coordinates on @xmath1 as @xmath345 , and on the induced coordinates on the tangent bundle @xmath7 as @xmath346 .
hence the diffeomophism on @xmath1 induces a diffeomorphism on @xmath7 that is generated by the vector field @xmath347 , called the complete lift of @xmath51 .
the idea of implementing symmetries via complete lifts in a finsler geometry setting appears already in  @xcite ; here we want to make this concept precise for finsler spacetimes :    * definition 4 . *
_ a symmetry of a finsler spacetime @xmath233 is a diffeomorphism generated by a vector field @xmath348 over the tangent bundle @xmath7 so that @xmath349 and @xmath348 is the complete lift @xmath350 of a vector field @xmath51 over @xmath1 .
a finsler spacetime is called symmetric if it possesses at least one symmetry .
_    the following theorem summarizes important properties of finsler spacetime symmetries .
the symmetry generators form a lie algebra with the commutator of vector fields on @xmath7 , and they are isomorphic to a lie algebra of vector fields on @xmath1 which becomes the usual symmetry algebra of lorentzian manifolds in the metric geometry limit .
this not only shows that definition  4 of symmetry is consistent with that of lorentzian spacetimes , but also that the usual killing vectors , e.g. , those for spherical symmetry , can be used to study symmetries of finsler spacetimes .
* theorem 4 .
*    _ proof . _ _
( i ) _ let @xmath351 ; then @xmath349 and @xmath352 .
both properties are linear , so that @xmath353 is a vector subspace of the lie algebra of all vector fields on @xmath7 .
it remains to be proven that the commutator of two elements @xmath354 closes in @xmath353 .
it is clear that @xmath355(l)=0 $ ] ; to show that @xmath356)^c=[y_1,y_2]$ ] , one uses that @xmath357 for some vector fields @xmath358 on @xmath1 and that @xmath359=[x_1,x_2]^c$ ] , see  @xcite .    _
( ii ) _ the inverse for @xmath107 on @xmath360 is given by the complete lift , hence @xmath353 and @xmath360 are isomorphic as vector spaces .
the lie algebra structure is preserved in both directions because of @xmath359=[x_1,x_2]^c$ ] , and hence also @xmath361=[\pi_*y_1,\pi_*y_2]$ ] .    _
( iii ) _ for @xmath362 , we have @xmath363 . in the metric geometry limit @xmath23 , and hence @xmath364 . since the lie - derivative of the metric @xmath5 does not depend on the fibre coordinates of the tangent bundle we conclude @xmath365 .
this is the condition that defines @xmath51 as the symmetry generator of a metric spacetime .
we now wish to study the implications of spherical , cosmological and maximal symmetry for the fundamental function @xmath26 of a finsler spacetime .
consider a finsler spacetime @xmath233 and coordinates @xmath366 on its tangent bundle .
spherical symmetry is defined by the following three vector fields , that generate spatial rotations and form the algebra @xmath367 , @xmath368 their complete lifts are obtained via the procedure described in the previous section    [ eq : ssymc ] @xmath369    applying the symmetry condition @xmath370 implies @xmath371 , while using @xmath372 and @xmath373 to deduce @xmath374 and @xmath375 yields @xmath376 in order to analyze the implications of these equations on @xmath26 we introduce new coordinates @xmath377 while keeping @xmath378
. the associated transformation of the derivatives    @xmath379    makes the equations ( [ eq : spherical ] ) equivalent to the simple constraints @xmath380 and @xmath381 .
hence we conclude from the analysis of the symmetry conditions @xmath382 that the most general spherically symmetric finsler spacetime is described by a fundamental function which is @xmath256-homogeneous in @xmath383 and of the form @xmath384 where @xmath385 is defined in  ( [ eq : c1 ] ) .
after our discussion of the spherically symmetric case in full detail above , we will now present the results of a similar analysis first for cosmologically and second for maximally symmetric finsler spacetimes .
cosmological symmetry describes an isotropic and homogeneous spacetime .
this is a much more symmetric situation than in the spherically symmetric scenario , and is implemented by requiring the following six vector fields to be symmetry generators , see  @xcite ,    [ eq : csym ] @xmath386    where we write @xmath387 and @xmath388 is constant .
the complete lifts of these vector fields are listed in appendix  [ app : compl ] . applying the symmetry conditions @xmath389 to the fundamental function @xmath26 and introducing
the new coordinates    @xmath390    while keeping @xmath391 yields the following result : the cosmological fundamental function @xmath26 is @xmath256-homogeneous in @xmath392 and has the form @xmath393 the constant @xmath388 only appears in the expression for the coordinate @xmath394 .
the value of @xmath394 can be understood as the metric length measure on a three - dimensional manifold of constant curvature  @xmath388 .
the same metric appears in the spatial part of the standard robertson
walker metric .    for the study of maximally
symmetric finsler spacetimes we use some notation from  @xcite , where such spacetimes are constructed from embeddings into a five - dimensional manifold .
symmetry vectors generating maximal symmetry are given by @xmath395 with @xmath396 , constant @xmath397 , and constant @xmath398 matrices @xmath135 and @xmath399 .
there are four linearly independent vector fields @xmath400 and six @xmath401 by requiring the condition @xmath402 ; their complete lifts are @xmath403 evaluating the symmetry conditions @xmath404 and @xmath405 on the fundamental function , and introducing new coordinates @xmath406 where @xmath407 runs over any three indices in @xmath408 , yields the following result : the maximally symmetric fundamental function @xmath26 is @xmath256-homogeneous in @xmath409 , and of the form @xmath410 the final equality is obtained from euler s theorem for homogeneous functions .
observe that the maximally symmetric fundamental function always describes a metric geometry , see  ( [ eq : c3 ] ) .
hence all maximally symmetric finsler spacetimes are lorentzian spacetimes , and the gravity equation  ( [ eq : complgrav ] ) is equivalent to einstein s equations .
thus we can immediately conclude that the only maximally symmetric , source free vacuum solution of our finsler gravity equation is the minkowski metric induced fundamental function @xmath411 and its powers . in the expression for @xmath409 above this corresponds to @xmath412 and @xmath413 .
maximally symmetric spacetimes with @xmath414 can only be obtained as solutions of the finsler gravity equation by adding a cosmological constant term , similarly as in general relativity .
in this section we will study finsler spacetimes that describe mild deviations from lorentzian geometry .
in this situation , the complicated finsler gravity field equation allows a simplified treatment . after a general discussion of the linearised field equation
, we will employ what we learned about spacetime symmetries to present a spherically symmetric solution .
this particular model turns out to be a refinement of the linearised schwarzschild solution of general relativity , and we will argue that it should be capable of modelling unexplained effects in the solar system like the fly - by anomaly .
recall that the fundamental functions @xmath415 and @xmath416 define the same geometry , and that this is respected by the finsler gravity field equation .
hence the following class of fundamental functions gives us good control over deviations from lorentzian metric geometry , @xmath417 here , @xmath418 is a @xmath419-homogeneous function that causes the finsler modifications of the lorentzian metric spacetime @xmath22 .
the abbreviation @xmath286 should not be confused with the sasaki - type metric on @xmath7 .
recall the finsler gravity vacuum field equation from  ( [ eq : gravvac ] ) : @xmath420 we will now expand this equation to linear order in the modification @xmath418 , where @xmath421 . in the following calculations we suppress all higher order terms .
we introduce @xmath422 and @xmath423 to expand the finsler function and finsler metric as @xmath424 the coefficients of the nonlinear connection are calculated from equation ( [ eq : nonlin ] ) : @xmath425 here , the @xmath426 are the christoffel symbols of the metric @xmath5 , and in the following @xmath58 acts as the levi  civita connection .
note that the zeroth order term , for @xmath427 , is the metric linear connection . the curvature and the tensor @xmath428 can be expressed with help of the shorthand notation @xmath429 as    @xmath430- \nabla_a ( y^by^ct^a{}_{bc})+ \nabla(y^ct^a{}_{ac})\,,\\ s_a&=&\gamma^{\delta
p}{}_{pa}-\bar\partial_p n^p{}_a \simeq -y^q\bar\partial_at^p{}_{pq}\,.\end{aligned}\ ] ]    the zeroth order term in @xmath265 is determined by the ricci tensor of @xmath5 , while @xmath431 .
collecting all terms in the gravitational field equation ( [ eq : gravvac2 ] ) finally yields @xmath432+\frac{6}{g}y^ay^br_{ab}[g]\\ & + & \big[2 \frac{g}{|g| } l^{ab}r_{ab}[g]+\frac{6g-2l}{g^2}y^ay^br_{ab}[g]+g^{ab}\bar\partial_a\bar\partial_b(-\nabla_a ( y^by^ct^a{}_{bc})+\nabla(y^ct^a{}_{ac}))\nonumber \\ & & \quad- \frac{6}{g } ( -\nabla_a ( y^by^ct^a{}_{bc})+\nabla(y^ct^a{}_{ac}))-2 g^{ab}(\nabla_ay^q\bar\partial_bt^p{}_{pq}+\bar\partial_a\nabla y^q\bar\partial_bt^p{}_{pq})\big]\,.\nonumber\end{aligned}\ ] ] the zeroth order contribution in the first line is equivalent to the einstein vacuum equations , as discussed in section  [ sec : gravvac ] .
the first order terms in square brackets determine the finsler modification of the unperturbed metric background solution .
the details of how to rewrite the different terms of this equation in terms of the perturbation @xmath433 in the fundamental function @xmath26 , see  ( [ eq : lpert ] ) , instead of @xmath434 can be found in appendix  [ app : lin ] .
we will now use our results on symmetries and on the linearisation of vacuum finsler gravity around metric spacetimes to derive a particular model that refines the linearised schwarzschild solution and can be used to study solar system physics .
recall from section  [ sec : sphsym ] that the dependence of the general spherically symmetric fundamental function in tangent bundle coordinates induced by @xmath435 is restricted to @xmath436 where @xmath437 .
we wish to study such a spherically symmetric fundamental function that describes a finsler modification of lorentzian geometry . for simplicity
, we consider a bimetric four - homogeneous finsler spacetime that perturbs the maximally symmetric vacuum solution of finsler gravity which is given by minkowski spacetime .
we assume @xmath438 with @xmath439
. this ansatz has the explicit form @xmath440y^{t^2}+[1+b(r)]y^{r^2}+[1+c(r)]r^2w^2\big).\ ] ]    observe that the function @xmath441 can not be transformed away by defining a new radial coordinate .
although this could remove @xmath441 from the metric in the right hand bracket , such a coordinate change would generate extra terms in the metric appearing in the left hand bracket .
therefore , the existence of the function @xmath441 as a physical degree of freedom is a finsler geometric effect that appears as a consequence of the bimetric spacetime structure assumed here .
we will now solve the linearised finsler gravity equation  ( [ eq : line ] ) for @xmath442 , @xmath443 and @xmath441 with the ansatz  ( [ eq : bisphl ] ) . sorting the equation with respect to powers in @xmath444 and @xmath445
gives rise to three equations that have to be satisfied : @xmath446 the solution of these equations is @xmath447    we will now study the properties of this specific first order finsler spacetime solution and compare it to the linearized schwarzschild spacetime .
we use the linearised expression for the non - linear connection coefficients in  ( [ eq : nlinfirst ] ) to analyze the finsler geodesic equation that is derived by extremizing the proper time integral  ( [ eq : fact ] ) . for a curve with
coordinates @xmath448 this has the form @xmath449 .
as usual in spherical symmetry , setting @xmath450 solves one of the four component equations immediately ; the remaining equations are    @xmath451    from these equations we find two constants of motion @xmath452 these can be used to deduce the orbit equation from the affine normalization condition that @xmath453 along the finsler geodesic ; we employ  ( [ eq : f2 ] ) and write @xmath454 for the sign of @xmath455 to obtain @xmath456    the geodesic equations , the constants of motion and the orbit equation are well suited to compare the bimetric linearised finsler solution with the linearised schwarzschild solution . to see the differences to this solution of einstein gravity
we first note that @xmath457 can be absorbed into a redefinition of @xmath458 , hence can be assumed to be zero .
second we introduce the schwarzschild radius @xmath459 to redefine @xmath460 , @xmath461 and @xmath462 in terms of dimensionless small constants @xmath463 , @xmath464 and @xmath465 .
then the orbit equation becomes @xmath466 in the special case @xmath467 this is precisely the orbit equation in the linearized schwarzschild geometry , see  @xcite ; the same limit also applies to the geodesic equations and the constants of motion .
the finsler geometric refinements of the metric schwarzschild geometry are encoded in the constants @xmath468 and @xmath465 .
these can in principle be fitted to data from solar system experiments .
indeed , there are certain observations that can not be fully explained by the schwarzschild solution  @xcite , for instance , the fly - by anomaly : for several spacecrafts it has been reported that swing - by manoeuvres lead to a small unexplained velocity increase .
this corresponds to a change in the shape of the orbit of the spacecraft .
such a change can in principle be modelled by finsler refinements ; the perturbations @xmath463 , @xmath464 and @xmath465 certainly provide possibilities to alter the wideness of the swing - by orbit as compared to that expected from einstein gravity .
this can be confirmed by simple numerical calculations , see figure  [ fig : flyby ] .
_ numerical fly - by solutions of the geodesic equations for linearized schwarzschild geometry ( dashed line ) and the bimetric finsler refinement ( solid line ) with @xmath469 , @xmath470 and @xmath471 .
the mass is centred at the origin an has schwarzschild radius @xmath472 .
the initial conditions are @xmath473 , @xmath474 , @xmath475 , @xmath476 and @xmath477 for both curves , and @xmath478 is calculated from the respective unit normalization condition @xmath453._,scaledwidth=50.0% ]    we have seen that finsler geometries exist that are extremely close to metric geometries .
our specific example of a spherically symmetric bimetric perturbation around minkowski spacetime could be reinterpreted as a geometry close to the linearized schwarzschild solution of einstein gravity . the more complex causal structure , however , leads to additional constants that modify the geodesic equations and in particular the shape of test particle orbits .
this could be a means to explain the fly - by anomaly in the solar system .
we emphasize that this consequence already at first order perturbation theory gives a glimpse on the potential of finsler gravity .
finsler geometry is fundamentally based on the reparametrization invariant length integral  ( [ eq : fact ] ) . in physics , this integral can be used as a very general clock postulate on the one hand , and on the other as an action for massive point particles which automatically guarantees the very precisely tested weak equivalence principle . in previous work
@xcite we formulated a set of minimal requirements for the application of finsler geometry to the description of spacetime .
this led us to definition  1 of finsler spacetimes @xmath233 which have sufficient structure to provide notions of causality and are mathematically controlled generalizations of lorentzian geometry .    in this article
, we constructed an action for finsler gravity from first principles .
our theory of finsler gravity  ( [ eq : compact ] ) fully includes the description of matter fields which are coupled to finsler spacetime by a lifting principle that generates the appropriate action from the standard lagrangian on lorentzian spacetime .
we derived the gravitational field equation by variation with respect to the fundamental geometry function  @xmath26 , and could show that it consistently becomes equivalent to the einstein field equations in the metric geometry limit .
hence einstein gravity can be seen as special case of our gravity theory based on finsler geometry .
we presented the geometric definition  2 of observers on finsler spacetimes along with a clear interpretation of how they measure physical fields . by theorem  2
we were able to characterize the class of transformations that relates two different observers at the same point of the spacetime manifold ; these transformations have the algebraic structure of a groupoid as proven in theorem  3 .
any observer transformation can be understood as the composition of a usual lorentz transformation and an identification of the two observers four - velocities by a geometrically well - defined parallel transport . for the limiting case of metric geometries ,
this parallel transport trivializes so that the transformation groupoid becomes equivalent to the standard lorentz group . in this sense ,
finsler spacetimes generalize lorentz invariance instead of violating it .    as a further formal development we presented definition  4 of symmetries of finsler spacetimes and theorem  4 that shows some of their basic properties .
we applied this notion to determine the most general fundamental geometry functions consistent with spherical , cosmological , or maximal symmetry .
maximally symmetric finsler spacetimes are in fact maximally symmetric metric spacetimes , and the only maximally symmetric source - free vacuum solution of finsler gravity is minkowski spacetime . as a concrete application of the results of this article we studied a simple spherically symmetric bimetric perturbation around this flat metric vacuum .
we found a first order solution of the finsler gravity equation which is a refinement of the linearized schwarzschild solution of einstein gravity . with a special choice of the parameters in our solution
the resulting geodesics are identical to those of linearized schwarzschild spacetime .
this demonstrates that weak field gravitational experiments may not be sufficient to distinguish finsler spacetimes from lorentzian metric spacetimes .
but we saw that the full set of parameters in our model solution could be capable to resolve the fly - by anomaly in the solar system .
this is very promising , and creates a strong motivation for more intensive studies of our new theory of gravity .
it is natural to ask whether the additional degrees of freedom of finsler spacetime solutions as compared to metric spacetimes may lead to new insights on the dark matter distributions in galaxies or dark energy in the universe .
these could be effects of a fundamentally more complex spacetime geometry instead of being particle physics phenomena
. it will be possible to study these questions once solutions of finsler gravity , especially for spherical symmetry and cosmology , become available .
for cosmology , it will also be necessary to study perfect fluid sources for finsler spacetimes .
we saw in  @xcite that finsler spacetimes can provide a geometric explanation of the opera measurements of superluminal neutrinos  @xcite .
the velocity difference between the neutrinos and the speed of light recognized as the boundary velocity of observers depends not only on the energy and mass of the neutrino , but also on the underlying spacetime geometry .
so also in this context , solutions for spherical symmetry and cosmology are needed in order to understand the size of the effect for the different observed neutrino sources .
further important topics for future research are the coupling of spinor fields , the analysis of field theories on the generalized causal structure of finsler spacetimes and their quantization .
cp and mnrw thank niklas hbel , claudio dappiaggi , andreas degner , klaus fredenhagen , manuel hohmann , matthias lange , falk lindner , gunnar preuss and felix tennie for inspiring discussions .
they acknowledge full financial support from the german research foundation dfg under grant wo 1447/1 - 1 .
this appendix presents technical details for several derivations in the main text . in particular
, we show how to perform the variation of the finsler gravity and matter field actions on the unit tangent bundle ; for completeness we state the complete lifts of the cosmological symmetry generators ; and we display some additional material on the linearized finsler gravity equations .      the finsler gravitational field equation presented in section  [ sec : gravvac ]
can be deduced from our new finsler gravity action as follows .
before we consider the variation of the matter part with respect to the fundamental geometry function @xmath26 in the next section , we here take a look at the pure gravity action  ( [ eq : gravact ] ) : @xmath479=\int d^4\hat xd^3u \left[\sqrt{g^fh^f}\ r^a{}_{ab}y^b\right]_{|\sigma}\,.\ ] ]    the integrand is homogeneous of degree five ; to obtain the first intermediate step  ( [ eq : calcgrav1 ] ) of the variation we use the facts that for @xmath254 homogeneous of degree  @xmath388 holds @xmath480 and that @xmath481 .
the second step  ( [ eq : calcgrav2 ] ) is obtained by using the coordinate transformation formulae  ( [ eq : invvv ] ) and the fact that @xmath482 to calculate @xmath483 which in turn is used to deduce @xmath484r^a{}_{ab}y^b+\delta r^a{}_{ab}\,y^b\big).\ ] ]    the formulae ( [ eq : calcgrav ] ) used in the third step of the variation are basically obtained by means of integration by parts  ( [ eq : intbp ] ) . for a function
@xmath254 that is @xmath388-homogeneous in @xmath278 the following holds @xmath485 choosing @xmath486 which has @xmath487 proves formula  ( [ eq : calcgrav31 ] ) . to show equation  ( [ eq : calcgrav32 ] ) we first write @xmath488 and use @xmath489d}+2y^ps^a{}_{q[b}\gamma^{\delta q}{}_{c]p}\ ] ] to equate @xmath490q}-\frac{1}{2}s_{c}\delta\gamma^{\delta c}{}_{bq}\big)\nonumber\\ & = & -\nabla_a ( y^by^q\delta \gamma^{\delta a}{}_{bq})+y^b\nabla_b(y^q\delta \gamma^{\delta a}{}_{aq})+s_{c}\delta\gamma^{\delta c}{}_{bq}y^by^q\,.\end{aligned}\ ] ] the integration by parts formulae  ( [ eq : intbp ] ) and @xmath491 then yield the desired equation @xmath492 combining these three steps as we did in section  [ sec : gravvac ] finally produces the finsler gravity vacuum field equation  ( [ eq : gravvac ] ) .      in section  [ sec : gravmat ] we presented a coupling principle of matter fields to finsler gravity
. the crucial steps of the derivation of the constraints  ( [ eq : cons ] ) , equations of motion  ( [ eq : eom1 ] ) and  ( [ eq : eom2 ] ) , and of the metric limit of the complete gravity equation  ( [ eq : fgrav ] ) including the matter source terms shall be presented here .
recall the matter action for a @xmath281-form field @xmath297 on finsler spacetime arises from a lift of the standard @xmath281-form action on lorentzian spacetime as @xmath493=\int_\sigma d^4xd^3u\ \big[\sqrt{g^fh^f } \big(\mathcal{l}(g,\phi , \mathrm{d}\phi)+\lambda ( 1-p^h)\phi\big ) \big]_{|\sigma}\,.\ ] ] in order to perform the variation we consider all objects in the horizontal / vertical basis of @xmath17 where @xmath494 is diagonal , see  ( [ eq : sasaki ] ) . in the following the @xmath495 label both horizontal and vertical indices , @xmath496 label vertical indices , and @xmath497 label horizontal indices .
then @xmath498 and the variation of this lagrangian can now be written as follows @xmath499    we can immediately read off the variation with respect to the lagrange multiplier components which produces  ( [ eq : cons ] ) . hence the lagrange multiplier @xmath298 sets to zero all components of @xmath151 with at least one vertical index , so that only purely horizontal components remain on - shell .
the expansion of @xmath500 in components with respect to the horizontal / vertical basis yields @xmath501 } - \frac{p(p+1)}{2}\gamma^q{}_{[nm_1}\phi_{|q|m_2 ... m_p]}\,,\ ] ] where we write @xmath502 , and @xmath503 denote the commutator coefficients of the horizontal / vertical basis .
their only non - vanishing components are given by @xmath504^{\bar a}=r^{\bar a}{}_{bc}$ ] and @xmath505^{\bar
a}=\bar\partial_b n^{\bar a}{}_c$ ] .
one now uses the integration by parts formulae  ( [ eq : intbp ] ) to obtain the variation of the matter action with respect to @xmath151 ; this produces the equations of motion  ( [ eq : eom1 ] ) and  ( [ eq : eom2 ] ) .
finally the source term for the gravity field equation is obtained by variation of the matter action @xmath322 in  ( [ eq : actm ] ) with respect to the fundamental geometry function @xmath26 .
this not only includes the variation  ( [ eq : vari ] ) but also that of the volume element which can be read off from  ( [ eq : volu ] ) .
we will now show that the metric limit of finsler gravity plus matter is consistent ; this can be done on - shell where we may use the lagrange multiplier constraints to set all explicitly appearing @xmath506 to zero .
then the variation of @xmath322 with respect to @xmath26 becomes @xmath507&=&\int_\sigma d^4xd^3u\ \sqrt{g^fh^f}_{|\sigma } \big[\big(g^{fab}\bar\partial_a\bar\partial_b\mathcal{l}+4\mathcal{l}\big)\frac{\delta l}{nl}\nonumber\\ & & \qquad\qquad\qquad\qquad\qquad+\frac{\partial \mathcal{l}}{\partial g_{mn}}\delta g_{mn}+\frac{\partial \mathcal{l}}{\partial ( \mathrm{d}\phi_{nm_1 ...
m_k})}\delta ( \mathrm{d}\phi_{nm_1m_k})\big]_{|\sigma}\nonumber\\ & = & \int_\sigma d^4xd^3u\ \sqrt{g^fh^f}_{|\sigma } \big[\big(g^{fab}\bar\partial_a\bar\partial_b\mathcal{l}+4\mathcal{l}\big)\frac{\delta l}{nl}\\ & & \qquad\qquad\qquad\qquad\qquad+\frac{\partial \mathcal{l}}{\partial g^f_{ab}}\delta g^f_{ab}+\frac{\partial \mathcal{l}}{\partial g^f_{\bar a\bar b}}\delta\big ( \frac{g^f_{\bar a \bar b}}{f^2}\big)+\frac{\partial \mathcal{l}}{\partial ( \mathrm{d}\phi_{ba_1 ... a_k})}\delta ( \delta_{[b}\phi_{a_1 .. a_k]})\big]_{|\sigma}\,.\nonumber\end{aligned}\ ] ]    in order to determine the energy momentum scalar @xmath326 defined in  ( [ eq : ems ] ) on a generic finsler spacetime one has to calculate all terms in the expression above carefully .
however , in the metric geometry limit the last two terms vanish .
indeed , @xmath508 is always composed from terms with vertical indices that must be either of the type @xmath509 or contain components of @xmath151 with at least one vertical index ; the last term is proportional to @xmath510 ; in the metric limit @xmath511 vanishes and the vertical index components of @xmath151 are zero on - shell .
therefore the remaining terms that are relevant in the metric limit are @xmath512 \rightarrow \int_\sigma d^4xd^3u\ \sqrt{g^fh^f}_{|\sigma } \big[\big(g^{fab}\bar\partial_a\bar\partial_b\mathcal{l}+4\mathcal{l}\big)\frac{\delta l}{nl}+\frac{\partial \mathcal{l}}{\partial g^f_{ab}}\delta g^f_{ab}\big]_{|\sigma}\,.\ ] ] the rewriting @xmath513 and subsequent integration by parts yields @xmath514_{|\sigma}\\ & = & \int_\sigma d^4xd^3u\ \sqrt{g^fh^f}_{|\sigma } \big[-\bar\partial_c k^c+\big(-g^{fij}\bar\partial_cg^f_{ij}+4g^f_{ic}y^i\big)k^c\big]_{|\sigma}\frac{\delta l}{nl}\nonumber\,,\end{aligned}\ ] ] with @xmath515 applying the metric limit now means to consider @xmath23 with the consequence that @xmath516 for timelike @xmath278 .
the expression for @xmath517 reduces to @xmath518 and @xmath519 . collecting all terms in the variation of the matter action in the metric geometry limit
finally yields @xmath512 \rightarrow \int_\sigma d^4xd^3u\ \sqrt{g^fh^f}_{|\sigma } \big[4\mathcal{l}-4g_{cd}\frac{\partial \mathcal{l}}{\partial g_{cd}}-24y^cy^d\frac{\partial \mathcal{l}}{\partial g_{cd}}\big]_{|\sigma}\frac{\delta l}{nl}\,,\ ] ] from which we can read off the expression for the source term @xmath326 , @xmath520 the lift of this expression to @xmath7 requires making all terms zero homogeneous by multiplication with the appropriate powers of @xmath521 , which here means multiplication of the third term by @xmath522 .
the result confirms equation  ( [ eq : tsig ] ) that was used to prove the consistency of finsler gravity with einstein gravity in the metric geometry limit .
we deduced the most general fundamental geometry function @xmath26 for finsler spacetimes with cosmological symmetries in section  [ sec : fsym ] .
the derivation requires the complete lifts of the symmetry - generating vector fields  ( [ eq : csym ] ) which we display here explicitly : @xmath523 @xmath524 @xmath525 the complete lifts @xmath526 , @xmath527 and @xmath528 are stated in equations  ( [ eq : ssymc ] ) . in the formulae above we use the abbreviation @xmath387 and primes denote differentiation with respect to the coordinate @xmath529 .      in order to study the finsler gravitational field equation
perturbatively we have considered a class of finsler spacetimes that are mild deviations from metric geometry in section  [ subsec : modlgeom ] . here
we list for completeness how to rewrite the appearing geometric objects in terms of the perturbation @xmath433 instead of the variable @xmath434 used in the main text .
these identities can now be employed to determine the curvature scalar @xmath250 of the cartan non - linear connection which we use as the basic ingredient in our construction of finsler gravity : @xmath531-\frac{g^{1-k}}{2k}g^{ag}\big(\nabla_a\nabla \bar\partial_q h-\nabla_a\nabla_q h-\frac{1}{2}\nabla\nabla \bar\partial_a\bar\partial_q h\big)\\ & & { } -\frac{2(1-k)g^{-k}}{2k}g^{aq}\big(g_{qi}y^i\nabla_a\nabla h-\frac{1}{2}\nabla\nabla\big(g_{qi}y^i\bar\partial_a h+g_{ai}y^i\bar\partial_qh+(g_{aq}-\frac{2k}{g}g_{ai}y^ig_{qj}y^j ) h\big)\big)\nonumber\\ & = & -y^ay^br_{ab}[g(x)]-\frac{g^{1-k}}{2k}g^{ag}\big(\nabla_a\nabla \bar\partial_q h-\nabla_a\nabla_q h-\frac{1}{2}\nabla\nabla \bar\partial_a\bar\partial_q h\big)+\frac{(1-k)(1+k)g^{-k}}{k}\nabla\nabla h\,.\nonumber\end{aligned}\ ] ]            c.  m.  will , living rev .  rel .   *
9 * ( 2005 ) 3 [ gr - qc/0510072 ] .
s.  baessler , b.  r.  heckel , e.  g.  adelberger , j.  h.  gundlach , u.  schmidt and h.  e.  swanson , phys .
* 83 * ( 1999 ) 3585 .
d. bao , s.s .
chern and z. shen , _ an introduction to riemann - finsler geometry _ , springer new york 2000 .
z.  chang and x.  li , phys .
b * 668 * ( 2008 ) 453 [ arxiv:0806.2184 [ gr - qc ] ] .
z.  chang and x.  li , phys .
b * 676 * ( 2009 ) 173 [ arxiv:0901.1023 [ gr - qc ] ] . c.  pfeifer and m.  n.  r.  wohlfarth , arxiv:1109.6005 [ gr - qc ] . c.  lammerzahl , o.  preuss and h.  dittus , gr - qc/0604052 .
j.  c.  baez , a.  e.  hoffnung and c.  d.  walker , arxiv:0812.4864 [ math.qa ] .
x.  li and z.  chang , arxiv:1010.2020 [ gr - qc ] .
k.  yano and s.  ishihara , tangent and cotangent bundles , marcel dekker , new york 1973 .