-
Biharmonic Hypersurfaces in Euclidean Spaces
Authors:
Hiba Bibi,
Marc Soret,
Marina Ville
Abstract:
An isometric immersion $X: Σ^n \longrightarrow \mathbb{E}^{n+1}$ is biharmonic if $Δ^2 X = 0$, i.e. if $ΔH =0$, where $Δ$ and $H$ are the metric Laplacian and the mean curvature vector field of $Σ^n$ respectively. More generally, biconservative hypersurfaces (BCH) are isometric immersions for which only the tangential part of the biharmonic equation vanishes. We study and construct BCH that are ho…
▽ More
An isometric immersion $X: Σ^n \longrightarrow \mathbb{E}^{n+1}$ is biharmonic if $Δ^2 X = 0$, i.e. if $ΔH =0$, where $Δ$ and $H$ are the metric Laplacian and the mean curvature vector field of $Σ^n$ respectively. More generally, biconservative hypersurfaces (BCH) are isometric immersions for which only the tangential part of the biharmonic equation vanishes. We study and construct BCH that are holonomic, i.e. for which the principal curvature directions define an integrable net, and we deduce that $Σ^n$ is a holonomic biharmonic hypersurface iff it is minimal.
△ Less
Submitted 10 February, 2025; v1 submitted 17 October, 2024;
originally announced October 2024.
-
Random walks and the symplectic representation of the braid group
Authors:
Marc Soret,
Marina Ville
Abstract:
We consider the symplectic representation $ρ_n$ of a braid group $B(n)$ in $Sp(2l,\mathbb{Z})$, for $l=\Big[\dfrac{n-1}{2}\Big]$. If $P$ is a $4l^2$ polynomial on the coefficients of the matrices in $Sp(2l,\mathbb{Z})$, we show that the set $\{β\in B(n): P(ρ_n(β))=0\}$ is transient for non degenerate random walks on $B(n)$.
If $n$ is odd, we derive that the $n$-braids $β$ verifying…
▽ More
We consider the symplectic representation $ρ_n$ of a braid group $B(n)$ in $Sp(2l,\mathbb{Z})$, for $l=\Big[\dfrac{n-1}{2}\Big]$. If $P$ is a $4l^2$ polynomial on the coefficients of the matrices in $Sp(2l,\mathbb{Z})$, we show that the set $\{β\in B(n): P(ρ_n(β))=0\}$ is transient for non degenerate random walks on $B(n)$.
If $n$ is odd, we derive that the $n$-braids $β$ verifying $|Δ_{\hatβ}(-1)|\leq C$ for some constant $C$ form a transient set: here $Δ_{\hatβ}$ denotes the Alexander polynomial of the closure of $β$.
We also derive that for a random $3$-braid, the quasipositive links $(βσ_iβ^{-1}σ_j)^p$ have zero signature for every integer $p$ and $1\leq i,j\leq 2$. \\ As an example of such braids, we investigate the signature of the Lissajous toric knots with $3$ strands.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
Equivalences among parabolicity, comparison principle and capacity on complete Riemannian manifolds
Authors:
A. Aiolfi,
L. Bonorino,
J. Ripoll,
M. Soret,
M. Ville
Abstract:
In this work we establish new equivalences for the concept of $p$-parabolic Riemannian manifolds. We define a concept of comparison principle for elliptic PDE's on exterior domains of a complete Riemannian manifold $M$ and prove that $M$ is $p$-parabolic if and only if this comparison principle holds for the $p$-Laplace equation. We show also that the $p$-parabolicity of $M$ implies the validity o…
▽ More
In this work we establish new equivalences for the concept of $p$-parabolic Riemannian manifolds. We define a concept of comparison principle for elliptic PDE's on exterior domains of a complete Riemannian manifold $M$ and prove that $M$ is $p$-parabolic if and only if this comparison principle holds for the $p$-Laplace equation. We show also that the $p$-parabolicity of $M$ implies the validity of this principle for more general elliptic PDS's and, in some cases, these results can be extended for non $p$-parabolic manifolds or unbounded solutions, provided that some growth of these solutions are assumed.
△ Less
Submitted 26 September, 2021; v1 submitted 14 September, 2021;
originally announced September 2021.
-
A Moser/Bernstein type theorem in a Lie group with a left invariant metric under a gradient decay condition
Authors:
Ari Aiolfi,
Leonardo Bonorino,
Jaime Ripoll,
Marc Soret,
Marina Ville
Abstract:
We say that a PDE in a Riemannian manifold $M$ is geometric if,$\ $whenever $u$ is a solution of the PDE on a domain $Ω$ of $M$, the composition $u_φ:=u\circφ$ is also solution on $φ^{-1}\left( Ω\right) $, for any isometry $φ$ of $M.$ We prove that if $u\in C^{1}\left( \mathbb{H}^{n}\right) $ is a solution of a geometric PDE satisfying the comparison principle, where $\mathbb{H}^{n}$ is the hyperb…
▽ More
We say that a PDE in a Riemannian manifold $M$ is geometric if,$\ $whenever $u$ is a solution of the PDE on a domain $Ω$ of $M$, the composition $u_φ:=u\circφ$ is also solution on $φ^{-1}\left( Ω\right) $, for any isometry $φ$ of $M.$ We prove that if $u\in C^{1}\left( \mathbb{H}^{n}\right) $ is a solution of a geometric PDE satisfying the comparison principle, where $\mathbb{H}^{n}$ is the hyperbolic space of constant sectional curvature $-1,$ $n\geq2,$ and if \[ \limsup_{R\rightarrow\infty}\left( e^{R}\sup_{S_{R}}\left\Vert \nabla u\right\Vert \right) =0, \] where $S_{R}$ is a geodesic sphere of $\mathbb{H}^{n}$ centered at fixed point $o\in\mathbb{H}^{n}$ with radius $R,$ then $u$ is constant. Moreover, given $C>0,$ there is a bounded non-constant harmonic function $v\in C^{\infty }\left( \mathbb{H}^{n}\right) $ such that \[ \lim_{R\rightarrow\infty}\left( e^{R}\sup_{S_{R}}\left\Vert \nabla v\right\Vert \right) =C. \] The first part of the above result is a consequence of a more general theorem proved in the paper which asserts that if $G$ is a non compact Lie group with a left invariant metric, $u\in C^{1}\left( G\right) $ a solution of a left invariant PDE (that is, if $v$ is a solution of the PDE on a domain $Ω$ of $G$, the composition $v_{g}:=v\circ L_{g}$ of $v$ with a left translation $L_{g}:G\rightarrow G,$ $L_{g}\left( h\right) =gh,$ is also solution on $L_{g}^{-1}\left( Ω\right) $ for any $g\in G),$ the PDE satisfies the comparison principle and% \[ \limsup_{R\rightarrow\infty}\left( \sup_{g\in B_{R}}\left\Vert \operatorname*{Ad}\nolimits_{g}\right\Vert \sup_{S_{R}}\left\Vert \nabla u\right\Vert \right) =0, \] where $\operatorname*{Ad}\nolimits_{g}:\mathfrak{g}\rightarrow\mathfrak{g}$ is the adjoint map of $G$ and $\mathfrak{g}$ the Lie algebra of $G,$ then $u$ is constant.
△ Less
Submitted 5 August, 2021;
originally announced August 2021.
-
On the Size of Minimal Surfaces in $\mathbb{R}^4$
Authors:
Ari Aiolfi,
Marc Soret,
Marina Ville
Abstract:
The Gauss map $g$ of a surface $Σ$ in $\mathbb{R}^4$ takes its values in the Grassmannian of oriented 2-planes of $\mathbb{R}^4$: $G^+(2,4)$. We give geometric criteria of stability for minimal surfaces in $\mathbb{R}^4$ in terms of $g$. We show in particular that if the spherical area of the Gauss map $|g(Σ)|$ of a minimal surface is smaller than $2π$ then the surface is stable by deformations wh…
▽ More
The Gauss map $g$ of a surface $Σ$ in $\mathbb{R}^4$ takes its values in the Grassmannian of oriented 2-planes of $\mathbb{R}^4$: $G^+(2,4)$. We give geometric criteria of stability for minimal surfaces in $\mathbb{R}^4$ in terms of $g$. We show in particular that if the spherical area of the Gauss map $|g(Σ)|$ of a minimal surface is smaller than $2π$ then the surface is stable by deformations which fix the boundary of the surface.This answers a question of Barbosa and Do Carmo in $\mathbb{R}^4$.
△ Less
Submitted 11 June, 2021;
originally announced June 2021.
-
Lissajous-toric knots
Authors:
Marc Soret,
Marina Ville
Abstract:
A point in the $(N,q)$-torus knot in $\mathbb{R}^3$ goes $q$ times along a vertical circle while this circle rotates $N$ times around the vertical axis. In the Lissajous-toric knot $K(N,q,p)$, the point goes along a vertical Lissajous curve (parametrized by $t\mapsto(\sin(qt+φ),\cos(pt+ψ)))$ while this curve rotates $N$ times around the vertical axis. Such a knot has a natural braid representation…
▽ More
A point in the $(N,q)$-torus knot in $\mathbb{R}^3$ goes $q$ times along a vertical circle while this circle rotates $N$ times around the vertical axis. In the Lissajous-toric knot $K(N,q,p)$, the point goes along a vertical Lissajous curve (parametrized by $t\mapsto(\sin(qt+φ),\cos(pt+ψ)))$ while this curve rotates $N$ times around the vertical axis. Such a knot has a natural braid representation $B_{N,q,p}$ which we investigate here. If $gcd(q,p)=1$, $K(N,q,p)$ is ribbon; if $gcd(q,p)=d>1$, $B_{N,q,p}$ is the $d$-th power of a braid which closes in a ribbon knot. We give an upper bound for the $4$-genus of $K(N,q,p)$ in the spirit of the genus of torus knots; we also give examples of $K(N,q,p)$'s which are trivial knots.
△ Less
Submitted 30 October, 2016; v1 submitted 14 October, 2016;
originally announced October 2016.
-
Lissajous and Fourier Knots
Authors:
Marc Soret,
Marina Ville
Abstract:
We prove that any knot of $\mathbb{R}^3$ is isotopic to a Fourier knot of type $(1,1,2)$ obtained by deformation of a Lissajous knot.
We prove that any knot of $\mathbb{R}^3$ is isotopic to a Fourier knot of type $(1,1,2)$ obtained by deformation of a Lissajous knot.
△ Less
Submitted 3 July, 2015;
originally announced July 2015.
-
A link at infinity for minimal surfaces in $\mathbb{R}^4$
Authors:
Marc Soret,
Marina Ville
Abstract:
We look at complete minimal surfaces of finite total curvature in $\mathbb{R}^4$. Similarly to the case of complex curves in $\mathbb{C}^2$ we introduce their {\it link at infinity}; we derive the {\it writhe number at infinity} which gives a formula for the total normal curvature of the surface. The knowledge of the link at infinity can sometimes help us determine if a surface has self-intersecti…
▽ More
We look at complete minimal surfaces of finite total curvature in $\mathbb{R}^4$. Similarly to the case of complex curves in $\mathbb{C}^2$ we introduce their {\it link at infinity}; we derive the {\it writhe number at infinity} which gives a formula for the total normal curvature of the surface. The knowledge of the link at infinity can sometimes help us determine if a surface has self-intersection and we illustrate this idea by looking at genus zero surfaces of small total curvature.
△ Less
Submitted 24 August, 2021; v1 submitted 1 December, 2014;
originally announced December 2014.
-
On the Entropies of Hypersurfaces with bounded mean curvature
Authors:
Said Ilias,
Barbara Nelli,
Marc Soret
Abstract:
We are interested in the impact of entropies on the geometry of a hypersurface of a Riemannian manifold. In fact, we will be able to compare the volume entropy of a hypersurface with that of the ambient manifold, provided some geometric assumption are satisfied. This depends on the existence of an embedded tube around such hypersurface. Among the consequences of our study of the entropies, we poin…
▽ More
We are interested in the impact of entropies on the geometry of a hypersurface of a Riemannian manifold. In fact, we will be able to compare the volume entropy of a hypersurface with that of the ambient manifold, provided some geometric assumption are satisfied. This depends on the existence of an embedded tube around such hypersurface. Among the consequences of our study of the entropies, we point out some new answers to a question of do Carmo on stable Euclidean hypersurfaces of constant mean curvature.
△ Less
Submitted 2 August, 2013;
originally announced August 2013.
-
Some existence results to the Dirichlet problem for the minimal hypersurface equation on non mean convex domains of a Riemannian manifold
Authors:
Ari Aiolfi,
Jaime Ripoll,
Marc Soret
Abstract:
We prove the existence of minimal hypersurfaces for the Dirichlet that extends a similar result of Jenkins and Serrin in Euclidean Space to Riemannian ambient manifolds
We prove the existence of minimal hypersurfaces for the Dirichlet that extends a similar result of Jenkins and Serrin in Euclidean Space to Riemannian ambient manifolds
△ Less
Submitted 30 July, 2013;
originally announced July 2013.
-
New minimal surfaces in S^3 desingularizing the Clifford tori
Authors:
Jaigyoung Choe,
Marc Soret
Abstract:
For each integer m>1 and l>0 we construct a pair of compact embedded minimal surfaces of genus 1+4m(m-1)l. These surfaces desingularize the m Clifford tori meeting each other along a great circle at the angle of π/m. They are invariant under a finite group of screw motions and have no reflection symmetry across a great sphere.
For each integer m>1 and l>0 we construct a pair of compact embedded minimal surfaces of genus 1+4m(m-1)l. These surfaces desingularize the m Clifford tori meeting each other along a great circle at the angle of π/m. They are invariant under a finite group of screw motions and have no reflection symmetry across a great sphere.
△ Less
Submitted 10 April, 2013;
originally announced April 2013.
-
Some properties of simple minimal knots
Authors:
Marc Soret,
Marina Ville
Abstract:
A minimal knot is the intersection of a topologically embedded branched minimal disk in $\mathbb{R}^4$ $\mathbb{C}^2 $ with a small sphere centered at the branch point. When the lowest order terms in each coordinate component of the embedding of the disk in $\mathbb{C}^2$ are enough to determine the knot type, we talk of a simple minimal knot. Such a knot is given by three integers $N < p,q$; deno…
▽ More
A minimal knot is the intersection of a topologically embedded branched minimal disk in $\mathbb{R}^4$ $\mathbb{C}^2 $ with a small sphere centered at the branch point. When the lowest order terms in each coordinate component of the embedding of the disk in $\mathbb{C}^2$ are enough to determine the knot type, we talk of a simple minimal knot. Such a knot is given by three integers $N < p,q$; denoted by $K(N,p,q)$, it can be parametrized in the cylinder as $e^{iθ}\mapsto (e^{Niθ},\sin qθ,\cos pθ)$. From this expression stems a natural representation of $K(N,p,q)$ as an $N$-braid. In this paper, we give a formula for its writhe number, i.e. the signed number of crossing points of this braid and derive topological consequences. We also show that if $q$ and $p$ are not mutually prime, $K(N,p,q)$ is periodic. Simple minimal knots are a generalization of torus knots.
△ Less
Submitted 11 December, 2012;
originally announced December 2012.
-
Caccioppoli's inequalities on constant mean curvature hypersurfaces in Riemannian manifolds
Authors:
Said Ilias,
Barbara Nelli,
Marc Soret
Abstract:
This is a revised version (minor changes and a deeper insight in the positive curvature case).
We prove some Caccioppoli's inequalities for the traceless part of the second fundamental form of a complete, noncompact, finite index, constant mean curvature hypersurface of a Riemannian manifold, satisfying some curvature conditions. This allows us to unify and clarify many results scattered in the…
▽ More
This is a revised version (minor changes and a deeper insight in the positive curvature case).
We prove some Caccioppoli's inequalities for the traceless part of the second fundamental form of a complete, noncompact, finite index, constant mean curvature hypersurface of a Riemannian manifold, satisfying some curvature conditions. This allows us to unify and clarify many results scattered in the literature and to obtain some new results. For example, we prove that there is no stable, complete, noncompact hypersurface in ${\mathbb R}^{n+1},$ $n\leq 5,$ with constant mean curvature $H\not=0,$ provided that, for suitable $p,$ the $L^p$-norm of the traceless part of second fundamental form satisfies some growth condition.
△ Less
Submitted 22 March, 2012; v1 submitted 19 July, 2011;
originally announced July 2011.
-
Examples of scalar-flat hypersurfaces in $\mathbb{R}^{n+1}$
Authors:
Jorge H. S. de Lira,
Marc Soret
Abstract:
Given a hypersurface $M$ of null scalar curvature in the unit sphere $\mathbb{S}^n$, $n\ge 4$, such that its second fundamental form has rank greater than 2, we construct a singular scalar-flat hypersurface in $\Rr^{n+1}$ as a normal graph over a truncated cone generated by $M$. Furthermore, this graph is 1-stable if the cone is strictly 1-stable.
Given a hypersurface $M$ of null scalar curvature in the unit sphere $\mathbb{S}^n$, $n\ge 4$, such that its second fundamental form has rank greater than 2, we construct a singular scalar-flat hypersurface in $\Rr^{n+1}$ as a normal graph over a truncated cone generated by $M$. Furthermore, this graph is 1-stable if the cone is strictly 1-stable.
△ Less
Submitted 14 December, 2008;
originally announced December 2008.
-
Singularity Knots of Minimal Surfaces in $\mathbb{R}^4$
Authors:
Marc Soret,
Marina Ville
Abstract:
We study knots in $\mathbb{S}^3$ obtained by the intersection of a minimal surface in $\mathbb{R}^4$ with a small 3-sphere centered at a branch point. We construct examples of new minimal knots. In particular we show the existence of non-fibered minimal knots. We show that simple minimal knots are either reversible or fully amphicheiral; this yields an obstruction for a given knot to be an itera…
▽ More
We study knots in $\mathbb{S}^3$ obtained by the intersection of a minimal surface in $\mathbb{R}^4$ with a small 3-sphere centered at a branch point. We construct examples of new minimal knots. In particular we show the existence of non-fibered minimal knots. We show that simple minimal knots are either reversible or fully amphicheiral; this yields an obstruction for a given knot to be an iterated knot of a minimal surface. Properties and invariants of these knots such as the algebraic crossing number of a braid representative and the Alexander polynomial are studied.
△ Less
Submitted 9 February, 2007;
originally announced February 2007.
