Irreducible morphisms in the bounded derived category

We study irreducible morphisms in the bounded derived category of finitely generated modules over an Artin algebra Λ, denoted , by means of the underlying category of complexes showing that, in fact, we can restrict to the study of certain subcategories of finite complexes. We prove that as in the case of modules there are no irreducible morphisms from X to X if X is an indecomposable complex. In case Λ is a selfinjective Artin algebra we show that for every irreducible morphism f in either f^j is split monomorphism for all j∈Z or split epimorphism, for all j∈Z. Moreover, we prove that all the non-trivial components of the Auslander-Reiten quiver of are of the form ZA_∞.     

On the structure of cyclotomic Nazarov-Wenzl algebras

Ariki, Mathas and Rui [S. Ariki, A. Mathas, H. Rui, Cyclotomic Nazarov-Wenzl algebras, Nagoya Math. J. 182 (2006) 47-134 (special volume in honor of Professor G. Lusztig)] introduced a class of finite dimensional algebras W_r,n, called the cyclotomic Nazarov-Wenzl algebras which are associative algebras over a commutative ring R generated by {S_i,E_i,X_j∣1≤i<n and 1≤j≤n} satisfying the defining relations given in this paper. In particular, for any positive integers i≤n−1. Note that are quotients of affine Wenzl algebras in [M. Nazarov, Young’s orthogonal form for Brauer’s centralizer algebra, J. Algebra 182 (1996) 664-693]. It has been proved in the first cited reference above that W_r,n is cellular in the sense of [J.J. Graham, G.I. Lehrer, Cellular algebras, Invent. Math. 123 (1996) 1-34]. Using the representation theory of cellular algebras, Ariki, Mathas and Rui have classified the irreducible W_r,n-modules under the assumption ω₀≠0 in their above-cited work. In this paper, we are going to classify the irreducible W_r,n-modules under the assumption ω₀=0. We will compute the Gram determinant associated to each cell module for W_r,n no matter whether ω₀ is zero or not. At the end of this paper, we use our formulae for Gram determinants to determine the semisimplicity of W_r,n for arbitrary parameters over an arbitrary field F with charF≠2.     

Composite of irreducible morphisms in the bounded derived category

We study necessary and sufficient conditions for the existence of n irreducible morphisms in the bounded derived category of an Artin algebra, with non-zero composite in the n+1-power of the radical. In the case of , the bounded derived category of an Ext-finite hereditary k-category with tilting object, such irreducible morphisms exist if and only if H is derived equivalent to a wild hereditary algebra or to a wild canonical algebra. We also characterize the cluster tilted algebras having such irreducible morphisms.     

Representations of trigonometric Cherednik algebras of rank one in positive characteristic

In this paper, we classify the irreducible representations of the trigonometric Cherednik algebras of rank 1 in characteristic p>0. There are two cases. One is the “quantum” case, where “Planck’s constant” is nonzero and generic irreducible representations have dimension 2p. In this case, smaller representations exist if and only if the “coupling constant” k is in ; namely, if k is an even integer such that 0≤k≤p−1, then there exist irreducible representations of dimensions p−k and p+k, and if k is an odd integer such that 1≤k≤p−2, then there exist irreducible representations of dimensions k and 2p−k. The other case is the “classical” case, where “Planck’s constant” is zero and generic irreducible representations have dimension 2. In that case, one-dimensional representations exist if and only if the “coupling constant” k is zero.     

Some properties of sharp Hessenberg pairs

Let F denote a field and let V denote a vector space over F with finite positive dimension. We consider an ordered pair of F-linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable on V; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V₀+V₁+?+V_i+1 for 0?i?d, where V_-1:=0 and V_d+1:=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and . We call such a pair a Hessenberg pair on V. It is known that if the Hessenberg pair A,A^∗ on V is irreducible then d=δ and for 0?i?d the dimensions of V_i and coincide. We say a Hessenberg pair A,A^∗ on V is sharp whenever it is irreducible and .In this paper, we give the definitions of a Hessenberg system and a sharp Hessenberg system. We discuss the connection between a Hessenberg pair and a Hessenberg system. We also define a finite sequence of scalars called the parameter array for a sharp Hessenberg system, which consists of the eigenvalue sequence, the dual eigenvalue sequence and the split sequence. We calculate the split sequence of a sharp Hessenberg system. We show that a sharp Hessenberg pair is a tridiagonal pair if and only if there exists a nonzero nondegenerate bilinear form on V that satisfies 〈Au,v〉=〈u,Av〉 and 〈A^∗u,v〉=〈u,A^∗v〉 for all u,v∈V.     

Gabriel-Popescu type theorems and applications

In this paper we obtain a general version of Gabriel-Popescu theorem representing any Grothendieck category as a quotient category of the category of modules over a ring (not necessarily with unit) with enough idempotents to right using a family of generators (U_i)_i∈I of where U_i are not supposed to be small. Applications to locally finite categories are obtained. In particular, for a coalgebra C (over a field) we prove that C is right semiperfect if and only if the category has the AB4∗ condition.     

Quantifications des algèbres de Hopf d'arbres plans décorés et lien avec les groupes quantiques

We introduce a functor from the category of braided spaces into the category of braided Hopf algebras which associates to a braided space V a braided Hopf algebra of planar rooted trees . We show that the Nichols algebra of V is a subquotient of . We construct a Hopf pairing between and , generalising one of the results of [Bull. Sci. Math. 126 (2002) 193-239]. When the braiding of c is given by c(v_i⊗v_j)=q_i,jv_j⊗v_i, we obtain a quantification of the Hopf algebras introduced in [Bull. Sci. Math. 126 (2002) 193-239; 126 (2002) 249-288]. When q_i,j=q^a_i,j, with q an indeterminate and (a_i,j)_i,j the Cartan matrix of a semi-simple Lie algebra , then is a subquotient of . In this case, we construct the crossed product of with a torus and then the Drinfel'd quantum double of this Hopf algebra. We show that is a subquotient of .     

Non-archimedean analytic curves in the complements of hypersurface divisors

We study the degeneration dimension of non-archimedean analytic maps into the complement of hypersurface divisors of smooth projective varieties. We also show that there exist no non-archimedean analytic maps into where Di, 1?i?n, are hypersurfaces of degree at least 2 in general position and intersecting transversally. Moreover, we prove that there exist no non-archimedean analytic maps into when D₁, D₂ are generic plane curves with degD₁+degD₂?4.     

Homeomorphic property of solutions of SDE driven by countably many Brownian motions with non-Lipschitzian coefficients

We study m-dimensional SDE , where {Wi}_i?1 is an infinite sequence of independent standard d-dimensional Brownian motions. The existence and pathwise uniqueness of strong solutions to the SDE was established recently in [Z. Liang, Stochastic differential equations driven by countably many Brownian motions with non-Lipschitzian coefficients, Preprint, 2004]. We will show that the unique strong solution produces a stochastic flow of homeomorphisms if the modulus of continuity of coefficients is less than , ?∈[0,1) with ?(−1)=1, and the coefficients are compactly supported.     

Noetherianity and Ext

Let R=R₀⊕R₁⊕R₂⊕? be a graded algebra over a field K such that R₀ is a finite product of copies of K and each R_i is finite dimensional over K. Set J=R₁⊕R₂⊕? and . We study the properties of the categories of graded R-modules and S-modules that relate to the noetherianity of R. We pay particular attention to the case when R is a Koszul algebra and S is the Koszul dual to R.     

Families of low dimensional determinantal schemes

A scheme X⊂Pⁿ of codimension c is called standard determinantal if its homogeneous saturated ideal can be generated by the t×t minors of a homogeneous t×(t+c−1) matrix (f_ij). Given integers a₀≤a₁≤?≤a_t+c−2 and b₁≤?≤b_t, we denote by the stratum of standard determinantal schemes where f_ij are homogeneous polynomials of degrees a_j−b_i and is the Hilbert scheme (if n−c>0, resp. the postulation Hilbert scheme if n−c=0).Focusing mainly on zero and one dimensional determinantal schemes we determine the codimension of in and we show that is generically smooth along under certain conditions. For zero dimensional schemes (only) we find a counterexample to the conjectured value of appearing in Kleppe and Miró-Roig (2005) [25].     

The phantom cover of a module

A morphism of left R-modules is a phantom morphism if for any morphism , with A finitely presented, the composition fg factors through a projective module. Equivalently, Tor₁(X,f)=0 for every right R-module X. It is proved that every R-module possesses a phantom cover, whose kernel is pure injective.If is the category of finitely presented right R-modules modulo projectives, then the association M?Tor₁(−,M) is a functor from the category of left R-modules to that of the flat functors on . The phantom cover is used to characterize when this functor is faithful or full. It is faithful if and only if the flat cover of every module has a pure injective kernel; this is equivalent to the flat cover being the phantom cover. The question of fullness is only reasonable when the functor is restricted to the subcategory of cotorsion modules. This restriction is full if and only if every phantom cover of a cotorsion module is pure injective.     

Almost fully decomposable infinite rank lattices over orders

Let Λ be an order over a Dedekind domain R with quotient field K. An object of , the category of R-projective Λ-modules, is said to be fully decomposable if it admits a decomposition into (finitely generated) Λ-lattices. In a previous article [W. Rump, Large lattices over orders, Proc. London Math. Soc. 91 (2005) 105-128], we give a necessary and sufficient criterion for R-orders Λ in a separable K algebra A with the property that every is fully decomposable. In the present paper, we assume that is separable, but that the p-adic completion A_p is not semisimple for at least one . We show that there exists an , such that KL admits a decomposition KL=M₀⊕M₁ with finitely generated, where L∩M₁ is fully decomposable, but L itself is not fully decomposable.     

Injective colorings of sparse graphs

Let denote the maximum average degree (over all subgraphs) of G and let χ_i(G) denote the injective chromatic number of G. We prove that if , then χ_i(G)≤Δ(G)+1; and if , then χ_i(G)=Δ(G). Suppose that G is a planar graph with girth g(G) and Δ(G)≥4. We prove that if g(G)≥9, then χ_i(G)≤Δ(G)+1; similarly, if g(G)≥13, then χ_i(G)=Δ(G).     

Independence of ? in Lafforgue's theorem

Let X be a smooth curve over a finite field of characteristic p, let ?≠p be a prime number, and let be an irreducible lisse -sheaf on X whose determinant is of finite order. By a theorem of L. Lafforgue, for each prime number ?′≠p, there exists an irreducible lisse -sheaf on X which is compatible with , in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for and are equal. We prove an “independence of ?” assertion on the fields of definition of these irreducible ?′-adic sheaves : namely, that there exists a number field F such that for any prime number ?′≠p, the -sheaf above is defined over the completion of F at one of its ?′-adic places.     

On bimodules determining stable equivalences

In the paper one shows that for two indecomposable non-simple self-injective algebras over a field K we have that if the functor induces a stable equivalence then the bimodule _AN_B is contained in the frame of a connected component in the Auslander-Reiten quiver Γ_A⊗KB^op.