Pub Date : 2024-09-20DOI: 10.1007/s00013-024-02041-6
Sander Zwegers
We revisit the group structure on elliptic curves and give a simple and elementary proof of the associativity of the addition. We do this by providing an explicit formula for the sum of three points, only using the explicit definition of the group structure. In the process, we find a nice geometric interpretation of the sum of three points on the elliptic curve
{"title":"An elementary approach to the group law on elliptic curves","authors":"Sander Zwegers","doi":"10.1007/s00013-024-02041-6","DOIUrl":"10.1007/s00013-024-02041-6","url":null,"abstract":"<div><p>We revisit the group structure on elliptic curves and give a simple and elementary proof of the associativity of the addition. We do this by providing an explicit formula for the sum of three points, only using the explicit definition of the group structure. In the process, we find a nice geometric interpretation of the sum of three points on the elliptic curve</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"123 5","pages":"477 - 486"},"PeriodicalIF":0.5,"publicationDate":"2024-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142447329","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The relation between the gonality and the Clifford index of a chain of cycles","authors":"Marc Coppens","doi":"10.1007/s00013-024-02049-y","DOIUrl":"10.1007/s00013-024-02049-y","url":null,"abstract":"<div><p>For a chain of cycles <span>(Gamma )</span>, we prove that <span>({{,textrm{Cliff},}}(Gamma )={{,textrm{gon},}}(Gamma )-2)</span>.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"123 6","pages":"585 - 591"},"PeriodicalIF":0.5,"publicationDate":"2024-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142251397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-17DOI: 10.1007/s00013-024-02051-4
Alexander Dicke, Ivan Veselić
It is shown that the restriction of a polynomial to a sphere satisfies a Logvinenko–Sereda–Kovrijkine type inequality (a specific type of uncertainty relation). This implies a spectral inequality for the Laplace–Beltrami operator, which, in turn, yields observability and null-controllability with explicit estimates on the control costs for the spherical heat equation that are sharp in the large and in the small time regime.
{"title":"Spherical Logvinenko–Sereda–Kovrijkine type inequality and null-controllability of the heat equation on the sphere","authors":"Alexander Dicke, Ivan Veselić","doi":"10.1007/s00013-024-02051-4","DOIUrl":"10.1007/s00013-024-02051-4","url":null,"abstract":"<div><p>It is shown that the restriction of a polynomial to a sphere satisfies a Logvinenko–Sereda–Kovrijkine type inequality (a specific type of uncertainty relation). This implies a spectral inequality for the Laplace–Beltrami operator, which, in turn, yields observability and null-controllability with explicit estimates on the control costs for the spherical heat equation that are sharp in the large and in the small time regime.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"123 5","pages":"543 - 556"},"PeriodicalIF":0.5,"publicationDate":"2024-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00013-024-02051-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142251438","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-17DOI: 10.1007/s00013-024-02045-2
Olivier Dudas, Gunter Malle
We determine the rationality properties of unipotent characters of finite reductive groups arising as fixed points of disconnected reductive groups under a Frobenius map. In the proof, we use realisations of characters in (ell )-adic cohomology groups of Deligne–Lusztig varieties as well as block theoretic considerations.
{"title":"Rationality of extended unipotent characters","authors":"Olivier Dudas, Gunter Malle","doi":"10.1007/s00013-024-02045-2","DOIUrl":"10.1007/s00013-024-02045-2","url":null,"abstract":"<div><p>We determine the rationality properties of unipotent characters of finite reductive groups arising as fixed points of disconnected reductive groups under a Frobenius map. In the proof, we use realisations of characters in <span>(ell )</span>-adic cohomology groups of Deligne–Lusztig varieties as well as block theoretic considerations.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"123 5","pages":"455 - 466"},"PeriodicalIF":0.5,"publicationDate":"2024-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00013-024-02045-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142251398","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-14DOI: 10.1007/s00013-024-02047-0
Antonino Ficarra, Jürgen Herzog, Dumitru I. Stamate, Vijaylaxmi Trivedi
We compute the canonical trace of generic determinantal rings and provide a sufficient condition for the trace to specialize. As an application, we determine the canonical trace (tr (omega _R)) of a Cohen–Macaulay ring R of codimension two, which is generically Gorenstein. It is shown that if the defining ideal I of R is generated by n elements, then (tr (omega _R)) is generated by the ((n-2))-minors of the Hilbert–Burch matrix of I.
我们计算了一般行列式环的典型迹,并提供了迹特殊化的充分条件。作为应用,我们确定了一般为戈伦斯坦的二维科恩-麦考莱环 R 的典型迹 (tr (omega _R))。研究表明,如果 R 的定义理想 I 由 n 个元素生成,那么 (tr (omega _R)) 是由 I 的希尔伯特-伯奇矩阵的 ((n-2))-最小值生成的。
{"title":"The canonical trace of determinantal rings","authors":"Antonino Ficarra, Jürgen Herzog, Dumitru I. Stamate, Vijaylaxmi Trivedi","doi":"10.1007/s00013-024-02047-0","DOIUrl":"10.1007/s00013-024-02047-0","url":null,"abstract":"<div><p>We compute the canonical trace of generic determinantal rings and provide a sufficient condition for the trace to specialize. As an application, we determine the canonical trace <span>(tr (omega _R))</span> of a Cohen–Macaulay ring <i>R</i> of codimension two, which is generically Gorenstein. It is shown that if the defining ideal <i>I</i> of <i>R</i> is generated by <i>n</i> elements, then <span>(tr (omega _R))</span> is generated by the <span>((n-2))</span>-minors of the Hilbert–Burch matrix of <i>I</i>.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"123 5","pages":"487 - 497"},"PeriodicalIF":0.5,"publicationDate":"2024-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142251400","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-11DOI: 10.1007/s00013-024-02030-9
Junling Zheng, Yingying Zhang
There is a well-known class of algebras called Igusa–Todorov algebras which were introduced in relation to the finitistic dimension conjecture. As a generalization of Igusa–Todorov algebras, the new notion of (m, n)-Igusa–Todorov algebras provides a wider framework for studying derived dimensions. In this paper, we give methods for constructing (m, n)-Igusa–Todorov algebras. As an application, we present for general Artin algebras a relationship between the derived dimension and the representation distance. Moreover, we end this paper to show that the main result can be used to give a better upper bound for the derived dimension for some classes of algebras.
{"title":"The derived dimensions and representation distances of Artin algebras","authors":"Junling Zheng, Yingying Zhang","doi":"10.1007/s00013-024-02030-9","DOIUrl":"10.1007/s00013-024-02030-9","url":null,"abstract":"<div><p>There is a well-known class of algebras called Igusa–Todorov algebras which were introduced in relation to the finitistic dimension conjecture. As a generalization of Igusa–Todorov algebras, the new notion of (<i>m</i>, <i>n</i>)-Igusa–Todorov algebras provides a wider framework for studying derived dimensions. In this paper, we give methods for constructing (<i>m</i>, <i>n</i>)-Igusa–Todorov algebras. As an application, we present for general Artin algebras a relationship between the derived dimension and the representation distance. Moreover, we end this paper to show that the main result can be used to give a better upper bound for the derived dimension for some classes of algebras.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"123 4","pages":"339 - 351"},"PeriodicalIF":0.5,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142206090","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-03DOI: 10.1007/s00013-024-02044-3
Ngoc Huy Nguyen, Thieu Huy Nguyen, Thi Ngoc Ha Vu
In this paper, we investigate the existence and stability of almost periodic mild solutions to the non-autonomous Oseen–Navier–Stokes equations (ONSE) in the exterior domain (Omega subset mathbb {R}^3) of a rigid body under the actions of almost periodic external forces. Our method is based on the (L^p-L^q) smoothness of the evolution family corresponding to linearized equations in combination with interpolation spaces and fixed point theorems.
{"title":"Almost periodic motions and their stability of the non-autonomous Oseen–Navier–Stokes flows","authors":"Ngoc Huy Nguyen, Thieu Huy Nguyen, Thi Ngoc Ha Vu","doi":"10.1007/s00013-024-02044-3","DOIUrl":"10.1007/s00013-024-02044-3","url":null,"abstract":"<div><p>In this paper, we investigate the existence and stability of almost periodic mild solutions to the non-autonomous Oseen–Navier–Stokes equations (ONSE) in the exterior domain <span>(Omega subset mathbb {R}^3)</span> of a rigid body under the actions of almost periodic external forces. Our method is based on the <span>(L^p-L^q)</span> smoothness of the evolution family corresponding to linearized equations in combination with interpolation spaces and fixed point theorems.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"123 6","pages":"663 - 678"},"PeriodicalIF":0.5,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142206091","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-30DOI: 10.1007/s00013-024-02035-4
Mario Amrein
The need to control the residual of a potentially nonlinear function (mathcal {F}) arises in several situations in mathematics. For example, computing the zeros of a given map, or the reduction of some cost function during an optimization process are such situations. In this note, we discuss the existence of a curve (tmapsto x(t)) in the domain of the nonlinear map (mathcal {F}) leading from some initial value (x_0) to a value u such that we are able to control the residual (mathcal {F}(x(t))) based on the value (mathcal {F}(x_0)). More precisely, we slightly extend an existing result from J.W. Neuberger by proving the existence of such a curve, assuming that the directional derivative of (mathcal {F}) can be represented by (x mapsto mathcal {A}(x)mathcal {F}(x_0)), where (mathcal {A}) is a suitable defined operator. The presented approach covers, in case of (mathcal {A}(x) = -textsf{Id}), some well known results from the theory of so-called continuous Newton methods. Moreover, based on the presented results, we discover an approximate inverse function result.
{"title":"Residual growth control for general maps and an approximate inverse function result","authors":"Mario Amrein","doi":"10.1007/s00013-024-02035-4","DOIUrl":"10.1007/s00013-024-02035-4","url":null,"abstract":"<div><p>The need to control the residual of a potentially nonlinear function <span>(mathcal {F})</span> arises in several situations in mathematics. For example, computing the zeros of a given map, or the reduction of some cost function during an optimization process are such situations. In this note, we discuss the existence of a curve <span>(tmapsto x(t))</span> in the domain of the nonlinear map <span>(mathcal {F})</span> leading from some initial value <span>(x_0)</span> to a value <i>u</i> such that we are able to control the residual <span>(mathcal {F}(x(t)))</span> based on the value <span>(mathcal {F}(x_0))</span>. More precisely, we slightly extend an existing result from J.W. Neuberger by proving the existence of such a curve, assuming that the directional derivative of <span>(mathcal {F})</span> can be represented by <span>(x mapsto mathcal {A}(x)mathcal {F}(x_0))</span>, where <span>(mathcal {A})</span> is a suitable defined operator. The presented approach covers, in case of <span>(mathcal {A}(x) = -textsf{Id})</span>, some well known results from the theory of so-called <i>continuous Newton methods</i>. Moreover, based on the presented results, we discover an approximate inverse function result.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"123 5","pages":"507 - 518"},"PeriodicalIF":0.5,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00013-024-02035-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142206092","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
for scalar-valued functions f on the half line, where (f') and (f'') are its derivatives and (varepsilon ) and (mu ) are positive parameters with (varepsilon < frac{mu ^2}{4}.) This problem plays an essential part of the calculation of the best constant in Heisenberg’s uncertainty principle inequality for solenoidal vector fields. The above problem was originally solved by using (generalized) Laguerre polynomial expansion; however, the calculation was complicated and long. In the present paper, we give a simpler method to obtain the same solution, the essential part of which was communicated in Theorem 5.1 of the preprint (Hamamoto, arXiv:2104.02351v4, 2021).
{"title":"A note on the 1-D minimization problem related to solenoidal improvement of the uncertainty principle inequality","authors":"Naoki Hamamoto","doi":"10.1007/s00013-024-02042-5","DOIUrl":"10.1007/s00013-024-02042-5","url":null,"abstract":"<div><p>This paper gives a second way to solve the one-dimensional minimization problem of the form : </p><div><div><span>$$begin{aligned} min _{fnot equiv 0}frac{displaystyle int limits _0^infty left( f''right) ^2x^{mu +1}dxint limits _0^infty left( {x}^2left( f'right) ^2 -varepsilon f^2right) {{x}}^{mu -1}d{x}}{displaystyle left( int limits _0^infty left( f'right) ^2 {{x}}^{mu }d{x}right) ^2} end{aligned}$$</span></div></div><p>for scalar-valued functions <i>f</i> on the half line, where <span>(f')</span> and <span>(f'')</span> are its derivatives and <span>(varepsilon )</span> and <span>(mu )</span> are positive parameters with <span>(varepsilon < frac{mu ^2}{4}.)</span> This problem plays an essential part of the calculation of the best constant in Heisenberg’s uncertainty principle inequality for solenoidal vector fields. The above problem was originally solved by using (generalized) Laguerre polynomial expansion; however, the calculation was complicated and long. In the present paper, we give a simpler method to obtain the same solution, the essential part of which was communicated in Theorem 5.1 of the preprint (Hamamoto, arXiv:2104.02351v4, 2021).</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"123 6","pages":"653 - 662"},"PeriodicalIF":0.5,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00013-024-02042-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142206094","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-27DOI: 10.1007/s00013-024-02036-3
Alexander Kupers
We show that the first two k-invariants of (textrm{Top}/textrm{O}) vanish and give some applications.
我们证明了 (textrm{Top}/textrm{O}) 的前两个 k 变量消失,并给出了一些应用。
{"title":"The first two k-invariants of (textrm{Top}/textrm{O})","authors":"Alexander Kupers","doi":"10.1007/s00013-024-02036-3","DOIUrl":"10.1007/s00013-024-02036-3","url":null,"abstract":"<div><p>We show that the first two <i>k</i>-invariants of <span>(textrm{Top}/textrm{O})</span> vanish and give some applications.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"123 4","pages":"385 - 391"},"PeriodicalIF":0.5,"publicationDate":"2024-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142206093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}