Related papers: Characterization of Closed Vector Fields in Finsle…
The system of a closed vortex filament is an integrable Hamiltonian one, namely, a Hamiltonian system with an infinite sequense of constants of motion in involution. An algebraic framework is given for the aim of describing differential…
We give a description of the $\Cone$-interior ($\Int^1(\OrientSh)$) of the set of smooth vector fields on a smooth closed manifold that have the oriented shadowing property. A special class $\Bb$ of vector fields that are not structurally…
In recent development of double field theory, as for the description of the massless sector of closed strings, the spacetime dimension is formally doubled, i.e. from D to D+D, and the T-duality is realized manifestly as a global O(D,D)…
The Finsleroid-Finsler space is constructed over an underlying Riemannian space by the help of a scalar $g(x)$ and an input 1-form $b$ of unit length. Explicit form of the entailed tensors, as well as the respective spray coefficients, is…
A definable set in a pair (K, k) of algebraically closed fields is co-analyzable relative to the subfield k of the pair if and only if it is almost internal to k. To prove this and some related results for tame pairs of real closed fields…
Given an algebra $A$ over a differential field $K$, we study derivations on $A$ that are compatible with the derivation on $K$. There is a universal object, which is a twisted version of the usual module of differentials, and we establish…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
We give a geometrical characterization of $\lambda$-prolongations of vector fields, and hence of $\lambda$-symmetries of ODEs. This allows an extension to the case of PDEs and systems of PDEs; in this context the central object is a…
Here, a non-linear analysis method is applied rather than classical one to study projective changes of Finsler metrics. More intuitively, a projectively invariant pseudo-distance is introduced and characterized with respect to the Ricci…
We show that any connected regular graph with $d+1$ distinct eigenvalues and odd-girth $2d+1$ is distance-regular, and in particular that it is a generalized odd graph.
A common view is that generalization of a wave equation on Riemannian space-time is substantially determined by what a particle is - boson or fermion. As a rule, they say that tensor equations for bosons are extended in a simpler way then…
We define an index of a collection of 1-forms on a complex isolated complete intersection singularity corresponding to a Chern number and, in the case when the 1-forms are complex analytic, express it as the dimension of a certain algebra.
We propose a novel discretization of tangent vector fields for triangle meshes. Starting with a Phong map continuously assigning normals to all points on the mesh, we define an extrinsic bases for continuous tangent vector fields by using…
We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian…
The goal of this communication is to propose a generalized notion of the "traditional derivative". This generalization includes the fractional derivatives such as the Riemann-Liouville, Gruenwald-Letnikov, Weyl, Riesz, Caputo, Marchaud…
The notions of length of a vector field and cosine of the angle between two vector fields over a differentiable manifold with contravariant and covariant affine connections and metrics are introduced and considered. The change of the length…
Generalised diffeomorphisms in double field theory rely on an O(d,d) structure defined on tangent space. We show that any (pseudo-)Riemannian metric on the doubled space defines such a structure, in the sense that the generalised…
Distance Geometry is based on the inverse problem that asks to find the positions of points, in a Euclidean space of given dimension, that are compatible with a given set of distances. We briefly introduce the field, and discuss some open…
Horizontal endomorphisms, almost complex structures, vertical, horizontal and complete lifts on prolongation of a Lie algebroid are considered. Then using exact sequences, semisprays are constructed. Moreover, important geometrical objects…
We consider frames in a finite-dimensional Hilbert space Hn where frames are exactly the spanning sets of the vector space. The diagram vector of a vector in R2 was previously defined using polar coordinates and was used to characterize…