Linear independence measures for infinite products

Let f be an entire transcendental function with rational coefficients in its power series about the origin. Further, let f satisfy a functional equation f(qz)= (z−c)f(z)+Q(z) with and some particular c∈ℚ. Then the linear independence of 1,f(α), f(−α) over ℚ for non-zero α∈ℚ is proved, and a linear independence measure for these numbers is given. Clearly, for Q= 0 the function f can be written as an infinite product. Received: 19 September 2000 / Revised version: 14 March 2001     

The Crossed Burnside Ring,the Drinfel’d Double,and the Dade Group of a <Emphasis Type="Italic">p</Emphasis>-Group

Let p be a prime number. This paper solves the question of the difference between the rank of the crossed Burnside ring B ^c (P) of a finite p-group P and of the rational representation ring R_\mathbbQ (D(P))R_{{\mathbb{Q}}} (\mathcal{D}(P)) of the Drinfel’d double D(P)\mathcal{D}(P) of the group algebra ℚ P. The difference is represented by using the Dade groups of certain subgroups of P.     

Finding rational points on bielliptic genus 2 curves

We discuss a technique for trying to find all rational points on curves of the form Y ²=f ₃ X ⁶+f ₂ X ⁴+f ₁ X ²+f ₀, where the sextic has nonzero discriminant. This is a bielliptic curve of genus 2. When the rank of the Jacobian is 0 or 1, Chabauty's Theorem may be applied. However, we shall concentrate on the situation when the rank is at least 2. In this case, we shall derive an associated family of elliptic curves, defined over a number field ℚα. If each of these elliptic curves has rank less than the degree of ℚα : ℚ, then we shall describe a Chabauty-like technique which may be applied to try to find all the points (x,y) defined over ℚα) on the elliptic curves, for which x∈ℚ. This in turn allows us to find all ℚ-rational points on the original genus 2 curve. We apply this to give a solution to a problem of Diophantus (where the sextic in X is irreducible over ℚ), which simplifies the recent solution of Wetherell. We also present two examples where the sextic in X is reducible over ℚ. Received: 27 November 1998 / Revised version: 4 June 1999     

Bounds for regularity and coregularity of graded modules

Let M be a finitely generated graded module over a Noetherian homogeneous ring R with local base ring (R ₀, m₀). If R ₀ is of dimension one, then we show that reg ⁱ⁺¹(M) and coreg ⁱ⁺¹(M) are bounded for all i ∈ ℕ₀. We improve these bounds, if in addition, R ₀ is either regular or analytically irreducible of unequal characteristic.     

Higher order Willmore hypersurfaces in Euclidean space

Let x ： Mn^n→ R^n＋1 be an n（≥2）-dimensional hypersurface immersed in Euclidean space Rn＋1. Let σi（0≤ i≤ n） be the ith mean curvature and Qn = ∑i=0^n（-1）^i＋1 （n^i）σ1^n-iσi. Recently, the author showed that Wn（x） = ∫M QndM is a conformal invariant under conformal group of R^n＋1 and called it the nth Willmore functional of x. An extremal hypersurface of conformal invariant functional Wn is called an nth order Willmore hypersurface. The purpose of this paper is to construct concrete examples of the 3rd order Willmore hypersurfaces in Ra which have good geometric behaviors. The ordinary differential equation characterizing the revolutionary 3rd Willmore hypersurfaces is established and some interesting explicit examples are found in this paper.     

Combinatorial aspects of free associative algebras and cohomologies of Lie <Emphasis Type="Italic">p</Emphasis>-algebras with one defining relation

Let R and Q be elements of a free, associative, finitely generated algebra A‹X› over a field k. Assume that a leading homogeneous part Q _v does not have two-sided divisors and RQ = QR and R _v = Q ^t _v . In this paper, the solutions of the equation Σ _i x _i Ry _i = z in A‹X› are found and with their help, the identity theorem and Freiheitssatz for a finitely generated associative algebra k‹X; R = 0›with one defining relation are proved. As a consequence, similar theorems for Lie p-algebras with one defining relation are proved; these results are applied to the proof of the periodicity of cohomologies of Lie p-algebras with one defining relation. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 59, Algebra and Geometry, 2008.     

The structure of generic subintegrality

In order to give an elementwise characterization of a subintegral extension of ℚ-algebras, a family of generic ℚ-algebras was introduced in [3]. This family is parametrized by two integral parameters p ⩾ 0,N ⩾ 1, the member corresponding top, N being the subalgebraR = ℚ [{γ_n|n ⩾ N}] of the polynomial algebra ℚ[x₁,…,x _p, z] inp + 1 variables, where . This is graded by weight (z) = 1, weight (x _i) =i, and it is shown in [2] to be finitely generated. So these algebras provide examples of geometric objects. In this paper we study the structure of these algebras. It is shown first that the ideal of relations among all the γ_n’s is generated by quadratic relations. This is used to determine an explicit monomial basis for each homogeneous component ofR, thereby obtaining an expression for the Poincaré series ofR. It is then proved thatR has Krull dimension p+1 and embedding dimensionN + 2p, and that in a presentation ofR as a graded quotient of the polynomial algebra inN + 2p variables the ideal of relations is generated minimally by elements. Such a minimal presentation is found explicitly. As corollaries, it is shown thatR is always Cohen-Macaulay and that it is Gorenstein if and only if it is a complete intersection if and only ifN + p ⩽ 2. It is also shown thatR is Hilbertian in the sense that for everyn ⩾ 0 the value of its Hilbert function atn coincides with the value of the Hilbert polynomial corresponding to the congruence class ofn.     

Some Elements of Finite Order in K2Q

Let K2 be the Milnor functor and let Фn （x）∈ Q[X] be the n-th cyclotomic polynomial. Let Gn（Q） denote a subset consisting of elements of the form {a, Фn（a）}, where a ∈ Q^＊ and {, } denotes the Steinberg symbol in K2Q. J. Browkin proved that Gn（Q） is a subgroup of K2Q if n = 1,2, 3, 4 or 6 and conjectured that Gn（Q） is not a group for any other values of n. This conjecture was confirmed for n =2^T 3S or n = p^r, where p ≥ 5 is a prime number such that h（Q（ζp）） is not divisible by p. In this paper we confirm the conjecture for some n, where n is not of the above forms, more precisely, for n = 15, 21,33, 35, 60 or 105.     

Everywhere H?lder continuity of the spatial gradient of weak solutions to nonlinear parabolic systems

We consider weak solutions to the parabolic system ∂u ⁱ∂t−D _α A _i ^α (∇u)=B _i(∇u) in (i=1,...,) (Q=Ω×(0,T), R ⁿ a domain), where the functionsB _i may have a quadratic growth. Under the assumptionsn≤2 and ∇u ɛL _loc ^4+δ (Q; R ^nN ) (δ>0) we prove that ∇u is locally H?lder continuous inQ.     

Ideals and simplicity of unitary Lie algebras

Double graded ideals and simplicity of elementary unitary Lie algebra eu _n (R,⁻, γ) and Steinberg unitary Lie algebra stu _n (R,⁻, γ) are characterized, where R is a unital involutory associative algebra over a field F of characteristic zero, n ⩾ 5.     

Homological stability for configuration spaces of manifolds

Let C _n (M) be the configuration space of n distinct ordered points in M. We prove that if M is any connected orientable manifold (closed or open), the homology groups H _i (C _n (M);ℚ) are representation stable in the sense of Church and Farb (). Applying this to the trivial representation, we obtain as a corollary that the unordered configuration space B _n (M) satisfies classical homological stability: for each i, H _i (B _n (M);ℚ)≈H _i (B _n+1(M);ℚ) for n>i. This improves on results of McDuff, Segal, and others for open manifolds. Applied to closed manifolds, this provides natural examples where rational homological stability holds even though integral homological stability fails.     

Some path properties of generalized Lévy sheet

Let X(t) be an N parameter generalized Lévy sheet taking values in ℝ^d with a lower index α, ℜ = {(s, t] = ∏ _i=1 ^N (s _i, t _i], s _i < t _i}, E(x, Q) = {t ∈ Q: X(t) = x}, Q ∈ ℜ be the level set of X at x and X(Q) = {x: ∃t ∈ Q such that X(t) = x} be the image of X on Q. In this paper, the problems of the existence and increment size of the local times for X(t) are studied. In addition, the Hausdorff dimension of E(x, Q) and the upper bound of a uniform dimension for X(Q) are also established.     

Hausdorff operator of special kind on <Emphasis Type="Italic">p</Emphasis>-adic field and <Emphasis Type="Italic">BMO</Emphasis>-type spaces

For Hausdorff operator with generating function having support in the unit ball of p-adic field ℚ _p we give sufficient and necessary conditions of its boundedness in BMO-type spaces: BLO(ℚ _p ⁿ ), Q _r ^α,q (ℚ _p ⁿ ) and BMO _r ^α,q (ℚ _p ⁿ ). Some embedding relations between these spaces and Besov spaces are established.     

Lower Bound for the Poles of Igusa’s p-adic Zeta Functions

Let K be a p-adic field, R the valuation ring of K, P the maximal ideal of R and q the cardinality of the residue field R/P. Let f be a polynomial over R in n >1 variables and let χ be a character of . Let M _i (u) be the number of solutions of f = u in (R/P ⁱ ) ⁿ for and. These numbers are related with Igusa’s p-adic zeta function Z _f,χ(s) of f. We explain the connection between the M _i (u) and the smallest real part of a pole of Z _f,χ(s). We also prove that M _i (u) is divisible by , where the corners indicate that we have to round up. This will imply our main result: Z _f,χ(s) has no poles with real part less than − n/2. We will also consider arbitrary K-analytic functions f.     

Multiplication operators on sobolev disk algebra

In this paper,we study the algebra consisting of analytic functions in the Sobolev space W~(2,2) (D) (D is the unit disk),called the Sobolev disk algebra,explore the properties of the multiplication operators M_f on it and give the characterization of the corn- mutant algebra A′(M_f) of M_f.We show that A′(M_f) is commutative if and only if M_f~* is a Cowen-Douglas operator of index 1.     

2-dimensional simple factors ofJ 0(N)

In this paper we investigate abelian varietyA _f which is derived from a newformf ∈ S ₂(Г₀(N)) an is ℚ-simple factors ofJac(X ₀ (N)). We will develop algorithms for computing the period matrix ofA _f and for determing whenA _f is principally polarized. IfA _f is 2-dimensional principally polarized, we give an algorithm for computing the associated hyperelliptic curveC withJac(C)≊A _f.     

Characterization off-vectors of families of convex sets inR d Part I: Necessity of Eckhoff’s conditions

LetK=K ₁,...,K_n be a family ofn convex sets inR ^d . For 0≦i<n denote byf _i the number of subfamilies ofK of sizei+1 with non-empty intersection. The vectorf(K) is called thef-vectors ofK. In 1973 Eckhoff proposed a characterization of the set off-vectors of finite families of convex sets inR ^d by a system of inequalities. Here we prove the necessity of Eckhoff's inequalities. The proof uses exterior algebra techniques. We introduce a notion of generalized homology groups for simplicial complexes. These groups play a crucial role in the proof, and may be of some independent interest.     

X-inner automorphisms of enveloping rings

In this paper, we determine the X-inner automorphisms of the smash product R # U(L) of a prime ring R by the universal enveloping algebra U(L) of a characteristic 0 Lie algebra L. Specifically, we show that any such automorphism σ stabilizing R can be written as a product σ = σ₁σ₂, where σ₁ is induced by conjugation by a unit of Q₃(R), the symmetric Martindale ring of quotients of R, and σ₂ is induced by conjugation by a unit of Q₃(T). Here S = Q_l(R) is the left Martindale ring of quotients of R and T is the centralizer of S in S # U(L) - R # U(L). One of the subtleties of the proof is that we must work in several unrelated overrings of R # U(L).     

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     

The milnor-moore theorem in tame homotopy theory

LetX be a 1-connected space with Moore loop space ΩX. By a well-known theorem of J. W. Milnor and J. C. Moore [7] the Hurewicz homomorphism induces an isomorphism of Hopf algebrasU(π_*(ΩX) ⊗Q)→H _*(ΩX;Q). HereU(−) denotes the universal enveloping algebra and the Lie bracket on π_*(ΩX) ⊗Q is given by the Samelson product. Assume now thatX is the geometric realization of anr-reduced simplicial set,r≥3. LetL _X be a differential graded free Lie algebra over ℤ describing the tame homotopy type ofX according to the theory of [4]. Then the main result of the present paper is the construction of a sequence of morphisms of differential graded algebras betwenU(L _X ) and the algebraC U _*(ΩX)z of normalized cubical chains on ΩX such that the induced morphisms on homology with coefficientsR _k are isomorphismsH _r-1+l (U(L _x );R _k ) ≅H _r-1+l C U _*(ΩX);R _k ) forl≤k; hereR ₀⊆R ₁⊆… is a tame ring system, i. e.R _k )⊑Q and each primep with 2p−3≤k is invertible inR _k . However, it is no longer true that the Pontrjagin algebraH _≤r−1+k (ΩX; R _k ) of ΩX in degrees ≤r−1+k is determined by π_*(ΩX) or by a cofibrant (-fibrant) modelM of π_*(ΩX) as will be shown by an example. But there is a filtration onH _≤r−1+k (ΩX; R _k ) such that the associated graded algebra is isomorphic toH _≤r−1+k (U(M); R _k ).This will be proved by using a filtered Lie algebra model ofX constructed from a bigraded model of π_*(ΩX). Supported by a CNRS grant and PROCOPE Supported by PROCOPE