
Leavitt path algebras are a natural generalization of the Leavitt algebras, which are a class of algebras introduced by Leavitt in 1962. For a directed graph E, the Leavitt path algebra L_{K}(E) of E with coefficients in K has received much recent attention both from algebraists and analysts over the last decade. So far, some of the algebraic properties of Leavitt path algebras have been investigated, including primitivity, simplicity and being Noetherian. We explicitly describe twosided ideals in Leavitt path algebras associated with a rowfinite graph. Our main result is that any twosided ideal I of a Leavitt path algebra associated with a rowfinite graph is generated by elements of the form v + ∑_{i=1}^{n} λ_{i} g^{i}, where g is a cycle based at vertex v. We use this result to show that a Leavitt path algebra is twosided Noetherian if and only if the ascending chain condition holds for hereditary and saturated closures of the subsets of the vertices of the rowfinite graph E. Moreover, we show that this result can be used to unify and simplify many known results for rowfinite Leavitt path algebras.
We introduce the notion of entropic Følner function for algebras and we show its relation with the isoperimetric profile and the lower transcendence degree.
We explain how entropic technique like Shannon inequality can lead to a theorem on the lower transcendence degree of domains and division algebras.
We finally discuss its relation with some old conjectures of M. Artin, L. Small and J. Zhang.
The topological structures of the prime and primitive spectra of a generic quantized coordinate ring A are known "piecewise". Assuming the base field is algebraically closed, there is an algebraic torus H acting on A in such a way that there are only finitely many Horbits in primA, each of which is homeomorphic to an affine variety (actually, another torus); similarly, specA is a finite disjoint union of locally closed subsets homeomorphic to the prime spectra of algebraic varieties. What is missing is any description of the topological relationships among the abovementioned pieces of specA and primA. We will discuss a framework for such a description, present it in detail for quantum GL_{2}, and raise the question of how it might relate to classical algebraic geometric structures.
Let A be a (finite dimensional) graded connected selfinjective algebra. In this talk, I will discuss sufficient conditions on A that imply that A is Koszul. We present two different results. The first result restricts the Poincaré series and requires the existence of a copoint module. The second result is homological in nature and requires the existence of a system of modules (copoint, coline, etc) that are interrelated by short exact sequences.
Let G be a finite group acting on an ArtinSchelter regular Calgebra A. Extending results of Watanabe we give conditions when the invariant subring A^{G} is an ArtinSchelter Gorenstein algebra. When A = C[x_{1}, ..., x_{n}] Gordeev (1986) and Nakajima (1984) independently determined when A^{G} is a complete intersection. We discuss extending these results to other ArtinSchelter regular algebras.
Given a quasiprojective variety X and an element α in the 2torsion part of the Brauer group of the function field of X, the pair (X,α) is called a Brauer pair. There is a notion of discrepancy of a Brauer pair which is similar to the notion of discrepancy of a logarithmic pair that one encounters in Mori's minimal model program. (We will discuss this notion in the talk.) A Brauer pair is called a terminal pair if its discrepancy is positive.
If there is a birational morphism f : Y → X then we can view an element α in the Brauer group Br( k(X) ) of the function field k(X) as an element in Br( k(Y) ) via the isomorphism f^{*} : k(X) → k(Y). We will show that given a Brauer pair (X,α) with X 3dimensional, there is a terminal pair (Y,α) with a birational morphism f : Y → X. In other words, every 3dimensional Brauer pair admits a terminal resolution.
Noncommutative quadrics, defined and classified by M. Van den Bergh, are noncommutative deformations of P^{1} ×P^{1}. They are classified in terms of their point schemes C and associated commutative geometric data.
We describe progress towards proving that a noncommutative quadric with C a smooth genus 1 curve is a noncommutative ruled surface over P^{1}.
Division rings are noncommutative fields meaning associative rings where every nonzero element has a multiplicative inverse. Division algebras are division rings finite dimensional (or just finite) over their centers and are the basic elements in Brauer groups. Many years ago P. M. Cohn proved that any two division rings of the same characteristic embed in a third division ring. If one applies this to division algebras, the new third division ring is huge and is certainly NOT finite over its center. Thus Lance Small asked whether two division algebras of the same characteristic could be embedded in a third division algebra. We will show the answer is "no", but yes if we require the division algebras be finitely generated over the same prime or other perfect field. The tools we will use involve generalized SeveriBrauer varieties (forms of Grassmanns) and some old index reduction results that, in one form, involve Moody's Theorem.
This is joint work with Louis Rowen.
Categories with some of the essential properties of cluster categories (triangulated, 2 CalabiYau) were already defined by several authors; in particular, certain subcategories of modules over preprojective algebras associated to the words in the Coxeter group are such categories.
On the other hand, the basic construction of cluster categories as orbit categories of the derived categories of the module categories of algebras of global dimension 1, was generalized to the global dimension 2 algebras, by considering triangulated hull of the above mentioned orbit category in this case.
We construct a triangle equivalence between the 2CalabiYau triangulated categories associated to the words in the Coxeter group as mentioned above, and generalized cluster categories; we construct appropriate algebras of global dimension 2.
Joint work with C. Amiot, O. Iyama and I. Reiten, arXiv:math. RT/1002.4131.
It is known that a tilting generator on an algebraic variety X gives a derived equivalence between X and a certain noncommutative algebra. I explain a method to construct a tilting generator from an ample line bundle.
My talk is based on a joint paper with Y. Toda in Advances in Mathematics 233(2010).
An associative ring R with unit is left morphic if for every element a ∈ R, there exists some b ∈ R such that the left annihilators l_{R}(a)=Rb and l_{R}(b)=Ra. Analogously, we can define right morphic and morphic rings. For a commutative domain R, we prove that the trivial extension R ltimes M is morphic if and only if R is Bezout and M ≅ [(Q)/(R)]. This positively answered a question of a recent paper.