Tirthankar Bhattacharyya, Mainak Bhowmik, Haripada Sau
{"title":"有界对称域商上的汉克尔算子和投影希尔伯特模块","authors":"Tirthankar Bhattacharyya, Mainak Bhowmik, Haripada Sau","doi":"arxiv-2409.04582","DOIUrl":null,"url":null,"abstract":"Consider a bounded symmetric domain $\\Omega$ with a finite pseudo-reflection\ngroup acting on it as a subgroup of the group of automorphisms. This gives rise\nto quotient domains by means of basic polynomials $\\theta$ which by virtue of\nbeing proper maps map the \\v Silov boundary of $\\Omega$ to the \\v Silov\nboundary of $\\theta(\\Omega)$. Thus, the natural measure on the \\v Silov\nboundary of $\\Omega$ can be pushed forward. This gives rise to Hardy spaces on\nthe quotient domain. The study of Hankel operators on the Hardy spaces of the quotient domains is\nintroduced. The use of the weak product space shows that an analogue of\nHartman's theorem holds for the small Hankel operator. Nehari's theorem fails\nfor the big Hankel operator and this has the consequence that when the domain\n$\\Omega$ is the polydisc $\\mathbb D^d$, the {\\em Hardy space} is not a\nprojective object in the category of all Hilbert modules over the algebra\n$\\mathcal A (\\theta(\\mathbb D^d))$ of functions which are holomorphic in the\nquotient domain and continuous on the closure $\\overline {\\theta(\\mathbb\nD^d)}$. It is not a projective object in the category of cramped Hilbert\nmodules either. Indeed, no projective object is known in these two categories.\nOn the other hand, every normal Hilbert module over the algebra of continuous\nfunctions on the \\v Silov boundary, treated as a Hilbert module over the\nalgebra $\\mathcal A (\\theta(\\mathbb D^d))$, is projective.","PeriodicalId":501036,"journal":{"name":"arXiv - MATH - Functional Analysis","volume":"11 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Hankel operators and Projective Hilbert modules on quotients of bounded symmetric domains\",\"authors\":\"Tirthankar Bhattacharyya, Mainak Bhowmik, Haripada Sau\",\"doi\":\"arxiv-2409.04582\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Consider a bounded symmetric domain $\\\\Omega$ with a finite pseudo-reflection\\ngroup acting on it as a subgroup of the group of automorphisms. This gives rise\\nto quotient domains by means of basic polynomials $\\\\theta$ which by virtue of\\nbeing proper maps map the \\\\v Silov boundary of $\\\\Omega$ to the \\\\v Silov\\nboundary of $\\\\theta(\\\\Omega)$. Thus, the natural measure on the \\\\v Silov\\nboundary of $\\\\Omega$ can be pushed forward. This gives rise to Hardy spaces on\\nthe quotient domain. The study of Hankel operators on the Hardy spaces of the quotient domains is\\nintroduced. The use of the weak product space shows that an analogue of\\nHartman's theorem holds for the small Hankel operator. Nehari's theorem fails\\nfor the big Hankel operator and this has the consequence that when the domain\\n$\\\\Omega$ is the polydisc $\\\\mathbb D^d$, the {\\\\em Hardy space} is not a\\nprojective object in the category of all Hilbert modules over the algebra\\n$\\\\mathcal A (\\\\theta(\\\\mathbb D^d))$ of functions which are holomorphic in the\\nquotient domain and continuous on the closure $\\\\overline {\\\\theta(\\\\mathbb\\nD^d)}$. It is not a projective object in the category of cramped Hilbert\\nmodules either. Indeed, no projective object is known in these two categories.\\nOn the other hand, every normal Hilbert module over the algebra of continuous\\nfunctions on the \\\\v Silov boundary, treated as a Hilbert module over the\\nalgebra $\\\\mathcal A (\\\\theta(\\\\mathbb D^d))$, is projective.\",\"PeriodicalId\":501036,\"journal\":{\"name\":\"arXiv - MATH - Functional Analysis\",\"volume\":\"11 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Functional Analysis\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.04582\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Functional Analysis","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.04582","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Hankel operators and Projective Hilbert modules on quotients of bounded symmetric domains
Consider a bounded symmetric domain $\Omega$ with a finite pseudo-reflection
group acting on it as a subgroup of the group of automorphisms. This gives rise
to quotient domains by means of basic polynomials $\theta$ which by virtue of
being proper maps map the \v Silov boundary of $\Omega$ to the \v Silov
boundary of $\theta(\Omega)$. Thus, the natural measure on the \v Silov
boundary of $\Omega$ can be pushed forward. This gives rise to Hardy spaces on
the quotient domain. The study of Hankel operators on the Hardy spaces of the quotient domains is
introduced. The use of the weak product space shows that an analogue of
Hartman's theorem holds for the small Hankel operator. Nehari's theorem fails
for the big Hankel operator and this has the consequence that when the domain
$\Omega$ is the polydisc $\mathbb D^d$, the {\em Hardy space} is not a
projective object in the category of all Hilbert modules over the algebra
$\mathcal A (\theta(\mathbb D^d))$ of functions which are holomorphic in the
quotient domain and continuous on the closure $\overline {\theta(\mathbb
D^d)}$. It is not a projective object in the category of cramped Hilbert
modules either. Indeed, no projective object is known in these two categories.
On the other hand, every normal Hilbert module over the algebra of continuous
functions on the \v Silov boundary, treated as a Hilbert module over the
algebra $\mathcal A (\theta(\mathbb D^d))$, is projective.