A comprehensive analysis of the Snellius-Pothenot problem

2026-03-06T16:38:56Z

It is known that a point in three-dimensional Euclidean space whose coordinates are equal to the cosines of the angles $\angle BDC, \angle ADC, \angle ADB$, where the point $D$ lies in the plane of a given triangle $ABC$, lies on the surface $\mathbb{BP}\subset [-1,1]^3$, given by the equation $1+2x_1x_2x_3-x_1^2-x_2^2-x_3^2 = 0$. It should be emphasized that the set of corresponding points essentially depends on the shape of triangle $ABC$. In this paper, we solve the following problem: For a fixed triangle $ABC$, for each point $U \in \mathbb{BP}$, determine the number of points $D$ from the plane of the triangle with the condition $U=(\cos \angle BDC, \cos \angle ADC, \cos \angle ADB)$. The problem of determining such points $D$ is known as the Snellius-Pothenot problem.

On the Rigid-Ruling Folding of Curved Creases: Conjugate-Net Preserving Isometric Deformations of Semi-Discrete Globally Developable Conjugate-Nets

2026-03-06T15:56:04Z

In this paper, we investigate rigid-ruling folding motions of crease-rule patterns, that is, conjugacy-preserving isometries of developable semi-discrete conjugate nets. We derive two conditions for the rigid-ruling foldability of pairs of curves and consider two applications. First, we introduce computations that enable the sequential construction of rigid-ruling foldable crease-rule patterns. Second, we examine combinations of planar and constant fold-angle creases. In particular, we show that constant fold-angle creases are only compatible with other constant fold-angle creases, and we provide a characterization of rigid-ruling foldable combinations of planar and constant fold-angle creases.

Decay of correlations on Abelian covers of isometric extensions of volume-preserving Anosov flows

2026-03-06T15:30:19Z

We establish an asymptotic expansion in inverse powers of time of the correlation function of isometric extensions of volume-preserving Anosov flows on Abelian covers of closed manifolds.

Compact Kähler manifolds with partially semi-positive curvature

2026-03-06T13:30:13Z

In this paper, we study MRC fibrations of compact Kähler manifolds with partially semi-positive curvature. We first prove that a compact Kähler manifold is rationally connected if its tangent bundle is BC-$p$ positive for all $1\leq p\leq \dim X$. As applications, we confirm a conjecture that any compact Kähler manifold with positive orthogonal Ricci curvature must be rationally connected, and generalize a result of Heier-Wong and Yang to the conformally Kähler case. The second result concern structure theorems for two immediate curvature conditions. We prove that, a compact Kähler manifold with $k$-semi-positive Ricci curvature or semi-positive $k$-scalar curvature, either the rational dimension $\geq n-k+1$ or it admits a locally constant fibration $f: X\rightarrow Y$ such that the fibre is rationally connected and the image $Y$ is Ricci-flat.

Barycenter technique for the higher order $Q$-curvature equation

2026-03-06T13:09:22Z

Let $k\ge1$ be an integer, and $(M,g)$ be a smooth, closed Riemannian manifold of dimension $2k+1\le n\le 2k+3$, or $(M,g)$ be locally conformally flat of dimension $n\ge 2k+1$. Applying the Bahri-Coron barycenter method, we show the existence of a conformal metric with constant $Q$-curvature of order $2k$, or equivalently, the existence of a positive solution for the $2k$-th order $Q$-curvature equation involving the GJMS operator $P_{g}$. We only assume a natural positivity preserving condition on $P_{g}$ and do not suppose any condition on the sign of the {\emph{mass}} of $P_{g}$. In particular, we obtain existence without using a positive mass theorem.

Gibbs polystability of Fano manifolds, stability thresholds and symmetry breaking

2026-03-06T12:50:31Z

We extend the probabilistic approach for constructing Kahler-Einstein metrics on log Fano manifolds X - involving random point processes - to the case of non-discrete automorphism groups, by breaking the symmetry using a moment map constraint. In particular, an algebraic notion of Gibbs polystability is introduced, ensuring that the corresponding point processes on X are well-defined. We conjecture that the Gibbs polystability of X is equivalent to the existence of a Kahler-Einstein metric and that the unique such metric with vanishing moment emerges when sampling a large number of N points on X. The definition of Gibbs polystability involves a limit of log canonical thresholds on the GIT semistable locus of the N-fold products of X, that we conjecture coincides - as N tends to infinity - with an analytic reduced stability threshold, encoding the coercivity of the K-energy functional modulo automorphisms. These conjectures follow from an overarching conjectural Large Deviation Principle for the large N-limit. We prove several of our conjectures on log Fano curves and derive a strengthened form of the sharp logarithmic Hardy-Littlewood-Sobolev (HLS) inequality on the two-sphere, under a moment constraint. It yields quantitative stability results for the sharp logarithmic HLS inequality with optimal stability constants. Furthermore, we show that any log Fano manifold that is strongly uniformly Gibbs polystable admits a Kahler-Einstein metric. In companion papers we will present applications to Onsager's point vortex model on the two-sphere and the AdS/CFT correspondence.

Homological Filling and Minimal Varifolds in Four-Dimensional Einstein Manifolds

2026-03-06T11:56:24Z

We study the smallest area $A(M,g)$ of a 2-dimensional stationary integral varifold in a closed Einstein 4-manifold $(M^4,g)$ with $Ric_g = λg, |λ|\leq 3, Vol(M,g)\geq v>0, diam(M,g)\leq D, H_1(M;\mathbb{Z})=0.$ Building on the previous work on homological filling functions, we show that for every $(M^4,g)$ in this Einstein class, there is an upper bound $A(M,g)\leq F_{Ein}(v,D),$ where $F_{Ein}$ depends only on $(v,D)$ and on quantitative Sobolev and $\varepsilon$-regularity constants for Einstein metrics.

On the generalized of $p$-biharmonic and bi-$p$-harmonic maps

2026-03-06T10:41:11Z

In this note, we extend the definition of $p$-biharmonic and bi-$p$-harmonic maps between two Riemannian manifolds and explore some of their properties.

Remarks on constructing biharmonic and conformal biharmonic maps to spheres

2026-03-06T08:05:57Z

Biharmonic and conformal-biharmonic maps are two fourth-order generalizations of the well-studied notion of harmonic maps in Riemannian geometry. In this article we consider maps into the Euclidean sphere and investigate a geometric algorithm that aims at rendering a given harmonic map either biharmonic or conformally biharmonic. For biharmonic maps we find that in the case of a closed domain the maximum principle imposes strong restrictions on our approach, whereas there is more flexibility when we have a non-compact domain and we highlight this difference by a number of examples. Concerning conformal-biharmonic maps we show that our algorithm produces explicit critical points for maps between spheres. Moreover, it turns out that we do not get strong restrictions as we obtain for biharmonic maps, such that our algorithm might produce additional conformal-biharmonic maps between spheres beyond the ones found in this article.

Metrical Distortion, Exterior Differential and Gauss's Lemma

2026-03-06T07:26:27Z

Gauss's Lemma is revised by showing that the point set association of the double tangential space with the tangential space of a Riemannian manifold is not the identity. The latter point set association is called a metrical distortion, an isometry that actually induces the geometry. The defnition of the exterior differential, which linearizes a mapping that points on the top of a Riemannian manifold, is worked out concretely by covariant gradient transport, what includes a differential slip in contrast to inner differentials. A differential slip is a scalar gauge theory that considers the reparametrization of different length scales. The metrical distortion is determined by geodesically radial volume preservation, whereas the Riemannian exponential mapping is determined by geodesically radial length preservation. The theory is exemplifed by the exterior geometry of the 2-sphere.

Sobolev mappings of Euclidean space and product structure

2026-03-06T07:22:24Z

We consider bounded open connected sets $Ω_1, Ω_2 \subset \mathbb{R}^n$ and Sobolev maps $f: Ω_1 \times Ω_2 \subset \mathbb{R}^n \times \mathbb{R}^n$, such that for almost every $x \in Ω_1 \times Ω_2$ the weak differential $\nabla f(x)$ is invertible and preserves or swaps the spaces $\mathbb{R}^n \times \{0\}$ and $\{0\} \times \mathbb{R}^n$. We show that if $n \ge 2$ and $f \in W^{1,2}$ then $f$ is split, i.e., $f(x_1, x_2) = (f_1(x_1), f_2(x_2))$ or $f(x_1, x_2) = (f_2(x_2), f_1(x_1))$. We also show that this conclusion fails in general for $n=1$, even if we assume in addition that $f$ is bi-Lipschitz and area preserving. These results complement our previous work https://arxiv.org/abs/2403.20265, where we showed that the conclusion fails for $n \ge 2$ if the Sobolev space $W^{1,2}$ is replaced by $W^{1,p}$ for any $p < 2$. We also discuss results for approximately split maps, i.e. for sequences of maps $f_k$ such that $\nabla f_k$ approaches the set of linear invertible split maps in suitable $L^p$ spaces. This work is partly motivated by the question whether Sobolev maps defined on products of Carnot groups are split.

A Note on Hodge theoretic anabelian geometry

2026-03-06T07:04:52Z

Grothendieck's anabelian conjectures predict that certain classes of varieties over number fields are largely determined by their {é}tale fundamental groups. A theorem of Mochizuki shows that for hyperbolic curves over number fields or $p$-adic fields, dominant morphisms bijectively correspond to open homomorphisms between their {é}tale fundamental groups. Motivated by non-abelian Hodge theory, we formulate a Hodge-theoretic version of the anabelian conjecture in which the Galois action is replaced by the natural $\mathbb{C}^\times$-action on the pro-algebraic completion of the fundamental group arising from non-abelian Hodge theory. In particular, we prove a Hodge-theoretic analog of Mochizuki's theorem for smooth projective hyperbolic curves over $\mathbb{C}$. We also obtain a higher-dimensional analogue for complex hyperbolic manifolds of ball quotient type and discuss possible extensions to non-$K(π,1)$ spaces replacing fundamental groups by homotopy types.

$L^p$-Sobolev inequalities on minimal submanifolds

2026-03-06T05:42:47Z

The paper is devoted to proving Allard-Michael-Simon-type $L^p$-Sobolev inequalities $(p>1)$ with explicit constants in the setting of Euclidean minimal submanifolds of arbitrary codimension. Our results require separate discussions for the cases $p\geq 2$ and $1

Twists, Codazzi Tensors, and the $6$-sphere

2026-03-06T00:50:15Z

Let $(M,g,J,ω)$ be an almost Hermitian manifold. Given an automorphism $ψ\in \mathrm{Aut}(TM)$, the existing structure can be twisted to obtain a new almost Hermitian manifold $(M,g^ψ,J^ψ,ω^ψ)$. In the current paper, we study these $ψ$-twisted almost Hermitian structures with particular emphasis on questions regarding the integrability of $J^ψ$ and the Riemannian geometry of $g^ψ$. By studying the latter, we identity a certain class of $\mathrm{Aut}(TM)$ with nice transformation properties. We call these automorphisms $g$-\textit{Codazzi maps} because of their close relationship with Codazzi tensors. The aforementioned results are ultimately applied to the standard nearly Kähler structure on the $6$-sphere where we prove a nonintegrability result for the class of $g$-Codazzi maps.

Lipschitz Bounds and Uniform Convergence for Sequences of Bounded Rough Riemannian Metrics

2026-03-05T20:42:15Z

Here we study what we call bounded rough Riemannian metrics $(M,g)$, which are positive definite, symmetric tensors on each tangent space, $T_pM$, which are bounded and measurable as functions in coordinates. This is enough structure to study the length space given by taking the infimum of the length of all piecewise smooth curves connecting points $p,q \in M$. The goal is to find the weakest conditions one can place on $g$ which can guarantee Lipschitz or uniform bounds from above and below. For each condition, an example is given showing that the condition cannot be weakened any further which also explores the geometric intuition.