arXiv research

New surface class defined using osculating circles.

Proof of Tait-Kneser theorem and related variations using Lorentzian geometry.

The set of osculating circles of a given curve in $\SS^3$ forms a curve in the set of oriented circles in $\SS^3$. We show that its "${\frac12}$-dimensional measure" with respect to the pseudo-Riemannian structure of the set of circles is proportional to the conformal arc-length of the original curve, which is a confor…

The Tait-Kneser theorem states that the osculating circles of a plane curve with monotonic curvature are pairwise disjoint and nested. We discuss this theorem and a number of its variations.

The classical Tait-Kneser theorem states that the osculating circles of a smooth plane curve, free from curvature extrema, are pairwise disjoint. We prove a number of analogs of this theorem, e.g., for ovals of osculating cubics, osculating polynomials and trigonometric polynomials; in each case, we will obtain a non-d…

CMC-1 surfaces linked via Möbius transformations between circle patterns.

A space curve is determined by conformal arc-length, conformal curvature, and conformal torsion, up to Möbius transformations. We use the spaces of osculating circles and spheres to give a conformally defined moving frame of a curve in the Minkowski space, which can naturally produce the conformal invariants and the no…

Invariants count singularities and vertices of plane curves.

In this study, we define a new type of direction curves in the Euclidean 3-space such as osculating-direction curve. We give the characterizations for these curves. Moreover, we obtain the relationships between osculating direction curves and some special curves such as helix, slant helix or rectifying curves.

Study projective connections on surfaces using osculating spaces.

We view conformal surfaces in the 4--sphere as quaternionic holomorphic curves in quaternionic projective space. By constructing enveloping and osculating curves, we obtain new holomorphic curves in quaternionic projective space and thus new conformal surfaces. Applying these constructions to Willmore surfaces, we show…

We consider smooth plane curves which are convex with respect to the origin. We describe centro-affine invariants (that is, GL_+(2,R)-invariants), such as centro-affine curvature and arc length, in terms of the canonical Lorentz structure on the three dimensional space of all the ellipses centered at zero, by means of …

In an article of 1967 W. Edge gave a description of some beautiful geometric properties of the Kummer surface complete intersection of three quadrics in $\mathbb P^5$. Working on it, R. Dye proved that all its osculating spaces have dimension less than the expected 5. Here we discuss these results, also at the light of…

In this article we present a study of the subspaces of the manifold OscM, the total space of the osculator bundle of a real manifold M. We obtain the induced connections of the canonical metrical N-linear connection determined by the homogeneous prolongation of a Finsler metric to the manifold OscM. We present the rela…

Osculating spaces of decomposable scrolls (of any genus and not necessarily normal)are studied and their inflectional loci are related to those of their generating curves by using systematically an idea introduced by Piene and Sacchiero in the setting of rational normal scrolls. In this broader setting the extra compon…

The focal locus $Σ_X$ of an affine variety $X$ is roughly speaking the (projective) closure of the set of points $O$ for which there is a smooth point $x \in X$ and a circle with centre $O$ passing through $x$ which osculates $X$ in $x$. Algebraic geometry interprets the focal locus as the branching locus of the endpoi…

Using the reviewed Riemann-Liouville fractional derivative we introduce the fractional osculator Lagrange space of k order and the main structures on it. The results are applied at the k order fractional prolongation of Lagrange, Finsler and Riemann fractional structures.

We study the Jacobi osculating rank of geodesics on naturally reductive homogeneous manifolds and we apply this theory to the 3-dimensional case. Here, each non-symmetric, simply connected naturally reductive 3-manifold can be given as a principal bundle over a surface of constant curvature, such that the curvature of …

Study of rigid body displacements in a projective space over dual numbers with geometric interpretations.

In this paper, using the method of moving frames, we generalise some of Terracini's results on varieties with tangent defect. In particular, we characterise varieties with higher order osculating defect in terms of Jacobians of higher fundamental forms and moreover we characterise varieties with "small" higher fundamen…

This paper proves the manifold hypothesis for lower embedding dimensions using osculating hyperspheres.

This article is devoted to the study of cyclides osculating general surfaces. We show that generically, at any point of a surface, one has a one-parameter family of cyclides tangent to a surface curve of order three and among them just one is tangent to this curve of order four. This one will be called the osculating c…

We introduce a method to produce bounds for the non secant defectivity of an arbitrary irreducible projective variety, once we know how its osculating spaces behave in families and when the linear projections from them are generically finite. Then we analyze the relative dimension of osculating projections of Grassmann…

The paper glosses different forms of an introducing of higher order tangent-like functors, especially functors derived from higher order nonholonomic tangent functors. A special attention is devoted to higher order osculating bundles: their identification with higher order tangent bundles is demonstrated as the main re…

In this paper, we analyze the geometric structure of an Euclidean submanifold whose osculating spaces form a nonconstant family of proper subspaces of the same dimension. We prove that if the rate of change of the osculating spaces is small, then the submanifold must be a (submanifold of a) ruled submanifold of a very …

We explore the geometry that underlies the osculating nilpotent group structures of the Heisenberg calculus. For a smooth manifold $M$ with a distribution $H\subseteq TM$ analysts use explicit (and rather complicated) coordinate formulas to define the nilpotent groups that are central to the calculus. Our aim in this p…

We prove a generalization of the Monge-Cayley-Salmon theorem on osculation and ruled submanifolds using elementary geometric measure theory.

It is the purpose of the present paper to outline an introduction in theory of embeddings in the manifold Osc^{2}M. First, we recall the notion of 2-osculator bundle. The second section is dedicated to the notion of submanifold in the total space of the 2-osculator bundle, the manifold Osc^{2}M. A moving frame is const…

It is the purpose of the present paper to outline an introduction in theory of embeddings in the manifold Osc^{2}M. First, we recall the notion of 2-osculator bundle. The second section is dedicated to the notion of submanifold in the total space of the 2-osculator bundle, the manifold Osc^{2}M. A moving frame is const…

Several classes of irreducible orthogonal representations of compact Lie groups that are of importance in Differential Geometry have the property that the second osculating spaces of all of their nontrivial orbits coincide with the representation space. We say that representations with this property are of class O^2. O…

We give a unified method for the general equivalence problem of extrinsic geometry, on the basis of our formulation of a general extrinsic geometry as that of an osculating map $\varphi\colon (M,\mathfrak f) \to L/L^0 \subset \operatorname{Flag}(V,φ)$ from a filtered manifold $(M,\mathfrak f)$ to a homogeneous space $L…

Invariants count inflections and vertices in singular plane curves.

The paper explores properties of CR hypersurfaces and their flatness.

The orthogonal trajectories of the first tangents of the curve are called the involutes of $x$. The hyperspheres which have higher order contact with a curve $x$ are known osculating hyperspheres of $x$. The centers of osculating hyperspheres form a curve which is called generalized evolute of the given curve $x$ in $n…

This is the appendix of the paper [T. Arias-Marco, Constant Jacobi osculating rank of $U(3)/(U(1) \times U(1) \times U(1))$, Arch. Math. (Brno) 45 (2009), 241--254] where we obtain an interesting relation between the covariant derivatives of the Jacobi operator valid for all geodesic on the flag manifold $M^6=U(3)/(U(1…

New type of ruled surfaces studied with properties and examples.

The paper characterizes curves in pseudo-Galilean 4-space.

We show that, for mechanical system with external forces, the equations of deviations of solution curves of the corresponding Lagrange equations,determine a nonlinear connection on the second order osculator (second order tangent) bundle. In particular, Jacobi equations in Finsler and Riemann spaces determine such a no…

It is well known that Cayley's ruled cubic surface carries a three-parameter family of twisted cubics sharing a common point, with the same tangent and the same osculating plane. We report on various results and open problems with respect to contact of higher order and dual contact of higher order for these curves.

The generic singularities and bifurcations are classified for one-parameter families of curves with frames in a space form, the Euclidean space, the elliptic space or the hyperbolic space via projective geometry. Two kinds of frames are considered, adapted frames and osculating frames, in terms of certain differential …

A new approach to symbol calculus on filtered manifolds using $C^{*}$-algebras.

Let $X^n\subset C^{n+a}$ or $X^n\subset P^{n+a}$ be a patch of an analytic submanifold of an affine or projective space, let $x\in X$ be a general point, and let L^k be a linear space of dimension k osculating to order m at x. If m is large enough, one expects L to be contained in X and thus X contains a linear space o…

We discuss the theorem on the existence of six points on a convex closed plane curve in which the curve has a contact of order six with the osculating conic. (This is the ``projective version'' of the well known four vertices theorem for a curve in the Euclidean plane.) We obtain this classical fact as a corollary of s…

We study discrete conjugate nets whose Laplace sequence is of period four. Corresponding points of opposite nets in this cyclic sequence have equal osculating planes in different net directions, that is, they correspond in an asymptotic transformation. We show that this implies that the connecting lines of correspondin…

The {\em focal curve} of an immersed smooth curve $γ:s\mapsto γ(s)$, in Euclidean space $\R^{m+1}$, consists of the centres of its osculating hyperspheres. The focal curve may be parametrised in terms of the Frenet frame of $γ$ (${\bf t},{\bf n}_1, ...,{\bf n}_m$), as $C_γ(s)=(γ+c_1{\bf n}_1+c_2{\bf n}_2+...+c_m{\bf n}…

We establish that, over certain ground fields, the set of osculating tangents of Cayley's ruled cubic surface gives rise to a (maximal partial) spread which is also a dual (maximal partial) spread. It is precisely the Betten-Walker spreads that allow for this construction. Every infinite Betten-Walker spread is not an …

We introduce the self-linking number of a smooth closed curve in R^n with respect to a 3-dimensional vector bundle over the curve, provided that some regularity conditions are satisfied. When n=3, this construction gives the classical self-linking number of a closed embedded curve with non-vanishing curvature. We also …

A set of equations is developed to describe a curve in space given the curvature $κ$ and the angle of rotation $θ$ of the osculating plane. The set of equations has a solution (in terms of $κ$ and $θ$) that indirectly solves the Frenet-Serret equations, with a unique value of $θ$ for each specified value of $τ$. Explic…