Vanishing of self-extensions over symmetric algebras

We study self-extensions of modules over symmetric artin algebras. We show that non-projective modules with eventually vanishing self-extensions must lie in AR components of stable type Z_A∞$\mathbb{Z}{A}_{\infty }$. Moreover, the degree of the highest non-vanishing self-extension of these modules is determined by their quasilength. This has implications for the Auslander–Reiten Conjecture and the Extension Conjecture.     

On the classification problem of the quasi-isomorphism classes of 1-connected minimal free cochain algebras

The purpose of this paper is to classify the quasi-isomorphism classes of 1-connected minimal free cochain algebras over a commutative ring. Our tool to address this problem is a “certain” long sequence, called the Whitehead exact sequence, which we construct for every such algebra. We introduce the notion of coherent isomorphisms between these exact sequences and we show that two 1-connected minimal free cochain algebras are quasi-isomorphic if and only if their respective Whitehead exact sequences are coherently isomorphic.     

Skew differential operator algebras of twisted Hopf algebras

By introducing a twisted Hopf algebra we unify several important objects of study. Skew derivations of such an algebra are defined and the corresponding skew differential operator algebras are studied. This generalizes results in the Weyl algebra. Applying this investigation to the twisted Ringel-Hall algebra we get, in particular, a natural realization of the non-positive part of a quantized generalized Kac-Moody algebra, by identifying the canonical generators with some linear, skew differential operators. This also induces some algebras which are quantum-group like.     

From iterated tilted algebras to cluster-tilted algebras

In this paper the relationship between iterated tilted algebras and cluster-tilted algebras and relation extensions is studied. In the Dynkin case, it is shown that the relationship is very strong and combinatorial.     

Noncommutative symmetric systems over associative algebras

This paper is the first of a sequence of papers [W. Zhao, Differential operator specializations of noncommutative symmetric functions (submitted for publication). math.CO/0509134; W. Zhao, Noncommutative symmetric functions and the inversion problem (submitted for publication). math.CV/0509135; W. Zhao, A system over the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509136; W. Zhao, systems over differential operator algebras and the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509138. preprint] on the (noncommutative symmetric) systems over differential operator algebras in commutative or noncommutative variables [W. Zhao, Differential operator specializations of noncommutative symmetric functions (submitted for publication). math.CO/0509134]; the systems over the Grossman-Larson Hopf algebras [R. Grossman, R.G. Larson, Hopf-algebraic structure of families of trees, J. Algebra 126 (1) (1989) 184-210. [MR1023294]; L. Foissy, Les algèbres de Hopf des arbres enracinés décorés I, II, Bull. Sci. Math. 126 (3) (2002) 193-239; (4) 249-288. See also math.QA/0105212. [MR1909461]] of labeled rooted trees [W. Zhao, A system over the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509136]; as well as their connections and applications to the inversion problem [H. Bass, E. Connell, D. Wright, The Jacobian conjecture, reduction of degree and formal expansion of the inverse, Bull. Amer. Math. Soc. 7 (1982) 287-330. [MR 83k:14028]; A. van den Essen, Polynomial automorphisms and the Jacobian conjecture, in: Progress in Mathematics, vol. 190, Birkhäuser Verlag, Basel, 2000. [MR1790619]] and specializations of NCSFs [W. Zhao, Noncommutative symmetric functions and the inversion problem (submitted for publication). math.CV/0509135; W. Zhao, systems over differential operator algebras and the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509138. preprint]. In this paper, inspired by the seminal work [I.M. Gelfand, D. Krob, A. Lascoux, B. Leclerc, V.S. Retakh, J.-Y. Thibon, Noncommutative symmetric functions, Adv. Math. 112 (2) (1995) 218-348. See also hep-th/9407124. [MR1327096]] on NCSFs (noncommutative symmetric functions), we first formulate the notion of systems over associative Q-algebras. We then prove some results for systems in general; the systems over bialgebras or Hopf algebras; and the universal system formed by the generating functions of certain NCSFs in [I.M. Gelfand, D. Krob, A. Lascoux, B. Leclerc, V.S. Retakh, J.-Y. Thibon, Noncommutative symmetric functions, Adv. Math. 112 (2) (1995) 218-348. See also hep-th/9407124. [MR1327096]]. Finally, we review some of the main results that will be proved in the following papers [W. Zhao, Differential operator specializations of noncommutative symmetric functions (submitted for publication). math.CO/0509134; W. Zhao, A system over the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509136; W. Zhao, systems over differential operator algebras and the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509138. preprint] as some supporting examples for the general discussions given in this paper.     

Rigidity of hyperstable complexes

A module J over a ring is said to be hyperstable when . Over a module M for which Ext we show that the projective n-stems for which is hyperstable constitute a single homotopy type. Received: 17 November 2006     

Derived equivalences and Gorenstein algebras

We introduce a notion of Gorenstein R-algebras over a commutative Gorenstein ring R. Then we provide a necessary and sufficient condition for a tilting complex over a Gorenstein R-algebra A to have a Gorenstein R-algebra B as the endomorphism algebra and a construction of such a tilting complex. Furthermore, we provide an example of a tilting complex over a Gorenstein R-algebra A whose endomorphism algebra is not a Gorenstein R-algebra.     

Reduction of derived Hochschild functors over commutative algebras and schemes

We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of S-modules D, and natural reduction isomorphisms for all complexes of S-modules N and all complexes M of finite flat dimension over K whose homology H(M) is finitely generated over S; such isomorphisms determine D up to derived isomorphism. Using Grothendieck duality theory we establish analogous isomorphisms for any essentially finite-type flat map of noetherian schemes, with f^!OY in place of D.     

Crossed modules as homotopy normal maps

In this note we consider crossed modules of groups (N→G, G→Aut(N)), as a homotopy version of the inclusion N⊂G of a normal subgroup. Our main observation is a characterization of the underlying map N→G of a crossed module in terms of a simplicial group structure on the associated bar construction. This approach allows for “natural” generalizations to other monoidal categories, in particular we consider briefly what we call “normal maps” between simplicial groups.     

The 2-category theory of quasi-categories

In this paper we re-develop the foundations of the category theory of quasi-categories (also called ∞-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among them weak comma objects. We use these comma quasi-categories to encode universal properties relevant to limits, colimits, and adjunctions and prove the expected theorems relating these notions. These universal properties have an alternate form as absolute lifting diagrams in the 2-category, which we show are determined pointwise by the existence of certain initial or terminal vertices, allowing for the easy production of examples.     

On fundamental groups of quotient spaces

In classical covering space theory, a covering map induces an injection of fundamental groups. This paper reveals a dual property for certain quotient maps having connected fibers, with applications to orbit spaces of vector fields and leaf spaces in general.     

The polyhedral product functor: A method of decomposition for moment-angle complexes, arrangements and related spaces

This article gives a natural decomposition of the suspension of generalized moment-angle complexes or partial product spaces which arise as polyhedral product functors described below. The geometrical decomposition presented here provides structure for the stable homotopy type of these spaces including spaces appearing in work of Goresky-MacPherson concerning complements of certain subspace arrangements, as well as Davis-Januszkiewicz and Buchstaber-Panov concerning moment-angle complexes. Since the stable decompositions here are geometric, they provide corresponding homological decompositions for generalized moment-angle complexes for any homology theory.     

Secondary derived functors and the Adams spectral sequence

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of “additive groupoid enriched categories”, in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show that the E₃-term of the Adams spectral sequence can be expressed as a secondary derived functor. This result can be used to compute the E₃-term explicitly by an algorithm.     

Periodic resolutions and self-injective algebras of finite type

We say that an algebra A is periodic if it has a periodic projective resolution as an (A,A)-bimodule. We show that any self-injective algebra of finite representation type is periodic. To prove this, we first apply the theory of smash products to show that for a finite Galois covering B→A, B is periodic if and only if A is. In addition, when A has finite representation type, we build upon results of Buchweitz to show that periodicity passes between A and its stable Auslander algebra. Finally, we use Asashiba’s classification of the derived equivalence classes of self-injective algebras of finite type to compute bounds for the periods of these algebras, and give an application to stable Calabi-Yau dimensions.     

On the classification problem of the quasi-isomorphism classes of free chain algebras

The present paper is devoted to the classification problem of the quasi-isomorphism classes of free differential graded algebras (dgas) over a (P.I.D) R. We introduce the notion of coherent homomorphisms, perfect and quasi-perfect dgas (the Adams-Hilton model of simply connected CW-complex such that H_∗(X,R) is free is a such a dga) and our first main result asserts that two perfect (quasi-perfect) dgas are quasi-isomorphic if and only if their Whitehead exact sequences are coherently isomorphic. Moreover we define the notion of a strong isomorphism between the Whitehead exact sequences and we show that two free R-dgas, of which their Whitehead exact sequences are strongly isomorphic, are quasi-isomorphic.     

A lower bound for the canonical height on elliptic curves over abelian extensions

Let E/K be an elliptic curve defined over a number field, let ? be the canonical height on E, and let K^ab/K be the maximal abelian extension of K. Extending work of M. Baker (IMRN 29 (2003) 1571-1582), we prove that there is a constant C(E/K)>0 so that every nontorsion point P∈E(K^ab) satisfies .     

Hermitian vector bundles and extension groups on arithmetic schemes. I. Geometry of numbers

We define and investigate extension groups in the context of Arakelov geometry. The “arithmetic extension groups” we introduce are extensions by groups of analytic types of the usual extension groups attached to OX-modules F and G over an arithmetic scheme X. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over X - and we especially consider the case when X is an “arithmetic curve”, namely the spectrum SpecOK of the ring of integers in some number field K. Then the study of arithmetic extensions over X is related to old and new problems concerning lattices and the geometry of numbers.Namely, for any two hermitian vector bundles and over X:=SpecOK, we attach a logarithmic size to any element α of , and we give an upper bound on in terms of slope invariants of and . We further illustrate this notion by relating the sizes of restrictions to points in P¹(Z) of the universal extension over to the geometry of PSL₂(Z) acting on Poincaré's upper half-plane, and by deducing some quantitative results in reduction theory from our previous upper bound on sizes. Finally, we investigate the behaviour of size by base change (i.e., under extension of the ground field K to a larger number field K^′): when the base field K is Q, we establish that the size, which cannot increase under base change, is actually invariant when the field K^′ is an abelian extension of K, or when is a direct sum of root lattices and of lattices of Voronoi's first kind.The appendices contain results concerning extensions in categories of sheaves on ringed spaces, and lattices of Voronoi's first kind which might also be of independent interest.     

Differential operator specializations of noncommutative symmetric functions

Let K be any unital commutative Q-algebra and z=(z₁,…,zn) commutative or noncommutative free variables. Let t be a formal parameter which commutes with z and elements of K. We denote uniformly by K《z》 and K?t?《z》 the formal power series algebras of z over K and K?t?, respectively. For any α?1, let D[α]《z》 be the unital algebra generated by the differential operators of K《z》 which increase the degree in z by at least α−1 and the group of automorphisms Ft(z)=z−Ht(z) of K?t?《z》 with o(Ht(z))?α and Ht=0(z)=0. First, for any fixed α?1 and , we introduce five sequences of differential operators of K《z》 and show that their generating functions form an NCS (noncommutative symmetric) system [W. Zhao, Noncommutative symmetric systems over associative algebras, J. Pure Appl. Algebra 210 (2) (2007) 363-382] over the differential algebra D[α]《z》. Consequently, by the universal property of the NCS system formed by the generating functions of certain NCSFs (noncommutative symmetric functions) first introduced in [I.M. Gelfand, D. Krob, A. Lascoux, B. Leclerc, V.S. Retakh, J.-Y. Thibon, Noncommutative symmetric functions, Adv. Math. 112 (2) (1995) 218-348, MR1327096; see also hep-th/9407124], we obtain a family of Hopf algebra homomorphisms , which are also grading-preserving when Ft satisfies certain conditions. Note that the homomorphisms SFt above can also be viewed as specializations of NCSFs by the differential operators of K《z》. Secondly, we show that, in both commutative and noncommutative cases, this family SFt (with all n?1 and ) of differential operator specializations can distinguish any two different NCSFs. Some connections of the results above with the quasi-symmetric functions [I. Gessel, Multipartite P-partitions and inner products of skew Schur functions, in: Contemp. Math., vol. 34, 1984, pp. 289-301, MR0777705; C. Malvenuto, C. Reutenauer, Duality between quasi-symmetric functions and the Solomon descent algebra, J. Algebra 177 (3) (1995) 967-982, MR1358493; Richard P. Stanley, Enumerative Combinatorics II, Cambridge University Press, 1999] are also discussed.     

Neeman's characterization of K(R-Proj) via Bousfield localization

Let R be an associative ring with unit and denote by $K(\mathrm{R}\text{-}\mathrm{Proj})$ the homotopy category of complexes of projective left R-modules. Neeman proved the theorem that $K(\mathrm{R}\text{-}\mathrm{Proj})$ is ${\mathrm{?}}_1$-compactly generated, with the category $K^{+}(\mathrm{R}\text{-}\mathrm{proj})$ of left bounded complexes of finitely generated projective R-modules providing an essentially small class of such generators. Another proof of Neeman's theorem is explained, using recent ideas of Christensen and Holm, and Emmanouil. The strategy of the proof is to show that every complex in $K(\mathrm{R}\text{-}\mathrm{Proj})$ vanishes in the Bousfield localization $K(\mathrm{R}\text{-}\mathrm{Flat})/〈K^{+}(\mathrm{R}\text{-}\mathrm{proj})〉$.