arXiv subjects

Yassine Ait Mohamed

Publications and source records attributed to Yassine Ait Mohamed.

5 recordsLinked to original sources

arXiv2026

Integration and quantization of 1-shifted coisotropics

To quantize the reduction of a coisotropic submanifold of a Poisson manifold, Cattaneo and Felder constructed a homotopy Poisson algebra together with a deformation quantization. Its degree-zero cohomology is the reduced Poisson algebra, while the full homotopy structure retains information about the formal embedding even when the reduced space is singular or trivial. On the integration side, Cattaneo showed that a coisotropic submanifold integrates to a Lagrangian subgroupoid of any symplectic groupoid integrating the ambient Poisson manifold. It is now recognized that both constructions fit into shifted symplectic geometry: the Lagrangian subgroupoid presents a $1$-shifted Lagrangian morphism of differentiable stacks, and the homotopy Poisson algebra describes the associated $0$-shifted Poisson structure. However, such morphisms form only a special class of $1$-shifted Lagrangians. We extend this picture to $1$-shifted Lagrangians and, more generally, $1$-shifted coisotropics in $1$-shifted symplectic differentiable stacks. We establish an integration theorem for their infinitesimal description in terms of twisted Dirac structures and construct a natural Poisson bracket on invariant functions. Under regularity hypotheses, we equip the associated Lie algebroid complex with a flat $P_\infty$-structure and a curved $A_\infty$-quantization, independent of the auxiliary choices up to isomorphism. The induced bracket in degree zero recovers the reduced Poisson bracket, and suitable cohomological vanishing conditions yield a deformation quantization of invariant functions. This extends the Cattaneo--Felder picture to more general reduction procedures, with the same infinitesimal data governing integration and quantization.

math.SG↗

arXiv2026

Group-graded Ore extensions and graded simplicity

We study Ore extensions $R[t;σ,δ]$ of rings graded by an arbitrary group $Γ$. The grading of $R$ extends to a grading with $t$ homogeneous of degree $γ$ if and only if $σ$ and $δ$ are compatible with conjugation and translation by $γ$, and this grading is then unique. For nonabelian $Γ$ the degree of $t$ need not centralize the support of $R$; this twist can be removed by a change of variable when $R_γ$ contains a unit, but not in general. The graded forms of the classical necessary conditions for simplicity are not sufficient, as the quantized Weyl algebra shows. If $R$ is graded-simple and $σ$ is an automorphism, then $R[t;σ,δ]$ is graded-simple if and only if it contains no homogeneous normal element that is monic of positive $t$-degree. For Ore extensions of group algebras, an affine action of the group on the line describes all graded ideals; in characteristic zero, graded simplicity is equivalent to the nonvanishing of a class in $H^1(G,k_χ)$, and simplicity forces the group to be metabelian.

math.RA↗

arXiv2026

Graded differential polynomial rings

We study differential polynomial rings $R[t;δ]$ over $Γ$-graded rings, where $Γ$ is an arbitrary group. We show that $R[t;δ]$ admits a $Γ$-grading compatible with that of $R$ if and only if $δ$ is a $γ$-derivation for some $γ\in C_Γ(Γ_R)$, and that this grading is unique once $°(t)=γ$ is fixed; if $δ\neq0$, then $γ$ is itself uniquely determined by $δ$. We characterize the resulting graded ring by a universal property. We prove a characteristic-free center criterion for gr-simplicity whenever $Z(R[t;δ])$ is a graded subring; in characteristic zero, gr-simplicity is equivalent to $δ$-gr-simplicity of $R$ and $γ$-outerness of $δ$, extending Jordan's simplicity criterion to the graded setting. We further show that $R[t;δ]$ is gr-prime if and only if $R$ is $δ$-gr-prime, and that gr-Noetherianity of $R$ passes to $R[t;δ]$, recovering a graded Hilbert basis theorem as a special case. When $Γ$ is abelian, gr-simplicity and gr-primality are shown to be invariants of homogeneous graded Morita equivalence, and every ring homogeneously graded equivalent to $R[t;δ]$ via a compatible idempotent is again a graded differential polynomial ring.

math.RA↗

arXiv2026

Generalized Homogeneous Derivations on Graded Rings

We introduce a notion of generalized homogeneous derivations on graded rings as a natural extension of the homogeneous derivations defined by Kanunnikov. We then define gr-generalized derivations, which preserve the degrees of homogeneous components. Several significant results originally established for prime rings are extended to the setting of gr-prime rings, and we characterize conditions under which gr-semiprime rings contain nontrivial central graded ideals. In addition, we investigate the algebraic and module-theoretic structures of these maps, establish their functorial properties, and develop categorical frameworks that describe their derivation structures in both ring and module contexts.

math.RA↗

arXiv2026

Certain functional identities involving a pair of homogeneous derivations with central values in gr-prime rings

In this paper, we explore functional identities with central values in gr-prime rings involving pairs of homogeneous derivations. We establish commutativity conditions that extend classical results from prime rings to the graded setting. In particular, we show that under certain conditions on homogeneous derivations, the ring must be commutative. Furthermore, we demonstrate that these results cannot be extended to gr-semiprime rings.

math.RA↗