On deformations of transversely homogeneous foliations

A transversely homogeneous foliation is a foliation whose transverse model is a homogeneous space G/H. In this paper we consider the class of transversely homogeneous foliations on a manifold M which can be defined by a family of 1-forms on M fulfilling the Maurer–Cartan equation of the Lie group G. This class includes as particular cases Lie foliations and certain homogeneous spaces foliated by points. We develop, for the foliations belonging to this class, a deformation theory for which both the foliation and the model homogeneous space G/H are allowed to change. As the main result we show that, under some cohomological assumptions, there exist a versal space of deformations of finite dimension for the foliations of the class and when the manifold M is compact. Some concrete examples are discussed.     

Highly efficient parallel algorithm for finite difference solution to Navier–Stoke''s equation on a hypercube

It has been shown in [Nuclear Science and Engineering 93 (1986) 6799] that the finite difference discretization of Navier–Stoke's equation leads to the solution of N×N system written in the matrix form as My=B, where M is a quasi-tridiagonal having non-zero elements at the top right and bottom left corners. We present an efficient parallel algorithm on a p-processor hypercube implemented in two phases. In phase I a generalization of an algorithm due to Kowalik [High Speed Computation, Springer, New York] is developed which decomposes the above matrix system into smaller quasi-tridiagonal (p+1)×(p+1) subsystem, which is then solved in Phase II using an odd–even reduction method.     

Volume entropy based on integral Ricci curvature and volume ratio

For a compact Riemannian manifold M, we obtain an explicit upper bound of the volume entropy with an integral of Ricci curvature on M and a volume ratio between two balls in the universal covering space.     

Almost perfect matchings in random uniform hypergraphs

We consider the following model H_r(n, p) of random r-uniform hypergraphs. The vertex set consists of two disjoint subsets V of size | V | = n and U of size | U | = (r − 1)n. Each r-subset of V × (_r−1^U) is chosen to be an edge of H ε H_r(n, p) with probability p = p(n), all choices being independent. It is shown that for every 0 < < 1 if P = (C ln n)/n^r−1 with C = C() sufficiently large, then almost surely every subset V₁ V of size | V₁ | = (1 − )n is matchable, that is, there exists a matching M in H such that every vertex of V₁ is contained in some edge of M.     

Extremal regular graphs for the achromatic number

The problem of constructing (m, n) cages suggests the following class of problems. For a graph parameter θ, determine the minimum or maximum value of p for which there exists a k-regular graph on p points having a given value of θ. The minimization problem is solved here when θ is the achromatic number, denoted by ψ. This result follows from the following main theorem. Let M(p, k) be the maximum value of ψ(G) over all k-regular graphs G with p points, let {x} be the least integer of size at least x, and let be given by ω(k) = {i(ik+1)+1:1i<∞}. Define the function ƒ(p, k) by

Full-size image

. Then for fixed k2 we have M(p, K=ƒ(p, k) if pω(k) and M(p, k)=ƒ(p,k-1 if pε ω(k) for all p sufficiently large with respect to k.     

How many maxima can there be?

Let C be a planar region. Choose n points p₁,,p_nI.I.D. from the uniform distribution over C. Let M^C_n be the number of these points that are maximal. If C is convex it is known that either E(M^C_n)=Θ(√n)> or E(M^C_n)=O(log n). In this paper we will show that, for general C, there is very little that can be said, a-priori, about E(M^C_n). More specifically we will show that if g is a member of a large class of functions then there is always a region C such that E(M^C_n)=Θ(g(n)). This class contains, for example, all monotically increasing functions of the form g(n)= nln^βn, where 0<<1 and β0. This class also contains nondecreasing functions like g(n)=ln^*n. The results in this paper remain valid in higher dimensions.     

Lie bialgebra structure on cyclic cohomology of Fukaya categories

Let M be an exact symplectic manifold with contact type boundary such that c₁(M) = 0. Motivated by noncommutative symplectic geometry and string topology, we show that the cyclic cohomology of the Fukaya category of M has an involutive Lie bialgebra structure.     

Polynomials in a matrix

Let A be a matrixp(x) a polynomial. Put B=p(A). It is shown that necessary and sufficient conditions for A to be a polynomial in B are (i) if λ is any eigenvalue of A, and if some elementary divisor of A corresponding to λ is nonlinear, thenp^'(λ)≠0;and (ii) if λ,μ are distinct eigenvalues of A, then p(λ)p(μ) are also distinct. Here all computations are over some algebraically closed field.     

Multiscale analysis for diffusion-driven neutrally stable states

The Turing instabilities for reaction–diffusion systems are studied from the Fourier normal modes which appear by searching the solution obtained from linearization of the reaction–diffusion system at the spatially homogeneous steady state. The linear stability analysis is only appropriate when the temporal eigenvalues associated to every given spatial eigenvalue have non-zero real part. If the real part of the temporal eigenvalue in a normal mode is equal to zero there is no enough information coming from the linearized system. Given an arbitrary spatial eigenvalue, by equating to zero the real part of the corresponding temporal eigenvalue will lead to a neutral stability manifold in the parameter space. If for a given spatial eigenvalue the other parameters in the reaction–diffusion process drive the system to the neutral manifold, then neither stability nor instability can be warranted by the usual linear analysis. In order to give a sketch of the nonlinear analysis we use a multiple scales method. As an application, we analyze the behavior of solutions to the Schnakenberg trimolecular reaction kinetics in the presence of diffusion.     

Chapter 4:algebraic sets, polynomials, and other functions

Let T be a linear operator on the vector space V ofn×n matrices over a field F. We discuss two types of problems in this chapter. First, what can we say about T if we assume that T maps a given algebraic set such as the special linear group into itself? Second, let p(x) be a polynomial function (such as det) on V into F. What can we say about T if Tpreserves p(x), i.e. p(T(X)) = p(X) for all X in V?     

Quantum symmetric spaces

Let G be a semisimple Lie group, g its Lie algebra. For any symmetric space M over G we construct a new (deformed) multiplication in the space A of smooth functions on M. This multiplication is invariant under the action of the Drinfeld-Jimbo quantum group U_hg and is commutative with respect to an involutive operator . Such a multiplication is unique. Let M be a kählerian symmetric space with the canonical Poisson structure. Then we construct a U_hg-invariant multiplication in A which depends on two parameters and is a quantization of that structure.     

A note on linear transformations over integral domains

It is an easy fact from linear algebra that if M is a finite-dimensional vector space over a field R, ϕM→M a diagonalizable linear transformation, and N a ϕ-invariant subspace of M, then ϕ∣N is diagonalizable. We show that an appropriate generalization of this holds for M a torsion-free module over an integral domain R.     

<Emphasis Type="Italic">n</Emphasis>-transitivity of bisection groups of a Lie groupoid

The notion of n-transitivity can be carried over from groups of diffeomorphisms on a manifold M to groups of bisections of a Lie groupoid over M. The main theorem states that the n-transitivity is fulfilled for all n ∈ N by an arbitrary group of C^r-bisections of a Lie groupoid Γ of class C^r, where 1 ≤ r ≤ ω, under mild conditions. For instance, the group of all bisections of any Lie groupoid and the group of all Lagrangian bisections of any symplectic groupoid are n-transitive in the sense of this theorem. In particular, if Γ is source connected for any arrow γ ∈ Γ, there is a bisection passing through γ.     

On Duality in Filtered Cohomologies

For a symplectic manifold(M~(2n), ω) without boundary(not necessarily compact), we prove Poincaré type duality in filtered cohomology rings of differential forms on M, and we use this result to obtain duality between(d + d~Λ)-and dd~Λ-cohomologies.     

On the jordan form of the tensor product over fields of prime characteristic

Let A, B denote the companion matrices of the polynomials x^m,xⁿ over a field F of prime order p and let λ,μ be non-zero elements of an extension field K of F. The Jordan form of the tensor product (λI + A)⊗(μI + B) of invertible Jordan matrices over K is determined via an equivalent study of the nilpotent tranformation S of m × n matrices X over F where(X)S = A ^TX + XB. Using module-theoretic concepts a Jordan basis for S is specified recursively in terms of the representations of m and n in the scale of p, and reduction formulae for the elementary divisors of S are established.     

On some integrals arising in mathematical physics

This paper presents in the first section the exact evaluation of three single integrals relating to the dielectric behavior of two-dimensional electron plasmas. In the second section we present a procedure for reducing 3d-dimensional integrals of the form: ∫∫∫dqdpdkD(q)(p+k+q)ƒ(p)[1−ƒ(p+q)]ƒ(k)[1−ƒ(k+q)], where the vectors lie in d-dimensional space and ƒ denotes the Fermi function, to tractable form. The second-order exchange integral for a d-dimensional electron gas is taken as an example and is evaluated in closed form as a function of d.     

A matrix problem associated with computing Cohen-Macaulay type

Suppose A∈M_n×m(F), B∈M_n×t(F) for some field F. Define Г(AB) to be the set of n×n diagonal matrices D such that the column space of DA is contained in the column space of B. In this paper we determine dim Г(AB). For matrices AB of the same rank we provide an algorithm for computing dim Г(AB).     

Equivariant mappings: a new approach in stochastic simulations

Stochastic simulations on manifolds usually are traced back to ⁿ via charts. If a group G is acting on a manifold M and if the respective distribution v is invariant under this group action then in many cases of practical interest there exists a more convenient approach which uses equivariant mappings. The concept of equivariant mappings will be discussed intensively at the instance of the Grassman manifold in which case G equals the orthogonal group. Further advantages of this concept will be demonstrated by applying it to a probabilistic problem from the field of combinatorial geometry.     

Maps of manifolds into the plane which lift to standard embeddings in codimension two

Let be a smooth map of a closed n-dimensional manifold (n2) into the plane and let be an orthogonal projection. We say that f has the standard lifting property, if every embedding with is standard in a certain sense. In this paper we give some sufficient conditions for a generic smooth map f to have the standard lifting property when M is a closed surface or an n-dimensional homotopy sphere.     

On size, circumference and circuit removal in 3-connected matroids

This paper proves several extremal results for 3-connected matroids. In particular, it is shown that, for such a matroid M, (i) if the rank r(M) of M is at least six, then the circumference c(M) of M is at least six and, provided |E(M)|4r(M)−5, there is a circuit whose deletion from M leaves a 3-connected matroid; (ii) if r(M)4 and M has a basis B such that Me is not 3-connected for all e in E(M)−B, then |E(M)|3r(M)−4; and (iii) if M is minimally 3-connected but not hamiltonian, then |E(M)|3r(M)−c(M).