Prospects for Geometric Complexity Theory

Geometric complexity theory and matrix powering

Methods and results from the representation theory of finite di- mensional algebras have led to many interactions with other areas of mathe- matics. Such areas include the theory of Lie algebras and quantum groups, commutative algebra, algebraic geometry and topology, and in particular the new theory of cluster algebras. The aim of this workshop was to further de- velop such interactions and to stimulate progress in the representation theory of algebras.

Methods and results from the representation theory of quivers and finite dimensional algebras have led to many interactions with other areas of mathematics. Such areas include the theory of Lie algebras and quantum groups, commutative algebra, algebraic geometry and topology, and in particular the new theory of cluster algebras. The aim of this workshop was to further develop such interactions and to stimulate progress in the representation theory of algebras.

The aim of this workshop was to communicate the most current developments in the field of noncommutative algebra and its interactions with algebraic geometry and representation theory.

In the 2012–13 academic year, the Mathematical Sciences Research Institute, Berkeley, hosted programs in Commutative Algebra (Fall 2012 and Spring 2013) and Noncommutative Algebraic Geometry and Representation Theory (Spring 2013). There have been many significant developments in these fields in recent years; what is more, the boundary between them has become increasingly blurred. This was apparent during the MSRI program, where there were a number of joint seminars on subjects of common interest: birational geometry, D-modules, invariant theory, matrix factorizations, noncommutative resolutions, singularity categories, support varieties, and tilting theory, to name a few. These volumes reflect the lively interaction between the subjects witnessed at MSRI. The Introductory Workshops and Connections for Women Workshops for the two programs included lecture series by experts in the field. The volumes include a number of survey articles based on these lectures, along with expository articles and research papers by participants of the programs. Volume 2 focuses on the most recent research.

Following the historical track in pursuing $T$-equivariant flat toric degenerations of flag varieties and spherical varieties, we explain how powerful tools in algebraic geometry and representation theory, such as canonical bases, Newton–Okounkov bodies, PBW- filtrations and cluster algebras come to push the subject forward.

The new edition of this celebrated and long-unavailable book preserves the original book's content and structure and its unrivalled presentation of a universal method for the resolution of a class of singularities in algebraic geometry. At the same time, the book has been completely re-typeset, errors have been eliminated, proofs have been streamlined, the notation has been made consistent and uniform, an index has been added, and a guide to recent literature has been added. The book brings together ideas from algebraic geometry, differential geometry, representation theory and number theory, and will continue to prove of value for researchers and graduate students in these areas.

Affine.m—Mathematica package for computations in representation theory of finite-dimensional and affine Lie algebras

This paper is an expanded and updated version of the preprint arXiv:math/0406499. It includes a more detailed description of the basics of the theory of Cherednik and Hecke algebras of varieties started in arXiv:math/0406499, as well as a new Section 4, which reviews the developments in this theory since 2004 with references to the relevant literature. Let $G$ be a finite group of linear transformations of a finite dimensional complex vector space $V$. To this data one can attach a family of algebras $H_{t,c}(V,G)$, parametrized by complex numbers $t$ and conjugation invariant functions $c$ on the set of complex reflections in $G$, which are called rational Cherednik algebras. These algebras have been studied for over 15 years and revealed a rich structure and deep connections with algebraic geometry, representation theory, and combinatorics. In this paper, we define global analogs of Cherednik algebras, attached to any smooth algebraic or analytic variety $X$ with a finite group $G$ of automorphisms. We show that many interesting properties of Cherednik algebras (such as the PBW theorem, universal deformation property, relation to Calogero-Moser spaces, action on quasiinvariants) still hold in the global case, and give several interesting examples. Then we define the KZ functor for global Cherednik algebras, and use it to define (in the case $\pi_2(X)\otimes \Bbb Q=0$) a flat deformation of the orbifold fundamental group of the orbifold $X/G$, which we call the Hecke algebra of $X/G$. This includes usual, affine, and double affine Hecke algebras for Weyl groups, Hecke algebras of complex reflection groups, as well as many new examples.

This paper focuses on the study of pure Rickart modules (or PR-modules for short), which are a class of modules over a commutative ring with identity. The main objective is to investigate the properties and characterizations of these modules, as well as their relationship with other classes of modules such as free, projective, and flat modules. This paper also explores the connections between PR-modules and various algebraic structures such as rings. The results obtained in this study provide a deeper understanding of the structure and behavior of PR-modules, which can have important applications in algebraic geometry, representation theory, and other areas of mathematics. Some results about PR-module have been investigated in this paper, for example we demonstrate a module is PR-module if and only if for every , is pure submodule of (or for short). Also, some kind of generalization of these rings have been constructed and demonstrated in term of PR-modules.

It is well-known that sums and products of holomorphic functions are holomorphic, and the holomorphic functions on a complex manifold form a commutative algebra over C . The study of complex manifolds using algebras of holomorphic functions upon them is called complex algebraic geometry. The purpose of this paper is to develop an analogue of complex algebraic geometry, in which the complex numbers C are replaced by the quaternions H . The natural quaternionic analogue of a complex manifold is called a hypercomplex manifold. A class of H -valued functions on hypercomplex manifolds will be defined, called q-holomorphic functions, that are analogues of holomorphic functions on complex manifolds. Now, the set of holomorphic functions on a complex manifold is a commutative algebra over C . Therefore one asks: does the set of q-holomorphic functions on a hypercomplex manifold have an analogous algebraic structure, and if so, what is it? We shall show that the q-holomorphic functions on a (noncompact) hypercomplex manifold do indeed possess a rich algebraic structure. To describe it, we shall introduce a theory of quaternionic algebra, which is a quaternionic analogue of real linear algebra. This theory is built on three building blocks: AH-modules, the analogues of vector spaces, AH-morphisms, the analogues of linear maps, and the quaternionic tensor product, the analogue of tensor product of real vector spaces. As far as the author can tell, these ideas seem to be new. They enable us to construct algebraic structures over H as though H were a commutative field. Quaternionic algebra describes the algebraic structure of hypercomplex manifolds in a remarkable way, and it seems to be the natural language of hypercomplex algebraic geometry, the algebraic geometry of hypercomplex manifolds. We believe that quaternionic algebra is worth studying for its own sake. It has many similarities with linear algebra over R or C , which is why the analogies between complex and quaternionic theories work so well, but there are also deep differences, which give quaternionic algebra a flavour all of its own. Quillen [12] has given a sheaf-theoretic interpretation of the ideas of quaternionic algebra, based on a previous version of this paper. He finds a contravariant equivalence between a class of AH-modules and regular sheaves on a real form of CP. Regular sheaves on CP are equivalent to representations of the Kronecker quiver, and out of such a representation Quillen constructs an AH-module. Under Quillen’s equivalence stable AH-modules correspond to regular vector bundles over the real form of CP.

Theory of computing has given rise to some fundamental mathematical problems, notably the P ≠ NP conjecture, and the related lower bound problems concerning formula or circuit size. We develop an approach to these problems through geometric invariant theory. The goal of this approach is to reduce the hard nonexistence problems under consideration to tractable existence problems.Accordingly, we reduce the arithmetic (characteristic 0) version of the P ≠ NP conjecture, and other related lower bound problems to proving existence of obstructions. These are representations in the homogeneous coordinate rings of orbit-closures in geometric invariant theory [MFK], of a class of points which are partially stable and whose stabilizers have special representation-theoretic properties. However, the Luna-Vust complexity [LV] of these orbit closures is quite high, in contrast with the well-understood homogeneous or almost-homogeneous-spaces, such as G/P [LLM], toric varieties [F3], and spherical embed-dings [BLV], whose Luna-Vust complexity is zero.We take a step towards explicit construction of obstructions by proving two results regarding these orbit closures. The first is a generalization of the Borel-Weil theorem for G/P to these orbit-closures. Second, we conjecture a nice representation-theoretic set of generators for their ideals, and prove a weaker version of the conjecture. Such a set of generators had earlier been given for the ideal of G/P by Lakshmibai, Seshadri, Littelmann [LS, Li3, LLM] and Kostant (cf. [PK]).Finally, using these results, we reduce, in essence, the arithmetic non-existence problems under consideration to fundmental existence and construction problems in representation theory and algebraic geometry that are conjectured to be in the complexity class P. 2000 Mathematics Subject Classification68Q1514L2414L3520G0514M17Key words and phrasesComputational ComplexityGeometric Invariant TheoryRepresentation TheoryClassical GroupsPlethysmHomogeneous Spaces

Since its inception in the early seventies, the study of Enveloping Algebras has undergone a significant and continuous evolution and moreover has inspired a wide variety of developments in many areas of mathematics including Ring Theory, Differential Operators, Invariant Theory, Quantum Groups and Hecke Algebras. As indicated above, one of the main goals behind this meeting was to bring together a group of participants with a wide range of interests in and around the geometric and the combinatorial side of the representation theory of Lie groups and algebras. We strongly believe that such an approach to representation theory, in particular interaction between geometry and representation theory, will open up new avenues of thought and lead to progress in a number of areas. This diversity was well reflected in the expertize represented by the conference participants, as well as in the wide range of topics covered. They may broadly be summarized under the following three headings: (1) The study of the structure and representation theory through a) Slodowy slices and the Joseph ideal, b) Equivalence of categories of representations and certain geometric counterparts, c) Hall algebras, Quotient schemes and canonical bases, d) Richardson elements and birationality questions, e) free Lie algebras and current algebras, f) Dirac cohomology, h) Gelfand-Zeitlin theory (2) Combinatorial Aspects of Lie Systems particularly through a) Saturation problems and Buildings, b) Affine and double Affine Hecke algebras, Cherednik algebras, c) Solvable lattice models (3) Geometric Structures including a) Representation theoretic methods in enumerative geometry, b) Multiplicity free symplectic reduction, c) Monodromy actions of braid groups, d) Associated varieties for Lie super algebras, e) affine Grassmannians, f) Schubert varieties and Demazure modules The single most important development reported in this conference seems to us to be the generalization of the categorical Satake isomorphism to quantum groups at roots of unity, which allows to bring in a whole lot of new geometry into representation theory. It seems likely that it will lead to the proofs of some open conjectures of Lusztig. We were particularly happy to have quite a few very strong younger participants and some highly promising postdocs. We tried to accomodate young postdocs, as much as feasible, to present their work by devoting one afternoon to their (shorter) talks.

Let Θ be a variety of algebras. In every variety Θ and every algebra H from Θ one can consider algebraic geometry in Θ over H. We also consider a special categorical invariant KΘ of this geometry. The classical algebraic geometry deals with the variety Θ = Com-P of all associative and commutative algebras over the ground field of constants P. An algebra H in this setting is an extension of the ground field P. Geometry in groups is related to the varieties Grp and Grp-G, where G is a group of constants. The case Grp-F, where F is a free group, is related to Tarski’s problems devoted to logic of a free group. The described general insight on algebraic geometry in different varieties of algebras inspires some new problems in algebra and algebraic geometry. The problems of such kind determine, to a great extent, the content of universal algebraic geometry. For example, a general and natural problem is: When do algebras H1 and H2 have the same geometry? Or more specifically, what are the conditions on algebras from a given variety Θ that provide the coincidence of their algebraic geometries? We consider two variants of coincidence: 1) KΘ(H1) and KΘ(H2) are isomorphic; 2) these categories are equivalent. This problem is closely connected with the following general algebraic problem. Let Θ0 be the category of all algebras W = W(X) free in Θ, where X is finite. Consider the groups of automorphisms Aunt(Θ0) for different varieties Θ and also the groups of autoequivalences of Θ0. The problem is to describe these groups for different Θ.

Through basic research in mathematics, the NTT Institute for Fundamental Mathematics aims to enrich the "fountain of knowledge" that nourishes science and technology.In this article, we first provide an overview of the research being carried out at the Institute then introduce the Institute's core research areas: number theory, especially arithmetic dynamics; algebraic and arithmetic geometry; and representation theory and automorphic forms.