On the dimension of the module-varieties of tame and weld algebras

Inspired by a result in [Ga], we locate three integer forms of F_q[SL(n+ 1)] over k[q,q ^-1] wih a presentation by generators and relations, which for q=1 specialize to U(𝔥)), where 𝔥 is the Lie bialgebra of the Poisson Lie group dual to SL(n+1). In sight of this we prove two PBW-like theorems for F_q [SL(n+ 1)], both related to the classical PBW theorem for U(𝔥).     

Growth of transcendental entire functions on algebraic varieties

LetX be a complete intersection algebraic variety of codimensionm>1 in ℂ ^m+n . We define the notion of (p,q)-order and (p,q)-K-type for transcendental entire functionsfεO(ℂ ^m+n ) whereK is a non-pluripolar compact subset of ℂ ^m+n . Further, we consider the analogues of (p,q)-order and (p,q)-K-type inO(X). We discuss the series expansions of the functions inO(X) in terms of an orthogonal basis in a Hilbert spaceL ²(X, μ), where μ is a capacitary extremal measure onK. Author is grateful to the NSA for partial support during the period of this research.     

The Chow ring of a singular surface

We construct the Chow ringCH*(X) =CH ⁰ (X)⊕CH ¹ (X)⊕CH ² (X) of a reduced, quasi-projective surfaceX, together with Chern class mapsc _i :K ₀ (X) → CH ⁱ (X), with the usual properties. As a consequence, we show that the cycle mapCH ² (X)→ F ₀ K ₀ (X) is an isomorphism. Our treatment is greatly influenced by an unpublished 1983 preprint of Levine’s, but is much simpler, since we deal only with surfaces.     

Coinvariants for a coadjoint action of quantum matrices

Let K be a (algebraically closed ) field. A morphism A ⟼ g ⁻¹ Ag, where A ∈ M(n) and g ∈ GL(n), defines an action of a general linear group GL(n) on an n × n-matrix space M(n), referred to as an adjoint action. In correspondence with the adjoint action is the coaction α: K[M(n)] → K[M(n)] ⊗ K[GL(n)] of a Hopf algebra K[GL(n)] on a coordinate algebra K[M(n)] of an n × n-matrix space, dual to the conjugation morphism. Such is called an adjoint coaction. We give coinvariants of an adjoint coaction for the case where K is a field of arbitrary characteristic and one of the following conditions is satisfied: (1) q is not a root of unity; (2) char K = 0 and q = ±1; (3) q is a primitive root of unity of odd degree. Also it is shown that under the conditions specified, the category of rational GL _q × GL _q -modules is a highest weight category.     

An extension of a result of ribe

It is proved that for every 1≦p<∞, 1≦q<∞ and for every sequence {p _n}, 1≦p _n<∞,p _n→p, the spaceX=(Σ⊕l _{p n}) _q (resp.U=(Σ⊕L _{p n}(0, 1)) _q ) is uniformly homeomorphic toX⊕l _p (resp.U⊕L _p(0, 1)). This extends Ribe’s result from the casep=1 to generalp<∞ and thus provides examples of uniformly convex, uniformly homeomorphic Banach spaces which are not Lipschitz equivalent.     

Semistar-Krull and valuative dimension of integral domains

Given a stable semistar operation of finite type ⋆ on an integral domain D, we show that it is possible to define in a canonical way a stable semistar operation of finite type ⋆[X] on the polynomial ring D[X], such that, if n := ⋆-dim(D), then n+1 ≤ ⋆[X]-dim(D[X]) ≤ 2n+1. We also establish that if D is a ⋆-Noetherian domain or is a Prüfer ⋆-multiplication domain, then ⋆[X]-dim(D[X]) = ⋆- dim(D)+1. Moreover we define the semistar valuative dimension of the domain D, denoted by ⋆-dim _v (D), to be the maximal rank of the ⋆-valuation overrings of D. We show that ⋆-dim _v (D) = n if and only if ⋆[X ₁, . . . , X _n ]-dim(D[X ₁, . . . , X _n ]) = 2n, and that if ⋆-dim _v (D) < ∞ then ⋆[X]-dim _v (D[X]) = ⋆-dim _v (D) + 1. In general ⋆-dim(D) ≤ ⋆-dim _v (D) and equality holds if D is a ⋆-Noetherian domain or is a Prüfer ⋆-multiplication domain. We define the ⋆-Jaffard domains as domains D such that ⋆-dim(D) < ∞ and ⋆-dim(D) = ⋆-dim _v (D). As an application, ⋆-quasi-Prüfer domains are characterized as domains D such that each (⋆, ⋆′)-linked overring T of D, is a ⋆′-Jaffard domain, where ⋆′ is a stable semistar operation of finite type on T. As a consequence of this result we obtain that a Krull domain D, must be a w _D -Jaffard domain.     

Finiteness properties of certain arithmetic groups in the function field case

It is proved that the finiteness length of Γ=SL _n (ℱ _q [t]) isn−2 ifn≥2 andq≥2 ⁿ⁻². The proof consists in studying the homotopy type of a certain Γ-invariant filtration of an appropriate Bruhat-Tits building on which Γ acts.     

The density of rational points on non-singular hypersurfaces

LetF(x) =F[x₁,…,x_n]∈ℤ[x₁,…,x_n] be a non-singular form of degree d≥2, and letN(F, X)=#{xεℤ ⁿ ;F(x)=0, |x|⩽X}, where . It was shown by Fujiwara [4] [Upper bounds for the number of lattice points on hypersurfaces,Number theory and combinatorics, Japan, 1984, (World Scientific Publishing Co., Singapore, 1985)] thatN(F, X)≪X ^n−2+2/n for any fixed formF. It is shown here that the exponent may be reduced ton - 2 + 2/(n + 1), forn ≥ 4, and ton - 3 + 15/(n + 5) forn ≥ 8 andd ≥ 3. It is conjectured that the exponentn - 2 + ε is admissable as soon asn ≥ 3. Thus the conjecture is established forn ≥ 10. The proof uses Deligne’s bounds for exponential sums and for the number of points on hypersurfaces over finite fields. However a composite modulus is used so that one can apply the ‘q-analogue’ of van der Corput’s AB process. Dedicated to the memory of Professor K G Ramanathan     

CONGRUENCE SUBGROUPS AND TWISTED COHOMOLOGY OF SLn (F[t]). II. FINITE FIELDS AND NUMBER FIELDS

Let K be the subgroup of SL _n (F[t]) consisting of matrices congruent to the identity modulo t. In [7] Knudson, K. 1998. Congruence Subgroups and Twisted Cohomology of SL_n(F[t]). J. Algebra, 207: 695–721.  [Google Scholar], the author conjectured that if F is a finite field, then H ₁(K) is the adjoint representation s l _n (F). A proof of this conjecture is provided in this note. The argument also works in case F is a number field. Applications to the cohomology of SL _n (F[t]) are included as is the study of the analogous question for SL _n (F[t, t ^?1]).     

A simple formula for an analogue of conditional wiener integrals and its applications II

Let C[0, T] denote the space of real-valued continuous functions on the interval [0, T] with an analogue w _ϕ of Wiener measure and for a partition 0 = t ₀ < t ₁ < ... < t _n < t _n+1 = T of [0, T], let X _n : C[0, T] → ℝ ⁿ⁺¹ and X ⁿ⁺¹: C[0, T] → ℝ ⁿ⁺² be given by X _n (x) = (x(t ₀), x(t ₁), ..., x(t _n )) and X _n+1(x) = (x(t ₀), x(t ₁), ..., x(t _n+1)), respectively. In this paper, using a simple formula for the conditional w _ϕ-integral of functions on C[0, T] with the conditioning function X _n+1, we derive a simple formula for the conditional w _ϕ-integral of the functions with the conditioning function X _n . As applications of the formula with the function X _n , we evaluate the conditional w _ϕ-integral of the functions of the form F _m (x) = ∫₀ ^T (x(t)) ^m for x ∈ C[0, T] and for any positive integer m. Moreover, with the conditioning X _n , we evaluate the conditional w _ϕ-integral of the functions in a Banach algebra which is an analogue of the Cameron and Storvick’s Banach algebra . Finally, we derive the conditional analytic Feynman w _ϕ-integrals of the functions in .      

Simple C*-Algebras with Unique Tracial States and Quantized Topological Spaces

Let X be a connected finite CW complex and d _X : K ₀(C(X)) →ℤ be the dimension function. We show that, if A is a unital separable simple nuclear C*-algebra of TR(A) = 0 with the unique tracial state and satisfying the UCT such that K ₀(A) = ℚ⊕ kerd _x and K ₁(A) = K ₁(C(X)), then A is isomorphic to an inductive limit of M _{n !}(C(X)). Received April 19, 2001, Accepted April 27, 2001.     

On moduli of vector bundles on surfaces with negative Kodaira dimension

Summary Here we prove the following result. Fix integersq, τ,a’, b’, a’ _i, 1≤i≤τ,a’, b’, a’ _i, 1≤i≤τ; then there is an integerew such that for every integert≥w, for every algebraically closed fieldK for every smooth complete surfaceX with negative Kodaira dimension, irregularityq andK _X ² =8(1−q)−τ, the following condition holds; ifX→S is a sequence fo τ blowing-downs which gives a relatively minimal model with ruling ρ:S→C, take as basis of the Neron Severi groupNS(X) a smooth rational curve which is the total transform of a fiber ofC, the total transform of a minimal section of ρ and the total transformD _i, 1≤i≤τ, of the exceptional curver; then for everyH andL∈Pic (X) withH ample,H (resp.L) represented by the integersa’, b’, a’ _i, (resp.a’, b’, a’ _i), 1≤i≤τ, in the chosen basis ofNS(X) the moduli spaceM(ZX, 2,H, L, t) of rank 2H-stable vector bundles onX with determinantL andc ₂=t is generically smooth and the number, dimension and ?birational structure? of the irreducible components ofM(X, 2,H, L, t)_red do not depend on the choice ofK andX. Furthermore the birational structure of these irreducible components can be loosely described in terms of the birational structure of the components of suitableM(S, 2,H’, L’, t’)_red withS a relatively minimal model ofX.

---

Sunto SiaX una superficie algebrica liscia completa con dimensione di Kodaira negativa e definita su un campo algebricamente chiusoK; fissiamoH eL∈Pic (X),t∈Z; siaq l’irregolarità diX e τ≔8(1−q)−K _X ^Emphasis>2 ; siaM(X, 2,H, L, t) to schema dei moduli dei fibrati vettorialiH-stabili di rango 2 suX con determinateL ec ₂=t. Si dimostra che esiste una costantew che dipende solo daq, da τ e dalla classe numerica diH e diL (ma non da char (K) o dalla classe di isomorphismo diX) tale che per ognit≥w il numero, la dimensione e ?la struttura birazionale? delle componenti irriducibili diM(X, 2,H, L, t)_red non dipende dalla scelta di char (K),K eX ma solo daq, τ e dalle classi diH eL inNS(X). Inoltre la ?struttura birazionale? di queste componenti irriducibili può essere grossolanamente descritta in termini delle componenti di opportuni spazi di moduliM(S, 2,H’, L’, t’) (doveS è un modello minimale diX).

     

Test for properness using residue calculus

We will consider global problems in the ringK[X ₁, …,X _n] on the polynomials with coefficients in a subfieldK ofC. LetP=(P ₁, …,P _n):K ⁿ →K ⁿ be a polynomial map such that (P ₁,…,P _n) is a quasi-regular sequence generating a proper ideal, the main thing we do is to use the algebraic residues theory (as described in [5]) as a computational tool to give some result to test when a map (P ₁, …,P _n) is a proper map by computing a finite number of residue symbols.     

The total reducibility order of a polynomial in two variables

LetK be an algebraically closed field of characteristic zero. ForA ∈K[x, y] let σ(A) = {λ ∈K:A − λ is reducible}. For λ ∈ σ(A) letA − λ = ∏ _i=1 ^n(λ) A _iλ ^k _μ whereA _iλ are distinct primes. Let ϱ_λ(A) =n(λ) − 1 and let ρ(A) = Σ_λɛσ(A)ϱ_λ(A). The main result is the following: Theorem.If A ∈ K[x, y] is not a composite polynomial, then ρ(A) < degA.     

Uniformity over primes of tamely ramified splittings

We fix a prime p and let f(X) vary over all monic integer polynomials of fixed degree n. Given any possible shape of a tamely ramified splitting of p in an extension of degree n, we prove that there exists a rational function φ(X)∈ℚ(X) such that the density of the monic integer polynomials f(X) for which the splitting of p has the given shape in ℚ[X]/f(X) is φ(p) (here reducible polynomials can be neglected). As a corollary, we prove that, for p≥n, the density of irreducible monic polynomials of degree n in ℤ _p [X] is the value at p of a rational function φ _n (X)∈ℚ(X). All rational functions involved are effectively computable. Received: 15 September 1998 / Revised version: 21 October 1999     

Random matrix products and applications to cellular automata

Let λ be the upper Lyapunov exponent corresponding to a product of i.i.d. randomm×m matrices (X _i) _i ^0/∞ over ℂ. Assume that theX _i's are chosen from a finite set {D ₀,D ₁...,D _t-1(ℂ), withP(X _i=D_j)>0, and that the monoid generated byD ₀, D₁,…, D_q−1 contains a matrix of rank 1. We obtain an explicit formula for λ as a sum of a convergent series. We also consider the case where theX _i's are chosen according to a Markov process and thus generalize a result of Lima and Rahibe [22]. Our results on λ enable us to provide an approximation for the numberN _≠0(F(x)ⁿ,r) of nonzero coefficients inF(x) ⁿ.(modr), whereF(x) ∈ ℤ[x] andr≥2. We prove the existence of and supply a formula for a constant α (<1) such thatN _≠0(F(x)ⁿ,r) ≈n ^α for “almost” everyn. Supported in part by FWF Project P16004-N05     

Transcendence degree of zero-cycles and the structure of Chow motives

In the paper we introduce a transcendence degree of a zero-cycle on a smooth projective variety X and relate it to the structure of the motive of X. In particular, we show that in order to prove Bloch’s conjecture for a smooth projective complex surface X of general type with p _g = 0 it suffices to prove that one single point of a transcendence degree 2 in X(ℂ), over the minimal subfield of definition k ⊂ ℂ of X, is rationally equivalent to another single point of a transcendence degree zero over k. This can be of particular interest in the context of Bloch’s conjecture for those surfaces which admit a concrete presentation, such as Mumford’s fake surface, see [Mumford D., An algebraic surface with K ample, (K ²) = 9, p _g = q = 0, Amer. J. Math., 1979, 101(1), 233–244].     

Distribution of a certain partition function modulo powers of primes

In this paper, we study a certain partition function a(n) defined by Σ _n≥0 a(n)q ⁿ := Π _n=1(1 − q ⁿ )⁻¹(1 − q ²ⁿ )⁻¹. We prove that given a positive integer j ≥ 1 and a prime m ≥ 5, there are infinitely many congruences of the type a(An + B) ≡ 0 (mod m ^j ). This work is inspired by Ono’s ground breaking result in the study of the distribution of the partition function p(n).     

The Structure of the Closure of the Rational Functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>(μ)

Let K be a compact subset in the complex plane and let A(K) be the uniform closure of the functions continuous on K and analytic on K°. Let μ be a positive finite measure with its support contained in K. For 1 ≤ q < ∞, let A^q(K, μ) denote the closure of A(K) in L^q(μ). The aim of this work is to study the structure of the space A^q(K, μ). We seek a necessary and sufficient condition on K so that a Thomson-type structure theorem for A^q(K, μ) can be established. Our theorem deduces J. Thomson’s structure theorem for P^q(μ), the closure of polynomials in L^q(μ), as the special case when K is a closed disk containing the support of μ.