arXiv research

Formal Normal Form created for special CR singularities.

Formal normal form created for real-smooth hypersurfaces.

In this article, we first describe a normal form of real-analytic, Levi-nondegenerate submanifolds of $C^N$ of codimension d $\ge$ 1 under the action of formal biholomorphisms, that is, of perturbations of Levi-nondegenerate hyperquadrics. We give a sufficient condition on the formal normal form that ensures that the n…

We construct a formal normal form for a real 2-codimensional submanifold $M\subset\mathbb{C}^{N+1}$ near a CR singularity approximating the sphere. This result gives a higher dimensional extension of Huang-Yin's normal form in $\mathbb{C}^{2}$.

We show how one can handle the formalism developped by Yurii Vorobjev in order to give general results about the problems of linearisation and of normal form of a Poisson structure in the neighborhood of one of its symplectic leaves.

Method studies equivalence of second order ODEs under specific transformations.

We find formal and holomorphic normal forms for a class of meromorphic connections (the so-called $(TE)$-structures) over the irreducible $2$-dimensional globally nilpotent $F$-manifold germ $\mathcal N_{2}$. We find normal forms for Euler fields on $\mathcal N_{2}$ and we characterize the Euler fields on $\mathcal N_{…

A differential 1-form $α$ on a manifold of odd dimension $2n+1$, which satisfies the contact condition $α\wedge (dα)^n \neq 0$ almost everywhere, but which vanishes at a point $O$, i.e. $α(O) = 0$, is called a \textit{singular contact form} at $O$. The aim of this paper is to study local normal forms (formal, analytic …

Paper develops a weighted linearization approach for vector fields.

We study the determination of the second-order normal form for perturbed Hamiltonians $H_ε=H_0 +εH_1 +\frac{ε^2}{2} H_2$, relative to the periodic flow of the unperturbed Hamiltonian $H_0$. The formalism presented here is global, and can be easily implemented in any CAS. We illustrate it by means of two examples: the H…

Let (M, π ) be a Poisson manifold. A Poisson submanifold $P \in M$ gives rise to an algebroid $AP \rightarrow P$, to which we associate certain chomology groups which control formal deformations of π around P . Assuming that these groups vanish, we prove that π is formally rigid around P , i.e. any other Poisson struct…

Proves stable degeneration preserves symplectic forms and confirms Kaledin's conjecture.

We prove a Darboux theorem for formal deformations of Hamiltonian operators of hydrodynamic type (Dubrovin-Novikov). Not all deformations are equivalent to the original operator: there is a moduli 2-stack of normal forms. The paper utilizes three main concepts: 1) dg Lie algebras concentrated in degrees [-1,\infty) suc…

This thesis studies normal forms for Poisson structures around symplectic leaves using several techniques: geometric, formal and analytic ones. One of the main results (Theorem 2) is a normal form theorem in Poisson geometry, which is the Poisson-geometric version of the Local Reeb Stability (from foliation theory) and…

We consider odd Laplace operators arising in odd symplectic geometry. Approach based on semidensities (densities of weight 1/2) is developed. The role of semidensities in the Batalin--Vilkovisky formalism is explained. In particular, we study the relations between semidensities on an odd symplectic supermanifold and di…

Searching normal forms for real analytic submanifolds of C^n involves convergence problems. In 1983, J.K. Moser and S.M. Webster provided examples of real analytic surfaces in C^2 having an isolated hyperbolic (in the sense of E. Bishop) complex tangency, which are formally but not holomorphically normalizable (because…

Given a compact Kaehler manifold, we consider the complement U of a divisor with normal crossings and a unitary local system V on it. We consider a differential graded Lie algebra (DGLA) of forms with holomorphic logarithmic singularities and vanishing residues. We construct a spectral sequence corresponding to the ant…

A classical theorem of Riemannian geometry, due in its original form to Cartan, states that the Taylor expansion of the metric in geodesic normal coordinates is a universal formal power series involving only the symmetrizations of the iterated covariant derivatives of the curvature tensor; this is known as the jet isom…

Let $φ: M\to M$ be a diffeomorphism of a $C^\infty$ compact connected manifold, and $X$ its mapping torus. There is a natural fibration $p:X\to S^1$, denote by $ξ\in H^1(X, \mathbb{Z})$ the corresponding cohomology class. Let $λ\in \mathbb{Z}^*$. Consider the endomorphism $φ_k^*$ induced by $φ$ in the cohomology of $M$…

A conjecture about rational curves' formal principle and convergence proved for Goursat type families.

Generalized Tanaka prolongation ensures convergence of formal embeddings of complex manifolds.

We describe a canonical form for linear differential operators that are formally self-adjoint or formally skew-adjoint.

A metric is formal if all products of harmonic forms are again harmonic. The existence of a formal metric implies Sullivan formality of the manifold, and hence formal metrics can exist only in presence of a very restricted topology. We show that a warped product metric is formal if and only if the warping function is c…

The paper examines metrics on foliated manifolds that have special geometric properties.

In this paper we present some approaches to classification of almost complex structures and to construction of local or formal pseudoholomorphic mapping from one almost complex manifold to another. The corresponding criteria are given in terms of Nijenhuis tensors and their generalizations. We deal with the prolongatio…

Elie Cartan's general equivalence problem is recast in the language of Lie algebroids. The resulting formalism, being coordinate and model-free, allows for a full geometric interpretation of Cartan's method of equivalence via reduction and prolongation. We show how to construct certain normal forms (Cartan algebroids) …

We investigate harmonic forms of geometrically formal metrics, which are defined as those having the exterior product of any two harmonic forms still harmonic. We prove that a formal Sasakian metric can exist only on a real cohomology sphere and that holomorphic forms of a formal Kähler metric are parallel w.r.t. the L…

Obstructions found for closed Fedosov star products on symplectic and Kähler manifolds.

Normalizes pseudo-Einstein contact forms for easier analysis.

This paper makes a formal study of asymptotically hyperbolic Einstein metrics given, as conformal infinity, a conformal manifold with boundary. The space on which such an Einstein metric exists thus has a finite boundary in addition to the usual infinite boundary and a corner where the two meet. On the finite boundary …

Paper applies Newman-Penrose formalism to ACM manifolds.

The paper defines normal forms for rational 3-tangles and shows a sequence of moves to transform one form to another.

Online Normalization is a new technique for normalizing the hidden activations of a neural network. Like Batch Normalization, it normalizes the sample dimension. While Online Normalization does not use batches, it is as accurate as Batch Normalization. We resolve a theoretical limitation of Batch Normalization by intro…

Engel manifolds show transverse tori can be made to have various formal invariants.

We introduce a flow of Riemannian metrics and positive volume forms over compact oriented manifolds whose formal limit is a shrinking Ricci soliton. The case of a fixed volume form has been considered in our previous work. We still call this new flow the Soliton-Ricci flow. It corresponds to a forward Ricci type flow u…

This paper considers asymptotically hyperbolic manifolds with a finite boundary intersecting the usual infinite boundary -- cornered asymptotically hyperbolic manifolds -- and proves a theorem of Cartan-Hadamard type near infinity for the normal exponential map on the finite boundary. As a main application, a normal fo…

Symplectic forms from two phase spaces are proven equivalent.

Unimodular classification of symmetric matrix map-germs.

We find a normal form for two-input flat discrete-time systems.

Dimofte, Gaiotto and Gukov introduced a powerful invariant, the 3D-index, associated to a suitable ideal triangulation of a 3-manifold with torus boundary components. The 3D-index is a collection of formal power series in $q^{1/2}$ with integer coefficients. Our goal is to explain how the 3D-index is a generating serie…

This note analyzes the normal form of gradient Ricci 4-solitons.

We introduce the notion of a ribbon-clasp surface-link, which is a generalization of a ribbon surface-link. We generalize the notion of a normal form on embedded surface-links to the case of immersed surface-links and prove that any (immersed) surface-link can be described in a normal form. It is known that an embedded…

Study on immersions with flat normal bundle in curved spaces.

Proves convergence of normal forms for infinite-dimensional Lie pseudo-group actions.

Braids can be represented geometrically as laminations of punctured disks. The geometric complexity of a braid is the minimal complexity of a lamination that represents it, and tight laminations are representatives of minimal complexity. These laminations give rise to a normal form of braids, via a relaxation algorithm…

In this paper we construct a large class of new normal forms for Levi-nondegenerate real hypersurfaces in complex spaces. We adopt a general approach illustrating why these normal forms are natural and which role is played by the celebrated Chern-Moser normal form. The latter appears in our class as the one with the "m…

A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is strictly positive, the manifold must be homeomorphic to S^4 or diffeomorphic to …

The paper characterizes surfaces in 4D space forms with flat normal connection.