Israel Journal of Mathematics最新文献

{"title":"A generalization of Cayley–Hamilton algebras and an introduction to their geometries","authors":"Charles Almeida, Claudemir Fidelis, José Lucas Galdino","doi":"10.1007/s11856-024-2614-0","DOIUrl":"https://doi.org/10.1007/s11856-024-2614-0","url":null,"abstract":"<p>Let <i>A</i> and <i>B</i> be graded algebras in the same variety of trace algebras, such that <i>A</i> is a finite-dimensional, central simple power associative algebra (in the ordinary sense). Over a field <i>K</i> of characteristic zero, we study sufficient conditions that ensure <i>B</i> to be a graded subalgebra of <i>A</i>. More precisely, we prove, under additional hypotheses, that there is a graded and trace-preserving embedding from <i>B</i> to <i>A</i> over some associative and commutative <i>K</i>-algebra <i>C</i> if and only if <i>B</i> satisfies all <i>G</i>-trace identities of <i>A</i> over <i>K.</i> As a consequence of these results, we give a geometric interpretation of our main theorem under the context of graded algebras, and we apply them beyond the Cayley–Hamilton algebras presented in [24, 29]. Such results open a wide range of opportunities to study geometry in Jordan and alternative algebras (with trivial grading).</p>","PeriodicalId":14661,"journal":{"name":"Israel Journal of Mathematics","volume":"18 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140799577","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Distributivity and minimality in perfect tree forcings for singular cardinals","authors":"Maxwell Levine, Heike Mildenberger","doi":"10.1007/s11856-024-2607-z","DOIUrl":"https://doi.org/10.1007/s11856-024-2607-z","url":null,"abstract":"<p>Dobrinen, Hathaway and Prikry studied a forcing ℙ_<i>κ</i> consisting of perfect trees of height λ and width <i>κ</i> where <i>κ</i> is a singular λ-strong limit of cofinality λ. They showed that if <i>κ</i> is singular of countable cofinality, then ℙ_<i>κ</i> is minimal for <i>ω</i>-sequences assuming that <i>κ</i> is a supremum of a sequence of measurable cardinals. We obtain this result without the measurability assumption.</p><p>Prikry proved that ℙ_<i>κ</i> is (<i>ω</i>, <i>ν</i>)-distributive for all <i>ν</i> &lt; <i>κ</i> given a singular <i>ω</i>-strong limit cardinal <i>κ</i> of countable cofinality, and Dobrinen et al. asked whether this result generalizes if <i>κ</i> has uncountable cofinality. We answer their question in the negative by showing that ℙ_<i>κ</i> is not (λ, 2)-distributive if <i>κ</i> is a λ-strong limit of uncountable cofinality λ and we obtain the same result for a range of similar forcings, including one that Dobrinen et al. consider that consists of pre-perfect trees. We also show that ℙ_<i>κ</i> in particular is not (<i>ω</i>, ·, λ⁺)-distributive under these assumptions.</p><p>While developing these ideas, we address natural questions regarding minimality and collapses of cardinals.</p>","PeriodicalId":14661,"journal":{"name":"Israel Journal of Mathematics","volume":"1 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140806295","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Abstract factorization theorems with applications to idempotent factorizations","authors":"Laura Cossu, Salvatore Tringali","doi":"10.1007/s11856-024-2623-z","DOIUrl":"https://doi.org/10.1007/s11856-024-2623-z","url":null,"abstract":"<p>Let ⪯ be a preorder on a monoid <i>H</i> with identity 1_<i>H</i> and <i>s</i> be an integer ≥ 2. The ⪯-height of an element <i>x</i> ∈ <i>H</i> is the supremum of the integers <i>k</i> ≥ 1 for which there is a (strictly) ⪯-decreasing sequence <i>x</i>₁, …, <i>x</i>_<i>k</i> of ⪯-non-units of <i>H</i> with <i>x</i>₁ = <i>x</i>, where <i>u</i> ∈ <i>H</i> is a ⪯-unit if <i>u</i> ⪯ 1_<i>H</i> ⪯ <i>u</i> and a ⪯-non-unit otherwise. We say <i>H</i> is ⪯-artinian if there is no infinite ⪯-decreasing sequence of elements of <i>H</i>, and strongly ⪯-artinian if the ⪯-height of each element is finite.</p><p>We establish that, if <i>H</i> is ⪯-artinian, then each ⪯-non-unit <i>x</i> ∈ <i>H</i> factors through the ⪯-irreducibles of degree <i>s</i>, where a ⪯-irreducible of degree <i>s</i> is a ⪯-non-unit <i>a</i> ∈ <i>H</i> that cannot be written as a product of <i>s</i> or fewer ⪯-non-units each of which is (strictly) smaller than <i>a</i> with respect to ⪯. In addition, we show that, if <i>H</i> is strongly ⪯-artinian, then <i>x</i> factors through the ⪯-quarks of <i>H</i>, where a ⪯-quark is a ⪯-minimal ⪯-non-unit. In the process, we obtain upper bounds for the length of a shortest factorization of <i>x</i> into ⪯-irreducibles of degree <i>s</i> (resp., ⪯-quarks) in terms of its ⪯-height.</p><p>Next, we specialize these results to the case in which (i) <i>H</i> is the multiplicative submonoid of a ring <i>R</i> formed by the zero divisors of <i>R</i> (and the identity 1_<i>R</i>) and (ii) <i>a</i> ⪯ <i>b</i> if and only if the right annihilator of 1_<i>R</i> − <i>b</i> is contained in the right annihilator of 1_<i>R</i> − <i>a</i>. If <i>H</i> is ⪯-artinian (resp., strongly ⪯-artinian), then every zero divisor of <i>R</i> factors as a product of ⪯-irreducibles of degree <i>s</i> (resp., ⪯-quarks); and we prove that, for a variety of right Rickart rings, either the ⪯-quarks or the ⪯-irreducibles of degree 2 or 3 are coprimitive idempotents (an idempotent <i>e</i> ∈ <i>R</i> is coprimitive if 1_<i>R</i> − <i>e</i> is primitive). In the latter case, we also derive sharp upper bounds for the length of a shortest idempotent factorization of a zero divisor <i>x</i> ∈ <i>R</i> in terms of the ⪯-height of <i>x</i> and the uniform dimension of <i>R</i>_<i>R</i>. In particular, we can thus recover and improve on classical theorems of J. A. Erdos (1967), R.J.H. Dawlings (1981), and J. Fountain (1991) on idempotent factorizations in the endomorphism ring of a free module of finite rank over a skew field or a commutative DVD (e.g., we find that every singular <i>n</i>-by-<i>n</i> matrix over a commutative DVD, with <i>n</i> ≥ 2, is a product of 2<i>n</i> − 2 or fewer idempotent matrices of rank <i>n</i> − 1).</p>","PeriodicalId":14661,"journal":{"name":"Israel Journal of Mathematics","volume":"60 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140809515","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Refining systems of mad families","authors":"Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky","doi":"10.1007/s11856-024-2626-9","DOIUrl":"https://doi.org/10.1007/s11856-024-2626-9","url":null,"abstract":"<p>We construct a model in which there exists a refining matrix of regular height λ larger than <span>(mathfrak{h})</span>; both <span>(lambda = mathfrak{c})</span> and <span>(lambda &lt; mathfrak{c})</span> are possible. A refining matrix is a refining system of mad families without common refinement. Of particular interest in our proof is the preservation of <span>({cal B})</span>-Canjarness.</p>","PeriodicalId":14661,"journal":{"name":"Israel Journal of Mathematics","volume":"36 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140809730","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Gluing compactly generated t-structures over stalks of affine schemes","authors":"Michal Hrbek, Jiangsheng Hu, Rongmin Zhu","doi":"10.1007/s11856-024-2611-3","DOIUrl":"https://doi.org/10.1007/s11856-024-2611-3","url":null,"abstract":"<p>We show that compactly generated t-structures in the derived category of a commutative ring <i>R</i> are in a bijection with certain families of compactly generated t-structures over the local rings <span>(R_{frak{m}})</span> where <span>(frak{m})</span> runs through the maximal ideals in the Zariski spectrum Spec(<i>R</i>). The families are precisely those satisfying a gluing condition for the associated sequence of Thomason subsets of Spec(<i>R</i>). As one application, we show that the compact generation of a homotopically smashing t-structure can be checked locally over localizations at maximal ideals. In combination with a result due to Balmer and Favi, we conclude that the ⊗-Telescope Conjecture for a quasi-coherent and quasi-separated scheme is a stalk-local property. Furthermore, we generalize the results of Trlifaj and Şahinkaya and establish an explicit bijection between cosilting objects of cofinite type over <i>R</i> and compatible families of cosilting objects of cofinite type over all localizations <span>(R_{frak{m}})</span> at maximal primes.</p>","PeriodicalId":14661,"journal":{"name":"Israel Journal of Mathematics","volume":"67 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140799581","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Cells in affine q-Schur algebras","authors":"Weideng Cui, Li Luo, Weiqiang Wang","doi":"10.1007/s11856-024-2620-2","DOIUrl":"https://doi.org/10.1007/s11856-024-2620-2","url":null,"abstract":"<p>We develop algebraic and geometrical approaches toward canonical bases for affine <i>q</i>-Schur algebras of arbitrary type introduced in this paper. A duality between an affine <i>q</i>-Schur algebra and a corresponding affine Hecke algebra is established. We introduce an inner product on the affine <i>q</i>-Schur algebra, with respect to which the canonical basis is shown to be positive and almost orthonormal. We then formulate the cells and asymptotic forms for affine <i>q</i>-Schur algebras, and develop their basic properties analogous to the cells and asymptotic forms for affine Hecke algebras established by Lusztig. The results on cells and asymptotic algebras are also valid for <i>q</i>-Schur algebras of arbitrary finite type.</p>","PeriodicalId":14661,"journal":{"name":"Israel Journal of Mathematics","volume":"12 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140809634","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Galois covers of singular curves in positive characteristics","authors":"Soumyadip Das","doi":"10.1007/s11856-024-2629-6","DOIUrl":"https://doi.org/10.1007/s11856-024-2629-6","url":null,"abstract":"<p>We study the étale fundamental group of a singular reduced connected curve defined over an algebraically closed field of an arbitrary prime characteristic. It is shown that when the curve is projective, the étale fundamental group is a free product of the étale fundamental group of its normalization with a free finitely generated profinite group whose rank is well determined. A similar result is established for the tame fundamental groups of seminormal affine curves. In the affine case, we provide an Abhyankar-type complete group theoretic classification on which finite groups occur as the Galois groups for Galois étale connected covers over (singular) affine curves. An analogue of the Inertia Conjecture is also posed for certain singular curves.</p>","PeriodicalId":14661,"journal":{"name":"Israel Journal of Mathematics","volume":"81 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140812992","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Some unexpected phenomena in the Franke filtration of the space of automorphic forms of the general linear group","authors":"Neven Grbac, Harald Grobner","doi":"10.1007/s11856-024-2625-x","DOIUrl":"https://doi.org/10.1007/s11856-024-2625-x","url":null,"abstract":"<p>In his famous paper [11], J. Franke has defined a certain finite filtration of the space of automorphic forms of a general reductive group, which captures most of its internal representation theory. The purpose of this paper is to provide several concrete examples of yet unexpected phenomena, which occur in the Franke filtration for the general linear group. More precisely, we show that the degenerate Eisenstein series arising from the parabolic subgroups of the same rank are not necessarily contributing to the same quotient of the filtration, and that, even more, the Eisenstein series arising from the parabolic subgroups of higher relative rank may contribute to a deeper quotient of the filtration. These are the first structural counterexamples to an expectation, mentioned in [11].</p>","PeriodicalId":14661,"journal":{"name":"Israel Journal of Mathematics","volume":"73 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140809507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Simplifying matrix differential equations with general coefficients","authors":"","doi":"10.1007/s11856-023-2599-0","DOIUrl":"https://doi.org/10.1007/s11856-023-2599-0","url":null,"abstract":"<h3>Abstract</h3> <p>We show that the <em>n × n</em> matrix differential equation <em>δ</em>(<em>Y</em>) = <em>AY</em> with <em>n</em>² general coefficients cannot be simplified to an equation in less than <em>n</em> parameters by using gauge transformations whose coefficients are rational functions in the matrix entries of <em>A</em> and their derivatives. Our proof uses differential Galois theory and a differential analogue of essential dimension. We also bound the minimum number of parameters needed to describe some generic Picard–Vessiot extensions.</p>","PeriodicalId":14661,"journal":{"name":"Israel Journal of Mathematics","volume":"11 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2023-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139030569","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On uniqueness and plentitude of subsymmetric sequences","authors":"Peter G. Casazza, Stephen J. Dilworth, Denka Kutzarova, Pavlos Motakis","doi":"10.1007/s11856-023-2589-2","DOIUrl":"https://doi.org/10.1007/s11856-023-2589-2","url":null,"abstract":"<p>We explore the diversity of subsymmetric basic sequences in spaces with a subsymmetric basis. We prove that the subsymmetrization Su(<i>T</i>*) of Tsirelson’s original Banach space provides the first known example of a space with a unique subsymmetric basic sequence that is additionally non-symmetric. Contrastingly, we provide a criterion for a space with a sub-symmetric basis to contain a continuum of nonequivalent subsymmetric basic sequences and apply it to Su(<i>T</i>*)*. Finally, we provide a criterion for a subsymmetric sequence to be equivalent to the unit vector basis of some <span>({ell _p})</span> or <i>c</i>₀.</p>","PeriodicalId":14661,"journal":{"name":"Israel Journal of Mathematics","volume":"21 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2023-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139030674","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}