{"title":"Ramification filtration and differential forms","authors":"Viktor Aleksandrovich Abrashkin","doi":"10.4213/im9322e","DOIUrl":"https://doi.org/10.4213/im9322e","url":null,"abstract":"Let $L$ be a complete discrete valuation field of prime characteristic $p$ with finite residue field. Denote by $Gamma_{L}^{(v)}$ the ramification subgroups of $Gamma_{L}=operatorname{Gal}(L^{mathrm{sep}}/L)$. We consider the category $operatorname{MGamma}_{L}^{mathrm{Lie}}$ of finite $mathbb{Z}_p[Gamma_{L}]$-modules $H$, satisfying some additional (Lie)-condition on the image of $Gamma_L$ in $operatorname{Aut}_{mathbb{Z}_p}H$. In the paper it is proved that all information about the images of the groups $Gamma_L^{(v)}$ in $operatorname{Aut}_{mathbb{Z}_p}H$ can be explicitly extracted from some differential forms $widetilde{Omega} [N]$ on the Fontaine etale $phi $-module $M(H)$ associated with $H$. The forms $widetilde{Omega}[N]$ are completely determined by a canonical connection $nabla $ on $M(H)$. In the case of fields $L$ of mixed characteristic, which contain a primitive $p$th root of unity, we show that a similar problem for $mathbb{F}_p[Gamma_L]$-modules also admits a solution. In this case we use the field-of-norms functor to construct the corresponding $phi $-module together with the action of the Galois group of a cyclic extension $L_1$ of $L$ of degree $p$. Then our solution involves the characteristic $p$ part (provided by the field-of-norms functor) and the condition for a \"good\" lift of a generator of $operatorname{Gal}(L_1/L)$. Apart from the above differential forms the statement of this condition uses the power series coming from the $p$-adic period of the formal group $mathbb{G}_m$.","PeriodicalId":54910,"journal":{"name":"Izvestiya Mathematics","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135440272","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Log adjunction: moduli part","authors":"Vyacheslav Vladimirovich Shokurov","doi":"10.4213/im9279e","DOIUrl":"https://doi.org/10.4213/im9279e","url":null,"abstract":"Upper moduli part of adjunction is introduced and its basic property are discussed. The moduli part is b-Cartier in the case of rational multiplicities and is b-nef in the maximal case.","PeriodicalId":54910,"journal":{"name":"Izvestiya Mathematics","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135440534","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The renormalization group transformation in the generalized fermionic hierarchical model","authors":"Mukadas Dmukhtasibovich Missarov, Dmitrii Airatovich Khajrullin","doi":"10.4213/im9371e","DOIUrl":"https://doi.org/10.4213/im9371e","url":null,"abstract":"We consider a two-dimensional hierarchical lattice in which the vertices of a square represent an elementary cell. In the generalized hierarchical model, the distance between opposite vertices of a square differs from that between adjacent vertices and is a parameter of the new model. The Gaussian part of the Hamiltonian of the 4-component generalized fermionic hierarchical model is invariant under the block-spin renormalization group transformation. The transformation of the renormalization group in the space of coefficients, which specify the Grassmann-valued density of the free measure, is explicitly calculated as a homogeneous mapping of degree four in the two-dimensional projective space.","PeriodicalId":54910,"journal":{"name":"Izvestiya Mathematics","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135661293","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Spectral decomposition formula and moments of symmetric square $L$-functions","authors":"Olga Germanovna Balkanova","doi":"10.4213/im9330e","DOIUrl":"https://doi.org/10.4213/im9330e","url":null,"abstract":"We prove a spectral decomposition formula for averages of Zagier $L$-series in terms of moments of symmetric square $L$-functions associated to Maass and holomorphic cusp forms of levels $4$, $16$, $64$.","PeriodicalId":54910,"journal":{"name":"Izvestiya Mathematics","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135007564","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The nonarithmeticity of the predicate logic\u0000of primitive recursive realizability","authors":"V. E. Plisko","doi":"10.4213/im9288e","DOIUrl":"https://doi.org/10.4213/im9288e","url":null,"abstract":"The notion of primitive recursive realizability was introduced by S. Salehi as a kind of semantics for the language of basic arithmetic using primitive recursive functions. It is of interest to study the corresponding predicate logic. D. A. Viter proved that the predicate logic of primitive recursive realizability by Salehi is not arithmetical. The technically complex proof combines the methods used by the author of this article in the study of predicate logics of constructive arithmetic theories and the results of M. Ardeshir on the translation of the intuitionistic predicate logic into the basic predicate logic. The purpose of this article is to present another proof of Viter's result by directly transferring the methods used earlier in proving the nonarithmeticity of the predicate logic of recursive realizability.","PeriodicalId":54910,"journal":{"name":"Izvestiya Mathematics","volume":"1 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70326975","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}