Finite jet determination of CR mappings

We prove the following finite jet determination result for CR mappings: Given a smooth generic submanifold M⊂CN, N?2, that is essentially finite and of finite type at each of its points, for every point p∈M there exists an integer ?p, depending upper-semicontinuously on p, such that for every smooth generic submanifold M^′⊂CN of the same dimension as M, if are two germs of smooth finite CR mappings with the same ?p jet at p, then necessarily for all positive integers k. In the hypersurface case, this result provides several new unique jet determination properties for holomorphic mappings at the boundary in the real-analytic case; in particular, it provides the finite jet determination of arbitrary real-analytic CR mappings between real-analytic hypersurfaces in CN of D'Angelo finite type. It also yields a new boundary version of H. Cartan's uniqueness theorem: if Ω,Ω^′⊂CN are two bounded domains with smooth real-analytic boundary, then there exists an integer k, depending only on the boundary ∂Ω, such that if are two proper holomorphic mappings extending smoothly up to ∂Ω near some point p∈∂Ω and agreeing up to order k at p, then necessarily H₁=H₂.     

On linear equations with prime variables of special type

Let Pk denote any integer with no more than k prime factors, counted according to multiplicity. It is proved that for every sufficiently large odd integer , the equation p₁+p₂+p₃=n is solvable in prime variables p₁,p₂,p₃ such that p₁+2=P₂, , and for almost all sufficiently large even integer , the equation p₁+p₂=n is solvable in prime variables p₁,p₂ such that p₁+2=P₂.     

Stabilizers and orbits of smooth functions

Let be a smooth function such that f(0)=0. We give a condition J(id) on f when for arbitrary preserving orientation diffeomorphism such that ?(0)=0 the function ?○f is right equivalent to f, i.e. there exists a diffeomorphism such that ?○f=f○h at 0∈Rm. The requirement is that f belongs to its Jacobi ideal. This property is rather general: it is invariant with respect to the stable equivalence of singularities, and holds for non-degenerated, simple, and many other singularities.We also globalize this result as follows. Let M be a smooth compact manifold, a surjective smooth function, DM the group of diffeomorphisms of M, and the group of diffeomorphisms of R that have compact support and leave [0,1] invariant. There are two natural right and left-right actions of DM and on C^∞(M,R). Let SM(f), SMR(f), OM(f), and OMR(f) be the corresponding stabilizers and orbits of f with respect to these actions. We prove that if f satisfies J(id) at each critical point and has additional mild properties, then the following homotopy equivalences hold: SM(f)≈SMR(f) and OM(f)≈OMR(f). Similar results are obtained for smooth mappings M→S¹.     

Linearized inverse problem for the Dirichlet-to-Neumann map on differential forms

For a compact n-dimensional Riemannian manifold (M,g) with boundary i:∂M⊂M, the Dirichlet-to-Neumann (DN) map Λg:Ωk(∂M)→Ωn−k−1(∂M) is defined on exterior differential forms by Λgφ=i^∗(?dω), where ω solves the boundary value problem Δω=0, i^∗ω=φ, i^∗δω=0. For a symmetric second rank tensor field h on M, let be the Gateaux derivative of the DN map in the direction h. We study the question: for a given (M,g), how large is the subspace of tensor fields h satisfying ? Potential tensor fields belong to the subspace since the DN map is invariant under isomeries fixing the boundary. For a manifold of an even dimension n, the DN map on (n/2−1)-forms is conformally invariant, therefore spherical tensor fields belong to the subspace in the case of k=n/2−1. The manifold is said to be Ωk-rigid if there is no other h satisfying . We prove that the Ωk-rigidity is equivalent to the density of the range of some bilinear form on the space of exact harmonic fields.     

Wildly ramified covers with large genus

We study wildly ramified G-Galois covers branched at B (defined over an algebraically closed field of characteristic p). We show that curves Y of arbitrarily high genus occur for such covers even when G, X, B and the inertia groups are fixed. The proof relies on a Galois action on covers of germs of curves and formal patching. As a corollary, we prove that for any nontrivial quasi-p group G and for any sufficiently large integer σ with p?σ, there exists a G-Galois étale cover of the affine line with conductor σ above the point ∞.     

On Gibbs measures of P-adic Potts model on the cayley tree

We consider a nearest-neighbor p-adic Potts (with q ≥ 2 spin values and coupling constant J ? _p) model on the Cayley tree of order k ≥ 1. It is proved that a phase transition occurs at k = 2, q ? p and p ≥ 3 (resp. q ? 2², p = 2). It is established that for p-adic Potts model at k ≥ 3 a phase transition may occur only at q ? p if p ≥ 3 and q ? 2² if p = 2.     

Monoid generalizations of the Richard Thompson groups

The groups G_k,1 of Richard Thompson and Graham Higman can be generalized in a natural way to monoids, that we call M_k,1, and to inverse monoids, called ; this is done by simply generalizing bijections to partial functions or partial injective functions. The monoids M_k,1 have connections with circuit complexity (studied in other papers). Here we prove that M_k,1 and are congruence-simple for all k. Their Green relations J and D are characterized: M_k,1 and are J-0-simple, and they have k−1 non-zero D-classes. They are submonoids of the multiplicative part of the Cuntz algebra O_k. They are finitely generated, and their word problem over any finite generating set is in P. Their word problem is coNP-complete over certain infinite generating sets.     

Symmetric square L-values and dihedral congruences for cusp forms

Let be a prime, and k=(p+1)/2. In this paper we prove that two things happen if and only if the class number . One is the non-integrality at p of a certain trace of normalised critical values of symmetric square L-functions, of cuspidal Hecke eigenforms of level one and weight k. The other is the existence of such a form g whose Hecke eigenvalues satisfy “dihedral” congruences modulo a divisor of p (e.g. p=23, k=12, g=Δ). We use the Bloch-Kato conjecture to link these two phenomena, using the Galois interpretation of the congruences to produce global torsion elements which contribute to the denominator of the conjectural formula for an L-value. When , the trace turns out always to be a p-adic unit.     

On Euler characteristic of equivariant sheaves

Let k be an algebraically closed field of characteristic p>0 and let ? be another prime number. Gabber and Looser proved that for any algebraic torus T over k and any perverse ?-adic sheaf on T the Euler characteristic is non-negative.We conjecture that the same result holds for any perverse sheaf on a reductive group G over k which is equivariant with respect to the adjoint action. We prove the conjecture when is obtained by Goresky-MacPherson extension from the set of regular semi-simple elements in G. From this we deduce that the conjecture holds for G of semi-simple rank 1.     

Non-commutative Arens algebras and their derivations

Given a von Neumann algebra M with a faithful normal semi-finite trace τ, we consider the non-commutative Arens algebra Lω(M,τ)=_?p?1Lp(M,τ) and the related algebras and which are proved to be complete metrizable locally convex *-algebras. The main purpose of the present paper is to prove that any derivation of the algebra is inner and all derivations of the algebras Lω(M,τ) and are spatial and implemented by elements of . In particular we obtain that if the trace τ is finite then any derivation on the non-commutative Arens algebra Lω(M,τ) is inner.     

Exact sequences for the homology of the matching complex

Building on work by Bouc and by Shareshian and Wachs, we provide a toolbox of long exact sequences for the reduced simplicial homology of the matching complex Mn, which is the simplicial complex of matchings in the complete graph Kn. Combining these sequences in different ways, we prove several results about the 3-torsion part of the homology of Mn. First, we demonstrate that there is nonvanishing 3-torsion in whenever , where . By results due to Bouc and to Shareshian and Wachs, is a nontrivial elementary 3-group for almost all n and the bottom nonvanishing homology group of Mn for all n≠2. Second, we prove that is a nontrivial 3-group whenever . Third, for each k?0, we show that there is a polynomial fk(r) of degree 3k such that the dimension of , viewed as a vector space over Z₃, is at most fk(r) for all r?k+2.     

Caractérisation des feuilletages holomorphes singuliers, contenus dans des feuilletages Levi flat, sur les surfaces complexes compactes

Let be a holomorphic foliation with reduced singularities on a complex surface M and a real analytic codimension one foliation on M whose leaves contain the ones of . We show that a Levi flat group of diffeomorphisms of is resoluble and holomorphically conjugate to his normal form. We deduce, in one hand, that each singularity of  is conjugate to his normal form. In the other hand at each singularity m of , where is not defined, up a conjugacy, by the one form ω=xdy+ydx, one of the local invariant curves of , with non obvious holonomy, is contained in the set of singularities of . Moreover if M is a compact Stein variety we show, under some generic conditions, that has a 1-Liouvillian first integrating factor.     

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.     

Normal families of meromorphic functions with multiple zeros and poles

Let k be a positive integer with k?2 and let be a family of functions meromorphic on a domain D in , all of whose poles have multiplicity at least 3, and of whose zeros all have multiplicity at least k+1. Let a(z) be a function holomorphic on D, a(z)?0. Suppose that for each , f^(k)(z)≠a(z) for z∈D. Then is a normal family on D.     

Mapping properties that preserve convergence in measure on finite measure spaces

Given a finite measure space (X,M,μ) and given metric spaces Y and Z, we prove that if is a sequence of arbitrary mappings that converges in outer measure to an M-measurable mapping and if is a mapping that is continuous at each point of the image of f, then the sequence g○fn converges in outer measure to g○f. We must use convergence in outer measure, as opposed to (pure) convergence in measure, because of certain set-theoretic difficulties that arise when one deals with nonseparably valued measurable mappings. We review the nature of these difficulties in order to give appropriate motivation for the stated result.     

FUNDAMENTAL GROUPS OF CLOSED POSITIVELY CURVED MANIFOLDS WITH ALMOST DISCRETE ABELIAN GROUP ACTIONS

Let M be a closed n-manifold of positive sectional curvature.Assume that M admits an effiective isometrical T 1×Zkp-action with p prime.The main result of the article is that if k=1 for n=3 or k (n+1)/4 for n≥5,then there exists a positive constant p(n),depending only on n,such that π1(M) is cyclic if p≥p(n).