A new example of a uniformly Levi degenerate hypersurface in C<Superscript>3</Superscript>

We present a homogeneous real analytic hypersurface in C³, two-nondegenerate, uniformly Levi degenerate of rank one, with a seven-dimensional CR automorphism group such that the isotropy group of each point is two-dimensional and commutative. The classical tube Γ_C over the two-dimensional real cone in R³ is also homogeneous and has a seven-dimensional CR automorphism group. However, our example isnot biholomorphic to the tube over the real cone, because the two-dimensional isotropy groups of Γ_C are, in contrast, noncommutative.     

The subgroup growth spectrum of virtually free groups

For a finitely generated group Γ denote by μ(Γ) the growth coefficient of Γ, that is, the infimum over all real numbers d such that s _n (Γ) < n! ^d . We show that the growth coefficient of a virtually free group is always rational, and that every rational number occurs as growth coefficient of some virtually free group.     

Semi-primary hereditary rings

A semi-primary hereditary ring Σ, with radicalM and residue ring Γ=Σ/M, is uniquely determined by Γ and a Γ-bimoduleA=M/M ², whenever Σ admits a splitting Σ=Γ+A+M ².     

On the filter of computably enumerable supersets of an r-maximal set

We study the filter ℒ^*(A) of computably enumerable supersets (modulo finite sets) of an r-maximal set A and show that, for some such set A, the property of being cofinite in ℒ^*(A) is still Σ⁰ ₃-complete. This implies that for this A, there is no uniformly computably enumerable “tower” of sets exhausting exactly the coinfinite sets in ℒ^*(A). Received: 6 November 1999 / Revised version: 10 March 2000 /?Published online: 18 May 2001     

Area density and regularity for soap film-like surfaces spanning graphs

For a given boundary Γ in Rⁿ consisting of arcs and vertices, with two or more arcs meeting at each vertex, we treat the problem of estimating the area density of a soap film-like surface Σ spanning Γ. Σ is assumed locally to minimize area, or more generally, to be strongly stationary for area with respect to Γ. We introduce a notion of total curvature (Γ) for such graphs, or nets, Γ. We show that 2π times the area density of Σ at any point is less than or equal to (Γ). For n=3, these density estimates imply, for example, that if (Γ)≤3.649π, then the only possible singularities of a piecewise smooth (M,0,δ)-minimizing set Σ are curves, along which three smooth sheets of Σ meet with equal angles of 120^°. Second author supported in part by NSF grant 00-71862.     

Boundary Asymptotic Analysis for an Incompressible Viscous Flow: Navier Wall Laws

We consider a new way of establishing Navier wall laws. Considering a bounded domain Ω of R ^N , N=2,3, surrounded by a thin layer Σ _ε , along a part Γ₂ of its boundary ∂Ω, we consider a Navier-Stokes flow in Ω∪∂Ω∪Σ _ε with Reynolds’ number of order 1/ε in Σ _ε . Using Γ-convergence arguments, we describe the asymptotic behaviour of the solution of this problem and get a general Navier law involving a matrix of Borel measures having the same support contained in the interface Γ₂. We then consider two special cases where we characterize this matrix of measures. As a further application, we consider an optimal control problem within this context.     

Generalized Alexandroff Duplicates and CD 0(K) spaces

We define and investigateCD _Σ,Γ(K, E)-type spaces, which generalizeCD ₀-type Banach lattices introduced in [1]. We state that the space CD _Σ,Γ(K, E) can be represented as the space of E-valued continuous functions on the generalized Alexandroff Duplicate of K. As a corollary we obtain the main result of [6, 8].     

Accuracy of several multidimensional refinable distributions

Compactly supported distributions f₁,..., f_r on ℝ^d are fefinable if each f_i is a finite linear combination of the rescaled and translated distributions f_j(Ax−k), where the translates k are taken along a lattice Γ ⊂ ∝^d and A is a dilation matrix that expansively maps Γ into itself. Refinable distributions satisfy a refinement equation f(x)=Σ_k∈Λ c_k f(Ax−k), where Λ is a finite subset of Γ, the c_k are r×r matrices, and f=(f₁,...,f_r)^T. The accuracy of f is the highest degree p such that all multivariate polynomials q with degree(q)<p are exactly reproduced from linear combinations of translates of f₁,...,f_r along the lattice Γ. We determine the accuracy p from the matrices c_k. Moreover, we determine explicitly the coefficients y_α,i(k) such that x^α=Σ _i=1 ^r Σ_k∈Γy_α,i(k) fi(x+k). These coefficients are multivariate polynomials y_α,i(x) of degree |α| evaluated at lattice points k∈Γ.     

Analytic functions over a field of power series

 We extend the notion of absolute convergence for real series in several variables to a notion of convergence for series in a power series field ℝ((t ^Γ)) with coefficients in ℝ. Subsequently, we define a natural notion of analytic function at a point of ℝ((t ^Γ))^m. Then, given a real function f analytic on a open box I of ℝ ^m , we extend f to a function f ^★ which is analytic on a subset of ℝ((t ^Γ)) ^m containing I. We prove that the functions f ^★ share with real analytic functions certain basic properties: they are , they have usual Taylor development, they satisfy the inverse function theorem and the implicit function theorem. Received: 5 October 2000 / Revised version: 19 June 2001 / Published online: 12 July 2002     

The spectrum of the averaging operator for a finite homogeneous graph

We give an estimate for the spectrum of the averaging operator T₁(Γ, 1) over the radius 1 for the finite (q+1)-homogeneous quotient graph Γ/X, where X is an infinite (q+1)-homogeneous tree associated with the free group G over a finite set of generators S={x₁ ..., x_p} (2p=q+1), and Γ, a subgroup of finite index in G. T₁(Γ, 1) is defined on the subspace L²(Γ/G, 1) ⊖ E_ex, where E_ex is the subspace of eigenfunctions of T₁(Γ, 1) with eigenvalue λ such that |λ|=q+1. We present a construction of some finite homogeneous graphs such that the spectrum of their adjacency matrices can be calculated explicitly. Bibliography: 11 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 205, 1993, pp. 92–109. Translated by A. M. Nikitin.     

Riemann surfaces in fibered polynomial hulls

Let Δ be the closed unit disk in C, let Γ be the circle, let Π: Δ×C→Δ be projection, and letA(Δ) be the algebra of complex functions continuous on Δ and analytic in int Δ. LetK be a compact set in C² such that Π(K)=Γ, and letK _λ≠{w∈C|(λ,w)∈K}. Suppose further that (a) for every λ∈Γ,K _λ is the union of two nonempty disjoint connected compact sets with connected complement, (b) there exists a function Q(λ,w)≠(w-R(λ))²-S(λ) quadratic in w withR,S∈A(Δ) such that for all λ∈Γ, {w∈C|Q(λ,w)=0}υ intK _λ, whereS has only one zero in int Δ, counting multiplicity, and (c) for every λ∈Γ, the map ω→Q(λ,ω) is injective on each component ofK _λ. Then we prove that К/K is the union of analytic disks 2-sheeted over int Δ, where К is the polynomial convex hull ofK. Furthermore, we show that БК/K is the disjoint union of such disks.     

On the homotopy of the stable mapping class group

By considering all surfaces and their mapping class groups at once, it is shown that the classifying space of the stable mapping class group after plus construction, BΓ_∞ ⁺, has the homotopy type of an infinite loop space. The main new tool is a generalized group completion theorem for simplicial categories. The first deloop of BΓ_∞ ⁺ coincides with that of Miller [M] induced by the pairs of pants multiplication. The classical representation of the mapping class group onto Siegel's modular group is shown to induce a map of infinite loop spaces from BΓ_∞ ⁺ to K-theory. It is then a direct consequence of a theorem by Charney and Cohen [CC] that there is a space Y such that BΓ_∞ ⁺≃Im J _(1/2)×Y, where Im J _(1/2) is the image of J localized away from the prime 2. Oblatum 23-X-1995 &19-XI-1996     

On the Diaconis-Shahshahani Method in Random Matrix Theory

If Γ is a random variable with values in a compact matrix group K, then the traces Tr(Γ^j) (j ∊ N) are real or complex valued random variables. As a crucial step in their approach to random matrix eigenvalues, Diaconis and Shahshahani computed the joint moments of any fixed number of these traces if Γ is distributed according to Haar measure and if K is one of U_n, O_n or Sp_n, where n is large enough. In the orthogonal and symplectic cases, their proof is based on work of Ram on the characters of Brauer algebras. The present paper contains an alternative proof of these moment formulae. It invokes classical invariant theory (specifically, the tensor forms of the First Fundamental Theorems in the sense of Weyl) to reduce the computation of matrix integrals to a counting problem, which can be solved by elementary means.     

A generalization of the Morita-Mumford classes to extended mapping class groups for surfaces

Let Σ _g,1 be an oriented compact surface of genus g with 1 boundary component, and Γ _g,1 the mapping class group of Σ _g,1 . We define a bigraded series of cohomology classes m _i,j ∈H ^2i+j−2 (Γ _g,1 ;⋀ ^j H ₁(Σ _g,1 ;ℤ)), 2i+j−2≥1,i,j≥0. When j=0, the class m _i+1,0 is the i-th Morita- Mumford class [Mo][Mu]. It is proved that H ^r (Γ _g,1 ;⋀ ^s H ₁(Σ _g,1 ;ℚ)) is generated by m _i,j 's for the case r+s=2 and the case g≥5 and (r,s)=(1,3). Especially the Johnson homomorphism extended to the whole mapping class group by Morita [Mo3] has an implicit representation by the classes m _0,3 and m _0,2 m _1,1 over ℚ. Oblatum 28-IV-1995 & 8-II-1997     

Hamiltonian paths in infinite graphs

A tight connection is exhibited between infinite paths in recursive trees and Hamiltonian paths in recursive graphs. A corollary is that determining Hamiltonicity in recursive graphs is highly undecidable, viz, Σ ₁ ¹ -complete. This is shown to hold even for highly recursive graphs with degree bounded by 3. Hamiltonicity is thus an example of an interesting graph problem that is outside the arithmetic hierarchy in the infinite case. Parts of this research were carried out during a visit to IBM T.J. Watson Research Center, Hawthorne, NY, in the Summer of 1990. The author holds the William Sussman Professorial Chair in Mathematics.     

Infinite simple C*-algebras and Reduced cross products of abelian C*-algebras and free groups

Summary Let Γ=〈g ₁〉*〈g ₂〉*...*〈g _n 〉*... be a free product of cyclic groups with generators {g _i }, andC _r ^* (Γ,℘ _Λ) be the C*-algebra generated by the reduced group C*-algebraC _r ^* Γ and a set of projectionsP _gL associated with a subset Λ of {g _i }. We prove the following: (1)C _r ^* (Γ,℘ _Λ) is *-isomorphic to the reduced cross product for certain Hausdorff compact spaceX _Λ constructed from Γ and its boundary ∂Γ. (2)C _r ^* (Γ,℘ _Λ) is either a purely infinite, simple C*-algebra or an extension of a purely infinite, simple C*-altebra, depending on the pair (Γ, Λ). (3)C _r ^* (Г,℘ _Λ) is nuclear if and only if the subgroup Γ_Λ generated by {g _i }/Λ is amenable. Partially supported by RMC grant 45/290/603 from the University of Newcastle Partially supported by NSF grant DMS-9225076 and a Taft travel grant from the University of Cincinnati     

Approximation by Faber-Laurent rational functions in the mean of functions of callsL p(Γ) with 1

Çavu§  A.  Israfilov  D. M. 《分析论及其应用》1995,11(1):105-118

Unique solvability of the Cauchy problem for a system of Maxwell equations with initial data on a timelike surface

In this paper, a uniqueness theorem on the solution of the Cauchy problem for a system of Maxwell equations is proved in the case where the coefficients ε and μ are analytic functions of coordinates and the initial data are given on an “immovable” surface Σ=Γ×[0≤t≤2T], where Γ is an analytic surface in R³. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 30–37. Translated by N.S. Zabavnikova.