Representation dimension and finitely generated cohomology

We consider selfinjective Artin algebras whose cohomology groups are finitely generated over a central ring of cohomology operators. For such an algebra, we show that the representation dimension is strictly greater than the maximal complexity occurring among its modules. This provides a unified approach to computing lower bounds for the representation dimension of group algebras, exterior algebras and Artin complete intersections. We also obtain new examples of classes of algebras with arbitrarily large representation dimension.     

Exotic Quantifiers, Complexity Classes, and Complete Problems

We define new complexity classes in the Blum–Shub–Smale theory of computation over the reals, in the spirit of the polynomial hierarchy, with the help of infinitesimal and generic quantifiers. Basic topological properties of semialgebraic sets like boundedness, closedness, compactness, as well as the continuity of semialgebraic functions are shown to be complete in these new classes. All attempts to classify the complexity of these problems in terms of the previously studied complexity classes have failed. We also obtain completeness results in the Turing model for the corresponding discrete problems. In this setting, it turns out that infinitesimal and generic quantifiers can be eliminated, so that the relevant complexity classes can be described in terms of the usual quantifiers only.      

Ext-symmetry over quantum complete intersections

We show that symmetry in the vanishing of cohomology holds for graded modules over quantum complete intersections. Moreover, symmetry holds for all modules if the algebra is symmetric. Received: 1 December 2008     

The Degree and Regularity of Vanishing Ideals of Algebraic Toric Sets Over Finite Fields

Let X* be a subset of an affine space 𝔸 ^s , over a finite field K, which is parameterized by the edges of a clutter. Let X and Y be the images of X* under the maps x → [x] and x → [(x, 1)], respectively, where [x] and [(x, 1)] are points in the projective spaces ? ^s?1 and ? ^s , respectively. For certain clutters and for connected graphs, we were able to relate the algebraic invariants and properties of the vanishing ideals I(X) and I(Y). In a number of interesting cases, we compute its degree and regularity. For Hamiltonian bipartite graphs, we show the Eisenbud–Goto regularity conjecture. We give optimal bounds for the regularity when the graph is bipartite. It is shown that X* is an affine torus if and only if I(Y) is a complete intersection. We present some applications to coding theory and show some bounds for the minimum distance of parameterized linear codes for connected bipartite graphs.     

Gorenstein FP-Injective Dimension for Complexes

This article is a continuous work of [17 Hu , J. , Zhang , D. ( 2013 ). Weak AB-context for FP-injective modules with respect to semidualizing modules . J. Algebra Appl. 12 ( 7 ): 1350039 .[Crossref], [Web of Science ®] , [Google Scholar]], where the coauthors introduced the notion of 𝒢-FP-injective R-modules. In this article, we define a notion of 𝒢-FP-injective dimension for complexes over left coherent rings. To investigate the relationships between 𝒢-FP-injective dimension and FP-injective dimension for complexes, the complete cohomology group bases on FP-injectives is given.     

Several Cohomology Algebras Connected with the Poisson Structure

The structure of a Lie superalgebra is defined on the space of multiderivations of a commutative algebra. This structure is used to define some cohomology algebra of Poisson structure. It is shown that when a commutative algebra is an algebra of C -functions on the C -manifold, the cohomology algebra of Poisson structure is isomorphic to an algebra of vertical cohomologies of the foliation corresponding to the Poisson structure.     

Vanishing of certain equivariant distributions on spherical spaces for quasi-split groups

We prove the vanishing of $\mathfrak{z}$-eigen distributions on a quasi-split real reductive group which change according to a non-degenerate character under the left action of the unipotent radical of the Borel subgroup, and are equivariant under the right action of a spherical subgroup.