The first Cohomology of Affine $ \mathbb{Z}^{p} $ \mathbb{Z}^{p} -actions on Tori and applications to rigidity*

Let a minimal affine -action on the torus T ^q , p 2 and q 1. The cohomology of (see definition below) depends on both the algebraic properties of the induced action on H ¹(T ^q , ) and the arithmetical properties of the translation cocycle. We give a Diophantine condition that characterizes those affine actions whose first cohomology group is finite dimensional. In this case it is necessarily isomorphic to . Thus the -action F obtained by suspension of is parameter rigid, i.e., any other -action with the same orbit foliation is smoothly conjugate to a reparametrization of F by an automorphism of .*Partially supported by CNPq fellowship by Fondecyt Grant 1000047 and DGICT-UCN and fundación Andes, Chile.     

Beckman-Quarles type theorems for mappings from $$ \mathbb{R}^n $$ to $$ \mathbb{C}^n $$

Summary. Let We say that preserves the distance d 0 if for each implies Let A _n denote the set of all positive numbers d such that any map that preserves unit distance preserves also distance d. Let D _n denote the set of all positive numbers d with the property: if and then there exists a finite set S _xy with such that any map that preserves unit distance preserves also the distance between x and y. Obviously, We prove: (1) (2) for n 2 D _n is a dense subset of (2) implies that each mapping f from to (n 2) preserving unit distance preserves all distances, if f is continuous with respect to the product topologies on and      

K-Theory for Triangulated Categories 3 $\frac{3}{4}$\frac{3}{4}: A Direct Proof of the Theorem of the Heart

Let be a triangulated category, and assume it admits at least one model. In this article, we define a K-theory for . The main theorem is that, given any bounded i-structure on , the K-theory of the heart agrees with the K-theory of . An immediate consequence tells us that, if two Abelian categories occur as hearts of a triangulated category for two different t-structures, then their K-theories must be isomorphic.The proof was also sketched in previous articles in this series. The virtue of this article is in the careful detail in which it is written down.     

A note on the isotopy problem for $$ \mathbb{R}^2 $$ -planes

For a class of stable planes we define a notion of isotopy equivalence with respect to that class and prove that any two planes of a certain class of -planes comprising all affine -planes are isotopy equivalent. Furthermore we obtain that all affine -planes are isotopy equivalent in the class of affine -planes. Finally we give an example which shows that this approach cannot be easily generalized to 2-dimensional projective planes, and we outline a different way for a possible generalization.Received: 27 April 2001     

On the structure of level sets of uniform and Lipschitz quotient mappings from $$ \mathbb{R}^n $$ to $$ \mathbb{R} $$

We study two questions posed by Johnson, Lindenstrauss, Preiss, and Schechtman, concerning the structure of level sets of uniform and Lipschitz quotient mappings from . We show that if , is a uniform quotient mapping then for every has a bounded number of components, each component of separates and the upper bound of the number of components depends only on and the moduli of co-uniform and uniform continuity of .Next we prove that all level sets of any co-Lipschitz uniformly continuous mapping from to are locally connected, and we show that for every pair of a constant and a function with , there exists a natural number , so that for every co-Lipschitz uniformly continuous map with a co-Lipschitz constant and a modulus of uniform continuity , there exists a natural number and a finite set with card so that for all has exactly components, has exactly components and each component of is homeomorphic with the real line and separates the plane into exactly 2 components. The number and form of components of for are also described - they have a finite tree structure.     

Addendum to “Complete rotation hypersurfaces with <Emphasis Type="Italic">H</Emphasis><Subscript><Emphasis Type="Italic">k</Emphasis></Subscript> constant in space forms”*

Here we study complete rotation hypersurfaces with constant k-th mean curvature H_k in even and 2 < k < n. We prove the existence of a constant such that there are no such hypersurfaces for . We have only one compact hypersurface of this kind with . For each there is a corresponding family of complete immersed rotation hypersurfaces, each family containing two isoparametric hypersurfaces. For H_k ≥ 0, there is also such a family, now containing only one isoparametric hypersurface. Finally, we prove the existence of compact hypersurfaces with arbitrarily large H_k , neither isometric to a sphere nor to a product of spheres. *Bull. Braz. Math. Soc. 30 (2), 1999, 139–161. **Partially supported by FUNCAP, Brazil. ***Partially supported by CNPq, Brazil and DGAPA-UNAM, México.     

Forbidden (0,1)-vectors in Hyperplanes of $$\mathbb{R}^{n}$$: The unrestricted case

In this paper, we continue our investigation on “Extremal problems under dimension constraints” introduced [1]. The general problem we deal with in this paper can be formulated as follows. Let be an affine plane of dimension k in . Given determine or estimate .Here we consider and solve the problem in the special case where is a hyperplane in and the “forbidden set” . The same problem is considered for the case, where is a hyperplane passing through the origin, which surprisingly turns out to be more difficult. For this case we have only partial results.AMS Classification: 05C35, 05B30, 52C99     

The type set for some measures on \mathbb{R}^{2n} with n-dimensional support

Let be realhomogeneous functions in ofdegree and let bethe Borel measure on given by

Markov subshifts and partial representation of $$\mathbb{F}_{\text n}$$

In this paper we fix a set * of positive elements of the free group (e. g. the set of finite words occurring in a Markov subshift) as well as n partial isometries on a Hilbert space H. Based on these we define a map S : which we prove to be a partial representation of on H under certain conditions studied by Matsumoto.*Supported by Capes.     

On the cogeneration of <Emphasis Type="Italic">t</Emphasis>-structures

Let C be a set of objects in a triangulated compactly generated category We denote by the smallest suspended subcategory closed under coproducts which contains C (the smallest cosuspended subcategory closed under products which contains C). We prove that if C is a set of compacts objects then is a t-structure in where T_C I is the dual of C with respect to an injective cogenerator I in the category Mod C. Moreover, we show that: C is a tilting set if and only if And, this is equivalent to T_CI is a cotilting object in Received: 28 March 2003     

The Gauss Map and Second Fundamental Form of Surfaces in \mathbb{R}^3

Given a surface S, a map N from S to and a conformal structure on S, we solve the problem of the existence and uniqueness of an immersion with a Gauss map N such that the conformal structure on S is the induced by the second fundamental form.     

The Maximum Size Of Graphs With A Unique<Emphasis Type="Italic">k</Emphasis>- Factor

For suitable positive integers n and k let m(n, k) denote the maximum number of edges in a graph of order n which has a unique k-factor. In 1964, Hetyei and in 1984, Hendry proved for even n and , respectively. Recently, Johann confirmed the following conjectures of Hendry: for and kn even and for n = 2kq, where q is a positive integer. In this paper we prove for and kn even, and we determine m(n, 3).     

A Note on the Tight Spherical 7-Design in {\mathbb R}^{23} and 5-Design in {\mathbb R}^{7*}

In this note we prove the uniqueness of the tight spherical 7-design in consisting of 4600 vectors and with automorphism group 2 × Co₂ as well as the uniqueness of the tight spherical 5-design in on 112 vectors and with automorphism group 2 × Sp₆(2).To the memory of Jaap Seidel     

On lattices of convex sets in {\mathbb{R}}^{n}

Properties of several sorts of lattices of convex subsets of are examined. The lattice of convex sets containing the origin turns out, for n > 1, to satisfy a set of identities strictly between those of the lattice of all convex subsets of and the lattice of all convex subsets of The lattices of arbitrary, of open bounded, and of compact convex sets in all satisfy the same identities, but the last of these is join-semidistributive, while for n > 1 the first two are not. The lattice of relatively convex subsets of a fixed set satisfies some, but in general not all of the identities of the lattice of “genuine” convex subsets of To the memory of Ivan RivalReceived April 22, 2003; accepted in final form February 16, 2005.This revised version was published online in August 2005 with a corrected cover date.     

A categorification of finite-dimensional irreducible representations of quantum \mathfraksl2{\mathfrak{sl}_2} and their tensor products

The purpose of this paper is to study categorifications of tensor products of finite-dimensional modules for the quantum group for . The main categorification is obtained using certain Harish-Chandra bimodules for the complex Lie algebra . For the special case of simple modules we naturally deduce a categorification via modules over the cohomology ring of certain flag varieties. Further geometric categorifications and the relation to Steinberg varieties are discussed.We also give a categorical version of the quantised Schur–Weyl duality and an interpretation of the (dual) canonical bases and the (dual) standard bases in terms of projective, tilting, standard and simple Harish-Chandra bimodules.     

Discussing Knarr's 2-Surface of \mathbb{R} 4 which Generates the First Single Shift Plane

The generating line of the first single shift plane (cf. [11, p. 435]) is a 2-surface of ⁴ which we call the the affine part of Knarr's surface. We compute all affinities leaving invariant. After embedding ⁴ into PG(4, ) we calculate the uniquely determined projective closure _Kn of . Using a suitable projection we transform questions on Knarr's surface to questions on Cayley's surface in PG(3, ). In this way we determine all planes carrying 1-dimensional algebraic varieties of _Kn . We exhibit all automorphic collineations of _Kn .     

Fibonacci-Cayley Numbers and Repetition Patterns in Genomic DNA

Let F(k) denote the k-th Fibonacci number in the Fibonacci sequence F(0) := 0, F(1) := 1,..., F(k+1) := F(k-1)+F(k). Motivated by proposals regarding putative mechanisms that may be responsible for producing those often observed long repetitive patterns in genomic DNA, we study in this note the Fibonacci-Cayley index fc_x of positive integers x, i.e., the largest integer for which positive integers a, b with x = aF(k-1)+bF(k) exist and show that holds for the arithmetic mean of the indices of the smallest and the largest Fibonacci numbers occurring in the Zeckendorf decomposition AMS Subject Classification: 11B39, 11A99, 92D20.     

Wiener-Hopf operators on L_{\omega}^{2}(\mathbb{R}^{+})

Let be a weighted space with weight . In this paper we show that for every Wiener-Hopf operator T on and for every a I, there exists a function such that