Related papers: Formal and finite order equivalences

We prove and organize some results on the normal forms of Hermitian operators composed with the Veronese map. We apply this general framework to prove two specific theorems in CR geometry. First, extending a theorem of Faran, we classify…

We show the existence of formal equivalences between reversible and Hamiltonian vector fields. The main tool we employ is the normal form theory.

Let $\mathcal{E}_n$ be the ring of the germs of $\mathcal{C}^\infty$-functions at the origin in $\R^n$. It is well known that if $I$ is an ideal of $\mathcal{E}_n$, generated by a finite number of germs of analytic functions, then $I$ is…

We develop methods to formally describe and compare games, in order to probe questions of game structure and design, and as a stepping stone to predicting player behavior from design patterns. We define a grammar-like formalism to describe…

We give conditions under which a germ of a holomorphic mapping in $\Bbb C^N$, mapping an irreducible real algebraic set into another of the same dimension, is actually algebraic. Let $A\subset \bC^N$ be an irreducible real algebraic set.…

We show that the topological classification and the smooth classification are generically the same for certain families of plane curves in a semi-local case(the double local case). Especially we give the normal form of transversely jointed…

We propose a conjecture that a general member of a bracket-generating family of rational curves in a complex manifold satisfies the formal principle with convergence, namely, any formal equivalence between such curves is convergent. If the…

An element $g$ of a group is called {\em reversible} if it is conjugate in the group to its inverse. This paper is about reversibles in the group $G$ of formally-invertible pairs of formal power series in two variables, with complex…

In this paper, we prove that the semigroups of invertible matrices with nonnegative elements over linearly oredered associative rings are elementarily equivalent if and only if the matrices have the same dimension and the rings are…

We prove that a germ of analytic vector field at $(\mathbb{R}^3,0)$ that possesses a non-constant analytic first integral has a real formal separatrix. We provide an example which shows that such a vector field does not necessarily have a…

Let $ f_0 $ and $ f_\infty $ be formal power series at the origin and infinity, and $ P_n/Q_n $, with $ \mathrm{deg}(P_n),\mathrm{deg}(Q_n)\leq n $, be a rational function that simultaneously interpolates $ f_0 $ at the origin with order $…

We introduce the concept of topological finite-determinacy for germs of analytic functions within a fixed ideal $I$, which provides a notion of topological finite-determinacy of functions with non-isolated singularities. We prove the…

We report on the problem of the existence of complex and real algebraic curves in the plane with prescribed singularities up to analytic and topological equivalence. The question is whether, for a given positive integer $d$ and a finite…

Let G and F be finitely generated groups with infinitely many ends and let A and B be graph of groups decompositions of F and G such that all edge groups are finite and all vertex groups have at most one end. We show that G and F are…

Two algebroid branches are said to be equivalent if they have the same multiplicity sequence. It is known that two algebroid branches $R$ and $T$ are equivalent if and only if their Arf closures, $R'$ and $T'$ have the same value semigroup,…

We prove that two analytic branches in $(\mathbb{C}^n,0)$ whose dual resolution graph is the same admit an ambient isotopy which is smooth outside the origin. A weaker version of the converse is also proved.

In this work we give a complete description of the collection of curves of tangencies induced by germs of foliation pairs -- non dicritical and dicritical -- given by analytic differential equations with degenerated non dicritical and…

Well-graded families, extremal systems and maximum systems (the last two in the sense of VC-theory and Sauer-Shelah lemma on VC-dimension) are three important classes of set systems. This paper aims to study the notion of duality in the…

We focus on topological equisingularity of families of holomorphic function germs with 1-dimensional critical set. We introduce the notion of equisingularity at the critical set and prove that any family which is equisingular at the…

We prove that the epimorphism relation is a complete analytic quasi-order on the space of countable groups. In the process, we obtain the result of independent interest that the epimorphism relation on pointed reflexive graphs is complete.