S. Caenepeel, K. Janssen, S. H. Wang
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the $G$-comodules over a Galois group coring is given. We study (graded) Morita contexts associated to a group coring. Our theory is applied to group corings associated to a comodule algebra over a Hopf group coalgebra.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We compare several quasi-Frobenius-type properties for corings that appeared recently in literature and provide several new characterizations for each of these properties. By applying the theory of Galois comodules with a firm coinvariant ring, we can characterize a locally quasi-Frobenius (quasi-co-Frobenius) coring as a locally projective generator in its category of comodules.
We discuss when the Rat functor associated to a coring satisfying the left $α$-condition is exact. We study the category of comodules over a semiperfect coring. We characterize semiperfect corings over artinian rings and over qF-rings.
We give a notion of a comatrix coring which embodies all former constructions and, what is more interesting, leads to the formulation of a notion of Galois coring and the statement of a Faithfully Flat Descent Theorem that generalize the previous versions.
By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm modules for non-unital subrings. We apply this result to various Morita contexts associated to a comodule $Σ$ of an $A$-coring $\cC$. This allows to extend (weak and strong) structure theorems in the literature, in particular beyond the cases when any of the coring $\cC$ or the comodule $Σ$ is finitely generated and projective as an $A$-module. That is, we o…
We characterize the corings whose category of comodules has a generating set of small projective comodules in terms of the (non commutative) descent theory. In order to extricate the structure of these corings, we give a generalization of the notions of comatrix coring and Galois comodule which avoid finiteness conditions. A sufficient condition for a coring to be isomorphic to an infinite comatrix coring is found. We deduce in particular that any coalgebra over a field and the coring associated to a group-graded ring are isomorphic to adequate infinite comatrix corings. We also characterize w…
Prime objects were defined as generalization of simple objects in the categories of rings (modules). In this paper we introduce and investigate what turns out to be a suitable generalization of simple corings (simple comodules), namely fully coprime corings (fully coprime comodules). Moreover, we consider several primeness notions in the category of comodules of a given coring and investigate their relations with the fully coprimeness and the simplicity of these comodules. These notions are applied then to study primeness and coprimeness properties of a given coring, considered as an object in…
In this paper we introduce and investigate top (bi)comodules} of corings, that can be considered as dual to top (bi)modules of rings. The fully coprime spectra of such (bi)comodules attains a Zariski topology, defined in a way dual to that of defining the Zariski topology on the prime spectra of (commutative rings. We restrict our attention in this paper to duo (bi)comodules (satisfying suitable conditions) and study the interplay between the coalgebraic properties of such (bi)comodules and the introduced Zariski topology. In particular, we apply our results to introduce a Zariski topology on …
We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings. We apply our results to corings coming from entwining structures and graded structures, and we obtain new results in the setting of entwining structures and in the graded ring theory.
Generalising the notion of Galois corings, Galois comodules were introduced as comodules $P$ over an $A$-coring $\cC$ for which $P_A$ is finitely generated and projective and the evaluation map $μ_\cC:\Hom^\cC(P,\cC)\ot_SP\to \cC$ is an isomorphism (of corings) where $S=\End^\cC(P)$. It was observed that for such comodules the functors $\Hom_A(P,-)\ot_SP$ and $-\ot_A\cC$ from the category of right $A$-modules to the category of right $\cC$-comodules are isomorphic. In this note we call modules $P$ with this property {\em Galois comodules} without requiring $P_A$ to be finitely generated and pr…
Galois comodules of a coring are studied. The conditions for a simple comodule to be a Galois comodule are found. A special class of Galois comodules termed principal comodules is introduced. These are defined as Galois comodules that are projective over their comodule endomorphism rings. A complete description of principal comodules in the case a background ring is a field is found. In particular it is shown that a (finitely generated and projective) right comodule of an $A$-coring $\mathcal C$ is principal provided a lifting of the canonical map is a split epimorphism in the category of left…
A basic theory of cowreath or extended distributive laws in the bicategory of unital bimodules, is deciphered. Precisely, we give in terms of tensor product over a scalar base ring, a simplest and equivalent definition for cowreath over coring and for comodule over cowreath. An adjunction connecting the category of comodules over the factor coring and the category of comodules over the coring arising from the cowreath products is also given. The dual notions i.e. wreaths over rings extension and their modules are included.
In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally projective corings as a composition of suitable ``Trace'' and ``Hom'' functors and show how to derive it from a more general coinduction functor between categories of type $σ\lbrack M].$ In special cases (e.g. the corings morphism is part of a morphism of measuring $α$-pairings or the corings have the same base ring), a version of our functor is shown to be iso…
A Morita context is constructed for any comodule of a coring and, more generally, for an $L$-$\cC$ bicomodule $Σ$ for a pure coring extension $(\cD:L)$ of $(\cC:A)$. It is related to a 2-object subcategory of the category of $k$-linear functors $\Mm^\Cc\to\Mm^\Dd$. Strictness of the Morita context is shown to imply the Galois property of $Σ$ as a $\cC$-comodule and a Weak Structure Theorem. Sufficient conditions are found also for a Strong Structure Theorem to hold. Cleft property of an $L$-$\cC$ bicomodule $Σ$ -- implying strictness of the associated Morita context -- is introduced. It is sho…
We give a characterization, in terms of Galois infinite comatrix corings, of the corings that decompose as a direct sum of left comodules which are finitely generated as left modules. Then we show that the associated rational functor is exact. This is the case of a right semiperfect coring which is locally projective and whose Galois comodule is a projective left unital module with superfluous radical.
We investigate Frobenius pairs between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings, which leads to a reasonable notion of Frobenius coring extension. When applied to corings stemming from entwining structures, we obtain new results in this setting.
We investigate adjoint and Frobenius pairs between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings, which leads to a reasonable notion of Frobenius coring extension. When applied to corings stemming from entwining structures, we obtain new results in this setting and in graded ring theory.
While semisimple artinian rings and semisimple coalgebras over a field can be described in terms of matrices (either matrix ring over division rings or comatrix coalgebras over the ground field), semisimple corings seem to have a more intrincated structure in general. It turns out that some well-known properties of semisimple rings or coalgebras, which are immediately deduced from the aforementioned structure, are not evident over a (left) semi-simple coring. For instance, it is not evident that the notion of semi-simple coring is left-right symmetric. To be precise, if every left comodule dec…
We show the close connection between appearingly different Galois theories for comodules introduced recently in [J. Gómez-Torrecillas and J. Vercruysse, Comatrix corings and Galois Comodules over firm rings, arXiv:math.RA/0509106.] and [R. Wisbauer, On Galois comodules (2004), to appear in Comm. Algebra.]. Furthermore we study equivalences between categories of comodules over a coring and modules over a firm ring. We show that these equivalences are related to Galois theory for comodules.
We investigate which aspects of recent developments on Galois corings and comodules admit a formulation in terms of comonads. This approach hopefully will permit of focusing in what is specific in each particular future situation, having some relevant general results for granted. The general theory is applied to the study of comodules over corings over firm rings.
The relationship between comodules of a coring and flat connections is reviewed. In particular we specialise to corings which are built on a tensor product of algebra and a coalgebra. Such corings are in one-to-one correspondence with entwining structures, and their comodules are entwined modules. These include Yetter-Drinfeld and anti-Yetter-Drinfeld modules and their generalisations, hence all the modules of interest to Hopf-cyclic cohomology. In this way the interpretation of the latter as modules with flat connections [A Kaygun and M Khalkhali, Hopf modules and noncommutative differential …
A relationship between curved differential algebras and corings is established and explored. In particular it is shown that the category of semi-free curved differential graded algebras is equivalent to the category of corings with surjective counits. Under this equivalence, comodules over a coring correspond to integrable connections or quasi-cohesive curved modules, while contramodules over a coring correspond to a specific class of curved modules introduced and termed Z-divergences in here.
A coring (A,C) consists of an algebra A and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf-Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules are Quillen equivalent. The category of comodules over the trivial coring (A,A) is isomorphic to the category of A-modules, so the question above englobes that of wh…
To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projective on one side, together with a map of corings over the same base ring, lead to the notion of a module-morphism, which extends the notion of a morphism of corings (over different base rings). A module-m…
El Kaoutit and Gómez Torrecillas introduced comatrix corings, generalizing Sweedler's canonical coring, and proved a new version of the Faithfully Flat Descent Theorem. They also introduced Galois corings, as corings isomorphic to a comatrix coring. In this paper, we further investigate this theory. We prove a new version of the Joyal-Tierney Descent Theorem, and generalize the Galois Coring Structure Theorem. We associate a Morita context to a coring with a fixed comodule, and relate it to Galois-type properties of the coring. An affineness criterion is proved in the situation where the corin…
Let $A$ be a commutative comodule algebra over a commutative bialgebra $H$. The group of invertible relative Hopf modules maps to the Picard group of $A$, and the kernel is described as a quotient group of the group of invertible grouplike elements of the coring $A\ot H$, or as a Harrison cohomology group. Our methods are based on elementary $K$-theory. The Hilbert 90 Theorem follows as a corollary. The part of the Picard group of the coinvariants that becomes trivial after base extension embeds in the Harrison cohomology group, and the image is contained in a well-defined subgroup $E$. It equ…
Projectivity and flatness over the endomorphism ring of a finitely generated $(H, {\mathcal C})$-comodule
设k为交换环，H为k上双代数，C为(H,A)-余环，若C作为左A-模平坦，有限生成的右(H,C)-余模Λ对应的自同态环上的模具有投射性与平坦性的充要条件被给出；当C含固定H-群样元时，可将Λ替换为A。
Given a ring $A$ and an $A$-coring $\cC$ we study when the forgetful functor from the category of right $\cC$-comodules to the category of right $A$-modules and its right adjoint $-\otimes_A\cC$ are separable. We then proceed to study when the induction functor $-\otimes_A\cC$ is also the left adjoint of the forgetful functor. This question is closely related to the problem when $A\to {}_A{\rm Hom}(\cC,A)$ is a Frobenius extension. We introduce the notion of a Galois coring and analyse when the tensor functor over the subring of $A$ fixed under the coaction of $\cC$ is an equivalence. We also …
Let $A$ be an algebra over a commutative ring $k$. We compute the center of the category of $A$-bimodules. There are six isomorphic descriptions: the center equals the weak center, and can be described as categories of noncommutative descent data, comodules over the Sweedler canonical $A$-coring, Yetter-Drinfeld type modules or modules with a flat connection from noncommutative differential geometry. All six isomorphic categories are braided monoidal categories: in particular, the category of comodules over the Sweedler canonical $A$-coring $A \ot A$ is braided monoidal. We provide several app…
We introduce partial (co)actions of a Hopf algebra $H$ on an algebra. To this end, we introduce first the notion of lax coring, generalizing Wisbauer's notion of weak coring. We also have the dual notion of lax ring. Several duality results are given, and we develop Galois theory for partial $H$-comodule algebras.
Let $R$ be a commutative ring. An Azumaya coring consists of a couple $(S,\Cc)$, with $S$ a faithfully flat commutative $R$-algebra, and an $S$-coring $\Cc$ satisfying certain properties. If $S$ is faithfully projective, then the dual of $\Cc$ is an Azumaya algebra. Equivalence classes of Azumaya corings form an abelian group, called the Brauer group of Azumaya corings. This group is canonically isomorphic to the second flat cohomology group. We also give algebraic interpretations of the second Amitsur cohomology group and the first Villamayor-Zelinsky cohomology group in terms of corings.
Let $R$, $S$ be two rings, $C$ an $R$-coring and ${}_{R}^C{\mathcal M}$ the category of left $C$-comodules. The category ${\bf Rep}\, ( {}_{R}^C{\mathcal M}, {}_{S}{\mathcal M} )$ of all representable functors ${}_{R}^C{\mathcal M} \to {}_{S}{\mathcal M}$ is shown to be equivalent to the opposite of the category ${}_{R}^C{\mathcal M}_S$. For $U$ an $(S,R)$-bimodule we give necessary and sufficient conditions for the induction functor $U\otimes_R - : {}_{R}^C\mathcal{M} \to {}_{S}\mathcal{M}$ to be: a representable functor, an equivalence of categories, a separable or a Frobenius functor. The l…
We extend Masuoka's Theorem [11] concerning the isomorphism between the group of invertible bimodules in a non-commutative ring extension and the group of automorphisms of the associated Sweedler's canonical coring, to the class of finite comatrix corings introduced in [6].
In order to extrincate the structure of corings with a finitely generated and projective generator we give the notion of a comatrix coring. As consequences we give generalizations of the main characterizations of faithfully flat Galois corings and extensions which work for corings without grouplike elements, as well as a generalization of the Descent Theorem. We provide also a complete description of all cosemisimple corings. No restrictions are made over the ground noncommutative ring.
The notions of Hom-coring, Hom-entwining structure and associated entwined Hom-module are introduced. A theorem regarding base ring extension of a Hom-coring is proven and then is used to acquire the Hom-version of Sweedler coring. Motivated by the work of T. Brzezinski, a Hom-coring associated to an entwining Hom-structure is constructed and an identification of entwined Hom-modules with Hom-comodules of this Hom-coring is shown. The dual algebra of this Hom-coring is proven to be a $ψ$-twisted convolution algebra. By a construction, it is shown that a Hom-Doi-Koppinen datum comes from a Hom-…
We focus our attention to the set $\gl{\coring{C}}$ of grouplike elements of a coring $\coring{C}$ over a ring $A$. We do some observations on the actions of the groups $U(A)$ and $\aut{\coring{C}}$ of units of $A$ and of automorphisms of corings of $\coring{C}$, respectively, on $\gl{\coring{C}}$, and on the subset $\galois{\coring{C}}$ of all Galois grouplike elements. Among them, we give conditions on $\coring{C}$ under which $\galois{\coring{C}}$ is a group, in such a way that there is an exact sequence of groups $\{1\} \to U(A^{g}) \to U(A) \to \galois{\coring{C}} \to \{1\},$ where $A^g$ …
Flat comodules and contramodules as directed colimits, and cotorsion periodicity
本文证明平坦余模与反模可表示为可数表示对象的$\aleph_1$-有向余极限，并应用于余挠周期性与余导出范畴。
In this paper, we introduce and investigate \emph{semicorings} over associative semirings and their categories of \emph{semicomodules.} Our results generalize old and recent results on corings over rings and their categories of comodules. The generalization is \emph{not} straightforward and even subtle at some places due to the nature of the base category of commutative monoids which is neither Abelian (not even additive) nor homological, and has no non-zero injective objects. To overcome these and other difficulties, a combination of methods and techniques from categorical, homological and un…
The Chern-Galois theory is developed for corings or coalgebras over non-commutative rings. As the first step the notion of an entwined extension as an extension of algebras within a bijective entwining structure over a non-commutative ring is introduced. A strong connection for an entwined extension is defined and it is shown to be closely related to the Galois property and to the equivariant projectivity of the extension. A generalisation of the Doi theorem on total integrals in the framework of entwining structures over a non-commutative ring is obtained, and the bearing of strong connection…
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We provide concrete examples that satisfy our conditions and are relevant in descent theory and in the theory of Hopf-Galois extensions. These examples are specific instances of the following categories of comodules over a coring. For any semihereditary commutative ring R, let A be a dg R-algebra that is homologically simply connected. Let V be an A-coring that …
We study adjoint and Frobenius pairs of functors, equivalences, and the Picard group for corings.
We introduce the Picard group of corings. We extend the well-known exact sequence from algebras and coalgebras over fields to corings. We extend the Aut-Pic property to corings and we give some new examples of corings having this property. Finally, we give the corresponding exact sequences for the category of entwined modules over an entwining structure, the category of Doi-Koppinen-Hopf modules over a Doi-Koppinen structure, and the category of graded modules by a $G$-set, where $G$ is a group.
This note presents some results on projective modules and the Grothendieck groups K_0 and G_0 for Frobenius algebras and for certain Hopf Galois extensions. Our principal technical tools are the Higman trace for Frobenius algebras and a product formula for Hattori-Stallings ranks of projectives over Hopf Galois extensions.
We develop a Galois (descent) theory for comonads within the framework of bicategories. We give generalizations of Beck's theorem and the Joyal-Tierney theorem. Many examples are provided, including classical descent theory, Hopf-Galois theory over Hopf algebras and Hopf algebroids, Galois theory for corings and group-corings, and Morita-Takeuchi theory for corings. As an application we construct a new type of comatrix corings based on (dual) quasi bialgebras.
Geometric partial comodules over flat coalgebras in Abelian categories are globalizable
本文证明了Abel范畴中平坦余代数上的几何偏余模可整体化，获得了包含Hopf代数偏余表示在内的新整体化结果，并导出了偏设定下Hopf模基本定理的类似结论。
An extension B\subset A of algebras over a commutative ring k is an H-extension for an L-bialgebroid H if A is an H-comodule algebra and B is the subalgebra of its coinvariants. It is H-Galois if the canonical map A\otimes_B A\to A\otimes_L H is an isomorphism or, equivalently, if the canonical coring (A\otimes_L H:A) is a Galois coring. In the case of a Hopf algebroid H=(H_L,H_R,S) any H_R-extension is shown to be also an H_L-extension. If the antipode is bijective then also the notions of H_R-Galois extensions and of H_L-Galois extensions are proven to coincide. Results about bijective entwi…
This paper is a written form of a talk. It gives a review of various notions of Galois (and in particular cleft) extensions. Extensions by coalgebras,bialgebras and Hopf algebras (over a commutative base ring) and by corings,bialgebroids and Hopf algebroids (over a non-commutative base algebra) are systematically recalled and compared. In the first version of this paper, the journal version of [15, Theorem 2.6] was heavily used, in two respects. First, it was applied to establish an isomorphism between the comodule categories of two constituent bialgebroids in a Hopf algebroid. Second, it was …
Ext-groups of graded comodules
本文证明分次余模到对偶代数分次模的协变嵌入在多种情形下保持Ext-群，由此证明对偶Steenrod代数分次余模无非零投射对象，并推广Margolis-Lin公式，去掉有限型条件。
We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated in detail. A study of partial representations of linear algebraic groups is initiated; we show that a connected linear algebraic group does not admit partiality.
Poisson Hopf module Fundamental theorem for Hopf group coalgebras
该研究针对带双射对极的Hopf群余代数与H-余模Poisson代数，将Poisson Hopf模基本定理推广至Hopf群余代数场景，拓展了相关代数理论的适用范围。
In this paper we give a construction of the universal enveloping algebra of a Malcev algebra in categories of group algebra comodules with a symmetry given by a bicharacter of the group. A particular example of such categories is the category of super vector spaces.
We investigate the question of how to compute the cotensor product, and more generally the derived cotensor (i.e., Cotor) groups, of a tensor product of comodules. In particular, we determine the conditions under which there is a Künneth formula for Cotor. We show that there is a simple Künneth theorem for Cotor groups if and only if an appropriate coefficient comodule has trivial coaction. This result is an application of a spectral sequence we construct for computing Cotor of a tensor product of comodules. Finally, for certain families of nontrivial comodules which are especially topological…
Twisting Manin's universal quantum groups and comodule algebras
本文引入量子对称等价概念，证明多种正则性与 Frobenius 性质在 Morita-Takeuchi 等价下不变，并刻画了 2-上循环扭曲对 Koszul 对偶、超势代数及 Hochschild 上同调环有限生成性的保持性质。
For a bialgebra $L$ coacting on a $\Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $\mathcal{M}^{L}$ of right $L$-comodules; the former notion is formulaic while the latter is categorical. We generalize this result to the setting of weak bialgebras $H$. The category $\mathcal{M}^H$ admits a monoidal structure by work of Nill and Böhm-Caenepeel-Janssen, but the algebras in $\mathcal{M}^H$ are not canonically $\Bbbk$-algebras. Nevertheless, we prove that there is an isomorphism between the category o…
We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z_2. We prove that nontrivial Hopf algebras arising in this way can be regarded as deformations of binary polyhedral groups and describe its category of representations. We also prove a strengthening of a result of Nichols and Richmond on cosemisimple Hopf algebras with a 2-dimensional irreducible comodule in the finite dimensional context. Finally, we give some applications to the classification of certain classes of semisimple Hopf alge…
We define the universal quantum group $\mathcal{H}$ that preserves a pair of Hopf comodule maps, whose underlying vector space maps are preregular forms defined on dual vector spaces. This generalizes the construction of Bichon and Dubois-Violette (2013), where the target of these comodule maps are the ground field. We also recover the quantum groups introduced by Dubois-Violette and Launer (1990), by Takeuchi (1990), by Artin, Schelter, and Tate (1991), and by Mrozinski (2014), via our construction. As a consequence, we obtain an explicit presentation of a universal quantum group that coacts …
Given a left noetherian k-algebra A graded by a group G, an injective object I in the category of G-graded A-modules and a morphism from G to another group G', we provide bounds for the injective dimension of I as a G'-graded A-module. For this, we use three change of grading functors. Most of the constructions concerning these functors work in the context of H-comodule algebras, where H is a Hopf algebra, so we develop them in this general context.
We give a bicategorical version of the main result of A. Masuoka ({Corings and invertible bimodules,} {\em Tsukuba J. Math.} \textbf{13} (1989), 353--362) which proposes a non-commutative version of the fact that for a faithfully flat extension of commutative rings $R \subseteq S$, the relative Picard group $Pic(S/R)$ is isomorphic to the Amitsur 1--cohomology group $H^1(S/R,U)$ with coefficients in the units functor $U$.
We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define double-sided derived functors SemiTor and SemiExt of the functors of semitensor product and semihomomorphisms, and construct an equivalence between the exotic derived categories of semimodules and semicontramodules. Certain (co)flatness and/or (co)projectivity conditions have to be imposed on the coring and semialgebra to make the module categories abelian (an…
Derived functors of product and limit in the category of comodules over the dual Steenrod algebra
本文将对偶 Steenrod 代数上余模范畴中序列极限的导出函子识别为 Steenrod 代数的局部上同调，从而为 Sadofsky 谱序列提供了可计算的输入项。
We prove that if A is a finite dimensional associative H-comodule algebra over a field F for some involutory Hopf algebra H not necessarily finite dimensional, where either char F = 0 or char F > dim A, then the Jacobson radical J(A) is an H-subcomodule of A. In particular, if A is a finite dimensional associative algebra over such a field F, graded by any group, then the Jacobson radical J(A) is a graded ideal of A. Analogous results hold for nilpotent and solvable radicals of finite dimensional Lie algebras over a field of characteristic 0. We use the results obtained to prove the analog of …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。