Related papers: Matrix formulation for non-Abelian families
We give canonical matrices of a pair (A,B) consisting of a nondegenerate form B and a linear operator A satisfying B(Ax,Ay)=B(x,y) on a vector space over F in the following cases: (i) F is an algebraically closed field of characteristic…
If the group of a 2-knot group $K$ has an abelian normal subgroup of rank $\geq1$ which is not finitely generated then either $K$ has no minimal Seifert hypersurface or $K$ is topologically equivalent to Example 10 of Ralph Fox's``{\it A…
Let k be a field of characteristic zero. We consider graded subalgebras A of k[x_1,...,x_m]/(x_1^2,...,x_m^2) generated by d linearly independant linear forms. Representations of matroids over k provide a natural description of the…
On the set H_n(K) of symmetric n by n matrices over the field K we can define various binary and ternary products which endow it with the structure of a Jordan algebra or a Lie or Jordan triple system. All these non-associative structures…
We propose a correspondence between topological order in 2+1d and Seifert three-manifolds together with a choice of ADE gauge group $G$. Topological order in 2+1d is known to be characterized in terms of modular tensor categories (MTCs),…
In this paper we compute the K-theory (algebraic and topological) and entire periodic cyclic homology of compact Lie group C*-algebras, define Chern characters between them and show that the Chern characters in both topological and…
We introduce a Hamiltonian for fermions on a lattice and prove a theorem regarding its topological properties. We identify the topological criterion as a $\mathbb{Z}_2-$ topological invariant $p(\textbf{k})$ (the Pfaffian polynomial). The…
Let $A/K$ be an abelian variety with real multiplication defined over a $p$-adic field $K$ with $p>2$. We show that $A/K$ must have either potentially good or potentially totally toric reduction. In the former case we give formulas of the…
We give a combinatorial construction, not involving a presentation, of almost all untwisted affine Kac--Moody algebras modulo their one-dimensional centres in terms of signed raising and lowering operators on a certain distributive lattice…
For coherent families of crystals of affine Lie algebras of type B^{(1)}_n, D^{(1)}_n, A^{(2)}_{2n} and D^{(2)}_{n+1} we describe the combinatorial R matrix using column insertion algorithms for B,C,D Young tableaux.
Given a Jordan algebra $A$ and a vector space $V$, we describe and classify all Jordan algebras containing $A$ as a subalgebra of codimension ${\rm dim}_k (V)$ in terms of a non-abelian cohomological type object ${\mathcal J}_{A} \, (V, \,…
An algebraic algorithm is developed for computation of invariants ('generalized Casimir operators') of general Lie algebras over the real or complex number field. Its main tools are the Cartan's method of moving frames and the knowledge of…
A non-associative algebra over a field $\mathbb{K}$ is a $\mathbb{K}$-vector space $A$ equipped with a bilinear operation \[ {A\times A\to A\colon\; (x,y)\mapsto x\cdot y=xy}. \] The collection of all non-associative algebras over…
We present a rigorous and fully consistent $K$-theoretic framework for studying gapped topological phases of free fermions such as topological insulators. It utilises and profits from powerful techniques in operator $K$-theory. From the…
This is the second in a series math.AG/0312190, math.AG/0410267, math.AG/0410268 on configurations in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration (\sigma,\iota,\pi) is a finite collection of…
We describe arithmetic algorithms on a canonical number representation based on the Catalan family of combinatorial objects specified as a Haskell type class. Our algorithms work on a {\em generic} representation that we illustrate on…
We construct tree-decompositions of graphs that distinguish all their k-blocks and tangles of order k, for any fixed integer k. We describe a family of algorithms to construct such decompositions, seeking to maximize their diversity subject…
By a tensor we mean an element of a tensor product of vector spaces over a field. Up to a choice of bases in factors of tensor products, every tensor may be coordinatized, that is, represented as an array consisting of numbers. This note is…
We extend the notion of algebraic stack to an arbitrary subcanonical site C. If the topology on C is local on the target and satisfies descent for morphisms, we show that algebraic stacks are precisely those which are weakly equivalent to…
We associate to each unital $C^*$-algebra $A$ a geometric object---a diagram of topological spaces representing quotient spaces of the noncommutative space underlying $A$---meant to serve the role of a generalized Gel'fand spectrum. After…