SearcharxivSearch

arXiv subjects

L. Paunescu

Publications and source records attributed to L. Paunescu.

5 recordsLinked to original sources

A'Campo curvature bumps and the Dirac phenomenon near a singular point

The level curves of an analytic function germ almost always have bumps at unexpected points near the singularity. This profound discovery of N. A'Campo is fully explored in this paper for $f(z,w)\in \C\{z,w\}$, using the Newton-Puiseux infinitesimals and the notion of gradient canyon. Equally unexpected is the Dirac phenomenon: as $c\ra 0$, the total Gaussian curvature of $f(z,w)=c$ accumulates in the gradient canyons.

math.AG

Product between ultrafilters and applications to the Connes' embedding problem

In this paper we want to apply the notion of product between ultrafilters to answer several questions which arise around the Connes' embedding problem. For instance, we will give a simplification and generalization of a theorem by Radulescu; we will prove that ultraproduct of hyperlinear groups is still hyperlinear and consequently the von Neumann algebra of the free group with uncountable many generators is embeddable into $R^ω$. This follows also from a general construction that allows, starting from an hyperlinear group, to find a family of hyperlinear groups. We will introduce the notion of hyperlinear pair and we will use it to give some other characterizations of hyperlinearity. We will prove also that the cross product of a hyperlinear group via a profinite action is embeddable into $R^ω$.

math.OA

Enriched Riemann Sphere, Morse Stability and Equi-singularity in $\mathcal{O}_2$

The \textit{Enriched Riemann Sphere} $\C P_*^1$ is $\C P^1$ plus a set of \textit{infinitesimals}, having the Newton-Puiseux field $\F$ as coordinates. Complex Analysis is extended to the $\F$-\textit{Analysis} (\textit{Newton-Puiseux Analysis}). The classical \textit{Morse Stability Theorem} is also extended; the \textit{stability idea} is used to formulate an \textit{equi-singular deformation theorem} in $\C\{x,y\}(=\mathcal{O}_2)$.

math.AG