---
title: Conical Finsler Metric
url: https://www.emergentmind.com/topics/conical-finsler-metric
type: topic
---

# Conical Finsler Metric

Searching arXiv for relevant papers on conical Finsler metrics and adjacent frameworks.
Conical Finsler metrics are Finsler structures whose essential geometry is organized by a cone, either because the metric is defined only on an open conic domain in each tangent space, because it descends from a quotient of a cone by a scaling action, or because its singularities are locally modeled by cone-like spaces. In the research literature, the expression covers several mathematically distinct constructions. One line treats conic Finsler manifolds as Finsler metrics defined on proper open cones in the tangent bundle rather than on all of \(TM\setminus\{0\}\) [1802.02405], [1111.5066]. Another line studies Lorentz-Finsler and pseudo-Finsler structures on cone domains, where the cone encodes causal directions and the metric is defined only on timelike or admissible vectors [1805.06978], [1311.0199]. A different usage appears in quotient geometry, where weighted projective spaces inherit a scale-invariant Finsler structure from an ambient cone modulo weighted radial dilations, yielding what is explicitly described as a “conical Finsler metric” on the quotient [2507.00001]. There are also singular flat and polyhedral settings—piecewise flat Finsler surfaces, \(1/n\)-translation surfaces, and triangular or polyhedral norms—where curvature is concentrated at cone points and the metric is locally Minkowski away from singularities [1608.05896], [2604.02243], [2309.10290]. Finally, the older “Finsleroid” literature uses “conical” in a more shape-theoretic sense for metrics whose indicatrices are constant-curvature, cone-like deformations of Riemannian spheres [1009.1215], [0910.0935].

## 1. Conic domain formulations

A primary modern meaning of conical Finsler metric is domain-theoretic: the metric is defined not on the whole slit tangent bundle, but only on a proper open cone in each tangent space. In this sense, a conic Finsler manifold is a pair \((A,F)\) where \(A\subset TM\) is an open conic subset, meaning that for every \(v\in A\) and every \(\mu>0\), one has \(\mu v\in A\), and \(F\) satisfies the usual Finsler conditions on \(A\) rather than on all of \(TM\setminus\{0\}\) [1802.02405]. The same distinction appears in the systematic treatment of generalized Finsler metrics, where a conic open domain \(A\subset TM\setminus\{0\}\) is required to be fiberwise open and positively homogeneous, and a conic Finsler metric is defined by positive 1-homogeneity together with positive-definite fundamental tensor on \(A\) [1111.5066].

This formulation is motivated by examples in which strong convexity fails or smoothness breaks down outside a preferred cone of directions. The generalized theory shows that many metrics obtained from homogeneous combinations of Finsler metrics and one-forms are genuinely Finsler only on a proper conic subdomain determined by explicit inequalities for the fundamental tensor [1111.5066]. This includes classical \((\alpha,\beta)\)-type metrics such as Kropina and Matsumoto metrics, whose natural domains exclude directions where the defining denominator vanishes or where the Hessian loses positive definiteness [1111.5066].

The conic-domain viewpoint is therefore not an auxiliary technicality but part of the definition. It isolates the maximal region where the Finsler structure is smooth, 1-homogeneous, and strongly convex. This suggests a broad interpretation: a conical Finsler metric is often best understood as a directionally restricted Finsler geometry rather than a global norm on all tangent directions. A plausible implication is that many non-regular examples traditionally treated as singular Finsler metrics are more naturally classified as regular conic Finsler metrics on their true domains.

## 2. Cone structures, pseudo-Finsler geometry, and causality

A second major framework places conical Finsler metrics inside pseudo-Finsler and Lorentz-Finsler geometry. In the pseudo-Finsler setting, one considers a triple \((M,T,F)\) where \(T\subset TM\setminus\{0\}\) is open, each fiber \(T_p\) is a nonempty open cone, \(F(tv)=tF(v)\) for \(t>0\), and the fiberwise Hessian of \(F^2\) is nondegenerate of constant index [1311.0199]. Here “conical” refers directly to the cone-valued domain of admissible directions, often interpreted as timelike cones in Lorentz-Finsler applications [1311.0199].

This cone-based viewpoint is systematized in the theory of smooth strong cone structures \(\mathcal C\subset TM\setminus\{0\}\), where each fiber \(\mathcal C_p\) is a strong cone and the interior \(A_p\) defines timelike directions [1805.06978]. A Lorentz-Finsler metric \(L\) is then defined on a conic domain \(A\), is 2-homogeneous, extends smoothly as \(0\) to the boundary cone, and has Lorentzian fundamental tensor on the interior and boundary [1805.06978]. One of the central results is that cone structures are in bijection with anisotropically conformal classes of Lorentz-Finsler metrics: two such metrics determine the same cone structure if and only if they differ by a positive anisotropic conformal factor [1805.06978].

The cone-triple formalism \((\Omega,T,F)\), with \(\Omega(T)\equiv 1\) and \(F\) a Finsler metric on \(\ker(\Omega)\), gives an explicit way to build these structures. The associated continuous Lorentz-Finsler metric has the form
\[
G(tT_p+w_p)=t^2-F(w_p)^2,
\]
with the light cone determined by \(G=0\) [1805.06978]. Although this initial \(G\) may fail to be smooth along the distinguished timelike direction, the same work proves that every cone structure can be smoothed to a genuine Lorentz-Finsler metric without changing the underlying cone [1805.06978].

This setting also supports a Lie-theoretic symmetry theory. For conical pseudo-Finsler metrics, the differential of an isometry preserves the associated Sasaki-type pseudo-Riemannian metric on the cone domain, and the isometry group is a finite-dimensional Lie group [1311.0199]. That result places conical pseudo-Finsler geometry on a structural footing parallel to pseudo-Riemannian geometry.

## 3. Quotients of cones and weighted projective constructions

A more specific and geometrically concrete notion of conical Finsler metric arises on weighted projective spaces. Weighted projective space \(P_{\mathbf q}\) is defined as the quotient of \(F^{n+1}\setminus\{0\}\) by the weighted scaling action
\[
(z_0,\dots,z_n)\sim (\lambda^{q_0}z_0,\dots,\lambda^{q_n}z_n),
\]
with \(\mathbf q=(q_0,\dots,q_n)\) [2507.00001]. In the complex case, the quotient is typically an orbifold, with quotient singularities and local cone behavior near points with nontrivial stabilizer [2507.00001].

The construction in “Finsler Metric Clustering in Weighted Projective Spaces” is explicitly presented as a concrete example of what one might call a conical Finsler metric [2507.00001]. The ambient weighted norm
\[
\|z\|_{\mathbf q}=\left(\sum_{k=0}^n q_k|z_k|^2\right)^{1/2}
\]
is used to normalize the radial scaling, and a Finsler norm \(F([z],v)\) is defined on the quotient so that it is 1-homogeneous in \(v\), invariant under the weighted scaling of \(z\), and non-degenerate on the quotient tangent space [2507.00001]. The induced path metric
\[
d_F([z],[w])=\inf_\gamma \int_0^1 F(\gamma(t),\dot\gamma(t))\,dt
\]
is then a genuine metric on \(P_{\mathbf q}\) [2507.00001].

The paper emphasizes several conical features of this geometry: the underlying space is a quotient of the cone \(\mathbb C^{n+1}\setminus\{0\}\), the Finsler norm is scale-invariant in the base point, representatives are normalized by cutting the cone with a weighted unit sphere, and orbifold points correspond to cone-angle singularities [2507.00001]. This is arguably the most literal realization of a conical Finsler metric in the current literature: a Finsler structure descended from an ambient cone by homogeneous scaling.

A rational analogue \(d_{F,\mathbb Q}\) is also defined on rational points of weighted projective space using weighted gcd normalization, preserving the same quotient logic over \(\mathbb Q\) [2507.00001]. This suggests that the conical paradigm extends not only across complex-analytic and differential-geometric settings but also into arithmetic geometry.

## 4. Singular cones, polyhedral models, and flat conical backgrounds

Another major family of conical Finsler metrics appears in singular flat settings, where the base space itself has cone points. A piecewise flat Finsler surface is a triangulated surface whose triangles are Minkowski triangles, glued compatibly along edges [1608.05896]. Each triangle is flat in the Minkowski sense; all curvature and non-smoothness are concentrated at vertices. At a vertex \(x\), the tangent cone \(T_xM\) is the union of Minkowski cones \(C_{x,i}\) glued along rays, giving a direct Finsler analogue of a Euclidean cone [1608.05896].

In this framework, geodesics are straight in each triangle and satisfy the edge-crossing equation
\[
(\dot c(0)^-,v)_{\dot c(0)^-}=(\dot c(0)^+,v)_{\dot c(0)^+},
\]
a Snell-type law across edges [1608.05896]. At vertices, geodesic extendability is controlled by a directional curvature \(K(x,v^\pm)\), defined using angular measures on the indicatrix [1608.05896]. The sign of this curvature determines whether a geodesic can pass through the cone apex, whether the extension is unique, or whether no extension exists [1608.05896]. In Landsberg type piecewise flat surfaces, the directional dependence disappears and vertex curvature becomes isotropic, yielding a combinatorial Gauss–Bonnet formula
\[
\sum_{x\in M} K(x)=\Omega_M\,\chi(M)
\]
for compact surfaces without boundary [1608.05896].

A closely related but smoother flat-cone setting appears in \(1/n\)-translation surfaces. These are surfaces modeled on \((\mathbb R^2\rtimes \mathbb Z/n\mathbb Z,\mathbb R^2)\)-structures with cone points of angles \(\frac{2k\pi}{n}\) and Euclidean geometry away from the singular set [2604.02243]. Compatible Finsler metrics are defined by pulling back a \(\mathbb Z/n\mathbb Z\)-invariant norm on \(\mathbb R^2\) to the regular tangent bundle [2604.02243]. A central result is that CAT(0) geodesics of the underlying flat cone metric are also geodesics for every compatible Finsler metric, and they minimize Finsler length in each homotopy class [2604.02243]. In this setting, the conical background fixes the geodesic geometry, while the Finsler norm changes only the length functional.

The same work constructs Liouville currents for these compatible Finsler metrics by decomposing them into multi-foliation currents associated with \(\theta\)-metrics, i.e. norms built from \(\mathbb Z/n\mathbb Z\)-invariant webs of directions [2604.02243]. This indicates that conical flat structures can support a linearized current-theoretic description parallel to the classical theory of measured foliations and geodesic currents.

Polyhedral norms also occur in convex projective geometry. For cubic differentials on surfaces, a triangular asymmetric Finsler metric
\[
F^\Delta_\mu(v)=\max_{\alpha^3=\mu_x}2\operatorname{Re}(\alpha(v))
\]
has triangular unit balls and is explicitly described as polyhedral and conical/piecewise linear in tangent directions [2309.10290]. In degenerations of convex projective structures, the Danciger–Stecker domain-shape metric converges to this triangular Finsler metric as the cubic differential becomes large [2309.10290]. Here the “conical” character is not from a tangent-domain restriction but from the polyhedral, sectorial structure of the norm.

## 5. Finsleroid and constant-curvature indicatrix models

A historically influential but terminologically distinct use of “conical” concerns indicatrix geometry rather than domain restriction. In Asanov’s work, a Finsleroid is a Finsler space whose indicatrix is a constant-curvature hypersurface [0910.0935]. The later paper “Finsler connection preserving angle in dimensions \(N\ge 3\)” formulates this class via conformal automorphisms between a Finsler space \(F^N=(M,F)\) and a Riemannian space \(R^N=(M,S)\) [1009.1215]. If the automorphism is positively homogeneous of degree \(H\), then the indicatrix has constant curvature
\[
C_{\mathrm{Ind}(x)}=H^2,
\]
and the Riemannian and Finsler norms are related by
\[
S(x,y)=F(x,y)^H
\]
[1009.1215].

The paper explicitly characterizes these geometries as “cone-like” deformations of the Riemannian sphere, especially when \(H\neq 1\), and treats them as Finsleroid or conical metrics [1009.1215]. The Finslerian two-vector angle is a scaled Riemannian angle,
\[
\alpha(x;y_1,y_2)=\frac{1}{H(x)}\arccos\left(\frac{a_{mn}(x)t_1^m t_2^n}{S_1S_2}\right),
\]
and this permits the construction of an explicit angle-preserving, metrical, nonlinear Finsler connection [1009.1215]. Under indicatrix homogeneity, the connection is the “export” of the Levi-Civita connection of the Riemannian metric through the conformal automorphism [1009.1215].

The \(\mathcal{FS}\)-space and Finsleroid-type metrics provide explicit examples with an axial 1-form \(b\), a charge parameter \(g\), and constant-curvature indicatrix determined by
\[
h=H=\sqrt{1-\frac{g^2}{4}}
\]
[1009.1215]. This line of work treats “conical” as referring to a special cone-like profile of the unit ball or indicatrix rather than to a cone domain in the tangent bundle. A plausible implication is that the phrase “conical Finsler metric” has historically been used in two different senses—domain-theoretic and indicatrix-shape-theoretic—and both usages remain active in current literature.

## 6. Homogeneity, rigidity, and specialized applications

Conical Finsler metrics also appear in homogeneous and symmetry-constrained settings. On the 2-dimensional non-Abelian Lie group \(G\), left invariant conic Finsler metrics are determined by conic Minkowski norms on the Lie algebra and written in polar form \(F(y)=r\sqrt{f(t)}\) on an angular cone near a preferred direction [2212.06549]. Within this class, left invariant conic Landsberg metrics with nowhere vanishing spray are classified, as are those of constant curvature and those of Berwald type [2212.06549]. A central result is that every left invariant conic Landsberg metric on this \(G\) is Berwald [2212.06549]. The same paper proposes a homogeneous conic Landsberg conjecture and proves the 2-dimensional case: every homogeneous conic Landsberg surface is Berwald [2212.06549].

The relation between conic metrics and structural rigidity also appears in the study of semi-concurrent vector fields. There, a conic Finsler manifold is again defined as a Finsler structure on an open conic subset \(A\subset TM\), and explicit non-Riemannian examples admitting semi-concurrent vector fields are constructed only in the conic category, not in the regular global one [1802.02405]. The paper formulates the conjecture that there is no regular non-Riemannian Finsler metric admitting a semi-concurrent vector field, so that any such metric is either Riemannian or conic Finslerian [1802.02405]. This positions conic Finsler geometry as the natural habitat for certain algebraically constrained non-Riemannian examples.

The metrical approach to Finsler geometry also suggests a way to formalize conical Finsler metrics through metric–connection compatibility on an open conic subset \(A\subset TM\setminus\{0\}\) [2107.09227]. Although that work is written on the slit tangent bundle, it explicitly notes that its constructions are local and compatible with conic restrictions, so that Barthel, Chern, and Cartan connections can be defined on conic domains under the same compatibility axioms [2107.09227]. This suggests that much of standard Finsler connection theory extends verbatim to the conic setting once the domain is treated correctly.

## 6. Conceptual synthesis and terminological cautions

The literature supports at least four precise meanings of conical Finsler metric.

First, there is the strict conic-domain meaning: a Finsler metric defined on an open conic subset \(A\subset TM\setminus\{0\}\), usually because smoothness or strong convexity fails outside \(A\) [1111.5066], [1802.02405], [2212.06549]. This is now standard in generalized Finsler and Lorentz-Finsler geometry.

Second, there is the cone-structure meaning: a Lorentz-Finsler or pseudo-Finsler metric on a cone domain whose boundary encodes causal or admissible directions, with geometry organized by a smooth family of strong cones \(\mathcal C_p\subset T_pM\) [1805.06978], [1311.0199]. This is the dominant meaning in spacetime applications.

Third, there is the quotient-of-a-cone meaning: a Finsler metric induced on a quotient space obtained by collapsing a radial scaling direction in an ambient cone, as in weighted projective spaces [2507.00001]. This meaning is especially geometric and global.

Fourth, there is the indicatrix-shape meaning, where “conical” refers to a cone-like deformation of the unit sphere or a Finsleroid indicatrix of constant curvature [1009.1215], [0910.0935]. This usage is older and conceptually different from the domain-based one.

A common misconception is that all conical Finsler metrics are singular or merely incomplete versions of ordinary Finsler metrics. The literature does not support that simplification. In many cases, the conic domain is the natural domain of regularity, and the metric is perfectly smooth and strongly convex there [1111.5066], [1805.06978]. Another misconception is that “conical” always refers to cone singularities in the base space. Piecewise flat Finsler surfaces and \(1/n\)-translation surfaces do fit that picture [1608.05896], [2604.02243], but conic-domain metrics on smooth manifolds do not require singular base geometry.

Taken together, these strands suggest that “conical Finsler metric” is best treated as a family resemblance term rather than a single canonical definition. The unifying motif is positive homogeneity organized by a cone: a cone of admissible tangent directions, a cone quotient in the base geometry, a cone singularity in the local model, or a cone-like indicatrix in each tangent space. The precise meaning in any given context is determined by which of these structures is primary.

Source: https://www.emergentmind.com/topics/conical-finsler-metric