arXiv research

New surface class defined using osculating circles.

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…

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 of rigid body displacements in a projective space over dual numbers with geometric interpretations.

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…

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

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…

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.

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 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 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…

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

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…

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 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…

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…

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 …

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

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

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 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…

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…

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…

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 …

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 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…

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…

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…

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 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.

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 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 …

Lecture notes from the mini-course "Topics in Lorentz Geometry" taught at the University of São Paulo, in March/2019. The text has three parts: (i) an overall view of linear algebra in the pseudo-Euclidean space $\mathbb{R}^n_ν$, with focus on Lorentz-Minkowski space and its role in Physics; (ii) a version of the Funda…

In this work, we give parallel transport frame of a curve and we introduce the relations between the frame and Frenet frame of the curve in 4-dimensional Euclidean space. The relation which is well known in Euclidean 3-space is generalized for the first time in 4-dimensional Euclidean space. Then we obtain the conditio…

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…

Along cuspidal edge singularities on a given surface in Euclidean 3-space, which can be parametrized by a regular space curve, a unit normal vector field $ν$ is well-defined as a smooth vector field of the surface. A cuspidal edge singular point is called generic if the osculating plane of the cuspidal edge (as a regul…

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 paper defines evolutes and involutes for framed curves and their properties.

In this study, we investigate the locus of the centers of the Meusnier spheres. Just as focal curve is the locus of the centers of the osculating spheres, we investigate the geometrical interpretation on the locus of the centers of the Meusnier spheres. We proved that if the curve is a principal line, the locus of the …

In this paper, we consider the discrete deformation of the discrete space curves with constant torsion described by the discrete mKdV or the discrete sine-Gordon equations, and show that it is formulated as the torsion-preserving equidistant deformation on the osculating plane which satisfies the isoperimetric conditio…

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

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…

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…