{"title":"Siegel模形式上自同构微分算子的单线公式","authors":"Tomoyoshi Ibukiyama","doi":"10.1007/s12188-019-00202-x","DOIUrl":null,"url":null,"abstract":"<div><p>We consider the Siegel upper half space <span>\\(H_{2m}\\)</span> of degree 2<i>m</i> and a subset <span>\\(H_m\\times H_m\\)</span> of <span>\\(H_{2m}\\)</span> consisting of two <span>\\(m\\times m\\)</span> diagonal block matrices. We consider two actions of <span>\\(Sp(m,{\\mathbb R})\\times Sp(m,{\\mathbb R}) \\subset Sp(2m,{\\mathbb R})\\)</span>, one is the action on holomorphic functions on <span>\\(H_{2m}\\)</span> defined by the automorphy factor of weight <i>k</i> on <span>\\(H_{2m}\\)</span> and the other is the action on vector valued holomorphic functions on <span>\\(H_m\\times H_m\\)</span> defined on each component by automorphy factors obtained by <span>\\(det^k \\otimes \\rho \\)</span>, where <span>\\(\\rho \\)</span> is a polynomial representation of <span>\\(GL(n,{\\mathbb C})\\)</span>. We consider vector valued linear holomorphic differential operators with constant coefficients on holomorphic functions on <span>\\(H_{2m}\\)</span> which give an equivariant map with respect to the above two actions under the restriction to <span>\\(H_m\\times H_m\\)</span>. In a previous paper, we have already shown that all such operators can be obtained either by a projection of the universal automorphic differential operator or alternatively by a vector of <i>monomial basis</i> corresponding to the partition <span>\\(2m=m+m\\)</span>. Here in this paper, based on a completely different idea, we give much simpler looking one-line formula for such operators. This is obtained independently from our previous results. The proofs also provide more algorithmic approach to our operators.</p></div>","PeriodicalId":50932,"journal":{"name":"Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg","volume":"89 1","pages":"17 - 43"},"PeriodicalIF":0.4000,"publicationDate":"2019-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s12188-019-00202-x","citationCount":"4","resultStr":"{\"title\":\"One-line formula for automorphic differential operators on Siegel modular forms\",\"authors\":\"Tomoyoshi Ibukiyama\",\"doi\":\"10.1007/s12188-019-00202-x\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We consider the Siegel upper half space <span>\\\\(H_{2m}\\\\)</span> of degree 2<i>m</i> and a subset <span>\\\\(H_m\\\\times H_m\\\\)</span> of <span>\\\\(H_{2m}\\\\)</span> consisting of two <span>\\\\(m\\\\times m\\\\)</span> diagonal block matrices. We consider two actions of <span>\\\\(Sp(m,{\\\\mathbb R})\\\\times Sp(m,{\\\\mathbb R}) \\\\subset Sp(2m,{\\\\mathbb R})\\\\)</span>, one is the action on holomorphic functions on <span>\\\\(H_{2m}\\\\)</span> defined by the automorphy factor of weight <i>k</i> on <span>\\\\(H_{2m}\\\\)</span> and the other is the action on vector valued holomorphic functions on <span>\\\\(H_m\\\\times H_m\\\\)</span> defined on each component by automorphy factors obtained by <span>\\\\(det^k \\\\otimes \\\\rho \\\\)</span>, where <span>\\\\(\\\\rho \\\\)</span> is a polynomial representation of <span>\\\\(GL(n,{\\\\mathbb C})\\\\)</span>. We consider vector valued linear holomorphic differential operators with constant coefficients on holomorphic functions on <span>\\\\(H_{2m}\\\\)</span> which give an equivariant map with respect to the above two actions under the restriction to <span>\\\\(H_m\\\\times H_m\\\\)</span>. In a previous paper, we have already shown that all such operators can be obtained either by a projection of the universal automorphic differential operator or alternatively by a vector of <i>monomial basis</i> corresponding to the partition <span>\\\\(2m=m+m\\\\)</span>. Here in this paper, based on a completely different idea, we give much simpler looking one-line formula for such operators. This is obtained independently from our previous results. The proofs also provide more algorithmic approach to our operators.</p></div>\",\"PeriodicalId\":50932,\"journal\":{\"name\":\"Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg\",\"volume\":\"89 1\",\"pages\":\"17 - 43\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2019-04-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1007/s12188-019-00202-x\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s12188-019-00202-x\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s12188-019-00202-x","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
One-line formula for automorphic differential operators on Siegel modular forms
We consider the Siegel upper half space \(H_{2m}\) of degree 2m and a subset \(H_m\times H_m\) of \(H_{2m}\) consisting of two \(m\times m\) diagonal block matrices. We consider two actions of \(Sp(m,{\mathbb R})\times Sp(m,{\mathbb R}) \subset Sp(2m,{\mathbb R})\), one is the action on holomorphic functions on \(H_{2m}\) defined by the automorphy factor of weight k on \(H_{2m}\) and the other is the action on vector valued holomorphic functions on \(H_m\times H_m\) defined on each component by automorphy factors obtained by \(det^k \otimes \rho \), where \(\rho \) is a polynomial representation of \(GL(n,{\mathbb C})\). We consider vector valued linear holomorphic differential operators with constant coefficients on holomorphic functions on \(H_{2m}\) which give an equivariant map with respect to the above two actions under the restriction to \(H_m\times H_m\). In a previous paper, we have already shown that all such operators can be obtained either by a projection of the universal automorphic differential operator or alternatively by a vector of monomial basis corresponding to the partition \(2m=m+m\). Here in this paper, based on a completely different idea, we give much simpler looking one-line formula for such operators. This is obtained independently from our previous results. The proofs also provide more algorithmic approach to our operators.
期刊介绍:
The first issue of the "Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg" was published in the year 1921. This international mathematical journal has since then provided a forum for significant research contributions. The journal covers all central areas of pure mathematics, such as algebra, complex analysis and geometry, differential geometry and global analysis, graph theory and discrete mathematics, Lie theory, number theory, and algebraic topology.