Related papers: The Ideals of Free Differential Algebras

Let $\mathcal{A}$ be a commutative $AW^*$-algebra, let $S(\mathcal{A})$ be the *-algebra of all measurable operators affiliated with $\mathcal{A}$, let $\mathcal{I}$ be an ideal in $\mathcal{A}$, let $s(\mathcal{I})$ be the support of the…

A version of the Dirac equation is derived from first principles using a combination of quaternions and multivariate 4-vectors. The nilpotent form of the operators used allows us to derive explicit expressions for the wavefunctions of free…

A linear locally nilpotent derivation of the polynomial algebra $K[X_m]$ in $m$ variables over a field $K$ of characteristic 0 is called a Weitzenb\"ock derivation. It is well known from the classical theorem of Weitzenb\"ock that the…

We give a presentation via generators and relations of the local graded paramodular Hecke algebra of prime level. In particular, we prove that the paramodular Hecke algebra is isomorphic to the quotient of the free $\mathbb{Z}$-algebra…

A differential graded (DG for short) free algebra $\mathcal{A}$ is a connected cochain DG algebra such that its underlying graded algebra is $$\mathcal{A}^{\#}=\k\langle x_1,x_2,\cdots, x_n\rangle,\,\, \text{with}\,\, |x_i|=1,\,\, \forall…

Differential $p$-forms and $q$-vector fields with constant coefficients are studied. Differential $p$-forms of degrees $p=1,2,n-1,n$ with constant coefficients on a smooth $n$-dimensional manifold $M$ are characterized. In the contravariant…

A representation of the group element (also known as ``universal ${\cal T}$-matrix'') which satisfies $\Delta(g) = g\otimes g$, is given in the form $$ g = \left(\prod_{s=1}^{d_B}\phantom.^>\ {\cal…

We extend Reider's freeness criterion to normal surfaces of characteristic 0. Let Y be a normal surface. Let D be a nef divisor on Y such that K_Y+D is a Cartier divisor. Let x be a point on Y. If x is a base point of |K_Y+D| and…

Let $\mathbb F$ denote a field, and pick a nonzero $q \in \mathbb F$ that is not a root of unity. Let $\mathbb Z_4=\mathbb Z/4 \mathbb Z$ denote the cyclic group of order 4. Define a unital associative ${\mathbb F}$-algebra $\square_q$ by…

The derivations of a left coideal subalgebra B of a Hopf algebra A which are compatible with the comultiplication of A (that is, the covariant first order differential calculi, as defined by Woronowicz, on a quantum homogeneous space) are…

Stable basis algebras were introduced by Fountain and Gould and developed in a series of articles. They form a class of universal algebras, extending that of independence algebras. If a stable basis algebra $\mathbb{B}$ of finite rank…

Let $K\langle X\rangle =K\langle X_1,...,X_n\rangle$ be the free algebra of $n$ generators over a field $K$, and let $R\langle X\rangle =R\langle X_1,...,X_n\rangle$ be the free algebra of $n$ generators over an arbitrary commutative ring…

We study the obstacle problem for integro-differential operators of order $2s$, with $s\in (0,1)$. Our main result establishes that the free boundary is $C^{1,\gamma}$ and $u\in C^{1,s}$ near all regular points. Namely, we prove the…

For $q>0$ let $\cA$ denote the unital $\ast$-algebra with generator $x$ and defining relation $xx^\ast=qxx^\ast$. Based on this algebra we study $q$-normal operators, the complex $q$-moment problem, positive elements and sums of squares.

To construct a quantum group gauge theory one needs an algebra which is invariant under gauge transformations. The existence of this invariant algebra is closely related with the existence of a differential algebra $\delta _{{\cal H}}…

This is an introduction to the algebras $A\subset B(H)$ that the linear operators $T:H\to H$ can form, once a complex Hilbert space $H$ is given. Motivated by quantum mechanics, we are mainly interested in the von Neumann algebras, which…

We study the Hecke algebra $\H(\bq)$ over an arbitrary field $\FF$ of a Coxeter system $(W,S)$ with independent parameters $\bq=(q_s\in\FF:s\in S)$ for all generators. This algebra is always linearly spanned by elements indexed by the…

Let $I\subset \mathbb C[x,y,z]$ be an ideal of height 2 and minimally generated by three homogeneous polynomials of the same degree. If $I$ is a locally complete intersection we give a criterion for $\mathbb C[x,y,z]/I$ to be arithmetically…

We study the higher regularity of free boundaries in obstacle problems for integro-differential operators. Our main result establishes that, once free boundaries are $C^{1,\alpha}$, then they are $C^\infty$. This completes the study of…

Cartesian differential categories come equipped with a differential operator which formalises the total derivative from multivariable calculus. Cofree Cartesian differential categories always exist over a specified base category, where the…