Pub Date : 2022-02-18DOI: 10.1007/s40598-021-00193-9
Alexander Heaton, Sascha Timme
We discuss elastic tensegrity frameworks made from rigid bars and elastic cables, depending on many parameters. For any fixed parameter values, the stable equilibrium position of the framework is determined by minimizing an energy function subject to algebraic constraints. As parameters smoothly change, it can happen that a stable equilibrium disappears. This loss of equilibrium is called catastrophe, since the framework will experience large-scale shape changes despite small changes of parameters. Using nonlinear algebra, we characterize a semialgebraic subset of the parameter space, the catastrophe set, which detects the merging of local extrema from this parametrized family of constrained optimization problems, and hence detects possible catastrophe. Tools from numerical nonlinear algebra allow reliable and efficient computation of all stable equilibrium positions as well as the catastrophe set itself.
{"title":"Catastrophe in Elastic Tensegrity Frameworks","authors":"Alexander Heaton, Sascha Timme","doi":"10.1007/s40598-021-00193-9","DOIUrl":"10.1007/s40598-021-00193-9","url":null,"abstract":"<div><p>We discuss elastic tensegrity frameworks made from rigid bars and elastic cables, depending on many parameters. For any fixed parameter values, the stable equilibrium position of the framework is determined by minimizing an energy function subject to algebraic constraints. As parameters smoothly change, it can happen that a stable equilibrium disappears. This loss of equilibrium is called <i>catastrophe</i>, since the framework will experience large-scale shape changes despite small changes of parameters. Using nonlinear algebra, we characterize a semialgebraic subset of the parameter space, the <i>catastrophe set</i>, which detects the merging of local extrema from this parametrized family of constrained optimization problems, and hence detects possible catastrophe. Tools from numerical nonlinear algebra allow reliable and efficient computation of all stable equilibrium positions as well as the catastrophe set itself.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49583252","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-01-24DOI: 10.1007/s40598-021-00191-x
Richárd Rimányi, Alexander Varchenko
We prove an ({{mathbb {F}}}_p)-Selberg integral formula, in which the ({{mathbb {F}}}_p)-Selberg integral is an element of the finite field ({{mathbb {F}}}_p) with odd prime number p of elements. The formula is motivated by the analogy between multidimensional hypergeometric solutions of the KZ equations and polynomial solutions of the same equations reduced modulo p.
{"title":"The ({{mathbb {F}}}_p)-Selberg Integral","authors":"Richárd Rimányi, Alexander Varchenko","doi":"10.1007/s40598-021-00191-x","DOIUrl":"10.1007/s40598-021-00191-x","url":null,"abstract":"<div><p>We prove an <span>({{mathbb {F}}}_p)</span>-Selberg integral formula, in which the <span>({{mathbb {F}}}_p)</span>-Selberg integral is an element of the finite field <span>({{mathbb {F}}}_p)</span> with odd prime number <i>p</i> of elements. The formula is motivated by the analogy between multidimensional hypergeometric solutions of the KZ equations and polynomial solutions of the same equations reduced modulo <i>p</i>.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50510227","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-01-20DOI: 10.1007/s40598-021-00196-6
Christiane Rousseau
When are two germs of analytic systems conjugate or orbitally equivalent under an analytic change of coordinates in a neighborhood of a singular point? The present paper, of a survey nature, presents a research program around this question. A way to answer is to use normal forms. However, there are large classes of dynamical systems for which the change of coordinates to a normal form diverges. In this paper, we discuss the case of singularities for which the normalizing transformation is k-summable, thus allowing to provide moduli spaces. We explain the common geometric features of these singularities, and show that the study of their unfoldings allows understanding both the singularities themselves, and the geometric obstructions to convergence of the normalizing transformations. We also present some moduli spaces for generic k-parameter families unfolding such singularities.
{"title":"The Equivalence Problem in Analytic Dynamics for 1-Resonance","authors":"Christiane Rousseau","doi":"10.1007/s40598-021-00196-6","DOIUrl":"10.1007/s40598-021-00196-6","url":null,"abstract":"<div><p>When are two germs of analytic systems conjugate or orbitally equivalent under an analytic change of coordinates in a neighborhood of a singular point? The present paper, of a survey nature, presents a research program around this question. A way to answer is to use normal forms. However, there are large classes of dynamical systems for which the change of coordinates to a normal form diverges. In this paper, we discuss the case of singularities for which the normalizing transformation is <i>k</i>-summable, thus allowing to provide moduli spaces. We explain the common geometric features of these singularities, and show that the study of their unfoldings allows understanding both the singularities themselves, and the geometric obstructions to convergence of the normalizing transformations. We also present some moduli spaces for generic <i>k</i>-parameter families unfolding such singularities.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s40598-021-00196-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45454521","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-01-17DOI: 10.1007/s40598-022-00198-y
Misha Bialy, Corentin Fierobe, Alexey Glutsyuk, Mark Levi, Alexander Plakhov, Serge Tabachnikov
This is a collection of problems composed by some participants of the workshop “Differential Geometry, Billiards, and Geometric Optics” that took place at CIRM on October 4–8, 2021.
{"title":"Open Problems on Billiards and Geometric Optics","authors":"Misha Bialy, Corentin Fierobe, Alexey Glutsyuk, Mark Levi, Alexander Plakhov, Serge Tabachnikov","doi":"10.1007/s40598-022-00198-y","DOIUrl":"10.1007/s40598-022-00198-y","url":null,"abstract":"<div><p>This is a collection of problems composed by some participants of the workshop “Differential Geometry, Billiards, and Geometric Optics” that took place at CIRM on October 4–8, 2021.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43199280","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-01-03DOI: 10.1007/s40598-021-00194-8
S. Chmutov, F. Vignes-Tourneret
We introduce partial duality of hypermaps, which include the classical Euler–Poincaré duality as a particular case. Combinatorially, hypermaps may be described in one of three ways: as three involutions on the set of flags (bi-rotation system or (tau )-model), or as three permutations on the set of half-edges (rotation system or (sigma )-model in orientable case), or as edge 3-coloured graphs. We express partial duality in each of these models. We give a formula for the genus change under partial duality.
{"title":"Partial Duality of Hypermaps","authors":"S. Chmutov, F. Vignes-Tourneret","doi":"10.1007/s40598-021-00194-8","DOIUrl":"10.1007/s40598-021-00194-8","url":null,"abstract":"<div><p>We introduce partial duality of hypermaps, which include the classical Euler–Poincaré duality as a particular case. Combinatorially, hypermaps may be described in one of three ways: as three involutions on the set of flags (bi-rotation system or <span>(tau )</span>-model), or as three permutations on the set of half-edges (rotation system or <span>(sigma )</span>-model in orientable case), or as edge 3-coloured graphs. We express partial duality in each of these models. We give a formula for the genus change under partial duality.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50444764","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-12-20DOI: 10.1007/s40598-021-00195-7
Peter Albers, Hansjörg Geiges, Kai Zehmisch
We classify global surfaces of section for the Reeb flow of the standard contact form on the 3-sphere (defining the Hopf fibration), with boundaries oriented positively by the flow. As an application, we prove the degree-genus formula for complex projective curves, using an elementary degeneration process inspired by the language of holomorphic buildings in symplectic field theory.
{"title":"A Symplectic Dynamics Proof of the Degree–Genus Formula","authors":"Peter Albers, Hansjörg Geiges, Kai Zehmisch","doi":"10.1007/s40598-021-00195-7","DOIUrl":"10.1007/s40598-021-00195-7","url":null,"abstract":"<div><p>We classify global surfaces of section for the Reeb flow of the standard contact form on the 3-sphere (defining the Hopf fibration), with boundaries oriented positively by the flow. As an application, we prove the degree-genus formula for complex projective curves, using an elementary degeneration process inspired by the language of holomorphic buildings in symplectic field theory.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s40598-021-00195-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49395259","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-10-15DOI: 10.1007/s40598-021-00192-w
Xianghong Gong, Laurent Stolovitch
We consider an embedded n-dimensional compact complex manifold in (n+d) dimensional complex manifolds. We are interested in the holomorphic classification of neighborhoods as part of Grauert’s formal principle program. We will give conditions ensuring that a neighborhood of (C_n) in (M_{n+d}) is biholomorphic to a neighborhood of the zero section of its normal bundle. This extends Arnold’s result about neighborhoods of a complex torus in a surface. We also prove the existence of a holomorphic foliation in (M_{n+d}) having (C_n) as a compact leaf, extending Ueda’s theory to the high codimension case. Both problems appear as a kind of linearization problems involving small divisors condition arising from solutions to their cohomological equations.
{"title":"Equivalence of Neighborhoods of Embedded Compact Complex Manifolds and Higher Codimension Foliations","authors":"Xianghong Gong, Laurent Stolovitch","doi":"10.1007/s40598-021-00192-w","DOIUrl":"10.1007/s40598-021-00192-w","url":null,"abstract":"<div><p>We consider an embedded <i>n</i>-dimensional compact complex manifold in <span>(n+d)</span> dimensional complex manifolds. We are interested in the holomorphic classification of neighborhoods as part of Grauert’s formal principle program. We will give conditions ensuring that a neighborhood of <span>(C_n)</span> in <span>(M_{n+d})</span> is biholomorphic to a neighborhood of the zero section of its normal bundle. This extends Arnold’s result about neighborhoods of a complex torus in a surface. We also prove the existence of a holomorphic foliation in <span>(M_{n+d})</span> having <span>(C_n)</span> as a compact leaf, extending Ueda’s theory to the high codimension case. Both problems appear as a kind of linearization problems involving <i>small divisors condition</i> arising from solutions to their cohomological equations.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41425542","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-10-15DOI: 10.1007/s40598-021-00190-y
A. Haddley, R. Nair
{"title":"On Schneider’s Continued Fraction Map on a Complete Non-Archimedean Field","authors":"A. Haddley, R. Nair","doi":"10.1007/s40598-021-00190-y","DOIUrl":"https://doi.org/10.1007/s40598-021-00190-y","url":null,"abstract":"","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52850248","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-10-15DOI: 10.1007/s40598-021-00190-y
A. Haddley, R. Nair
Let ({mathcal {M}}) denote the maximal ideal of the ring of integers of a non-Archimedean field K with residue class field k whose invertible elements, we denote (k^{times }), and a uniformizer we denote (pi ). In this paper, we consider the map (T_{v}: {mathcal {M}} rightarrow {mathcal {M}}) defined by
where b(x) denotes the equivalence class to which (frac{pi ^{v(x)}}{x}) belongs in (k^{times }). We show that (T_v) preserves Haar measure (mu ) on the compact abelian topological group ({mathcal {M}}). Let ({mathcal {B}}) denote the Haar (sigma )-algebra on ({mathcal {M}}). We show the natural extension of the dynamical system (({mathcal {M}}, {mathcal {B}}, mu , T_v)) is Bernoulli and has entropy (frac{#( k)}{#( k^{times })}log (#( k))). The first of these two properties is used to study the average behaviour of the convergents arising from (T_v). Here for a finite set A its cardinality has been denoted by (# (A)). In the case (K = {mathbb {Q}}_p), i.e. the field of p-adic numbers, the map (T_v) reduces to the well-studied continued fraction map due to Schneider.
{"title":"On Schneider’s Continued Fraction Map on a Complete Non-Archimedean Field","authors":"A. Haddley, R. Nair","doi":"10.1007/s40598-021-00190-y","DOIUrl":"10.1007/s40598-021-00190-y","url":null,"abstract":"<div><p>Let <span>({mathcal {M}})</span> denote the maximal ideal of the ring of integers of a non-Archimedean field <i>K</i> with residue class field <i>k</i> whose invertible elements, we denote <span>(k^{times })</span>, and a uniformizer we denote <span>(pi )</span>. In this paper, we consider the map <span>(T_{v}: {mathcal {M}} rightarrow {mathcal {M}})</span> defined by </p><div><div><span>$$begin{aligned} T_v(x) = frac{pi ^{v(x)}}{x} - b(x), end{aligned}$$</span></div></div><p>where <i>b</i>(<i>x</i>) denotes the equivalence class to which <span>(frac{pi ^{v(x)}}{x})</span> belongs in <span>(k^{times })</span>. We show that <span>(T_v)</span> preserves Haar measure <span>(mu )</span> on the compact abelian topological group <span>({mathcal {M}})</span>. Let <span>({mathcal {B}})</span> denote the Haar <span>(sigma )</span>-algebra on <span>({mathcal {M}})</span>. We show the natural extension of the dynamical system <span>(({mathcal {M}}, {mathcal {B}}, mu , T_v))</span> is Bernoulli and has entropy <span>(frac{#( k)}{#( k^{times })}log (#( k)))</span>. The first of these two properties is used to study the average behaviour of the convergents arising from <span>(T_v)</span>. Here for a finite set <i>A</i> its cardinality has been denoted by <span>(# (A))</span>. In the case <span>(K = {mathbb {Q}}_p)</span>, i.e. the field of <i>p</i>-adic numbers, the map <span>(T_v)</span> reduces to the well-studied continued fraction map due to Schneider.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s40598-021-00190-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50485675","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-09-30DOI: 10.1007/s40598-021-00189-5
Gabriel Katz
A (d^{{n}})-cage(mathsf K) is the union of n groups of hyperplanes in (mathbb P^n), each group containing d members. The hyperplanes from the distinct groups are in general position, thus producing (d^n) points where hyperplanes from all groups intersect. These points are called the nodes of (mathsf K). We study the combinatorics of nodes that impose independent conditions on the varieties (X subset mathbb P^n) containing them. We prove that if X, given by homogeneous polynomials of degrees (le d), contains the points from such a special set (mathsf A) of nodes, then it contains all the nodes of (mathsf K). Such a variety X is very special: in particular, X is a complete intersection.
{"title":"Varieties in Cages: A Little Zoo of Algebraic Geometry","authors":"Gabriel Katz","doi":"10.1007/s40598-021-00189-5","DOIUrl":"10.1007/s40598-021-00189-5","url":null,"abstract":"<div><p>A <span>(d^{{n}})</span>-<span>cage</span> <span>(mathsf K)</span> is the union of <i>n</i> groups of hyperplanes in <span>(mathbb P^n)</span>, each group containing <i>d</i> members. The hyperplanes from the distinct groups are in general position, thus producing <span>(d^n)</span> points where hyperplanes from all groups intersect. These points are called the <span>nodes</span> of <span>(mathsf K)</span>. We study the combinatorics of nodes that impose independent conditions on the varieties <span>(X subset mathbb P^n)</span> containing them. We prove that if <i>X</i>, given by homogeneous polynomials of degrees <span>(le d)</span>, contains the points from such a special set <span>(mathsf A)</span> of nodes, then it contains all the nodes of <span>(mathsf K)</span>. Such a variety <i>X</i> is very special: in particular, <i>X</i> is a complete intersection.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s40598-021-00189-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48621450","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}