The quadratic algebras Q_n are associated with pseudo-roots of noncommutative polynomials. We compute the Hilbert series of the algebras Q_n and of the dual quadratic algebras Q_n^!
Quadratic algebras associated to pseudo-roots of noncommutative polynomials have been introduced by I. Gelfand, Retakh, and Wilson in connection with studying the decompositions of noncommutative polynomials. Later they (with S. Gelfand and Serconek) shown that the Hilbert series of these algebras and their quadratic duals satisfy the necessary condition for Koszulity. It is proved in this note that these algebras are Koszul.
In this paper, we construct explicitly a noncommutative symmetric (${\mathcal N}$CS) system over the Grossman-Larson Hopf algebra of labeled rooted trees. By the universal property of the ${\mathcal N}$CS system formed by the generating functions of certain noncommutative symmetric functions, we obtain a specialization of noncommutative symmetric functions by labeled rooted trees. Taking the graded duals, we also get a graded Hopf algebra homomorphism from the Connes-Kreimer Hopf algebra of labeled rooted forests to the Hopf algebra of quasi-symmetric functions. A connection of the coefficient…
In analogy with classical submanifold theory, we introduce morphisms of real metric calculi together with noncommutative embeddings. We show that basic concepts, such as the second fundamental form and the Weingarten map, translate into the noncommutative setting and, in particular, we prove a noncommutative analogue of Gauss equations for the curvature of a submanifold. Moreover, the mean curvature of an embedding is readily introduced, giving a natural definition of a noncommutative minimal embedding, and we illustrate the novel concepts by considering the noncommutative torus as a minimal s…
The methods of spectral geometry are useful for investigating the metric aspects of noncommutative geometry and in these contexts require extensive use of pseudo-differential operators. In a foundational paper, Connes showed that, by direct analogy with the theory of pseudo-differential operators on $\mathbb R^n$, one may derive a similar pseudo-differential calculus on noncommutative $n$ tori $\mathbb T_θ^n$, and with the development of this calculus came many results concerning the local differential geometry of noncommutative tori for $n=2,4$, as shown in the groundbreaking paper in which t…
We find a unique torsion free Riemannian spin connection for the natural Killing metric on the quantum group $C_q[SL_2]$, using a recent frame bundle formulation. We find that its covariant Ricci curvature is essentially proportional to the metric (i.e. an Einstein space). We compute the Dirac operator and find for $q$ an odd $r$'th root of unity that its eigenvalues are given by $q$-integers $[m]_q$ for $m=0,1,...,r-1$ offset by the constant background curvature. We fully solve the Dirac equation for $r=3$.
To directed graphs with unique sink and source we associate a noncommutative associative alsgebra and a polynomial over this algebra. Edges of the graph correspond to pseudo-roots of the polynomial. We give a sufficient condition when coefficients of the polynomial can be rationally expressed via elements of a given set of pseudo-roots (edges). Our results are based on a new theorem for directed graphs also proved in this paper.
Various properties of a class of braid matrices, presented before, are studied considering $N^2 \times N^2 (N=3,4,...)$ vector representations for two subclasses. For $q=1$ the matrices are nontrivial. Triangularity $(\hat R^2 =I)$ corresponds to polynomial equations for $q$, the solutions ranging from roots of unity to hyperelliptic functions. The algebras of $L-$ operators are studied. As a crucial feature one obtains $2N$ central, group-like, homogenous quadratic functions of $L_{ij}$ constrained to equality among themselves by the $RLL$ equations. They are studied in detail for $N =3$ and …
We compute the noncommutative de Rham cohomology for the finite-dimensional q-deformed coordinate ring $C_q[SL_2]$ at odd roots of unity and with its standard 4-dimensional differential structure. We find that $H^1$ and $H^3$ have three additional modes beyond the generic $q$-case where they are 1-dimensional, while $H^2$ has six additional modes. We solve the spin-0 and Maxwell theory on $C_q[SL_2]$ including a complete picture of the self-dual and anti-self dual solutions and of Lorentz and temporal gauge fixing. The system behaves in fact like a noncompact space with self-propagating modes …
We present a general method for computing discriminants of noncommutative algebras. It builds a connection with Poisson geometry and expresses the discriminants as products of Poisson primes. The method is applicable to algebras obtained by specialization from families, such as quantum algebras at roots of unity. It is illustrated with the specializations of the algebras of quantum matrices at roots of unity and more generally all quantum Schubert cell algebras.
In order to investigate to what extent the calculus of classical (pseudo-)Riemannian manifolds can be extended to a noncommutative setting, we introduce pseudo-Riemannian calculi of modules over noncommutative algebras. In this framework, it is possible to prove an analogue of Levi-Civita's theorem, stating that there exists at most one torsion-free and metric connection for a given (metric) module, satisfying the requirements of a real metric calculus. Furthermore, the corresponding curvature operator has the same symmetry properties as the classical Riemannian curvature. As our main motivati…
We prove the existence and uniqueness of Levi-Civita connections for strongly sigma-compatible pseudo-Riemannian metrics on tame differential calculi. Such pseudo-Riemannian metrics properly contain the classes of bilinear metrics as well as their conformal deformations. This extends the previous results in references 9 and 10. Star-compatibility of Levi-Civita connections for bilinear pseudo-Riemannian metrics are also discussed.
We introduce a new kind of groupoid--a pseudo étale groupoid, which provides many interesting examples of noncommutative Poisson algebras as defined by Block, Getzler, and Xu. Following the idea that symplectic and Poisson geometries are the semiclassical limits of the corresponding quantum geometries, we quantize these noncommutative Poisson manifolds in the framework of deformation quantization.
It is shown that for every splitting of a polynomial with noncommutative coefficients into linear factors $(X-a_{k})$ with $a_{k}$'s commuting with coefficients, any cyclic permutation of linear factors gives the same result and all $a_{k}$ are roots of that polynomial. Examples are given and analyzed from Galois theory point of view.
We study a noncommutative deformation of the commutative Hopf algebra of rooted trees which was shown by Connes and Kreimer to be related to the mathematical structure of renormalization in quantum field theories. The requirement of the existence of an antipode for the noncommutative deformation leads to a natural extension of the algebra. Noncommutative deformations of the Connes-Kreimer algebra might be relevant for renormalization of field theories on noncommutative spaces and there are indications that in this case the extension of the algebra might be linked to a mixing of infrared and ul…
We extend projectively equivariant quantization and symbol calculus to symbols of pseudo-differential operators. An explicit expression in terms of hypergeometric functions with noncommutative arguments is given. Some examples are worked out, one of them yielding a quantum length element on $S^3$.
Recent work on perturbative quantum field theory has led to much study of the Connes-Kreimer Hopf algebra. Its (graded) dual, the Grossman-Larson Hopf algebra of rooted trees, had already been studied by algebraists. L. Foissy introduced a noncommutative version of the Connes-Kreimer Hopf algebra, which turns out to be self-dual. Using some homomorphisms defined by the author and W. Zhao, we describe a commutative diagram that relates the aforementioned Hopf algebras to each other and to the Hopf algebras of symmetric functions, noncommutative symmetric functions, and quasi-symmetric functions…
This paper presents a noncommutative theory of symmetric functions, based on the notion of quasi-determinant. We begin with a formal theory, corresponding to the case of symmetric functions in an infinite number of independent variables. This allows us to endow the resulting algebra with a Hopf structure, which leads to a new method for computing in descent algebras. It also gives unified reinterpretation of a number of classical constructions. Next, we study the noncommutative analogs of symmetric polynomials. One arrives at different constructions, according to the particular kind of applica…
We define motivic iterated integrals on the affine line, and give a simple proof of the formula for the coproduct in the Hopf algebra of they make. We show that it encodes the group law in the automorphism group of certain non-commutative variety. We relate the coproduct with the coproduct in the Hopf algebra of decorated rooted planar trivalent trees - a planar decorated version of the Hopf algebra defined by Connes and Kreimer. As an application we derive explicit formulas for the coproduct in the motivic multiple polylogarithm Hopf algebra. We give a criteria for a motivic iterated integral…
Let $\CRF_S$ denote the category of $S$-colored rooted forests, and $\H_{\CRF_S}$ denote its Ringel-Hall algebra as introduced in \cite{KS}. We construct a homomorphism from a $K^+_0 (\CRF_S)$--graded version of the Hopf algebra of noncommutative symmetric functions to $\H_{\CRF_S}$. Dualizing, we obtain a homomorphism from the Connes-Kreimer Hopf algebra to a $K^+_0 (\CRF_S)$--graded version of the algebra of quasisymmetric functions. This homomorphism is a refinement of one considered by W. Zhao in \cite{Z}.
We construct a differential calculus over the noncommutative 4-sphere in the framework of pseudo-Riemannian calculi, and show that for every metric in a conformal class of perturbations of the round metric, there exists a unique metric and torsion-free connection. Furthermore, we find a localization of the projective module corresponding to the space of vector fields, which allows us to formulate a Gauss-Chern-Bonnet type theorem for the noncommutative 4-sphere.
The product of two Heisenberg-Weil algebras contains the Jordan-Schwinger representation of su(2). This Algebra is quotiented by the square-root of the Casimir to produce a non-associative algebra denoted by $Ψ$. This algebra may be viewed as the right-module over one of its associative subalgebras which corresponds to the algebra of scalar fields on the noncommutative sphere. It is now possible to interpret other subspaces as the space of spinor or vector fields on the noncommutative sphere. A natural basis of $Ψ$ is given which may be interpreted as the deformed entries in the rotation matri…
We introduce the new notion of epsilon-graded associative algebras which takes its root into the notion of commutation factors introduced in the context of Lie algebras. We define and study the associated notion of epsilon-derivation-based differential calculus, which generalizes the derivation-based differential calculus on associative algebras. A corresponding notion of noncommutative connection is also defined. We illustrate these considerations with various examples of epsilon-graded algebras, in particular some graded matrix algebras and the Moyal algebra. This last example permits also t…
Arithmetic root systems are invariants of Nichols algebras of diagonal type with a certain finiteness property. They can also be considered as generalizations of ordinary root systems with rich structure and many new examples. On the other hand, Nichols algebras are fundamental objects in the construction of quantized enveloping algebras, in the noncommutative differential geometry of quantum groups, and in the classification of pointed Hopf algebras by the lifting method of Andruskiewitsch and Schneider. In the present paper arithmetic root systems are classified in full generality. As a bypr…
We compute the scalar curvature of a curved noncommutative 3-torus. To perturb the flat metric, the standard volume form on the noncommutative 3-torus is conformally perturbed and the corresponding perturbed Laplacian is analyzed. Using Connes' pseudodifferential calculus for the noncommutative 3-torus, we explicitly compute the first three terms of the small time heat kernel expansion for the perturbed Laplacian. The third term of the expansion gives a local formula for the scalar curvature. Finally, we show that in the classical limit when the deformation parameters vanish, our formula coinc…
We give an introductory survey to the use of Hopf algebras in several problems of noncommutative geometry. The main example, the Hopf algebra of rooted trees, is a graded, connected Hopf algebra arising from a universal construction. We show its relation to the algebra of transverse differential operators introduced by Connes and Moscovici in order to compute a local index formula in cyclic cohomology, and to the several Hopf algebras defined by Connes and Kreimer to simplify the combinatorics of perturbative renormalization. We explain how characteristic classes for a Hopf module algebra can …
We compute the curvature of the determinant line bundle on a family of Dirac operators for a noncommutative two torus. Following Quillen's original construction for Riemann surfaces and using zeta regularized determinant of Laplacians, one can endow the determinant line bundle with a natural Hermitian metric. By using an analogue of Kontsevich-Vishik canonical trace, defined on Connes' algebra of classical pseudodifferential symbols for the noncommutative two torus, we compute the curvature form of the determinant line bundle by computing the second variation $δ_{w}δ_{\bar{w}}\log\det(Δ)$.
This paper is the first of a sequence papers ([Z4]--[Z7]) on the {\it ${\mathcal N}$CS $(\text{noncommutative symmetric})$ systems} over differential operator algebras in commutative or noncommutative variables ([Z4]); the ${\mathcal N}$CS systems over the Grossman-Larson Hopf algebras ([GL],[F]) of labeled rooted trees ([Z6]); as well as their connections and applications to the inversion problem ([BCW],[E4]) and specializations of NCSFs ([Z5],[Z7]). In this paper, inspired by the seminal work [GKLLRT] on NCSFs (noncommutative symmetric functions), we first formulate the notion {\it ${\mathca…
We define and study the theory of derivation-based connections on a recently introduced class of bimodules over an algebra which reduces to the category of modules whenever the algebra is commutative. This theory contains, in particular, a noncommutative generalization of linear connections. We also discuss the different noncommutative versions of differential forms based on derivations. Then we investigate reality conditions and a noncommutative generalization of pseudo-riemannian structures.
Let $K$ be any unital commutative $\bQ$-algebra and $W$ any non-empty subset of $\bN^+$. Let $z=(z_1, ..., z_n)$ be commutative or noncommutative free variables and $t$ a formal central parameter. % Denote uniformly by $\kzz$ and $\kttzz$ the formal power series algebras % of $z$ over $K$ and $K[[t]]$, respectively. Let $\cDazz$ $(α\geq 1)$ be the unital algebra generated by the differential operators of $\kzz$ which increase the degree in $z$ by at least $α-1$ and $ \ataz $ the group of automorphisms $F_t(z)=z-H_t(z)$ of $\kttzz$ with $o(H_t(z))\geq α$ and $H_{t=0}(z)=0$. First, we study a co…
In this paper we study associative algebras with a Poisson algebra structure on the center acting by derivations on the rest of the algebra. These structures, which we call Poisson fibred algebras, appear in the study of quantum groups at roots of 1 and related algebras, as well as in the representation theory of affine Lie algebras at the critical level. Poisson fibred algebras lead to a generalization of Poisson geometry, which we develop in the paper. We also take up the general study of noncommutative spaces which are close to enough commutative ones so that they contain enough points to h…
We compute the Ricci curvature of a curved noncommutative three torus. The computation is done both for conformal and non-conformal perturbations of the flat metric. To perturb the flat metric, the standard volume form on the noncommutative three torus is perturbed and the corresponding perturbed Laplacian is analyzed. Using Connes' pseudodifferential calculus for the noncommutative tori, we explicitly compute the second term of the short time heat kernel expansion for the perturbed Laplacians on functions and on 1-forms. The Ricci curvature is defined by localizing heat traces suitably. Equiv…
We consider the algebra $A$ of bounded operators on $L^2(\mathbb{R}^n)$ generated by quantizations of isometric affine canonical transformations. The algebra $A$ includes as subalgebras all noncommutative tori and toric orbifolds. We define the spectral triple $(A, H, D)$ with $H=L^2(\mathbb R^n, Λ(\mathbb R^n))$ and the Euler operator $D$, a first order differential operator of index $1$. We show that this spectral triple has simple dimension spectrum: For every operator $B$ in the algebra $Ψ(A,H,D)$ generated by the Shubin type pseudodifferential operators and the elements of $A$, the zeta f…
In this paper, we continue the study of quantum B-algebras with emphasis on filters on integral quantum B-algebras. We then study filters in the setting of pseudo-hoops. First, we establish an embedding of a cartesion product of polars of a pseudo-hoop into itself. Second, we give sufficient conditions for a pseudohoop to be subdirectly reducible. We also extend the result of Kondo and Turunen to the setting of noncommutative residuated $\vee$-semilattices that, if prime filters and $\vee$-prime filters of a residuated $\vee$-semilattice $A$ coincide, then $A$ must be a pseudo MTL-algebra.
This paper contains detailed proofs of our results on the moduli space and the structure of noncommutative 3-spheres. We develop the notion of central quadratic form for quadratic algebras, and a general theory which creates a bridge between noncommutative differential geometry and its purely algebraic counterpart. It allows to construct a morphism from an involutive quadratic algebras to a C*-algebra constructed from the characteristic variety and the hermitian line bundle associated to the central quadratic form. We apply the general theory in the case of noncommutative 3-spheres and show th…
A noncommutative algebra of the complex $q$-twistors and their differentials is considered on the basis of the quantum $GL_q (4)\times SL_q (2)$ group. Real and pseudoreal $q$-twistors are discussed too. We consider the quantum-group self-duality equation in the framework of the local gauge algebra of differential forms on $q$-twistor spaces. Quantum deformations of the general multi-instanton solutions are constructed. The corresponding noncommutative algebras of moduli are introduced. The general $q$-instanton connection is a function of the $q$-twistors and the $q$-moduli .