Pub Date : 2025-05-07DOI: 10.1007/s00013-025-02130-0
Rubén A. Hidalgo
For each even integer (k ge 2), we construct an explicit real two-dimensional family (C^{(k)}_{r,theta }) of non-hyperelliptic pseudo-real Riemann surfaces of genus (g=1+(2k-3)k^{4}). For each of them, we compute its field of moduli and also a minimal field of definition.
对于每一个偶数(k ge 2),我们构造了一个显式实数二维族(C^{(k)}_{r,theta })的非超椭圆伪实数黎曼曲面的属(g=1+(2k-3)k^{4})。对于它们中的每一个,我们计算了它的模域和最小定义域。
{"title":"Explicit computation of the field of moduli of some non-hyperelliptic pseudo-real curves","authors":"Rubén A. Hidalgo","doi":"10.1007/s00013-025-02130-0","DOIUrl":"10.1007/s00013-025-02130-0","url":null,"abstract":"<div><p>For each even integer <span>(k ge 2)</span>, we construct an explicit real two-dimensional family <span>(C^{(k)}_{r,theta })</span> of non-hyperelliptic pseudo-real Riemann surfaces of genus <span>(g=1+(2k-3)k^{4})</span>. For each of them, we compute its field of moduli and also a minimal field of definition.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"125 1","pages":"63 - 77"},"PeriodicalIF":0.5,"publicationDate":"2025-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145163136","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 : 2025-05-01DOI: 10.1007/s00013-025-02128-8
Lenny Fukshansky
The illumination conjecture is a classical open problem in convex and discrete geometry, asserting that every compact convex body K in (mathbb {R}^n) can be illuminated by a set of no more than (2^n) points. If K has smooth boundary, it is known that (n+1) points are necessary and sufficient. We consider an effective variant of the illumination problem for bodies with smooth boundary, where the illuminating set is restricted to points of a lattice and prove the existence of such a set close to K with an explicit bound on the maximal distance. We produce improved bounds on this distance for certain classes of lattices, exhibiting additional symmetry or near-orthogonality properties. Our approach is based on the geometry of numbers.
{"title":"On lattice illumination of smooth convex bodies","authors":"Lenny Fukshansky","doi":"10.1007/s00013-025-02128-8","DOIUrl":"10.1007/s00013-025-02128-8","url":null,"abstract":"<div><p>The illumination conjecture is a classical open problem in convex and discrete geometry, asserting that every compact convex body <i>K</i> in <span>(mathbb {R}^n)</span> can be illuminated by a set of no more than <span>(2^n)</span> points. If <i>K</i> has smooth boundary, it is known that <span>(n+1)</span> points are necessary and sufficient. We consider an effective variant of the illumination problem for bodies with smooth boundary, where the illuminating set is restricted to points of a lattice and prove the existence of such a set close to <i>K</i> with an explicit bound on the maximal distance. We produce improved bounds on this distance for certain classes of lattices, exhibiting additional symmetry or near-orthogonality properties. Our approach is based on the geometry of numbers.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"125 2","pages":"133 - 143"},"PeriodicalIF":0.5,"publicationDate":"2025-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145141855","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 : 2025-04-29DOI: 10.1007/s00013-025-02125-x
Nicanor Carrasco-Vargas
Let G be a group with undecidable domino problem, such as ({mathbb {Z}}^2). We prove that all nontrivial dynamical properties for sofic G-subshifts are undecidable, that this is not true for G-SFTs, and an undecidability result for dynamical properties of G-SFTs similar to the Adian–Rabin theorem. Furthermore, we prove that every computable real-valued dynamical invariant for G-SFTs that is monotone by disjoint unions and products is constant.
{"title":"On a Rice theorem for dynamical properties of SFTs on groups","authors":"Nicanor Carrasco-Vargas","doi":"10.1007/s00013-025-02125-x","DOIUrl":"10.1007/s00013-025-02125-x","url":null,"abstract":"<div><p>Let <i>G</i> be a group with undecidable domino problem, such as <span>({mathbb {Z}}^2)</span>. We prove that all nontrivial dynamical properties for sofic <i>G</i>-subshifts are undecidable, that this is not true for <i>G</i>-SFTs, and an undecidability result for dynamical properties of <i>G</i>-SFTs similar to the Adian–Rabin theorem. Furthermore, we prove that every computable real-valued dynamical invariant for <i>G</i>-SFTs that is monotone by disjoint unions and products is constant.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"124 6","pages":"591 - 603"},"PeriodicalIF":0.5,"publicationDate":"2025-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144084939","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 : 2025-04-29DOI: 10.1007/s00013-025-02129-7
I. Macías Tarrío, C. Spiridon, A. Stoenicǎ
The aim of this note is to exhibit proper first Brill-Noether loci inside the moduli spaces (M_{Y,H}(2;c_1,c_2)) of H-stable rank 2 vector bundles with fixed Chern classes of a certain type on an Enriques surface Y which is covered by a Jacobian Kummer surface X.
{"title":"Brill-Noether loci on an Enriques surface covered by a Jacobian Kummer surface","authors":"I. Macías Tarrío, C. Spiridon, A. Stoenicǎ","doi":"10.1007/s00013-025-02129-7","DOIUrl":"10.1007/s00013-025-02129-7","url":null,"abstract":"<div><p>The aim of this note is to exhibit proper first Brill-Noether loci inside the moduli spaces <span>(M_{Y,H}(2;c_1,c_2))</span> of <i>H</i>-stable rank 2 vector bundles with fixed Chern classes of a certain type on an Enriques surface <i>Y</i> which is covered by a Jacobian Kummer surface <i>X</i>.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"125 2","pages":"145 - 156"},"PeriodicalIF":0.5,"publicationDate":"2025-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00013-025-02129-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145145347","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}
on the space (textrm{BMO}(mathbb {R}^n)). Precisely, let (qin (1,infty )) and (beta in (0,frac{(q-1)n}{q})). We prove that, for any (fin textrm{BMO}(mathbb {R}^n)cap L^{q'}(mathbb {R}^n)), (Tfin textrm{BMO}(mathbb {R}^n)) and
$$ Vert TfVert _{textrm{BMO}(mathbb {R}^n)}le Cleft[ Vert fVert _{textrm{BMO}(mathbb {R}^n)}+frac{beta ^{frac{(q-1)n}{q}}}{root q of {n(q-1)-beta q}}Vert fVert _{L^{q'}(mathbb {R}^n)}right] , $$
where (q'in (1,infty )) is given by (1/q+1/q'=1) and C is a positive constant independent of (beta ) and f. This estimate can be seen as a further development for the corresponding results in the scale of Lebesgue spaces, established by Chen and Guo (J Funct Anal 281:Paper No. 109196, 2021), in the endpoint case.
{"title":"Boundedness estimate for certain Calderón–Zygmund type singular integrals on (textrm{BMO}) spaces","authors":"Yinping Xin, Sibei Yang","doi":"10.1007/s00013-025-02119-9","DOIUrl":"10.1007/s00013-025-02119-9","url":null,"abstract":"<div><p>Let <span>(beta in (0,n))</span>. In this paper, we study the boundedness of the Calderón–Zygmund type singular integral </p><div><div><span>$$ T(f)(x):=mathrm {p.v.}int limits _{mathbb {R}^n}frac{Omega (y)}{|y|^{n-beta }}f(x-y),dy $$</span></div></div><p>on the space <span>(textrm{BMO}(mathbb {R}^n))</span>. Precisely, let <span>(qin (1,infty ))</span> and <span>(beta in (0,frac{(q-1)n}{q}))</span>. We prove that, for any <span>(fin textrm{BMO}(mathbb {R}^n)cap L^{q'}(mathbb {R}^n))</span>, <span>(Tfin textrm{BMO}(mathbb {R}^n))</span> and </p><div><div><span>$$ Vert TfVert _{textrm{BMO}(mathbb {R}^n)}le Cleft[ Vert fVert _{textrm{BMO}(mathbb {R}^n)}+frac{beta ^{frac{(q-1)n}{q}}}{root q of {n(q-1)-beta q}}Vert fVert _{L^{q'}(mathbb {R}^n)}right] , $$</span></div></div><p>where <span>(q'in (1,infty ))</span> is given by <span>(1/q+1/q'=1)</span> and <i>C</i> is a positive constant independent of <span>(beta )</span> and <i>f</i>. This estimate can be seen as a further development for the corresponding results in the scale of Lebesgue spaces, established by Chen and Guo (J Funct Anal 281:Paper No. 109196, 2021), in the endpoint case.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"125 1","pages":"93 - 106"},"PeriodicalIF":0.5,"publicationDate":"2025-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145171287","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 : 2025-04-28DOI: 10.1007/s00013-025-02118-w
Mikhail Borovoi
Let K be a global field, that is, a number field or a global function field. It is known that the answer to the question in the title over K is “Yes” when K has no real embeddings. We show that otherwise the answer is “No”. Namely, we show that when K is a number field admitting a real embedding, it is impossible to define a group structure on the first Galois cohomology sets (textrm{H}^1hspace{-0.8pt}(K,G)) for all reductive K-groups G in a functorial way.
{"title":"Is there a group structure on the Galois cohomology of a reductive group over a global field?","authors":"Mikhail Borovoi","doi":"10.1007/s00013-025-02118-w","DOIUrl":"10.1007/s00013-025-02118-w","url":null,"abstract":"<div><p>Let <i>K</i> be a global field, that is, a number field or a global function field. It is known that the answer to the question in the title over <i>K</i> is “Yes” when <i>K</i> has no real embeddings. We show that otherwise the answer is “No”. Namely, we show that when <i>K</i> is a number field admitting a real embedding, it is impossible to define a group structure on the first Galois cohomology sets <span>(textrm{H}^1hspace{-0.8pt}(K,G))</span> for all reductive <i>K</i>-groups <i>G</i> in a functorial way.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"124 6","pages":"583 - 589"},"PeriodicalIF":0.5,"publicationDate":"2025-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00013-025-02118-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144085002","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 : 2025-04-25DOI: 10.1007/s00013-025-02126-w
Jasmin Fiedler, Christian Weiss
The limiting function f(s) of the pair correlation
$$begin{aligned} frac{1}{N} # left{ 1 le ine jle N bigg vert leftVert x_i - x_j rightVert le frac{s}{N} right} end{aligned}$$
for a sequence ((x_N)_{N in mathbb {N}}) on the torus (mathbb {T}^1) is said to be Poissonian if it exists and equals 2s for all (s ge 0). For instance, independent, uniformly distributed random variables generically have this property. Obviously f(s) is always a monotonic function if existent. There are only few examples of sequences where (f(s) ne 2s), but where the limit can still be explicitly calculated. Therefore, it is an open question which types of functions f(s) can or cannot appear here. In this note, we give a partial answer on this question by addressing the case that the number of different gap lengths in the sequence is finite and showing that f cannot be continuous then.
对于环面(mathbb {T}^1)上的序列((x_N)_{N in mathbb {N}}),对相关$$begin{aligned} frac{1}{N} # left{ 1 le ine jle N bigg vert leftVert x_i - x_j rightVert le frac{s}{N} right} end{aligned}$$的极限函数f(s)如果存在,则称为泊松函数,并且对所有(s ge 0)都等于2s。例如,独立的,均匀分布的随机变量一般都有这个性质。显然,如果f(s)存在,它总是一个单调函数。只有少数例子的序列(f(s) ne 2s),但其中的极限仍然可以显式计算。因此,哪种类型的函数f(s)能出现或不能出现是一个悬而未决的问题。在这篇笔记中,我们通过处理序列中不同间隙长度的数量有限的情况,并证明f不能连续,给出了这个问题的部分答案。
{"title":"On the pair correlation statistic of sequences with the finite gap property","authors":"Jasmin Fiedler, Christian Weiss","doi":"10.1007/s00013-025-02126-w","DOIUrl":"10.1007/s00013-025-02126-w","url":null,"abstract":"<div><p>The limiting function <i>f</i>(<i>s</i>) of the pair correlation </p><div><div><span>$$begin{aligned} frac{1}{N} # left{ 1 le ine jle N bigg vert leftVert x_i - x_j rightVert le frac{s}{N} right} end{aligned}$$</span></div></div><p>for a sequence <span>((x_N)_{N in mathbb {N}})</span> on the torus <span>(mathbb {T}^1)</span> is said to be Poissonian if it exists and equals 2<i>s</i> for all <span>(s ge 0)</span>. For instance, independent, uniformly distributed random variables generically have this property. Obviously <i>f</i>(<i>s</i>) is always a monotonic function if existent. There are only few examples of sequences where <span>(f(s) ne 2s)</span>, but where the limit can still be explicitly calculated. Therefore, it is an open question which types of functions <i>f</i>(<i>s</i>) can or cannot appear here. In this note, we give a partial answer on this question by addressing the case that the number of different gap lengths in the sequence is finite and showing that <i>f</i> cannot be continuous then.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"125 1","pages":"107 - 113"},"PeriodicalIF":0.5,"publicationDate":"2025-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00013-025-02126-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145168500","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 : 2025-04-04DOI: 10.1007/s00013-025-02121-1
Marius Tărnăuceanu
Burness and Scott (J Aust Math Soc 87:329-357, 2009) classified finite groups G such that the number of prime order subgroups of G is greater than (|G|/2-1). In this note, we study finite groups G whose subgroup graph contains a vertex of degree greater than (|G|/2-1). The classification given for finite solvable groups extends the work of Burness and Scott.
Burness和Scott (J Aust Math Soc 87:329-357, 2009)对有限群G进行了分类,使得G的素阶子群的个数大于(|G|/2-1)。本文研究子群图中包含一个度大于(|G|/2-1)的顶点的有限群G。有限可解群的分类扩展了Burness和Scott的工作。
{"title":"Finite groups whose subgroup graph contains a vertex of large degree","authors":"Marius Tărnăuceanu","doi":"10.1007/s00013-025-02121-1","DOIUrl":"10.1007/s00013-025-02121-1","url":null,"abstract":"<div><p>Burness and Scott (J Aust Math Soc 87:329-357, 2009) classified finite groups <i>G</i> such that the number of prime order subgroups of <i>G</i> is greater than <span>(|G|/2-1)</span>. In this note, we study finite groups <i>G</i> whose subgroup graph contains a vertex of degree greater than <span>(|G|/2-1)</span>. The classification given for finite solvable groups extends the work of Burness and Scott.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"124 5","pages":"475 - 484"},"PeriodicalIF":0.5,"publicationDate":"2025-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00013-025-02121-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143818135","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 : 2025-04-02DOI: 10.1007/s00013-025-02109-x
Kevin Gomez
Recent work by Craig, van Ittersum, and Ono constructs explicit expressions in the partition functions of MacMahon that detect the prime numbers. Furthermore, they define generalizations, the MacMahonesque functions, and prove there are infinitely many such expressions in these functions. Here, we show how to modify and adapt their construction to detect cubes of primes as well as primes in arithmetic progressions.
Craig, van Ittersum和Ono最近的工作在MacMahon的配分函数中构造了检测素数的显式表达式。进一步,他们定义了广义的MacMahonesque函数,并证明了在这些函数中有无限多个这样的表达式。在这里,我们展示了如何修改和调整它们的结构来检测质数的立方以及等差数列中的质数。
{"title":"MacMahonesque partition functions detect sets related to primes","authors":"Kevin Gomez","doi":"10.1007/s00013-025-02109-x","DOIUrl":"10.1007/s00013-025-02109-x","url":null,"abstract":"<div><p>Recent work by Craig, van Ittersum, and Ono constructs explicit expressions in the partition functions of MacMahon that detect the prime numbers. Furthermore, they define generalizations, the MacMahonesque functions, and prove there are infinitely many such expressions in these functions. Here, we show how to modify and adapt their construction to detect cubes of primes as well as primes in arithmetic progressions.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"124 6","pages":"637 - 652"},"PeriodicalIF":0.5,"publicationDate":"2025-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00013-025-02109-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144084870","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 : 2025-03-26DOI: 10.1007/s00013-025-02116-y
Phan Thi Thuy, Thanh Vu
Let I be an arbitrary nonzero squarefree monomial ideal of dimension d in a polynomial ring (S = textrm{k}[x_1,ldots ,x_n]). Let (mu ) be the number of associated primes of S/I of dimension d. We prove that the multiplicity of powers of I is given by
$$begin{aligned} e_0(S/I^s) = mu left( {begin{array}{c}n-d+s-1 s-1end{array}}right) end{aligned}$$
for all (s ge 1). Consequently, we compute the multiplicity of all powers of path ideals of cycles.
假设是多项式环中任意一个d维的非零无平方单项式理想(S = textrm{k}[x_1,ldots ,x_n])。设(mu )为维数d的S/I的关联素数。我们证明了对于所有(s ge 1), I的幂次的多重性由$$begin{aligned} e_0(S/I^s) = mu left( {begin{array}{c}n-d+s-1 s-1end{array}}right) end{aligned}$$给出。因此,我们计算了环的路径理想的所有幂次的多重性。
{"title":"Multiplicity of powers of squarefree monomial ideals","authors":"Phan Thi Thuy, Thanh Vu","doi":"10.1007/s00013-025-02116-y","DOIUrl":"10.1007/s00013-025-02116-y","url":null,"abstract":"<div><p>Let <i>I</i> be an arbitrary nonzero squarefree monomial ideal of dimension <i>d</i> in a polynomial ring <span>(S = textrm{k}[x_1,ldots ,x_n])</span>. Let <span>(mu )</span> be the number of associated primes of <i>S</i>/<i>I</i> of dimension <i>d</i>. We prove that the multiplicity of powers of <i>I</i> is given by </p><div><div><span>$$begin{aligned} e_0(S/I^s) = mu left( {begin{array}{c}n-d+s-1 s-1end{array}}right) end{aligned}$$</span></div></div><p>for all <span>(s ge 1)</span>. Consequently, we compute the multiplicity of all powers of path ideals of cycles.</p></div>","PeriodicalId":8346,"journal":{"name":"Archiv der Mathematik","volume":"125 1","pages":"9 - 15"},"PeriodicalIF":0.5,"publicationDate":"2025-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145169565","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}