The main results of this paper involve general algebraic differentials ω on a general pencil of algebraic curves. We show how to determine whether ω is integrable in elementary terms for infinitely many members of the pencil. In particular, this corrects an assertion of James Davenport from 1981 and provides the first proof, even in rather strengthened form. We also indicate analogies with work of Andre and Hrushovski and with the Grothendieck–Katz Conjecture. To reach this goal, we first provide proofs of independent results which extend conclusions of relative Manin–Mumford type allied to the Zilber–Pink conjectures: we characterise torsion points lying on a general curve in a general abelian scheme of arbitrary relative dimension at least 2. In turn, we present yet another application of the latter results to a rather general pencil of Pell equations A^2−DB^2=1 over a polynomial ring. We determine whether the Pell equation (with squarefree D) is solvable for infinitely many members of the pencil.

We study the limit of quasilocal energy defined in [7] and [8] for a family of spacelike 2-surfaces approaching null infinity of an asymptotically flat spacetime. It is shown that Lorentzian symmetry is recovered and an energy-momentum 4-vector is obtained. In particular, the result is consistent with the Bondi–Sachs energy-momentum at a retarded time. The quasilocal mass in [7] and [8] is defined by minimizing quasilocal energy among admissible isometric embeddings and observers. The solvability of the Euler-Lagrange equation for this variational problem is also discussed in both the asymptotically flat and asymptotically null cases. Assuming analyticity, the equation can be solved and the solution is locally minimizing in all orders. In particular, this produces an optimal reference hypersurface in the Minkowski space for the spatial or null exterior region of an asymptotically flat spacetime.

This paper presents a marching method for computing intersection curves between two solids represented by subdivision surfaces of Catmull-Clark or Loop type. It can be used in trimming and boolean operations for subdivision surfaces. The main idea is to apply a marching method with geometric interpretation to trace the intersection curves. We first determine all intersecting regions, then find pairs of initial intersection points, and trace the intersection curves from the initial intersection points. Various examples are given to demonstrate the robustness and efficiency of our algorithm.

This paper addresses the problem of approximate merging of two adjacent B-spline curves into one B-spline curve. The basic idea of the approach is to find the conditions for precise merging of two B-spline curves, and perturb the control points of the curves by constrained optimization subject to satisfying these conditions. To obtain a merged curve without superfluous knots, we present a new knot adjustment algorithm for adjusting the end k knots of a kth order B-spline curve without changing its shape. The more general problem of merging curves to pass through some target points is also discussed.

We carry out the programme of R. Liouville [19] to construct an explicit local obstruction to the existence of a Levi–Civita connection within a given projective structure [..] on a surface. The obstruction is of order 5 in the components of a connection in a projective class. It can be expressed as a point invariant for a second order ODE whose integral curves are the geodesics of [..] or as a weighted scalar projective invariant of the projective class. If the obstruction vanishes we find the sufficient conditions for the existence of a metric in the real analytic case. In the generic case they are expressed by the vanishing of two invariants of order 6 in the connection. In degenerate cases the sufficient obstruction is of order at most 8.