Let A be a (G, χ)-Hopf algebra with bijection antipode and let M be a G-graded A-bimodule. We prove that there exists an isomorphism HH∗gr(A,M) ∼= Ext ∗ A-gr(K, (M)), where K is viewed as the trivial graded A-module via the counit of A, M is the adjoint A-module associated to the graded A-bimodule M and HHgr denotes the G-graded Hochschild cohomology. As an application, we deduce that the cohom...

Let k be an algebraically closed field of characteristic 0, and let A = k[x, y]/(f) be a quasi-homogeneous plane curve. We show that for any graded torsion free A-module M without free summands, there exists a natural graded integrable connection, i.e. a graded A-linear homomorphism ∇ : Derk(A) → Endk(M) that satisfy the derivation property and preserves the Lie product. In particular, a torsio...

To a hyperbolic smooth curve defined over a number-field one naturally associates an "anabelian" representation of the absolute Galois group of the base field landing in outer automorphism group of the algebraic fundamental group. In this paper, we introduce several deformation problems for Lie-algebra versions of the above representation and show that, this way we get a richer structure than t...

Let $R = bigoplus_{n in mathbb{N}_{0}} R_{n}$ be a standardgraded ring, $M$ be a finitely generated graded $R$-module and $J$be a homogenous ideal of $R$. In this paper we study the gradedstructure of the $i$-th local cohomology module of $M$ defined by apair of ideals $(R_{+},J)$, i.e. $H^{i}_{R_{+},J}(M)$. Moreprecisely, we discuss finiteness property and vanishing of thegraded components $H^...

We introduce a notion of strongly C×-graded, or equivalently, C/Zgraded generalized g-twisted V -module associated to an automorphism g, not necessarily of finite order, of a vertex operator algebra. We also introduce a notion of strongly C-graded generalized g-twisted V -module if V admits an additional C-grading compatible with g. Let V = ∐ n∈Z V(n) be a vertex operator algebra such that V(0)...

The model checking problem for open systems has been widely studied in the literature, for both finite–state (module checking) and infinite–state (pushdown module checking) systems, with respect to CTL and CTL. In this paper, we further investigate this problem with respect to the μ-calculus enriched with nominals and graded modalities (hybrid graded μ-calculus), in both the finite–state and in...

For a coherent filtered D-module we show that the dual of each graded piece over the structure sheaf is isomorphic to a certain graded piece of the ring-theoretic local cohomology complex of the graded quotient of the dual of the filtered D-module along the zero-section of the cotangent bundle. This follows from a similar assertion for coherent graded modules over a polynomial algebra over the ...

We extend the “linearly exponential” bound for the Castelnuovo-Mumford regularity of a graded ideal in a polynomial ring K[x1, . . . , xr] over a field (established by Galligo and Giusti in characteristic 0 and recently, by Caviglia-Sbarra for abitrary K) to graded submodules of a graded module over a homogeneous Cohen-Macaulay ring R = ⊕n≥0Rn with artinian local base ring R0. As an application...

The graded Specht module S for a cyclotomic Hecke algebra comes with a distinguished generating vector z ∈ S, which can be thought of as a “highest weight vector of weight λ”. This paper describes the defining relations for the Specht module S as a graded module generated by z. The first three relations say precisely what it means for z to be a highest weight vector of weight λ. The remaining r...

Upper bounds are established on the shifts in a minimal resolution of a multigraded module. Similar bounds are given on the coefficients in the numerator of the BackelinLescot rational expression for multigraded Poincaré series. Let K be a field and S = K[x1, . . . , xn] the polynomial ring with its natural n-grading. When I is an ideal generated by monomials in the variables x1, . . . , xn, th...