Related papers: Formality of cochains on BG

John C.Baez reinterpreted 2-dimensional and 3-dimensional topological quantum field theories (abbreviated as 2-TQFT and 3-TQFT) in "A prehistory of n-categorical physics"[JC11]. Inspired by his idea, this paper utilizes cochains to prove…

The rational homotopy type of a differential graded algebra (DGA) can be represented by a family of tensors on its cohomology, which constitute an $A_\infty$-minimal model of this DGA. When only the cohomology is needed to determine the…

Let $A$ be a $k$-algebra where $k$ is an algebraically closed field and $G$ be a finite abelian group for which the characteristic of $k$ does not divide $|G|$. If $G$ acts on $A$ by $k$-algebra automorphisms then the action induces a…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

Let (G,G^+) be a simple ordered abelian group. We say that G has strong perforation if there exists a non-positive element x in G such that nx is positive and non-zero for some natural number n. Otherwise, the group is said to be weakly…

Let $K$ be a global field of positive characteristic. Let $\infty$ be a fixed place of $K$. This paper gives an explicit isomorphism between the space of automorphic forms (resp. cusp forms) for $GL_{n+1}(K)$ that transform like the special…

The category of unital (unbounded) dg cocommutative coalgebras over a field of characteristic zero is provided with a structure of simplicial closed model category. This generalizes the model structure defined by Quillen in 1969 for…

We classify, in terms of the structure of the finite group G, all group algebras KG for which all right ideals are right annihilators of principal left ideals. This means in the language of coding theory that we classify code-checkable…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a finite group. Given a $G$-Galois $K$-algebra $K_h$, let $\mathcal{O}_h$ denote its ring of integers. If $K_h/K$ is tame, then a classical theorem of E. Noether…

A trinomial algebra is a commutative finitely generated algebra given by a system of compatible relations each of which is a polynomial with three terms. Such algebras arise as the Cox rings of varieties admitting a complexity one torus…

If a nontrivial finite group coacts on a graded noetherian down-up algebra $A$ inner faithfully and homogeneously, then the fixed subring is not isomorphic to $A$. Therefore graded noetherian down-up algebras are rigid with respect to…

In this paper, we associate the TKK algebra $\widehat{\mathcal{G}}(\mathcal{J})$ with vertex algebras through twisted modules. Firstly, we prove that for any complex number $\ell$, the category of restricted…

We introduce and study a $K$-theory of twisted bundles for associative algebras $A(\mathfrak g)$ of formal series with an infinite-Lie algebra coefficients over arbitrary compact topological spaces. Fibers of such bundles are given by…

We show that every groupoid C*-algebra is isomorphic to its opposite, and deduce that there exist C*-algebras that are not stably isomorphic to groupoid C*-algebras, though many of them are stably isomorphic to twisted groupoid C*-algebras.…

Given an octonion algebra over a field k, its automorphism group G is an algebraic semisimple k-group of type G_2. We study the maximal tori of G in terms of the algebra C.

The complexity of an action of a reductive algebraic group G on an algebraic variety X is the codimension of a generic B-orbit in X, where B is a Borel subgroup of G. We classify affine homogeneous spaces G/H of complexity one. These…

The purely algebraic notion of CQG algebra (algebra of functions on a compact quantum group) is defined. In a straightforward algebraic manner, the Peter-Weyl theorem for CQG algebras and the existence of a unique positive definite Haar…

Given an associative $\mathbb{C}$-algebra $A$, we call $A$ strongly rigid if for any pair of finite subgroups of its automorphism groups $G, H,$ such that $A^G\cong A^H$, then $G$ and $H$ must be isomorphic. In this paper we show that a…

We study amenability of affine algebras (based on the notion of almost-invariant finite-dimensional subspace), and apply it to algebras associated with finitely generated groups. We show that a group G is amenable if and only if its group…

Given a finite-dimensional complex Lie algebra g equipped with a nondegenerate, symmetric, invariant bilinear form B, let V_k(g,B) denote the universal affine vertex algebra associated to g and B at level k. For any reductive group G of…