-
Affine focal sets of codimension $2$ submanifolds contained in hyper surfaces
Authors:
Marcos Craizer,
Marcelo J. Saia,
Luis F. Sánchez
Abstract:
In this paper we study the affine focal set, which is the bifurcation set of the affine distance to submanifolds $N^n$ contained in hypersurfaces $M^{n+1}$ of the $(n+2)$-space. We give condition under which this affine focal set is a regular hypersurface and, for curves in $3$-space, we describe its stable singularities. For a given Darboux vector field $ξ$ of the immersion $N\subset M$, one can…
▽ More
In this paper we study the affine focal set, which is the bifurcation set of the affine distance to submanifolds $N^n$ contained in hypersurfaces $M^{n+1}$ of the $(n+2)$-space. We give condition under which this affine focal set is a regular hypersurface and, for curves in $3$-space, we describe its stable singularities. For a given Darboux vector field $ξ$ of the immersion $N\subset M$, one can define the affine metric $g$ and the affine normal plane bundle $\mathcal{A}$. We prove that the $g$-Laplacian of the position vector belongs to $\mathcal{A}$ if and only if $ξ$ is parallel.
For umbilic and normally flat immersions, the affine focal set reduces to a single line. Submanifolds contained in hyperplanes or hyperquadrics are always normally flat. For $N$ contained in a hyperplane $L$, we show that $N\subset M$ is umbilic if and only if $N\subset L$ is an affine sphere and the envelope of tangent spaces is a cone. For $M$ hyperquadric, we prove that $N\subset M$ is umbilic if and only if $N$ is contained in a hyperplane. The main result of the paper is a general description of the umbilic and normally flat immersions: Given a hypersurface $f$ and a point $O$ in the $(n+1)$-space, the immersion $(ν,ν\cdot(f-O))$, where $ν$ is the co-normal of $f$, is umbilic and normally flat, and conversely, any umbilic and normally flat immersion is of this type.
△ Less
Submitted 26 August, 2016;
originally announced August 2016.
-
Equiaffine Darboux Frames for Codimension 2 Submanifolds contained in Hypersurfaces
Authors:
Marcos Craizer,
Marcelo J. Saia,
Luis F. Sánchez
Abstract:
Consider a codimension $1$ submanifold $N^n\subset M^{n+1}$, where $M^{n+1}\subset\mathbb{R}^{n+2}$ is a hypersurface. The envelope of tangent spaces of $M$ along $N$ generalizes the concept of tangent developable surface of a surface along a curve. In this paper, we study the singularities of these envelopes.
There are some important examples of submanifolds that admit a vector field tangent to…
▽ More
Consider a codimension $1$ submanifold $N^n\subset M^{n+1}$, where $M^{n+1}\subset\mathbb{R}^{n+2}$ is a hypersurface. The envelope of tangent spaces of $M$ along $N$ generalizes the concept of tangent developable surface of a surface along a curve. In this paper, we study the singularities of these envelopes.
There are some important examples of submanifolds that admit a vector field tangent to $M$ and transversal to $N$ whose derivative in any direction of $N$ is contained in $N$. When this is the case, one can construct transversal plane bundles and affine metrics on $N$ with the desirable properties of being equiaffine and apolar. Moreover, this transversal bundle coincides with the classical notion of Transon plane. But we also give an explicit example of a submanifold that do not admit a vector field with the above property.
△ Less
Submitted 27 October, 2015; v1 submitted 29 August, 2015;
originally announced August 2015.
-
Cobordism of maps on $Z_2$-Witt spaces
Authors:
Jean-Paul Brasselet,
Alice Kimie Miwa Libardi,
Eliris Rizziolli,
Marcelo Saia
Abstract:
In this article we study the bordism groups of normally nonsingular maps $f: X \to Y$ defined on pseudomanifolds $X$ and $Y$. To characterize the bordism of such maps, inspired by the formula given by Stong, we give a general definition of Stiefel-Whitney numbers defined on $X$ and $Y$ using the Wu classes defined by Goresky and Pardon and we show that in several cases the cobordism class of a nor…
▽ More
In this article we study the bordism groups of normally nonsingular maps $f: X \to Y$ defined on pseudomanifolds $X$ and $Y$. To characterize the bordism of such maps, inspired by the formula given by Stong, we give a general definition of Stiefel-Whitney numbers defined on $X$ and $Y$ using the Wu classes defined by Goresky and Pardon and we show that in several cases the cobordism class of a normally nonsingular map $f:X \to Y$ guarantees that these numbers are zero.
△ Less
Submitted 8 March, 2014;
originally announced March 2014.
-
Local Zeta Function for Curves, Non Degeneracy Conditions and Newton Polygons
Authors:
M. J. Saia,
W. A. Zuniga-Galindo
Abstract:
This paper is dedicated to the description of the poles of the Igusa local zeta functions $Z(s,f,v)$ when $f(x,y)$ satisfies a new non degeneracy condition, that we have called arithmetic non degeneracy. More precisely, we attach to each polynomial $f(x,y)$, a collection of convex sets $Γ^{A}$ called the arithmetic Newton polygon of $f(x,y)$, and introduce the notion of arithmetic non degeneracy…
▽ More
This paper is dedicated to the description of the poles of the Igusa local zeta functions $Z(s,f,v)$ when $f(x,y)$ satisfies a new non degeneracy condition, that we have called arithmetic non degeneracy. More precisely, we attach to each polynomial $f(x,y)$, a collection of convex sets $Γ^{A}$ called the arithmetic Newton polygon of $f(x,y)$, and introduce the notion of arithmetic non degeneracy with respect to $Γ^{A}(f)$. The set of degenerate polynomials, with respect to a fixed geometric Newton polygon, contains an open subset, for the Zariski topology, formed by non degenerate polynomials with respect to some arithmetic Newton polygon.If $L$ is a number field, our main result asserts that for almost all non-archimedean valuations $v$ of $L$, the poles of $Z(s,f,v),$ with $f(x,y)\in L[x,y]$, can be described explicitly in terms of the equations of the straight segments that conform the boundaries of the convex sets that belong to $Γ^{A}(f)$. Moreover, our proof gives an effective procedure to compute $Z(s,f,v)$.
△ Less
Submitted 3 July, 2003; v1 submitted 25 July, 2001;
originally announced July 2001.
