Related papers: Whitney umbrellas and swallowtails
We consider curves which go around Whitney umbrella. Then we consider the geodesic and the normal curvatures, ruled surfaces generated by the normal vector and normal developable surfaces with respect to the tangent and bi-tangent vectors…
We study geometry of curves passing through a Whitney umbrella by using a Darboux frame along it. We define three invariants by using Frenet-Serre type formula relating to the geodesic curvature, the normal curvature, and the geodesic…
Coverings of undirected graphs are used in distributed computing, and unfoldings of directed graphs in semantics of programs. We study these two notions from a graph theoretical point of view so as to highlight their similarities, as they…
The paper considers a class of Lagrangian surfaces in $\mathbb C^2$ with isolated singularities of the unfolded Whitney umbrella type. We prove that generically such a surface is locally polynomially convex near a singular point of this…
We apply recent constructions of free Baxter algebras to the study of the umbral calculus. We give a characterization of the umbral calculus in terms of Baxter algebra. This characterization leads to a natural generalization of the umbral…
In this paper, we revisit foundations of umbral calculus using a straightforward approach based on an explicit matrix realization of binomial convolution. We construct an umbral duality of Wronskian type for rational curves in echelon form,…
We construct a Legendrian version of Envelope theory. A tangential family is a 1-parameter family of rays emanating tangentially from a smooth plane curve. The Legendrian graph of the family is the union of the Legendrian lifts of the…
Consider the (formal/analytic/algebraic) map-germs Maps(X,(k^p,o)). Let G be the group of right/contact/left-right transformations. I extend the following (classical) results from the real/complex-analytic case to the case of arbitrary…
We introduce the formal extension of the Whitney functor and the polynomial extension of the tempered cohomology functor, and prove a natural topological duality between them.
In this article we investigate the algebra and geometry of dihedral covers of smooth algebraic varieties. To this aim we first describe the Weil divisors and the Picard group of divisorial sheaves on normal double covers. Then we provide a…
We introduce a simple extension of the $\lambda$-calculus with pairs---called the distributive $\lambda$-calculus---obtained by adding a computational interpretation of the valid distributivity isomorphism $A \Rightarrow (B\wedge C)\ \…
We consider developable surfaces along the singular set of a swallowtail which are considered to be flat approximations of the swallowtail. For the study of singularities of such developable surfaces, we introduce the notion of Darboux…
Implementing an idea due to John Baez and James Dolan we define new invariants of Whitney stratified manifolds by considering the homotopy theory of smooth transversal maps. To each Whitney stratified manifold we assign transversal homotopy…
Within dependent type theory, we provide a topological counterpart of well-founded trees (for short, W-types) by using a proof-relevant version of the notion of inductively generated suplattices introduced in the context of formal topology…
A proof of Sharkovsky's Theorem is given. It is shown how this proof naturally generalizes to looking at maps on graphs and to Sharkovsky-type theorems for these maps. The paper is written at an elementary level and is meant as an…
Normality equations describe Newtonian dynamical systems admitting normal shift of hypersurfaces. They were first derived in Euclidean geometry, then in Riemannian geometry. Recently they were rederived in more general case, when geometry…
Wei's celebrated Duality Theorem is generalized in several ways, expressed as duality theorems for linear codes over division rings and, more generally, duality theorems for matroids. These results are further generalized, resulting in two…
This article is an introduction to some aspects of \'Ecalle's mould calculus, a powerful combinatorial tool which yields surprisingly explicit formulas for the normalising series attached to an analytic germ of singular vector field or of…
We first generalize the operation of formal exterior differential in the case of finite dimensional fibered manifolds and then we extend it to certain bundles of smooth maps. In order to characterize the operator order of some morphisms…
We strengthen the standard bifurcation theorems for saddle-node, transcritical, pitchfork, and period-doubling bifurcations of maps. Our new formulation involves adding one or two extra terms to the standard truncated normal forms with…