On the set of singular points of the actions of finite groups on (Sn)k

Realizations of integral D₃-modules of rank 2 on (Sⁿ)^k for the dihedral groups D₃ are studied. Cohomologies of the sets of the singular points of the actions of the semidirect products /pX/q and the quaternion groups Q on (Sⁿ)^k are investigated.Translated from Ukrayins'kyy Matematychnyy Zhurnal, Vol. 44, No. 9, pp. 1233–1238, September, 1992.     

On a Theorem of Grothendieck

A smooth projective morphism p : T S to a smooth variety S is considered. In particular, the following result is proved. The total direct image Rp _*(/n) of the constant étale sheaf /n is locally (in Zariski topology) quasiisomorphic to a bounded complex on S that consists of locally constant, constructible étale sheaves of /n-modules. Bibliography: 2 titles.     

Subdivision algorithms with nonnegative masks generally converge

In this paper, a subdivision scheme consists of an operator froml () tol () determined by a doubly infinite sequence, called the mask. This operator convolutes, in a certain sense, sequences l () with the mask, thus producing a new sequence inl (). Moreover, this new sequence is placed on a finer grid. If we iterate this process with a positive mask infinitely many times, it is known that this process will produce a continuous function, which we callf . In this paper, we consider the extent to which non-negative masks yield similar results. An important application of subdivision schemes in computer graphics is the generation of curves and surfaces from an initial sequence.     

On the Hantzsche-Wendt manifold

We explicitly compute the outer automorphism group Out ₁ M of the fundamental group of the Hantzsche — Wendt manifoldM. It is an extension 1(₂)³Out₁ MS ₃₂1, but not the semidirect product (₂)³(S ₃₂) as claimed in [3] (see also [4]). As a consequence, we get a quick algebraic computation of the symmetry groups of the Borromean rings and the figure-8-knot.     

Central Limit Theorem for a Class of Nonhomogeneous Random Walks

A spatially nonhomogeneous random walk _t on the grid =^m X ⁿ is considered. Let _t ⁰ be a random walk homogeneous in time and space, and let _t be obtained from it by changing transition probabilities on the set A= X ⁿ, || < , so that the walk remains homogeneous only with respect to the subgroup ⁿ of the group . It is shown that if >m 2 or the drift is distinct from zero, then the central limit theorem holds for _t.     

Some Criteria for Multivalently Starlikeness

Let S_n(p)(p, n N) be the class of functions f() = ^p + a_p+n^p+n + which are p-valently starlike in the unit disk. Some sufficient conditions for a function f() to be in the class S_n(p) are given.AMS Subject Classification (2000): primary 30C45     

On the number of relations in the cohomology of a fixed point set

If _p (respectively S¹) acts on a space, then under certain conditions the _p (respectively Q) cohomology of each component of of the fixed point set can be generated as an algebra by at most the same number of elements as the cohomology of the space itself. It is shown below that the ideal of relations among these generators is generated by at most the number of generators in the ideal of relations defining the cohomology of the original space.     

Equivalence between the dilation and lifting properties of an ordered group through multiplicative families of isometries. A version of the commutant lifting theorem on some lexicographic groups

Let be a locally compact abelian ordered group. has the dilation property if a special extension of the Naimark dilation theorem holds for and it has the commutant lifting property if a natural extension of the Sz.-Nagy — Foias commutant lifting theorem holds for .We prove that these two conditions are equivalent and we give another necessary and sufficient condition in terms of unitary extensions of multiplicative families of partial isometries.A version of the commutant lifting theorem is given for the groups ⁿ and × ⁿ with the lexicographic order and the natural topologies.Both authors were partially supported by the CDCH of the Universidad Central de Venezuela, and by CONICIT grant G-97000668.     

The elements of K2(ℤs)

Let S={p₁,...,p_s} be a set of rational primes, . One has K₂(_s)K₂(_su{2} and we want to assume 2 S. It is snown that every element of K₂(_S) is a Dehnis-Stein-symbol <a,b>, 1+ab being a unit of _S.Here b can be determined concretely, depending only on S, and we obtain a normal form of the elements of K₂(Q) as Steinberg-symbols, which is unique in some way and expresses the quadratic reciprocity law.     

1-formes fermées singulières et groupe fondamental

Summary We study the influence of the ₁ of a closed manifoldM ⁿ (n3) on the foliations ofM defined by closed differential 1-forms with Morse singularities (of index 0,n). Every nonexact form is cohomologous to a weakly complete one, that is one whose leaf space is of the same type as that of a nonsingular form. Generically, a form has compact leaves or is weakly complete. If ₁ M has no quotient isomorphic to *, then every nonexact form onM is weakly complete. We also say a form is complete if every path inM is homotopic to either a path transverse to or a path contained in a leaf of . Completeness of depends only on its de R ham cohomology class. The set of complete cohomology classes depends only on ₁ M and is related to finitely generated normal subgroups of ₁ M with quotient . If ₁ M is nilpotent (or even polycyclic), every nonexact form onM is complete. On irreducible 3-manifolds, a form is complete iff it is cohomologous to a nonsingular one.     

Representations of finite p-groups over the ring of formal power series with integral p-adic coefficients

A classification is given of the representations of the cyclic group of order p over the ring _p [[x]] of formal power series with integral p-adic coefficients and it is proved that in the other cases the problem of representations of a finite, p-group over _P [[x₁,...x_n]] is wild.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 6, pp. 753–765, June, 1992.     

Difference sets in abelian groups ofp-rank two

Under a technical assumption that pertains to the so-called self-conjugacy, we prove: if an abelian groupG ofp-rank two,p a prime, admits a (nontrivial) (v, k, ) difference setD, then for each for some subgroupC _p ofG of orderp. Consequently,k(p=1), with equality only ifF=1/p D , whereD is the image ofD under the canonical homomorphism fromG ontoG/E (E being the unique elementary abelian subgroup ofG of orderp ²), is a (v/p ²,k/p, ) difference set inG/E. As applications, we establish the nonexistence of (i) (96, 20, 4) difference sets in ₄ x ₈ x ₃, (ii) (640, 72, 8) difference sets in ₈ x ₁₆ x ₅ and (iii) (320, 88, 24) difference sets in ₈ x ₈ x ₅. The first one fills a missing entry in Lander's table [6] and the other two in Kopilovich's table [5] (all with the answer no). We also point out the connection of the parameter sets in (i) above with the Turyn-type bounds [10] for the McFarland difference sets [9].Research partially supported by NSA Grant #904-92-H-3057 and by NSF Grant # NCR-9200265.     

Representation of numbers by integral isotropic quadratic forms

Under certain assumptions, we prove that the integral points (x₁,x₂,x₃) ³ with g.c.d. (x₁,x₂,x₃)=1 are asymptotically uniformly distributed on the surface of the two-sheeted hyperboloid t(x₁,x₂,x₃)=m, where f is an isotropic quadratic form over , for given modulus g. This is a generalization of the results of Linnik [3] and Pachev [4].Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 151, pp. 66–67, 1986.I would like to thank A. V. Malyshev for suggesting the problem and for his support.     

Uniqueness of the infinite component in a random graph with applications to percolation and spin glasses

Summary We extend the theorem of Burton and Keane on uniqueness of the infinite component in dependent percolation to cover random graphs on ^d or ^d × with long-range edges. We also study a short-range percolation model related to nearest-neighbor spin glasses on ^d or on a slab ^d × {0,...K} and prove both that percolation occurs and that the infinite component is unique forV=²×{0,1} or larger.A.G. was partially supported from AFOSR through grant no. 90-0090     

Two isoperimetric inequalities with lattice constraints

Two isoperimetric inequalities with lattice constraints for arbitrary lattices in the euclidean plane are proved. They generalize previous results by Hadwiger et al. for the special lattice ^d (but all dimensionsd) to general lattices.     

Structure of semisimple differentials and p-class groups in ℤp-extensions

For a wildly ramified p-extension E/F of algebraic function fields of one variable in an algebraically closed field k of characteristic p with Galois Group G, Nakajima obtained two exact sequences which determined implicitly the structure of the holomorphic semisimple differentials as k[G]-module. In this paper, in many cases, e.g., if there is a fully ramified prime, the structure is determined explicitly. Analogous results are obtained for p-extensions of _p-fields of CM-type. In the latter situation, if E/F is unramified, the structure of the minus part of the p-class group of E is determined as _p[G]-module.     

The Higher K-Theory of Real Curves

If X is a smooth curve defined over the real numbers , we show that K _n (X) is the sum of a divisible group and a finite elementary Abelian 2-group when n 2. We determine the torsion subgroup of K _n (X), which is a finite sum of copies of and 2, only depending on the topological invariants of X() and X(), and show that (for n 2) these torsion subgroups are periodic of order 8.     

Counting Sets With Small Sumset, And The Clique Number Of Random Cayley Graphs

Given a set A /N we may form a Cayley sum graph G _A on vertex set /N by joining i to j if and only if i+j A. We investigate the extent to which performing this construction with a random set A simulates the generation of a random graph, proving that the clique number of G _A is almost surely O(logN). This shows that Cayley sum graphs can furnish good examples of Ramsey graphs. To prove this result we must study the specific structure of set addition on /N. Indeed, we also show that the clique number of a random Cayley sum graph on =(/2) ⁿ is almost surely not O(log ||).* Supported by a grant from the Engineering and Physical Sciences Research Council of the UK and a Fellowship of Trinity College Cambridge.     

The Three-Dimensional ℤ2 Electrodynamics and the Two-Dimensional Ising Model

We calculate the correlation functions for the three-dimensional ₂ electrodynamics for particular values of the interaction energies and with free boundary conditions.     

Holomorphic Torus Actions on Compact Locally Conformal Kähler Manifolds

Given a torus action (T ², M) on a smooth manifold, the orbit map ev _x(t)=t·xfor each xMinduces a homomorphism ev _*: ²H ₁(M;). The action is said to be Rank-kif the image of ev _*has rank k(2) for each point of M. In particular, if ev _*is a monomorphism, then the action is called homologically injective. It is known that a holomorphic complex torus action on a compact Kähler manifold is homologically injective. We study holomorphic complex torus actions on compact non-Kähler Hermitian manifolds. A Hermitian manifold is said to be a locally conformal Kähler if a lift of the metric to the universal covering space is conformal to a Kähler metric. We shall prove that a holomorphic conformal complex torus action on a compact locally conformal Kähler manifold Mis Rank-1 provided that Mhas no Kähler structure.