We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We prove that there is a natural plectic weight filtration on the cohomology of Hilbert modular varieties in the spirit of Nekovář and Scholl. This is achieved with the help of Morel’s work on weight t-structures and a detailed study of partial Frobenius. We prove in particular that the partial Frobenius extends to toroidal and minimal compactifications.
The Torelli group of
$W_g = \#^g S^n \times S^n$
is the group of diffeomorphisms of
$W_g$
fixing a disc that act trivially on
$H_n(W_g;\mathbb{Z} )$
. The rational cohomology groups of the Torelli group are representations of an arithmetic subgroup of
$\text{Sp}_{2g}(\mathbb{Z} )$
or
$\text{O}_{g,g}(\mathbb{Z} )$
. In this article we prove that for
$2n \geq 6$
and
$g \geq 2$
, they are in fact algebraic representations. Combined with previous work, this determines the rational cohomology of the Torelli group in a stable range. We further prove that the classifying space of the Torelli group is nilpotent.
For a field K, let
$\mathcal {R}$
denote the Jacobson algebra
$K\langle X, Y \ | \ XY=1\rangle $
. We give an explicit construction of the injective envelope of each of the (infinitely many) simple left
$\mathcal {R}$
-modules. Consequently, we obtain an explicit description of a minimal injective cogenerator for
$\mathcal {R}$
. Our approach involves realizing
$\mathcal {R}$
up to isomorphism as the Leavitt path K-algebra of an appropriate graph
$\mathcal {T}$
, which thereby allows us to utilize important machinery developed for that class of algebras.
We prove a lower bound for the free energy (per unit volume) of the two-dimensional Bose gas in the thermodynamic limit. We show that the free energy at density $\unicode[STIX]{x1D70C}$ and inverse temperature $\unicode[STIX]{x1D6FD}$ differs from the one of the noninteracting system by the correction term $4\unicode[STIX]{x1D70B}\unicode[STIX]{x1D70C}^{2}|\ln \,a^{2}\unicode[STIX]{x1D70C}|^{-1}(2-[1-\unicode[STIX]{x1D6FD}_{\text{c}}/\unicode[STIX]{x1D6FD}]_{+}^{2})$. Here, $a$ is the scattering length of the interaction potential, $[\cdot ]_{+}=\max \{0,\cdot \}$ and $\unicode[STIX]{x1D6FD}_{\text{c}}$ is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity. The result is valid in the dilute limit $a^{2}\unicode[STIX]{x1D70C}\ll 1$ and if $\unicode[STIX]{x1D6FD}\unicode[STIX]{x1D70C}\gtrsim 1$.
We provide a complete classification of all algebras of generalized dihedral type, which are natural generalizations of algebras which occurred in the study of blocks of group algebras with dihedral defect groups. This gives a description by quivers and relations coming from surface triangulations.
Let R be a graded ring. We introduce the concepts of Ding gr-injective and Ding gr-projective R-modules, which are the graded analogues of Ding injective and Ding projective modules. Several characterizations and properties of Ding gr-injective and Ding gr-projective modules are obtained. In addition, we investigate the relationships among Gorenstein gr-flat, Ding gr-injective and Ding gr-projective modules.
We approach the analysis of the extent of the projectivity of modules from a fresh perspective as we introduce the notion of relative subprojectivity. A module M is said to be N-subprojective if for every epimorphism g : B → N and homomorphism f : M → N, there exists a homomorphism h : M → B such that gh = f. For a module M, the subprojectivity domain of M is defined to be the collection of all modules N such that M is N-subprojective. We consider, for every ring R, the subprojective profile of R, namely, the class of all subprojectivity domains for R modules. We show that the subprojective profile of R is a semi-lattice, and consider when this structure has coatoms or a smallest element. Modules whose subprojectivity domain is as smallest as possible will be called subprojectively poor (sp-poor) or projectively indigent (p-indigent), and those with co-atomic subprojectivy domain are said to be maximally subprojective. While we do not know if sp-poor modules and maximally subprojective modules exist over every ring, their existence is determined for various families. For example, we determine that artinian serial rings have sp-poor modules and attain the existence of maximally subprojective modules over the integers and for arbitrary V-rings. This work is a natural continuation to recent papers that have embraced the systematic study of the injective, projective and subinjective profiles of rings.
In this corrigendum to the paper, “Goldie*-supplemented modules” [1], we present revised Propositions 3.7 and 3.12 and correct some typographical errors.
We complete the derived equivalence classification of all symmetric algebras of polynomial growth, by solving the subtle problem of distinguishing the standard and nonstandard nondomestic symmetric algebras of polynomial growth up to derived equivalence.
R is called a right WV-ring if each simple right R-module is injective relative to proper cyclics. If R is a right WV-ring, then R is right uniform or a right V-ring. It is shown that a right WV-ring R is right noetherian if and only if each right cyclic module is a direct sum of a projective module and a CS (complements are summands, a.k.a. ‘extending modules’) or noetherian module. For a finitely generated module M with projective socle over a V-ring R such that every subfactor of M is a direct sum of a projective module and a CS or noetherian module, we show M = X ⊕ T, where X is semisimple and T is noetherian with zero socle. In the case where M = R, we get R = S ⊕ T, where S is a semisimple artinian ring and T is a direct sum of right noetherian simple rings with zero socle. In addition, if R is a von Neumann regular ring, then it is semisimple artinian.
A module M is called poor whenever it is N-injective, then the module N is semisimple. In this paper the properties of poor modules are investigated and are used to characterize various families of rings.
We recall a version of the Osofsky–Smith theorem in the context of a Grothendieck category and derive several consequences of this result. For example, it is deduced that every locally finitely generated Grothendieck category with a family of completely injective finitely generated generators is semi-simple. We also discuss the torsion-theoretic version of the classical Osofsky theorem which characterizes semi-simple rings as those rings whose every cyclic module is injective.
Motivated by a relation on submodules of a module used by both A. W. Goldie and P. F. Smith, we say submodules X, Y of M are β* equivalent, Xβ*Y, if and only if is small in and is small in . We show that the β* relation is an equivalence relation and has good behaviour with respect to addition of submodules, homomorphisms and supplements. We apply these results to introduce the class of -supplemented modules and to investigate this class and the class of H-supplemented modules. These classes are located among various well-known classes of modules related to the class of lifting modules. Moreover these classes are used to explore an open question of S. H. Mohamed and B. J. Mueller. Examples are provided to illustrate and delimit the theory.
A module M is said to satisfy the condition (℘*) if M is a direct sum of a projective module and a quasi-continuous module. In an earlier paper, we described the structure of rings over which every (countably generated) right module satisfies (℘*), and it was shown that such a ring is right artinian. In this note some additional properties of these rings are obtained. Among other results, we show that a ring over which all right modules satisfy (℘*) is also left artinian, but the property (℘*) is not left-right symmetric.
Let $R$ be a commutative Noetherian integral domain with field of fractions $Q$. Generalizing a forty-year-old theorem of E. Matlis, we prove that the $R$-module $Q/R$ (or $Q$) has Krull dimension if and only if $R$ is semilocal and one-dimensional. Moreover, if $X$ is an injective module over a commutative Noetherian ring such that $X$ has Krull dimension, then the Krull dimension of $X$ is at most 1.
It is proved here that a ring $R$ is right pseudo-Frobenius if and only if $R$ is a right Kasch ring such that the second right singular ideal is injective.
It is proved that if $R$ is an associative ring that is cotorsion as a left module over itself, and $J$ is the Jacobson radical of $R$, then the quotient ring $R/J$ is a left self-injective von Neumann regular ring and idempotents lift modulo $J$. In particular, if $R$ is indecomposable, then it is a local ring.
For an infinite cardinal ℵ an associative ring R is quotient ℵ<-dimensional if the generalized Goldie dimension of all right quotient modules of RR are strictly less than ℵ. This latter quotient property of RR is characterized in terms of certain essential submodules of cyclic modules being generated by less than ℵ elements, and also in terms of weak injectivity and tightness properties of certain subdirect products of injective modules. The above is the higher cardinal analogue of the known theory in the finite ℵ = ℵ0 case.