Localizations of Transfors

Let be n-dimensional teisi, i.e., higher-dimensional Gray-categorical structures. The following questions can be asked. Does a left q-transfor , i.e., a functor 2 _q , induce a right q-transfor , i.e., a functor More generally, does a functor induce a functor For k-arrows c and whose (k – 1)-sources and targets agree, does a q-transfor induce a q-transfor , for appropriate k-arrows For k-arrows c and whose (k – 1)-sources and targets agree, does a q-transfor induce a (q + k + 1)-transfor , for appropriate k-arrows I give answers to these questions in the cases where n-dimensional teisi and their tensor product have been defined, i.e., for n 3, and for n up to 5 in some cases that do not need all data and axioms of n-dimensional teisi.I apply the above to compositions in teisi, in particular to braidings and syllepses. One of the results is that a braiding on a monoidal 2-category induces a pseudo-natural transformation , where is the reverse of ? –, which is almost, but not quite, equal to – ?. However, in higher dimensions need not be reversible, so a braiding on a higher-dimensional tas can not be seen as a transfor A B B A.     

Asymptotic Invertibility and the Collective Asymptotic Spectral Behavior of Generalized One-Dimensional Discrete Convolutions

We study the asymptotic invertibility as of matrices of the form and , where a and b are functions defined on the sets . The joint asymptotic behavior of the spectrum of these matrices is analyzed.     

Determinantal Resolution of the Universal Subscheme in $$\mathcal{S}{\text{ }} \times {\text{ }}H_{d + 1} $$

We construct a determinantal resolution of singularities for the universal subscheme in and prove that it is isomorphic to the variety of total pairs .     

Quasi-Invariant Measures and Irreducible Representations of the Inductive Limit of Special Linear Groups

Unitary representations of the group are constructed. The construction uses G-quasi-invariant measures on some G-spaces that are subspaces of the space of two-way infinite real matrices. We give a criterion for the irreducibility of these representations.     

Minimum Cutsets for an Element of a Subspace Lattice over a Finite Vector Space

Let L_n(q) denote the lattice of subspaces of ann-dimensional vector space over the finite field of q elements, ordered byinclusion. In this note, we prove that for all n and m the minimum cutsetfor an element A with is justL(A) if m < n/ 2, is U(A) if m > n/ 2, and both L(A) andU(A) if m = n/ 2, where L(A) is the collection of all such that and , and U(A) the collection of all such that and . Hence a finite vector space analog isgiven for the theorem of Griggs and Kleitman that determines all the minimumcutsets for an element of a Boolean algebra.     

On the Lipschitz Constant for a Nonisometric Bi-Lipschitz Transformation of a Cantor Set

A bi-Lipschitz continuous mapping of a space X is a bijection such that , where . We write if f is a Lipschitz (bi-Lipschitz) mapping of X into itself and denote by the set of all bi-Lipschitz mappings of X that are not isometry. Thus, if and blip . For X we consider a standard Cantor set K on the real line (with standard metric). The main result of this paper is formulated as follows: where Bibliography: 2 titles.     

Equational Theories for Classes of Finite Semigroups

It is proved that there exists an infinite sequence of finitely based semigroup varieties such that, for all i, an equational theory for and for the class of all finite semigroups in is undecidable while an equational theory for and for the class of all finite semigroups in is decidable. An infinite sequence of finitely based semigroup varieties is constructed so that, for all i, an equational theory for and for the class of all finite semigroups in is decidable whicle an equational theory for and for the class of all finite semigroups in is not.     

A Comparison on the Commutative Neutrix Convolution of Distributions and the Exchange Formula

Let , be ultradistributions in and let and where is a sequence in which converges to the Dirac-delta function . Then the neutrix product is defined on the space of ultradistributions as the neutrix limit of the sequence provided the limit exist in the sense that

Monotonicity of Average Power Means

A new numerical inequality for average power means is presented. Let and let be a sequence of positive numbers. Consider the operator . We denote by the superposition of these operators. The following assertion is proved: if . Bibliography: 2 titles.     

Groupe modulaire, fractions continues et approximation diophantienne en caractéristique p

The aim of this paper is to give a geometric interpretation of the continued fraction expansion in the field of formal Laurent series in X ^–1 over , in terms of the action of the modular group on the Bruhat–Tits tree of , and to deduce from it some corollaries for the diophantine approximation of formal Laurent series in X ^–1 by rational fractions in X.     

The First-Order Nonholonomic Connections with the Galilean Groups of Local Transformations. II

In the canonical smooth fiber bundles endowed with the metric tensor fields of relevant structure, we consider natural representations of the Galilean groups and construct -invariant generalizations of differentiable connections. In both regular and special cases of the representations of the relevant groups , we found all the affine nonholonomic -, -, and -connections of the first order (see [1]–[3]) possessing the local Lie groups of transformations and also described the respective -invariant planar connections.     

Divisibility in the K0‐Group of the Algebra of Operators on a Banach Space

Let Figiel's reflexive Banach space which is not isomorphic to its Cartesian square. We show that the K ₀group of the algebra of continuous, linear operators on contain a subgroup isomorphic to the group c ₀₀( ) of sequences rational numbers with z _n=0 eventually.     

Minihypers and Linear Codes Meeting the Griesmer Bound: Improvements to Results of Hamada, Helleseth and Maekawa

This article improves results of Hamada, Helleseth and Maekawa on minihypers in projective spaces and linear codes meeting the Griesmer bound.In [10,12],it was shown that any -minihyper, with , where , is the disjoint union of points, lines,..., -dimensional subspaces. For q large, we improve on this result by increasing the upper bound on non-square, to non-square, square, , and (4) for square, p prime, p<3, to . In the case q non-square, the conclusion is the same as written above; the minihyper is the disjoint union of subspaces. When q is square however, the minihyper is either the disjoint union of subspaces, or the disjoint union of subspaces and one subgeometry . For the coding-theoretical problem, our results classify the corresponding codes meeting the Griesmer bound.     

Commutator-finite orthomodular lattices

The class of orthomodular lattices which have only finitely many commutators is investigated. The following theorems are proved: contains the block-finite orthomodular lattices. Every irreducible element of is simple. Every element of is a direct product of a Boolean algebra and finitely many simple orthomodular lattices. The irreducible elements of which are modular, or are M-symmetric with at least one atom, have height two or less.     

Orbits of Curves on Certain K3 Surfaces

In this paper, we study the family of algebraic K3 surfaces generated by the smooth intersection of a (1, 1) form and a (2, 2) form in defined over and with Picard number 3. We describe the group of automorphisms on V. For an ample divisor D and an arbitrary curve C ₀ on V, we investigate the asymptotic behavior of the quantity . We show that the limit

Bernstein-Type Theorems and Uniqueness Theorems

Let be an entire function of finite type with respect to finite order and let be a subset of an open cone in a certain n-dimensional subspace (the smaller , the sparser ). We assume that this cone contains a ray 0} \right\}$$ " align="middle" border="0"> . It is shown that the radial indicator of at any point may be evaluated in terms of function values at points of the discrete subset . Moreover, if tends to zero fast enough as over , then this function vanishes identically. To prove these results, a special approximation technique is developed. In the last part of the paper, it is proved that, under certain conditions on and , which are close to exact conditions, the function bounded on is bounded on the ray.     

Rings of regular functions on nilpotent orbits and their covers

Summary LetG be a complex semisimple algebraic group with Lie algebra . Let be a nilpotentG-orbit, its ring of regular functions. We derive a formula for as aG-module and prove some partial results on a cover of . We then relate this formula to various existing multiplicity formulas forK-types in Harish-Chandra bimodules ofG.Supported by National Science Foundation Grant DMS-8505550     

Polynomial Trace Estimates for Semigroups

For semigroups (e ^tA ) _t0 of operators on a Hilbert space, we give conditions guaranteeing trace estimates of the polynomial type 0$$ " align="middle" border="0"> , where denotes the trace class. As an application we present higher order analogues of results due to E.B. Davies, B. Simon and M. van den Berg of the type 0$$ " align="middle" border="0"> , for certain unbounded domains , e.g. spiny urchin domains.     

Boundary Estimates for Solutions of the Parabolic Free Boundary Problem

Let u and solve the problem