Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userDerived $H$-module endomorphism rings
279
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Let $H$ be a Hopf algebra, $A/B$ be an $H$-Galois extension. Let $D(A)$ and $D(B)$ be the derived categories of right $A$-modules and of right $B$-modules respectively. An object $M^cdotin D(A)$ may be regarded as an object in $D(B)$ via the restriction functor. We discuss the relations of the derived endomorphism rings $E_A(M^cdot)=op_{iinmathbb{Z}}Hom_{D(A)}(M^cdot,M^cdot[i])$ and $E_B(M^cdot)=op_{iinmathbb{Z}}Hom_{D(B)}(M^cdot,M^cdot[i])$. If $H$ is a finite dimensional semisimple Hopf algebra, then $E_A(M^cdot)$ is a graded subalgebra of $E_B(M^cdot)$. In particular, if $M$ is a usual $A$-module, a necessary and sufficient condition for $E_B(M)$ to be an $H^*$-Galois graded extension of $E_A(M)$ is obtained. As an application of the results, we show that the Koszul property is preserved under Hopf Galois graded extensions.
rate research
Read More
It is proved that if A_p is a countable elementary abelian p-group, then: (i) The ring End(A_p) does not admit a nondiscrete locally compact ring topology. (ii) Under (CH) the simple ring End(A_p)/I, where I is the ideal of End(A_p) consisting of all endomorphisms with finite images, does not admit a nondiscrete locally compact ring topology. (iii) The finite topology on End(A_p) is the only second metrizable ring topology on it. Moreover, a characterization of completely simple endomorphism rings of the endomorphism rings of modules over commutative rings is also obtained.
In this paper, we first introduce $mathcal {W}_F$-Gorenstein modules to establish the following Foxby equivalence: $xymatrix@C=80pt{mathcal {G}(mathcal {F})cap mathcal {A}_C(R) ar@<0.5ex>[r]^{Cotimes_R-} & mathcal {G}(mathcal {W}_F) ar@<0.5ex>[l]^{textrm{Hom}_R(C,-)}} $ where $mathcal {G}(mathcal {F})$, $mathcal {A}_C(R) $ and $mathcal {G}(mathcal {W}_F)$ denote the class of Gorenstein flat modules, the Auslander class and the class of $mathcal {W}_F$-Gorenstein modules respectively. Then, we investigate two-degree $mathcal {W}_F$-Gorenstein modules. An $R$-module $M$ is said to be two-degree $mathcal {W}_F$-Gorenstein if there exists an exact sequence $mathbb{G}_bullet=indent ...longrightarrow G_1longrightarrow G_0longrightarrow G^0longrightarrow G^1longrightarrow...$ in $mathcal {G}(mathcal {W}_F)$ such that $M cong$ $im(G_0rightarrow G^0) $ and that $mathbb{G}_bullet$ is Hom$_R(mathcal {G}(mathcal {W}_F),-)$ and $mathcal {G}(mathcal {W}_F)^+otimes_R-$ exact. We show that two notions of the two-degree $mathcal {W}_F$-Gorenstein and the $mathcal {W}_F$-Gorenstein modules coincide when R is a commutative GF-closed ring.
We introduce what is meant by an AC-Gorenstein ring. It is a generalized notion of Gorenstein ring which is compatible with the Gorenstein AC-injective and Gorenstein AC-projective modules of Bravo-Gillespie-Hovey. It is also compatible with the notion of $n$-coherent rings introduced by Bravo-Perez: So a $0$-coherent AC-Gorenstein ring is precisely a usual Gorenstein ring in the sense of Iwanaga, while a $1$-coherent AC-Gorenstein ring is precisely a Ding-Chen ring. We show that any AC-Gorenstein ring admits a stable module category that is compactly generated and is the homotopy category of two Quillen equivalent abelian model category structures. One is projective with cofibrant objects the Gorenstein AC-projective modules while the other is an injective model structure with fibrant objects the Gorenstein AC-injectives.
We generalize a result of Galatius and Venkatesh which relates the graded module of cohomology of locally symmetric spaces to the graded homotopy ring of the derived Galois deformation rings, by removing certain assumptions, and in particular by allowing congruences inside the localized Hecke algebra.
Let $E$ be an elliptic curve without CM that is defined over a number field $K$. For all but finitely many nonarchimedean places $v$ of $K$ there is the reduction $E(v)$ of $E$ at $v$ that is an elliptic curve over the residue field $k(v)$ at $v$. The set of $v$s with ordinary $E(v)$ has density 1 (Serre). For such $v$ the endomorphism ring $End(E(v))$ of $E(v)$ is an order in an imaginary quadratic field. We prove that for any pair of relatively prime positive integers $N$ and $M$ there are infinitely many nonarchimedean places $v$ of $K$ such that the discriminant $Delta(v)$ of $End(E(v))$ is divisible by $N$ and the ratio $Delta(v)/N$ is relatively prime to $NM$. We also discuss similar questions for reductions of abelian varieties. The subject of this paper was inspired by an exercise in Serres Abelian $ell$-adic representations and elliptic curves and questions of Mihran Papikian and Alina Cojocaru.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
