The ring of quasimodular forms for a cocompact group

We describe the additive structure of the graded ring of quasimodular forms over any discrete and cocompact group Γ⊂PSL(2,R). We show that this ring is never finitely generated. We calculate the exact number of new generators in each weight k. This number is constant for k sufficiently large and equals where I and are the ideals of modular forms and quasimodular forms, respectively, of positive weight. We show that is contained in some finitely generated ring of meromorphic quasimodular forms with i.e., the same order of growth as      

Finiteness of graded local cohomology modules

Let R=?_n∈N0R_n be a Noetherian homogeneous ring with local base ring (R₀,m₀) and irrelevant ideal R₊, let M be a finitely generated graded R-module. In this paper we show that is Artinian and is Artinian for each i in the case where R₊ is principal. Moreover, for the case where , we prove that, for each i∈N₀, is Artinian if and only if is Artinian. We also prove that is Artinian, where and c is the cohomological dimension of M with respect to R₊. Finally we present some examples which show that and need not be Artinian.     

A numerical characterization of the S2-ification of a Rees algebra

Let A be a local ring with maximal ideal . For an arbitrary ideal I of A, we define the generalized Hilbert coefficients . When the ideal I is -primary, j_k(I)=(0,…,0,(−1)^ke_k(I)), where e_k(I) is the classical kth Hilbert coefficient of I. Using these coefficients we give a numerical characterization of the homogeneous components of the S₂-ification of S=A[It,t⁻¹], extending previous results obtained by the author to not necessarily -primary ideals.     

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.     

Wavelet frames with irregular matrix dilations and their stability

Let , B and A_j () be real nonsingular n×n matrices, λ_k () be real numbers. In this paper we present a sufficient condition for the system to be a frame for . This sufficient condition also shows the stability of the system with respect to the perturbation of matrix dilation parameters and the perturbation of translation parameters .     

Projective Schur groups of Henselian fields

One of the open questions that has emerged in the study of the projective Schur group of a field F is whether or not is an algebraic relative Brauer group over F, i.e. does there exist an algebraic extension L/F such that ? We show that the same question for the Schur group of a number field has a negative answer. For the projective Schur group, no counterexample is known. In this paper we prove that is an algebraic relative Brauer group for all Henselian valued fields F of equal characteristic whose residue field is a local or global field. For this, we first show how is determined by for an equicharacteristic Henselian field with arbitrary residue field k.     

Pure-injective hulls of modules over valuation rings

If is the pure-injective hull of a valuation ring R, it is proved that is the pure-injective hull of M, for every finitely generated R-module M. Moreover , where (A_k)_1≤k≤n is the annihilator sequence of M. The pure-injective hulls of uniserial or polyserial modules are also investigated. Any two pure-composition series of a countably generated polyserial module are isomorphic.     

Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

Continuity and Schatten-von Neumann p-class membership of Hankel operators with anti-holomorphic symbols on (generalized) Fock spaces

In this paper we investigate Hankel operators with anti-holomorphic symbols ∈L²(C,m|z|), where are general Fock spaces. We will show that is not continuous if the corresponding symbol is not a polynomial . For polynomial symbols we will give necessary and sufficient conditions for continuity and compactness in terms of N and m. For monomials we will give a complete characterization of the Schatten-von Neumann p-class membership for p>0. Namely in case 2k<m the Hankel operators are in the Schatten-von Neumann p-class iff p>2m/(m−2k); and in case 2k?m they are not in the Schatten-von Neumann p-class.     

Equivariant chain complexes, twisted homology and relative minimality of arrangements

We show that the π-equivariant chain complex (), , associated to a Morse-theoretic minimal CW-structure X on the complement of an arrangement , is independent of X. The same holds for all scalar extensions, , a field, where X is an arbitrary minimal CW-structure on a space M. When is a section of another arrangement , we show that the divisibility properties of the first Betti number of the Milnor fiber of  obstruct the homotopy realization of  as a subcomplex of a minimal structure on .If is aspherical and is a sufficiently generic section of , then may be described in terms of π, L and , for an arbitrary local system L; explicit computations may be done, when is fiber-type. In this case, explicit -presentations of arbitrary abelian scalar extensions of the first non-trivial higher homotopy group of , π_p(M), may also be obtained. For nonresonant abelian scalar extensions, the -rank of is combinatorially determined.     

On a relation between certain cohomological invariants

Let G be a group, the supremum of the projective lengths of the injective ZG-modules and the supremum of the injective lengths of the projective ZG-modules. The invariants and were studied in [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] in connection with the existence of complete cohomological functors. If is finite then [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] and , where is the generalized cohomological dimension of G [B.M. Ikenaga, Homological dimension and Farrell cohomology, J. Algebra 87 (1984) 422-457]. Note that if G is of finite virtual cohomological dimension. It has been conjectured in [O. Talelli, On groups of type Φ, Arch. Math. 89 (1) (2007) 24-32] that if is finite then G admits a finite dimensional model for , the classifying space for proper actions.We conjecture that for any group G and we prove the conjecture for duality groups, fundamental groups of graphs of finite groups and fundamental groups of certain finite graphs of groups of type .