Related papers: Equisingularity of map germs from a surface to the…
Zakalyukin's lemma asserts that the coincidence of the images of two wave front germs implies the right equivalence of corresponding map germs under a certain genericity assumption. The purpose of this paper is to give an improvement of…
In this paper we consider smooth oriented hypersurfaces in 2-step nilpotent Lie groups with a left invariant metric and derive an expression for the Laplacian of the Gauss map for such hypersurfaces in the general case and in some…
In this article, we study the uniqueness problem for the generalized gauss maps of minimal surfaces (with the same base) immersed in $\mathbb R^{n+1}$ which have the same inverse image of some hypersurfaces in a projective subvariety…
Chisini's conjecture asserts that for a cuspidal curve $B\subset \mathbb P^2$ a generic morphism $f$ of a smooth projective surface onto $\mathbb P^2$ of degree $\geq 5$, branched along $B$, is unique up to isomorphism. We prove that if…
We consider a family of skew-products of the form $(Tx, g_x(t)) : X \times \mathbb{R} \to X \times \mathbb{R}$ where $T$ is a continuous expanding Markov map and $g_x : \mathbb{R} \to \mathbb{R}$ is a family of homeomorphisms of…
We prove that the isomorphism problem is decidable for generalized Baumslag-Solitar (GBS) groups with one quasi-conjugacy class and full support gaps. In order to do so we introduce a family of invariants that fully characterize the…
For any smooth compact manifold $W$ of dimension at least two we prove that the classifying spaces of its group of diffeomorphisms which fix a set of $k$ points or $k$ embedded disks (up to permutation) satisfy homology stability. The same…
Let $(\bf {V,0})\subset (\mathbb{C}^n,0)$ be a germ of a complex hypersurface and let $f: (\mathbb{C}^n,0)\to(\mathbb{C}^n,0)$ be a germ of a finite holomorphic mapping. If germs $(\bf {V,0})$ and ${\bf W}:=(F^{-1}(\bf{ V})),0)$ are…
Let X and Y be CW-complexes, U be an abelian group, and f:[X,Y]->U be a map (a homotopy invariant). We say that f has order at most r if the characteristic function of the r'th Cartesian power of the graph of a continuous map a:X->Y…
The purpose of this paper is to understand generic behavior of constraint functions in optimization problems relying on singularity theory of smooth mappings. To this end, we will focus on the subgroup $\mathcal{K}[G]$ of the Mather's group…
This is a report on some recent work by Gaffney, Massey, and the author, characterizing the conditions A_f and W_f for a family of ICIS germs equipped with a function. First we introduce the work informally. Then we review the formal…
For any smooth complex projective variety X and smooth very ample hypersurface Y in X, we develop the technique of genus zero relative Gromov-Witten invariants of Y in X in algebro-geometric terms. We prove an equality of cycles in the Chow…
We consider smooth flows preserving a smooth invariant measure, or, equivalently, locally Hamiltonian flows on compact orientable surfaces and show that, when the genus of the surface is two, almost every such locally Hamiltonian flow with…
It is shown that if a finite generically smooth morphism $f\,:\,Y\,\longrightarrow\, X$ of smooth projective varieties induces an isomorphism of the \'etale fundamental groups, then the induced map of the stratified fundamental groups…
Let V, W be real algebraic varieties (that is, up to isomorphism, real algebraic sets), and let X be a subset of V. A map f from X into W is said to be regular if it can be extended to a regular map defined on some Zariski locally closed…
Let $X$ be a smooth projective variety. Define a stable map $f:C\to X$ to be "eventually smoothable" if there is an embedding $X\hookrightarrow\mathbb{P}^N$ such that $(C,f)$ occurs as the limit of a $1$-parameter family of stable maps to…
In this paper we show that any hypersurface singularities of germs of varieties in positive characteristic can be resolved by iterated monoidal transformations in centers in smooth subvarieties, if we have a valuation ring of iterated…
We show that the iterated images of a Jacobian pair stabilize; that is, the k-th iterates of a polynomial map of complex two-space to itself with a nonzero constant Jacobian determinant all have the same image for sufficiently large k. More…
We associate to any irreducible germ S of complex quasi-ordinary hypersurface an analytically invariant semigroup. We deduce a direct proof (without passing through their embedded topological invariance) of the analytical invariance of the…
We describe the equivalence classes of germs of generic $2$-parameter families of complex vector fields $\dot z = \omega_\epsilon(z)$ on $\mathbb{C}$ unfolding a singular parabolic point of multiplicity $k+1$: $\omega_0= z^{k+1}…