-
Motivic configurations on the line
Authors:
John Igieobo,
Stephen McKean,
Steven Sanchez,
Dae'Shawn Taylor,
Kirsten Wickelgren
Abstract:
For each configuration of rational points on the affine line, we define an operation on the group of unstable A1 motivic homotopy classes of endomorphisms of the projective line. We also derive an algebraic formula for the image of such an operation under Cazanave and Morel's unstable degree map, which is valued in an extension of the Grothendieck--Witt group. In contrast to the topological settin…
▽ More
For each configuration of rational points on the affine line, we define an operation on the group of unstable A1 motivic homotopy classes of endomorphisms of the projective line. We also derive an algebraic formula for the image of such an operation under Cazanave and Morel's unstable degree map, which is valued in an extension of the Grothendieck--Witt group. In contrast to the topological setting, these operations depend on the choice of configuration of points via a discriminant. We prove this by first showing a local-to-global formula for the global unstable degree as a modified sum of local terms. We then use an anabelian argument to generalize from the case of local degrees of a global rational function to the case of an arbitrary collection of endomorphisms of the projective line.
△ Less
Submitted 22 November, 2024;
originally announced November 2024.
-
Birational geometry of blowups via Weyl chamber decompositions and actions on curves
Authors:
Maria Chiara Brambilla,
Olivia Dumitrescu,
Elisa Postinghel,
Luis José Santana Sánchez
Abstract:
We study the birational geometry of $X^n_s$, the blow-up of $\mathbb{P}^n_\mathbb{C}$ at $s$ points in general position. We identify a set of subvarieties, which we call Weyl $r$-planes, that belong to an orbit for the action of the Weyl group on $r$-cycles. They satisfy the following properties: they appear as stable base locus of divisors; each Weyl $r$-plane is swept out by an $(n-r)$-moving cu…
▽ More
We study the birational geometry of $X^n_s$, the blow-up of $\mathbb{P}^n_\mathbb{C}$ at $s$ points in general position. We identify a set of subvarieties, which we call Weyl $r$-planes, that belong to an orbit for the action of the Weyl group on $r$-cycles. They satisfy the following properties: they appear as stable base locus of divisors; each Weyl $r$-plane is swept out by an $(n-r)$-moving curve class; moreover, if $s\ge n+3$, for any fixed $r$ all these curve classes belong to the same orbit for the Weyl action.
For Mori dream spaces of type $X^n_s$, all such orbits are finite and they allow to reinterpret Mukai's description of the Mori chamber decomposition of the effective cone in terms of $(n-r)$-moving curve classes, unifying previous different approaches.
If $X^n_s$ is not a Mori dream space, there are infinitely many Weyl $r$-planes. These yields the definition of the Weyl chamber decomposition of the pseudoeffective cone of divisors. We pose the question as to whether the nef chamber decomposition can be defined (in the negative part of $\overline{\mathrm{Eff}}(X^n_s)$) and, if this is the case, whether it coincides with the Weyl chamber decomposition. We conjecture that the answer is affirmative for $X^3_8$ and $X^5_9$.
△ Less
Submitted 11 May, 2025; v1 submitted 23 October, 2024;
originally announced October 2024.
-
Surfaces with central configuration and Dulac's problem for a three dimensional isolated Hopf singularity
Authors:
Nuria Corral,
María Martín Vega,
Fernando Sanz Sánchez
Abstract:
Let $ξ$ be a real analytic vector field with an elementary isolated singularity at $0\in \mathbb{R}^3$ and eigenvalues $\pm bi,c$ with $b,c\in \mathbb{R}$ and $b\neq 0$. We prove that all cycles of $ξ$ in a sufficiently small neighborhood of $0$, if they exist, are contained in a finite number of subanalytic invariant surfaces entirely composed by a continuum of cycles. In particular, we solve Dul…
▽ More
Let $ξ$ be a real analytic vector field with an elementary isolated singularity at $0\in \mathbb{R}^3$ and eigenvalues $\pm bi,c$ with $b,c\in \mathbb{R}$ and $b\neq 0$. We prove that all cycles of $ξ$ in a sufficiently small neighborhood of $0$, if they exist, are contained in a finite number of subanalytic invariant surfaces entirely composed by a continuum of cycles. In particular, we solve Dulac's problem, i.e. finiteness of limit cycles, for such vector fields.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Trajectories of vector fields asymptotic to formal invariant curves
Authors:
Olivier Le Gal,
Fernando Sanz Sánchez
Abstract:
We prove that a formal curve $Γ$ that is invariant by a $C^\infty$ vector field $ξ$ of $\mathbb{R}^m$ has a geometrical realization, as soon as the Taylor expansion of $ξ$ is not identically zero along $Γ$. This means that there is a trajectory $γ$ of $ξ$ which is asymptotic to $Γ$. This result solves a natural question proposed by Bonckaert nearly forty years ago. We also construct an invariant…
▽ More
We prove that a formal curve $Γ$ that is invariant by a $C^\infty$ vector field $ξ$ of $\mathbb{R}^m$ has a geometrical realization, as soon as the Taylor expansion of $ξ$ is not identically zero along $Γ$. This means that there is a trajectory $γ$ of $ξ$ which is asymptotic to $Γ$. This result solves a natural question proposed by Bonckaert nearly forty years ago. We also construct an invariant $C^0$ manifold $S$ in some open horn around $Γ$ which is composed entirely of trajectories asymptotic to $Γ$, and contains the germ of any such trajectory. If $ξ$ is analytic, we prove that there exists a trajectory asymptotic to $Γ$ which is, moreover, non-oscillating with respect to subanalytic sets.
△ Less
Submitted 12 November, 2023;
originally announced November 2023.
-
On $p$-Frobenius of affine semigroups
Authors:
Evelia R. García Barroso,
Juan Ignacio García-García,
Luis José Santana Sánchez,
Alberto Vigneron-Tenorio
Abstract:
The aim of this paper is to study the $p$-Frobenius vector of affine semigroups $S\subset \mathbb N^q$; that is, the maximum element, with respect to a graded monomial order, with at most $p$ factorizations in $S$. We produce several algorithms to compute these vectors. Finally, we study how the $p$-Frobenius vectors behave when considering gluings of $S$ with $\mathbb N^q$.
The aim of this paper is to study the $p$-Frobenius vector of affine semigroups $S\subset \mathbb N^q$; that is, the maximum element, with respect to a graded monomial order, with at most $p$ factorizations in $S$. We produce several algorithms to compute these vectors. Finally, we study how the $p$-Frobenius vectors behave when considering gluings of $S$ with $\mathbb N^q$.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Stratification of three-dimensional real flows II: A generalization of Poincaré's planar sectorial decomposition
Authors:
Clementa Alonso-González,
Fernando Sanz Sánchez
Abstract:
Let $ξ$ be an analytic vector field in $\mathbb{R}^3$ with an isolated singularity at the origin and having only hyperbolic singular points after a reduction of singularities $π:M\to\mathbb{R}^3$. Assuming certain conditions to be specified throughout the work at hand, we establish a theorem of stratification of the dynamics of $ξ$ that generalizes to dimension three the classical one, coming from…
▽ More
Let $ξ$ be an analytic vector field in $\mathbb{R}^3$ with an isolated singularity at the origin and having only hyperbolic singular points after a reduction of singularities $π:M\to\mathbb{R}^3$. Assuming certain conditions to be specified throughout the work at hand, we establish a theorem of stratification of the dynamics of $ξ$ that generalizes to dimension three the classical one, coming from Poincaré, about the decomposition of the dynamics of an analytic planar vector field into {\em parabolic}, {\em elliptic} or {\em hyperbolic} invariant sectors.
△ Less
Submitted 27 June, 2023;
originally announced June 2023.
-
Duality and polyhedrality of cones for Mori dream spaces
Authors:
Maria Chiara Brambilla,
Olivia Dumitrescu,
Elisa Postinghel,
Luis José Santana Sánchez
Abstract:
Our goal is twofold. On one hand we show that the cones of divisors ample in codimension $k$ on a Mori dream space are rational polyhedral. On the other hand we study the duality between such cones and the cones of $k$-moving curves by means of the Mori chamber decomposition of the former. We give a new proof of the weak duality property (already proved by Payne and Choi) and we exhibit an interes…
▽ More
Our goal is twofold. On one hand we show that the cones of divisors ample in codimension $k$ on a Mori dream space are rational polyhedral. On the other hand we study the duality between such cones and the cones of $k$-moving curves by means of the Mori chamber decomposition of the former. We give a new proof of the weak duality property (already proved by Payne and Choi) and we exhibit an interesting family of examples for which strong duality holds.
△ Less
Submitted 21 February, 2025; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Turrittin's Theorem revisited. The real case
Authors:
Moulay Barkatou,
Félix Álvaro Carnicero-Martín,
Fernando Sanz Sánchez
Abstract:
We establish a real version of Turrittin's result on polynomial and formal normal forms of linear systems of ODEs with meromorphic coefficients. Both the normal forms or the transformations used have only real coefficients. In order to adapt the proofs to the real case, we make a review of the result in the complex case.
We establish a real version of Turrittin's result on polynomial and formal normal forms of linear systems of ODEs with meromorphic coefficients. Both the normal forms or the transformations used have only real coefficients. In order to adapt the proofs to the real case, we make a review of the result in the complex case.
△ Less
Submitted 14 May, 2023;
originally announced May 2023.
-
Conductors of Abhyankar-Moh semigroups of even degrees
Authors:
Evelia R. GarcÍa Barroso,
Juan Ignacio GarcÍa-GarcÍa,
Luis José Santana SÁnchez,
Alberto Vigneron-Tenorio
Abstract:
In their paper on the embeddings of the line in the plane, Abhyankar and Moh proved an important inequality, now known as the Abhyankar-Moh inequality, which can be stated in terms of the semigroup associated with the branch at infinity of a plane algebraic curve. Barrolleta, García Barroso and P\loski studied the semigroups of integers satisfying the Abhyankar-Moh inequality and call them Abhyank…
▽ More
In their paper on the embeddings of the line in the plane, Abhyankar and Moh proved an important inequality, now known as the Abhyankar-Moh inequality, which can be stated in terms of the semigroup associated with the branch at infinity of a plane algebraic curve. Barrolleta, García Barroso and P\loski studied the semigroups of integers satisfying the Abhyankar-Moh inequality and call them Abhyankar-Moh semigroups. They described such semigroups with the maximum conductor. In this paper we prove that all possible conductor values are achieved for the Abhyankar-Moh semigroups of even degree. Our proof is constructive, explicitly describing families that achieve a given value as its conductor.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.
-
Stratification of three-dimensional real flows I: Fitting Domains
Authors:
Clementa Alonso-González,
Fernando Sanz Sánchez
Abstract:
Let $ξ$ be an analytic vector field in $\mathbb{R}^3$ with an isolated singularity at the origin and having only hyperbolic singular points after a reduction of singularities $π:M\to\mathbb{R}^3$. The union of the images by $π$ of the local invariant manifolds at those hyperbolic points, denoted by $Λ$, is composed of trajectories of $ξ$ accumulating to $0 \in \mathbb{R}^3$. Assuming that there ar…
▽ More
Let $ξ$ be an analytic vector field in $\mathbb{R}^3$ with an isolated singularity at the origin and having only hyperbolic singular points after a reduction of singularities $π:M\to\mathbb{R}^3$. The union of the images by $π$ of the local invariant manifolds at those hyperbolic points, denoted by $Λ$, is composed of trajectories of $ξ$ accumulating to $0 \in \mathbb{R}^3$. Assuming that there are no cycles nor polycycles on the divisor of $π$, together with a Morse-Smale type property and a non-resonance condition on the eigenvalues at these points, in this paper we prove the existence of a fundamental system $\{V_n\}$ of neighborhoods well adapted for the description of the local dynamics of $ξ$: the frontier $Fr(V_n)$ is everywhere tangent to $ξ$ except around $Fr(V_n)\capΛ$, where transvesality is mandatory.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
On linear systems with multiple points on a rational normal curve
Authors:
Antonio Laface,
Elisa Postinghel,
Luis José Santana Sánchez
Abstract:
We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: linear spans of points, secant varietie…
▽ More
We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: linear spans of points, secant varieties of the rational normal curve or joins between them.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
The Sobolev Wavefront Set of the Causal Propagator in Finite Regularity
Authors:
Yafet Sanchez Sanchez,
Elmar Schrohe
Abstract:
Given a globally hyperbolic spacetime $M=\mathbb{R}\times Σ$ of dimension four and regularity $C^τ$, we estimate the Sobolev wavefront set of the causal propagator $K_G$ of the Klein-Gordon operator. In the smooth case, the propagator satisfies $WF'(K_G)=C$, where $C\subset T^*(M\times M)$ consists of those points $(\tilde{x},\tildeξ,\tilde{y},\tildeη)$ such that $\tildeξ,\tildeη$ are cotangent to…
▽ More
Given a globally hyperbolic spacetime $M=\mathbb{R}\times Σ$ of dimension four and regularity $C^τ$, we estimate the Sobolev wavefront set of the causal propagator $K_G$ of the Klein-Gordon operator. In the smooth case, the propagator satisfies $WF'(K_G)=C$, where $C\subset T^*(M\times M)$ consists of those points $(\tilde{x},\tildeξ,\tilde{y},\tildeη)$ such that $\tildeξ,\tildeη$ are cotangent to a null geodesic $γ$ at $\tilde{x}$ resp. $\tilde{y}$ and parallel transports of each other along $γ$.
We show that for $τ>2$, $WF'^{-2+τ-ε}(K_G)\subset C$ for every $ε>0$. Furthermore, in regularity $C^{τ+2}$ with $τ>2$, $C\subset WF'^{-\frac{1}{2}}(K_G)\subset WF'^{τ-ε}(K_G)\subset C$ holds for $0<ε<τ+\frac{1}{2}$.
In the ultrastatic case with $Σ$ compact, we show $WF'^{-\frac{3}{2}+τ-ε}(K_G)\subset C$ for $ε>0$ and $τ>2$ and $WF'^{-\frac{3}{2}+τ-ε}(K_G)= C$ for $τ>3$ and $ε<τ-3$. Moreover, we show that the global regularity of the propagator $K_G$ is $H^{-\frac{1}{2}-ε}_{loc}(M\times M)$ as in the smooth case.
△ Less
Submitted 18 June, 2024; v1 submitted 8 March, 2022;
originally announced March 2022.
-
Solutions of definable ODEs with regular separation and dichotomy interlacement versus Hardy
Authors:
Olivier Le Gal,
Mickaël Matusinski,
Fernando Sanz Sánchez
Abstract:
We introduce a notion of regular separation for solutions of systems of ODEs $y'=F(x,y)$, where F is definable in a polynomially bounded o-minimal structure and $y = (y_1,y_2)$. Given a pair of solutions with flat contact, we prove that, if one of them has the property of regular separation, the pair is either interlaced or generates a Hardy field. We adapt this result to trajectories of three-dim…
▽ More
We introduce a notion of regular separation for solutions of systems of ODEs $y'=F(x,y)$, where F is definable in a polynomially bounded o-minimal structure and $y = (y_1,y_2)$. Given a pair of solutions with flat contact, we prove that, if one of them has the property of regular separation, the pair is either interlaced or generates a Hardy field. We adapt this result to trajectories of three-dimensional vector fields with definable coefficients. In the particular case of real analytic vector fields, it improves the dichotomy interlaced/separated of certain integral pencils obtained by F. Cano, R. Moussu and the third author. In this context, we show that the set of trajectories with the regular separation property and asymptotic to a formal invariant curve is never empty and it is represented by a subanalytic set of minimal dimension containing the curve. Finally, we show how to construct examples of formal invariant curves which are transcendental with respect to subanalytic sets, using the so-called (SAT) property introduced by J.-P. Rolin, R. Shaefke and the third author.
△ Less
Submitted 29 January, 2022; v1 submitted 13 December, 2020;
originally announced December 2020.
-
Stable manifolds of biholomorphisms in $\mathbb{C}^n$ asymptotic to formal curves
Authors:
Lorena López-Hernanz,
Javier Ribón,
Fernando Sanz Sánchez,
Liz Vivas
Abstract:
Given a germ of biholomorphism $F\in\mathrm{Diff}(\mathbb{C}^n,0)$ with a formal invariant curve $Γ$ such that the multiplier of the restricted formal diffeomorphism $F|_Γ$ is a root of unity or satisfies $|(F|_Γ)'(0)|<1$, we prove that either $Γ$ is contained in the set of periodic points of $F$ or there exists a finite family of stable manifolds of $F$ where all the orbits are asymptotic to $Γ$…
▽ More
Given a germ of biholomorphism $F\in\mathrm{Diff}(\mathbb{C}^n,0)$ with a formal invariant curve $Γ$ such that the multiplier of the restricted formal diffeomorphism $F|_Γ$ is a root of unity or satisfies $|(F|_Γ)'(0)|<1$, we prove that either $Γ$ is contained in the set of periodic points of $F$ or there exists a finite family of stable manifolds of $F$ where all the orbits are asymptotic to $Γ$ and whose union eventually contains every orbit asymptotic to $Γ$. This result generalizes to the case where $Γ$ is a formal periodic curve.
△ Less
Submitted 17 January, 2022; v1 submitted 17 February, 2020;
originally announced February 2020.
-
Green Operators in Low Regularity Spacetimes and Quantum Field Theory
Authors:
Guenther Hoermann,
Yafet Sanchez Sanchez,
Christian Spreitzer,
James Vickers
Abstract:
In this paper we develop the mathematics required in order to provide a description of the observables for quantum fields on low-regularity spacetimes. In particular we consider the case of a massless scalar field $φ$ on a globally hyperbolic spacetime $M$ with $C^{1,1}$ metric $g$. This first entails showing that the (classical) Cauchy problem for the wave equation is well-posed for initial data…
▽ More
In this paper we develop the mathematics required in order to provide a description of the observables for quantum fields on low-regularity spacetimes. In particular we consider the case of a massless scalar field $φ$ on a globally hyperbolic spacetime $M$ with $C^{1,1}$ metric $g$. This first entails showing that the (classical) Cauchy problem for the wave equation is well-posed for initial data and sources in Sobolev spaces and then constructing low-regularity advanced and retarded Green operators as maps between suitable function spaces. In specifying the relevant function spaces we need to control the norms of both $φ$ and $\square_gφ$ in order to ensure that $\square_g \circ G^\pm$ and $G^\pm \circ \square_g$ are the identity maps on those spaces. The causal propagator $G=G^+-G^-$ is then used to define a symplectic form $ω$ on a normed space $V(M)$ which is shown to be isomorphic to $\ker \square_g$. This enables one to provide a locally covariant description of the quantum fields in terms of the elements of quasi-local $C^*$-algebras.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
Simulating squirmers with volumetric solvers
Authors:
Stevens Paz Sánchez,
Gustavo C. Buscaglia
Abstract:
Squirmers are models of a class of microswimmers, such as ciliated organisms and phoretic particles, that self-propel in fluids without significant deformation of their body shape. Available techniques for their simulation are based on the boundary-element method and do not contemplate nonlinearities such as those arising from the fluid's inertia or non-Newtonian rheology. This article describes a…
▽ More
Squirmers are models of a class of microswimmers, such as ciliated organisms and phoretic particles, that self-propel in fluids without significant deformation of their body shape. Available techniques for their simulation are based on the boundary-element method and do not contemplate nonlinearities such as those arising from the fluid's inertia or non-Newtonian rheology. This article describes a methodology to simulate squirmers that overcomes these limitations by using volumetric numerical methods, such as finite elements or finite volumes. It deals with interface conditions at the squirmer's surface that generalize those in the published literature. The actual procedures to be performed on a fluid solver to implement the proposed methodology are provided, including the treatment of metachronal surface waves. Among the several numerical examples, a two-dimensional simulation is shown of the hydrodynamic interaction of two individuals of Opalina ranarum.
△ Less
Submitted 18 March, 2019;
originally announced March 2019.
-
Real Analytic Vector Fields with First Integral and Separatrices
Authors:
Rogério Mol,
Fernando Sanz Sánchez
Abstract:
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 real analytic separatrix.
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 real analytic separatrix.
△ Less
Submitted 14 May, 2018;
originally announced May 2018.
-
Lorentzian surfaces and the curvature of the Schmidt metric
Authors:
Yafet Sanchez Sanchez,
Cesar Merlin,
Ricardo Reynoso Fuentes
Abstract:
The b-boundary is a mathematical tool used to attach a topological boundary to incomplete Lorentzian manifolds using a Riemaniann metric called the Schmidt metric on the frame bundle. In this paper, we give the general form of the Schmidt metric in the case of Lorentzian surfaces. Furthermore, we write the Ricci scalar of the Schmidt metric in terms of the Ricci scalar of the Lorentzian manifold a…
▽ More
The b-boundary is a mathematical tool used to attach a topological boundary to incomplete Lorentzian manifolds using a Riemaniann metric called the Schmidt metric on the frame bundle. In this paper, we give the general form of the Schmidt metric in the case of Lorentzian surfaces. Furthermore, we write the Ricci scalar of the Schmidt metric in terms of the Ricci scalar of the Lorentzian manifold and give some examples. Finally, we discuss some applications to general relativity.
△ Less
Submitted 1 April, 2018; v1 submitted 1 February, 2017;
originally announced February 2017.
-
Generalised hyperbolicity in spacetimes with string-like singularities
Authors:
Yafet Sanchez Sanchez,
James A. Vickers
Abstract:
In this paper we present well-posedness results of the wave equation in $H^{1}$ for spacetimes that contain string-like singularities. These results extend a framework able to characterise gravitational singularities as obstruction to the dynamics of test fields rather than point particles. In particular, we discuss spacetimes with cosmic strings and the relation of our results to the Strong Cosmi…
▽ More
In this paper we present well-posedness results of the wave equation in $H^{1}$ for spacetimes that contain string-like singularities. These results extend a framework able to characterise gravitational singularities as obstruction to the dynamics of test fields rather than point particles. In particular, we discuss spacetimes with cosmic strings and the relation of our results to the Strong Cosmic Censorship Conjecture.
△ Less
Submitted 11 September, 2016; v1 submitted 10 February, 2016;
originally announced February 2016.
-
Generalised hyperbolicity in spacetimes with Lipschitz regularity
Authors:
Yafet Sanchez Sanchez,
James A. Vickers
Abstract:
In this paper, we obtain general conditions under which the wave equation is well-posed in spacetimes with metrics of Lipschitz regularity. In particular, the results can be applied to spacetimes where there is a loss of regularity on a hypersurface such as shell-crossing singularities, thin shells of matter and surface layers. This provides a framework for regarding gravitational singularities, n…
▽ More
In this paper, we obtain general conditions under which the wave equation is well-posed in spacetimes with metrics of Lipschitz regularity. In particular, the results can be applied to spacetimes where there is a loss of regularity on a hypersurface such as shell-crossing singularities, thin shells of matter and surface layers. This provides a framework for regarding gravitational singularities, not as obstructions to the world lines of point-particles, but rather as an obstruction to the dynamics of test fields.
△ Less
Submitted 11 October, 2016; v1 submitted 23 July, 2015;
originally announced July 2015.
-
Parabolic curves of diffeomorphisms asymptotic to formal invariant curves
Authors:
Lorena López-Hernanz,
Fernando Sanz Sánchez
Abstract:
We prove that if $F$ is a tangent to the identity diffeomorphism at $0\in\mathbb{C}^2$ and $Γ$ is a formal invariant curve of $F$ then there exists a parabolic curve (attracting or repelling) of $F$ asymptotic to $Γ$. The result is a consequence of a more general one in arbitrary dimension, where we prove the existence of parabolic curves of a tangent to the identity diffeomorphism $F$ at…
▽ More
We prove that if $F$ is a tangent to the identity diffeomorphism at $0\in\mathbb{C}^2$ and $Γ$ is a formal invariant curve of $F$ then there exists a parabolic curve (attracting or repelling) of $F$ asymptotic to $Γ$. The result is a consequence of a more general one in arbitrary dimension, where we prove the existence of parabolic curves of a tangent to the identity diffeomorphism $F$ at $0\in\mathbb{C}^n$ asymptotic to a given formal invariant curve under some additional conditions, expressed in terms of a reduction of $F$ to a special normal form by means of blow-ups and ramifications along the formal curve.
△ Less
Submitted 11 November, 2014;
originally announced November 2014.
-
On the Ambrosetti-Malchiodi-Ni Conjecture for general submanifolds
Authors:
Fethi Mahmoudi,
Felipe Subiabre Sánchez,
Wei Yao
Abstract:
We study positive solutions of the following semilinear equation $$\varepsilon^2Δ_{\bar g} u - V(z) u+ u^{p} =0\,\hbox{ on }\,M, $$ where $(M, \bar g )$ is a compact smooth $n$-dimensional Riemannian manifold without boundary or the Euclidean space $\mathbb R^n$, $\varepsilon$ is a small positive parameter, $p>1$ and $V$ is a uniformly positive smooth potential. Given $k=1,\dots,n-1$, and…
▽ More
We study positive solutions of the following semilinear equation $$\varepsilon^2Δ_{\bar g} u - V(z) u+ u^{p} =0\,\hbox{ on }\,M, $$ where $(M, \bar g )$ is a compact smooth $n$-dimensional Riemannian manifold without boundary or the Euclidean space $\mathbb R^n$, $\varepsilon$ is a small positive parameter, $p>1$ and $V$ is a uniformly positive smooth potential. Given $k=1,\dots,n-1$, and $1 < p < \frac{n+2-k}{n-2-k}$. Assuming that $K$ is a $k$-dimensional smooth, embedded compact submanifold of $M$, which is stationary and non-degenerate with respect to the functional $\int_K V^{\frac{p+1}{p-1}-\frac{n-k}{2}}dvol$, we prove the existence of a sequence $\varepsilon=\varepsilon_j\to 0$ and positive solutions $u_\varepsilon$ that concentrate along $K$. This result proves in particular the validity of a conjecture by Ambrosetti-Malchiodi-Ni, extending a recent result by Wang-Wei-Yang, where the one co-dimensional case has been considered. Furthermore, our approach explores a connection between solutions of the nonlinear Schrödinger equation and $f$-minimal submanifolds in manifolds with density.
△ Less
Submitted 26 May, 2014;
originally announced May 2014.
-
A direct proof that $\ell_\infty^{(3)}$ has generalized roundness zero
Authors:
Ian Doust,
Stephen Sánchez,
Anthony Weston
Abstract:
Metric spaces of generalized roundness zero have interesting non-embedding properties. For instance, we note that no metric space of generalized roundness zero is isometric to any metric subspace of any $L_{p}$-space for which $0 < p \leq 2$. Lennard, Tonge and Weston gave an indirect proof that $\ell_{\infty}^{(3)}$ has generalized roundness zero by appealing to highly non-trivial isometric embed…
▽ More
Metric spaces of generalized roundness zero have interesting non-embedding properties. For instance, we note that no metric space of generalized roundness zero is isometric to any metric subspace of any $L_{p}$-space for which $0 < p \leq 2$. Lennard, Tonge and Weston gave an indirect proof that $\ell_{\infty}^{(3)}$ has generalized roundness zero by appealing to highly non-trivial isometric embedding theorems of Bretagnolle Dacunha-Castelle and Krivine, and Misiewicz. In this paper we give a direct proof that $\ell_{\infty}^{(3)}$ has generalized roundness zero. This provides insight into the combinatorial geometry of $\ell_{\infty}^{(3)}$ that causes the generalized roundness inequalities to fail. We complete the paper by noting a characterization of real quasi-normed spaces of generalized roundness zero.
△ Less
Submitted 18 July, 2014; v1 submitted 16 January, 2014;
originally announced January 2014.
-
Additive Combination Spaces
Authors:
Stephen Sanchez
Abstract:
We introduce a class of metric spaces called $p$-additive combinations and show that for such spaces we may deduce information about their $p$-negative type behaviour by focusing on a relatively small collection of almost disjoint metric subspaces, which we call the components. In particular we deduce a formula for the $p$-negative type gap of the space in terms of the $p$-negative type gaps of th…
▽ More
We introduce a class of metric spaces called $p$-additive combinations and show that for such spaces we may deduce information about their $p$-negative type behaviour by focusing on a relatively small collection of almost disjoint metric subspaces, which we call the components. In particular we deduce a formula for the $p$-negative type gap of the space in terms of the $p$-negative type gaps of the components, independent of how the components are arranged in the ambient space. This generalizes earlier work on metric trees by Doust and Weston. The results hold for semi-metric spaces as well, as the triangle inequality is not used.
△ Less
Submitted 14 August, 2013;
originally announced August 2013.
-
The asymptotic enhanced negative type of finite ultrametric spaces
Authors:
Ian Doust,
Stephen Sánchez,
Anthony Weston
Abstract:
Negative type inequalities arise in the study of embedding properties of metric spaces, but they often reduce to intractable combinatorial problems. In this paper we study more quantitative versions of these inequalities involving the so-called $p$-negative type gap. In particular, we focus our attention on the class of finite ultrametric spaces which are important in areas such as phylogenetics a…
▽ More
Negative type inequalities arise in the study of embedding properties of metric spaces, but they often reduce to intractable combinatorial problems. In this paper we study more quantitative versions of these inequalities involving the so-called $p$-negative type gap. In particular, we focus our attention on the class of finite ultrametric spaces which are important in areas such as phylogenetics and data mining.
Let $(X,d)$ be a given finite ultrametric space with minimum non-zero distance $α$. Then the $p$-negative type gap $Γ_{X}(p)$ of $(X,d)$ is positive for all $p \geq 0$. In this paper we compute the value of the limit \begin{eqnarray*} Γ_{X}(\infty) & = & \lim\limits_{p \rightarrow \infty} \frac{Γ_{X}(p)}{α^{p}}. \end{eqnarray*} It turns out that this value is positive and it may be given explicitly by an elegant combinatorial formula. On the basis of our calculations we are then able to characterize when $Γ_{X}(p)/ α^{p}$ is constant on $[0, \infty)$.
The determination of $Γ_{X}(\infty)$ also leads to new, asymptotically sharp, families of enhanced $p$-negative type inequalities for $(X,d)$. Indeed, suppose that $G \in (0, Γ_{X}(\infty))$. Then, for all sufficiently large $p$, we have \begin{eqnarray*} \frac{G \cdot α^{p}}{2} \left( \sum\limits_{k=1}^{n} |ζ_{k}| \right)^{2} + \sum\limits_{j,i =1}^{n} d(z_{j},z_{i})^{p} ζ_{j} ζ_{i} & \leq & 0 \end{eqnarray*} for each finite subset $\{ z_{1}, \ldots, z_{n} \} \subseteq X$ and each choice of real numbers $ζ_{1}, \ldots, ζ_{n}$ with $ζ_{1} + \cdots + ζ_{n} = 0$. We note that these results do not extend to general finite metric spaces.
△ Less
Submitted 16 January, 2015; v1 submitted 6 August, 2013;
originally announced August 2013.
-
On the supremal $p$-negative type of a finite metric space
Authors:
Stephen Sanchez
Abstract:
We study the supremal $p$-negative type of finite metric spaces. An explicit expression for the supremal $p$-negative type $\wp (X,d)$ of a finite metric space $(X,d)$ is given in terms its associated distance matrix, from which the supremal $p$-negative type of the space may be calculated. The method is then used to give a straightforward calculation of the supremal $p$-negative type of the compl…
▽ More
We study the supremal $p$-negative type of finite metric spaces. An explicit expression for the supremal $p$-negative type $\wp (X,d)$ of a finite metric space $(X,d)$ is given in terms its associated distance matrix, from which the supremal $p$-negative type of the space may be calculated. The method is then used to give a straightforward calculation of the supremal $p$-negative type of the complete bipartite graphs $K_{n,m}$ endowed with the usual path metric. A gap in the spectrum of possible supremal $p$-negative type values of path metric graphs is also proven.
△ Less
Submitted 1 August, 2011;
originally announced August 2011.
