arXiv research

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

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…

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

New surface class defined using osculating circles.

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…

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…

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

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…

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.

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.

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.

We describe extrinsic hyperspheres and totally geodesic hypersurfaces in manifolds with special holonomy. In particular we prove the nonexistence of extrinsic hyperspheres in quaternion-Kaehler manifolds. We develop a new approach to extrinsic hyperspheres based on the classification of special Killing forms.

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…

In this paper we study $\widetilde{J}$-tangent affine hyperspheres, where $\widetilde{J}$ is the canonical para-complex structure on $\mathbb{R}^{2n+2}$. The main purpose of this paper is to give a classification of $\widetilde{J}$-tangent affine hyperspheres of an arbitrary dimension with an involutive distribution $\…

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…

Constructs hyperspheres with prescribed mean curvature in Euclidean space.

In this paper, we explicitly construct the Calabi composition of multiple affine hyperspheres possibly including some points viewing as 0-dimensional hypersheres. Then we compute all the basic affine invariants of the composed affine hyperspheres, proving that the composed affine hypersphere is symmetric one if and onl…

The study characterizes kernel spaces on hyperspheres, impacting cubature algorithms.

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 …

Study on hyperspheres in 4-spaces as special Riemannian manifolds.

In this paper, we study locally strongly convex affine hyperspheres in the unimodular affine space $\mathbb{R}^{n+1}$ which, as Riemannian manifolds, are locally isometric to the Riemannian product of two Riemannian manifolds both possessing constant sectional curvatures. As the main result, a complete classification o…

Small hypersphere is unstable in both 4-harmonic and ES-4-harmonic settings.

A holomorphic representation formula for special parabolic hyperspheres is given.

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…

Upper estimate of Dirac eigenvalue linked to hyperspherical radius.

This paper introduces hyperspherical prototype networks, which unify classification and regression with prototypes on hyperspherical output spaces. For classification, a common approach is to define prototypes as the mean output vector over training examples per class. Here, we propose to use hyperspheres as output spa…

The Variational Auto-Encoder (VAE) is one of the most used unsupervised machine learning models. But although the default choice of a Gaussian distribution for both the prior and posterior represents a mathematically convenient distribution often leading to competitive results, we show that this parameterization fails …

Convolution as inner product has been the founding basis of convolutional neural networks (CNNs) and the key to end-to-end visual representation learning. Benefiting from deeper architectures, recent CNNs have demonstrated increasingly strong representation abilities. Despite such improvement, the increased depth and l…

Many contemporary statistical learning methods assume a Euclidean feature space. This paper presents a method for defining similarity based on hyperspherical geometry and shows that it often improves the performance of support vector machine compared to other competing similarity measures. Specifically, the idea of usi…

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…

Paper optimizes hyperspherical prototypes for better class separation.

We show how in many cases the algebraic number of immersed hyperspheres of constant (and prescribed) curvature may be related to the Euler Characteristic of the ambient space.

This work optimizes alignment and uniformity of features on a hypersphere for better downstream performance.

Researchers prove constant mean curvature graphs in hyperbolic 3-space for specific domains.

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…

We discuss two kinds of almost contact metric structures on a one-parameter family of totally umbilical hyperspheres in the nearly Kaehler unit 6-sphere.

We show that the natural S^1-bundle over a projective special Kaehler manifold carries the geometry of a proper affine hypersphere endowed with a Sasakian structure. The construction generalizes the geometry of the Hopf-fibration $\Sr^{2n+1} \longrightarrow \CP^n$ in the context of projective special Kaehler manifolds.…

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…