Bounds on the degrees of vector fields

Marc Chardin,S. Hamid Hassanzadeh,Claudia Polini,Aron Simis,Bernd Ulrich

2024-03-15

Abstract:In this article, we study the generalized Poincare problem from the opposite perspective, by establishing lower bounds on the degree of the vector field in terms of invariants of the variety.

Commutative Algebra,Algebraic Geometry,Dynamical Systems

What problem does this paper attempt to address?

A version of Hilbert's 16th Problem for 3D polynomial vector fields: Counting isolated invariant tori

Douglas D. Novaes,Pedro C.C.R. Pereira

2024-09-26

Abstract:Hilbert's 16th Problem, about the maximum number of limit cycles of planar polynomial vector fields of a given degree $m$, has been one of the most important driving forces for new developments in the qualitative theory of vector fields. Increasing the dimension, one cannot expect the existence of a finite upper bound for the number of limit cycles of, for instance, $3$D polynomial vector fields of a given degree $m$. Here, as an extension of such a problem in the $3$D space, we investigate the number of isolated invariant tori in $3$D polynomial vector fields. In this context, given a natural number $m$, we denote by $N(m)$ the upper bound for the number of isolated invariant tori of $3$D polynomial vector fields of degree $m$. Based on a recently developed averaging method for detecting invariant tori, our first main result provides a mechanism for constructing $3$D differential vector fields with a number $H$ of normally hyperbolic invariant tori from a given planar differential vector field with $H$ hyperbolic limit cycles. The strength of our mechanism in studying the number $N(m)$ lies in the fact that the constructed $3$D differential vector field is polynomial provided that the given planar differential vector field is polynomial. Accordingly, our second main result establishes a lower bound for $N(m)$ in terms of lower bounds for the number of hyperbolic limit cycles of planar polynomial vector fields of degree $[m/2]-1$. Based on this last result, we apply a methodology due to Christopher & Lloyd to show that $N(m)$ grows as fast as $m^3/128$. Finally, the above-mentioned problem is also formulated for higher dimensional polynomial vector fields.

Dynamical Systems
On the geometric degree of the tangent bundle of a smooth algebraic variety

Gabriela Jeronimo,Leonardo Lanciano,Pablo Solernó

2024-03-16

Abstract:We present bounds for the geometric degree of the tangent bundle and the tangential variety of a smooth affine algebraic variety $V$ in terms of the geometric degree of $V$. We first analyze the case of curves, showing an explicit relation between these degrees. In addition, for parametric curves, we obtain upper bounds that are linear in the degree of the given curve. In the case of varieties of arbitrary dimension, we prove general upper bounds for the degrees of the tangent bundle and the tangential variety of $V$ that are exponential in the dimension or co-dimension of $V$, and a quadratic upper bound that holds for varieties defined by generic polynomials. Finally, we characterize the smooth irreducible varieties with a tangent bundle of minimal degree.

Algebraic Geometry,Commutative Algebra
Shape index, Brouwer degree and Poincaré-Hopf theorem

Héctor Barge,José M.R. Sanjurjo

DOI: https://doi.org/10.1017/prm.2023.98

2023-03-24

Abstract:In this paper we study the relationship of the Brouwer degree of a vector field with the dynamics of the induced flow. Analogous relations are studied for the index of a vector field. We obtain new forms of the Poincar% é-Hopf theorem and of the Borsuk and Hirsch antipodal theorems. As an application, we calculate the Brouwer degree of the vector field of the Lorenz equations in isolating blocks of the Lorenz strange set.

Dynamical Systems
Analytic and Topological Invariants Associated to Nowhere Zero Vector Fields

WP Zhang

DOI: https://doi.org/10.2140/pjm.1999.187.379

1999-01-01

Pacific Journal of Mathematics

Abstract:It is well-known that the classical Gauss-Bonnet-Chern theorem [C] can be interpreted as an index theorem for de Rham-Hodge operators (cf. [BGV] and [LM]) and that it is nontrivial only for even dimensional manifolds. This paper arose from an attempt to search an odd dimensional analogue of this index theorem. Recall that the Gauss-Bonnet-Chern theorem is closely related to the famous Poincare-Hopf index formula expressing the Euler number as the sum of indices of singularities of a tangent vector field. Now for odd dimensional manifolds, or more generally for manifolds with vanishing Euler number, we take the advantage that another result of Hopf asserts that there always exist nowhere zero vector fields (see e.g. Steenrod [S]). Thus let M be an odd dimensional oriented closed manifold and let V be a nowhere zero vector field on M . Let γ be the one dimensional oriented vector bundle over M generated by V . Then TM/γ carries a canonically induced orientation. Let e(TM/γ) be the Euler class of TM/γ. For any integral element ω in H1(M,Q), we will take 〈ωe(TM/γ), [M ]〉 as our substitute for the Euler class appeared in the Gauss-Bonnet-Chern theorem. The main result of this paper gives an analytic formula for this number as the index of certain elliptic Toeplitz operators. In fact, a general odd index theory has already been developed by BaumDouglas [BD] who pointed out that the associated index can be computed
Vector fields on projective Stiefel manifolds and the Browder-Dupont invariant

Yanghyun Byun,Julius Korbas,Peter Zvengrowski

DOI: https://doi.org/10.48550/arXiv.2011.10761

2020-11-21

Abstract:We develop strong lower bounds for the span of the projective Stiefel manifolds $X_{n,r}=O(n)/(O(n-r)\times \mathbb Z/2)$, which enable very accurate (in many cases exact) estimates of the span. The technique, for the most part, involves elementary stability properties of vector bundles. However, the case $X_{n,2}$ with $n$ odd presents extra difficulties, which are partially resolved using the Browder-Dupont invariant. In the process, we observe that the symmetric lift due to Sutherland does not necessarily exist for all odd dimensional closed manifolds, and therefore the Browder-Dupont invariant, as he formulated it, is not defined in general. We will characterize those $n$'s for which the Browder-Dupont invariant is well-defined on $X_{n,2}$. Then the invariant will be used in this case to obtain the lower bounds for the span as a corollary of a stronger result.

Geometric Topology
A generalized Poincaré-Birkhoff theorem

Agustin Moreno,Otto van Koert

DOI: https://doi.org/10.48550/arXiv.2011.06562

2021-05-14

Abstract:We prove a generalization of the classical Poincaré--Birkhoff theorem for Liouville domains, in arbitrary even dimensions. This is inspired by the existence of global hypersurfaces of section for the spatial case of the restricted three-body problem (as proved by the authors in <a class="link-https" data-arxiv-id="2011.10386" href="https://arxiv.org/abs/2011.10386">arXiv:2011.10386</a>).

Symplectic Geometry,Mathematical Physics,Dynamical Systems
A note on the degree bounds of the invariant ring

Yang Zhang,Jizhu Nan

DOI: https://doi.org/10.3934/math.2024530

2024-01-01

AIMS Mathematics

Abstract:Let $ G = C_p\times H $ be a finite group, where $ C_p $ is a cyclic group of prime order $ p $ and $ H $ is a $ p^{\prime} $-group. Let $ \mathbb{F} $ be an algebraically closed field in characteristic $ p $. Let $ V $ be a direct sum of $ m $ non-trivial indecomposable $ G $-modules such that the norm polynomials of the simple $ H $-modules are the power of the product of the basis elements of the dual. In previous work, we proved the periodicity property of the polynomial ring $ \mathbb{F}[V] $ with actions of $ G $. In this paper, by the periodicity property, we showed that $ \mathbb{F}[V]^G $ is generated by $ m $ norm polynomials together with homogeneous invariants of degree at most $ m|G|-{\rm dim}(V) $ and transfer invariants, which yields the well-known degree bound $ {\rm dim} $$ (V)\cdot(|G|-1) $. More precisely, we found that this bound gets less sharp as the dimensions of simple $ H $-modules increase.

mathematics, applied
A restricted version of the Hilbert's 16th problem for quadratic vector fields

Yulij Ilyashenko,Jaume Llibre

DOI: https://doi.org/10.48550/arXiv.0910.3443

2009-10-19

Abstract:The restricted version of the Hilbert 16th problem for quadratic vector fields requires an upper estimate of the number of limit cycles through a vector parameter that characterizes the vector fields considered and the limit cycles to be counted. In this paper we give an upper estimate of the number of limit cycles of quadratic vector fields $"\sigma $--distant from centers and $\ka $-distant from singular quadratic vector fields" provided that the limit cycles are $"\delta $--distant from singular points and infinity".

Dynamical Systems
Poincaré inequality for one forms on four manifolds with bounded Ricci curvature

Shouhei Honda,Andrea Mondino

2024-05-29

Abstract:In this short note, we provide a quantitative global Poincaré inequality for one forms on a closed Riemannian four manifold, in terms of an upper bound on the diameter, a positive lower bound on the volume, and a two-sided bound on Ricci curvature. This seems to be the first non-trivial result giving such an inequality without any higher curvature assumptions. The proof is based on a Hodge theoretic result on orbifolds, a comparison for fundamental groups, and a spectral convergence with respect to Gromov-Hausdorff convergence, via a degeneration result to orbifolds by Anderson.

Differential Geometry
A new multicomponent Poincaré-Beckner inequality

S. Kondratyev,L. Monsaingeon,D. Vorotnikov

DOI: https://doi.org/10.1016/j.jfa.2016.12.018

2016-03-24

Abstract:We prove a new vectorial functional inequality of Poincaré-Beckner type. The inequality may be interpreted as an entropy-entropy production one for a gradient flow in the metric space of Radon measures. The proof uses subtle analysis of combinations of related super- and sub-level sets employing the coarea formula and the relative isoperimetric inequality.

Functional Analysis
An upper bound on the generic degree of the generalized Verschiebung for rank two stable bundles

Yuichiro Hoshi,Yasuhiro Wakabayashi

2024-08-22

Abstract:In the present paper, we give an upper bound for the generic degree of the generalized Verschiebung between the moduli spaces of rank two stable bundles with trivial determinant.

Algebraic Geometry
Upper bounds for the number of orbital topological types of planar polynomial vector fields "modulo limit cycles"

Roman M. Fedorov

DOI: https://doi.org/10.1134/S0081543806030126

2004-02-13

Abstract:The paper deals with planar polynomial vector fields. We aim to estimate the number of orbital topological equivalence classes for the fields of degree n. An evident obstacle for this is the second part of Hilbert's 16th problem. To circumvent this obstacle we introduce the notion of equivalence modulo limit cycles. This paper is the continuation of the author's paper in [Mosc. Math. J. 1 (2001), no. 4] where the lower bound of the form 2^{cn^2} has been obtained. Here we obtain the upper bound of the same form. We also associate an equipped planar graph to every planar polynomial vector field, this graph is a complete invariant for orbital topological classification of such fields.

Dynamical Systems,Classical Analysis and ODEs
p-adic integrals and linearly dependent points on families of curves I

Netan Dogra

2023-10-13

Abstract:We prove that the set of `low rank' points on sufficiently large fibre powers of families of curves are not Zariski dense. The recent work of Dimitrov-Gao-Habegger and Kühne (and Yuan) imply the existence of a bound which is exponential in the rank, and the Zilber-Pink conjecture implies a bound which is linear in the rank. Our main result is a (slightly weaker) linear bound for `low ranks'. We also prove analogous results for isotrivial families (with relaxed conditions on the rank) and for solutions to the $S$-unit equation, where the bounds are now sub-exponential in the rank. Our proof involves a notion of the Chabauty-Coleman(-Kim) method in families (or, in some sense, for simply connected varieties). For Zariski non-density, we use the recent work of Blàzquez-Sanz, Casale, Freitag and Nagloo on Ax-Schanuel theorems for foliations on principal bundles.

Algebraic Geometry,Number Theory
Degree bounds for fields of rational invariants of $\mathbb{Z}/p\mathbb{Z}$ and other finite groups

Ben Blum-Smith,Thays Garcia,Rawin Hidalgo,Consuelo Rodriguez

DOI: https://doi.org/10.1016/j.jpaa.2024.107693

2024-06-14

Abstract:Degree bounds for algebra generators of invariant rings are a topic of longstanding interest in invariant theory. We study the analogous question for field generators for the field of rational invariants of a representation of a finite group, focusing on abelian groups and especially the case of $\mathbb{Z}/p\mathbb{Z}$. The inquiry is motivated by an application to signal processing. We give new lower and upper bounds depending on the number of distinct nontrivial characters in the representation. We obtain additional detailed information in the case of two distinct nontrivial characters. We conjecture a sharper upper bound in the $\mathbb{Z}/p\mathbb{Z}$ case, and pose questions for further investigation.

Commutative Algebra
A Poincaré formula for differential forms and applications

Nicolas Ginoux,Georges Habib,Simon Raulot

DOI: https://doi.org/10.3842/SIGMA.2023.088

2023-11-08

Abstract:We prove a new general Poincaré-type inequality for differential forms on compact Riemannian manifolds with nonempty boundary. When the boundary is isometrically immersed in Euclidean space, we derive a new inequality involving mean and scalar curvatures of the boundary only and characterize its limiting case in codimension one. A new Ros-type inequality for differential forms is also derived assuming the existence of a nonzero parallel form on the manifold.

Differential Geometry,Analysis of PDEs
A priori bounds for geodesic diameter. Part III. A Sobolev-Poincaré inequality and applications to a variety of geometric variational problems

Ulrich Menne,Christian Scharrer

2024-08-29

Abstract:Based on a novel type of Sobolev-Poincaré inequality (for generalised weakly differentiable functions on varifolds), we establish a finite upper bound of the geodesic diameter of generalised compact connected surfaces-with-boundary of arbitrary dimension in Euclidean space in terms of the mean curvatures of the surface and its boundary. Our varifold setting includes smooth immersions, surfaces with finite Willmore energy, two-convex hypersurfaces in level-set mean curvature flow, integral currents with prescribed mean curvature vector, area minimising integral chains with coefficients in a complete normed commutative group, varifold solutions to Plateau's problem furnished by min-max methods or by Brakke flow, and compact sets solving Plateau problems based on Čech homology. Due to the generally inevitable presence of singularities, path-connectedness was previously known neither for the class of varifolds (even in the absence of boundary) nor for the solutions to the Plateau problems considered.

Differential Geometry,Analysis of PDEs,Classical Analysis and ODEs
Invariant Hyperplane Sections of Vector Fields on the Product of Spheres

Joji Benny,Soumen Sarkar

DOI: https://doi.org/10.1007/s10883-023-09672-y

2024-01-04

Abstract:Let $S_{p,q}$ be the hypersurface in $\mathbb{R}^{p+q+1}$ defined by the following: $$ S_{p,q} := \left\lbrace (x_1,\ldots,x_{p+1},x_{p+2},\ldots,x_{p+q+1}) \in \mathbb{R}^{p+q+1} \big| \left( \sum_{i=1}^{p+1} x_i^2 - a^2 \right)^2 + \sum_{j=p+2}^{p+q+1} x_j^2 = 1 \right\rbrace,$$ where $a > 1$. We show that $S_{p,q}$ is homeomorphic to the product $S^p \times S^q$. We classify all degree one and two polynomial vector fields on $S_{p,q}$. We consider the polynomial vector field $\mathcal{X} = (R_1,...,R_{p+1},R_{p+2},...,R_{p+q+1})$ in $\mathbb{R}^{p+q+1}$ which keeps $S_{p,q}$ invariant. Then we study the number of certain invariant algebraic subsets of $S_{p,q}$ for the vector field $\mathcal{X}$ if either $p>1$ or $q>1$.

Dynamical Systems,Classical Analysis and ODEs
Boundedness of trace fields of rank two local systems

Yeuk Hay Joshua Lam

2024-11-28

Abstract:Let $p$ be a fixed prime number, and $q$ a power of $p$. For any curve over $\mathbb{F}_q$ and any local system on it, we have a number field generated by the traces of Frobenii at closed points, known as the trace field. We show that as we range over all pointed curves of type $(g,n)$ in characteristic $p$ and rank two local systems satisfying a condition at infinity, the set of trace fields which are unramified at $p$ and of bounded degree is finite. This proves observations of Kontsevich obtained via numerical computations, which are in turn closely related to the analogue of Maeda's conjecture over function fields. The key ingredients of the proofs are Chin's theorem on independence of $\ell$ of monodromy groups, and the boundedness of abelian schemes of $\mathrm{GL}_2$-type over curves in positive characteristics, obtained using partial Hasse invariants; the latter is an analogue of Faltings' Arakelov theorem for abelian varieties in our setting.

Number Theory,Algebraic Geometry

Bounds on the degrees of vector fields

A version of Hilbert's 16th Problem for 3D polynomial vector fields: Counting isolated invariant tori

On the geometric degree of the tangent bundle of a smooth algebraic variety

Shape index, Brouwer degree and Poincaré-Hopf theorem

Analytic and Topological Invariants Associated to Nowhere Zero Vector Fields

Vector fields on projective Stiefel manifolds and the Browder-Dupont invariant

A generalized Poincaré-Birkhoff theorem

A note on the degree bounds of the invariant ring

A restricted version of the Hilbert's 16th problem for quadratic vector fields

Poincaré inequality for one forms on four manifolds with bounded Ricci curvature

A new multicomponent Poincaré-Beckner inequality

An upper bound on the generic degree of the generalized Verschiebung for rank two stable bundles

Upper bounds for the number of orbital topological types of planar polynomial vector fields "modulo limit cycles"

p-adic integrals and linearly dependent points on families of curves I

Degree bounds for fields of rational invariants of $\mathbb{Z}/p\mathbb{Z}$ and other finite groups

A Poincaré formula for differential forms and applications

A priori bounds for geodesic diameter. Part III. A Sobolev-Poincaré inequality and applications to a variety of geometric variational problems

Invariant Hyperplane Sections of Vector Fields on the Product of Spheres

Boundedness of trace fields of rank two local systems