We introduce χ-algebras, and show that a χ-algebra has the NBC basis property. We also show that a certain ideal used in the construction has the so-called BC basis property. The Orlik-Solomon algebra of a matroid, the Orlik-Terao algebra of a set of vectors, and the Cordovil algebra of an oriented
Bases in Orlik–Solomon Type Algebras
✍ Scribed by David Forge
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 85 KB
- Volume
- 23
- Category
- Article
- ISSN
- 0195-6698
No coin nor oath required. For personal study only.
✦ Synopsis
Let M be a matroid on [n] and E be the graded algebra generated over a field k generated by the elements 1, e 1 , . . . , e n . Let (M) be the ideal of E generated by the squares e 2 1 , . . . , e 2 n , elements of the form e i e j + a i j e j e i and 'boundaries of circuits', i.e., elements of the form χ j e i 1 . . . e i j-1 e i j+1 . . . e i m , with χ j ∈ k and e i 1 , . . . , e i m a circuit of the matroid with some special coefficients. The χ -algebra A(M) is defined as the quotient of E by (M). Recall that the class of χ -algebras contains several studied algebras and in first place the Orlik-Solomon algebra of a matroid. We will essentially construct the reduced Gröbner basis of (M) for any term order and give some consequences.
📜 SIMILAR VOLUMES
The Orlik-Solomon algebra A(G) of a matroid G is the free exterior algebra on the points, modulo the ideal generated by the circuit boundaries. On one hand, this algebra is a homotopy invariant of the complement of any complex hyperplane arrangement realizing G. On the other hand, some features of t
Let M = M(E) be a matroid on a linear ordered set E. The Orlik-Solomon Z-algebra OS(M) of M is the free exterior Z-algebra on E, modulo the ideal generated by the circuit boundaries. The Z-module OS(M) has a canonical basis called 'no broken circuit basis' and denoted nbc. Let e X = e i , e i ∈ X ⊂
We give an account of the theory of Gröbner bases for Clifford and Grassmann algebras, both important in physical applications. We describe a characterization criterion tailored to these algebras which is significantly simpler than those given earlier or for more general non-commuting algebras. Our
Let Uq(g) be the quantized enveloping algebra corresponding to the semisimple Lie algebra g. We describe algorithms to obtain the multiplication table of a PBW-type basis of Uq(g). We use this to obtain an algorithm for calculating a Gröbner basis of an ideal in the subalgebra U -, which leads to a
It is shown that for any expansive, integer valued 2 × 2 matrix, there exists a (multi-)wavelet whose Fourier transform is compactly supported and smooth. A key step is showing that for almost every equivalence class of integrally similar matrices there is a representative A which is strictly expans