Dual-lattice theorems in the geometric approach

A one-to-one correspondence is shown to exist between the lattice of all self-bounded (A, )-controlled invariants contained in and the lattice of all self-hidden (A, )-conditioned invariants containing . This correspondence, stated herein as the main dual-lattice theorem, allows a straightforward derivation of the universal bounds of the lattices, particularly when additional constraints are imposed, such as to contain a given subspace for the elements of the former lattice and to be contained in a given subspace for the elements of the latter. Then, two further minor dual-lattice theorems, dual to each other, are presented, and some connections and applications of the new theory to standard control and observation problems are briefly discussed.     

Seiberg–Witten and Casson–Walker Invariants for Rational Homology 3-Spheres

We consider a modified version of the Seiberg–Witten invariants for rational homology 3-spheres, obtained by adding to the original invariants a correction term which is a combination of -invariants. We show that these modified invariants are topological invariants. We prove that an averaged version of these modified invariants equals the Casson–Walker invariant. In particular, this result proves an averaged version of a conjecture of Ozsváth and Szabó on the equivalence between their invariant and the Seiberg–Witten invariant of rational homology 3-spheres.     

Von Neumann Categories and Extended L2 Cohomology

In this paper we suggest a new general formalism for studying the L2 invariants of polyhedra and manifolds. First, we examine generality in which one may apply the construction of the extended Abelian category, which was earlier suggested by the author using the ideas of P. Freyd. This leads to the notions of a finite von Neumann category and a trace on such a category. Given a finite von Neumann category, we study the extended L2 homology and cohomology theories with values in the Abelian extension. Any trace on the initial category produces numerical invariants – the von Neumann dimension and the Novikov–Shubin numbers. Thus, we obtain the local versions of the Novikov–Shubin invariants, localized at different traces. In the Abelian case this localization can be made more geometric: we show that any torsion object determines a divisor – a closed subspace of the space of the parameters. The divisors of torsion objects together with the information produced by the local Novikov–Shubin invariants may be used to study multiplicities of intersections of algebraic and analytic varieties (we discuss here only simple examples demonstrating this possibility). We compute explicitly the divisors and the von Neumann dimensions of the extended L2 cohomology in the real analytic situation. We also give general formulae for the extended L2 cohomology of a mapping torus. Finally, we show how one can define a De Rham version of the extended cohomology and prove a De Rhamtype theorem.     

On θ-Principal Extension and H-Closedness

A type of extensions called the -extention of topological spaces and their -equivalence and -trace systems are introduced, which ultimately characterize H-closed -extensions of a Hausdorff topological space. Also, the notion of -principal extensions is defined. A typical -principal extension consisting of certain grills on a Hausdorff space is constructed, and finally, some characterizations of H-closedness of a Hausdorff space are obtained.AMS Subject Classification (2000) 54D30 54D99     

Asymptotic Curvature of Θ-Metrics

We give an explicit and reasonably simple expression for the curvature tensor of a -metric at boundary points, in terms of the metric tensor and invariants of the -structure. We examine the behavior of the induced metric on level sets of a defining function near the boundary and describe the asymptotic behavior of its curvature tensor. Some applications of these results are given.     

Spatial shape‐preserving interpolation using ν‐splines

We present a global iterative algorithm for constructing spatial G ²continuous interpolating splines, which preserve the shape of the polygonal line that interpolates the given points. Furthermore, the algorithm can handle data exhibiting two kinds of degeneracy, namely, coplanar quadruples and collinear triplets of points. The convergence of the algorithm stems from the asymptotic properties of the curvature, torsion and Frénet frame of splines for large values of the tension parameters, which are thoroughly investigated and presented. The performance of our approach is tested on two data sets, one of synthetic nature and the other of industrial interest.     

On <Emphasis Type="Italic">L</Emphasis><Subscript>α,ω</Subscript> complete extensions of complete theories of Boolean algebras

For a complete first order theory of Boolean algebras T which has nonisomorphic countable models, we determine the first limit ordinal = (T) such that We show that for some and for all other Ts, A nonprincipal ideal I of B is almost principal, if a is a principal ideal of B} is a maximal ideal of B. We show that the theory of Boolean algebras with an almost principal ideal has complete extensions and characterize them by invariants similar to the Tarskis invariants.Mathematics Subject Classification (2000): Primary 03C15, Secondary 03C35, 06E05Revised version: 2 February 2004     

Indivisibility of Class Numbers and Iwasawa λ-Invariants of Real Quadratic Fields

Let D>0 be the fundamental discriminant of a real quadratic field, and h(D) its class number. In this paper, by refining Ono's idea, we show that for any prime p>3, {0<D<X|h(D)0(mod p)}>> _p (X)/logX.     

A large deviation principle for (r,p)-capacities on the Wiener space

Summary We formulate and prove a large deviation principle for the (r, p)-capacity on an abstract Wiener space. As an application, we obtain a sharpening of Strassen's law of the iterated logarithm in terms of the capacity.     

Start‐up class models in multiple‐class queues with N‐policy

In this paper, we consider multipleclass queueing systems with Npolicy in which the idle server starts service as soon as the number of customers in the startup class reaches threshold N. We consider the cases of FCFS and nonpreemptive priority. We obtain the Laplace–Stieltjes transform of the waiting times of each class of customers. We also show some results for the general behavior of such systems.     

A Characterization of Markov Property for Semigroups with Invariant Measure

The positivity of the carré du champ operator is a direct consequence of the positivity of the associated Markov semigroup. We show in this note that the reciprocal implication holds in invariant measure, under minimal hypotheses of continuity and stability.     

Symmetric Stable Processes in Cones

We study exponents of integrability of the first exit time from generalized cones for conditioned rotation invariant stable Lévy processes. Along the way, we introduce the spherical fractional Laplacian and derive some of its spectral properties.     

A Stationary Rho-Mixing Markov Chain Which Is Not “Interlaced” Rho-Mixing

A strictly stationary, countable-state Markov chain is constructed which is -mixing (with arbitrarily fast mixing rate) but fails to be *-mixing (interlaced-mixing).     

Iterative Schemes for Solving Mixed Variational-Like Inequalities

In the present paper, we introduce the concept of -cocoercivity of a map and develop some iterative schemes for finding the approximate solutions of mixed variational-like inequalities. We use the concept of -cocoercivity to prove the convergence of the approximate solutions to the exact solution of mixed variational-like inequalities.     

Iterating the Bar Construction

For a 1-connected space X Adams's bar construction B(C*(X)) describes H*(X) only as a graded module and gives no information about the multiplicative structure. Thus it is not possible to iterate the bar construction in order to determine the cohomology of iterated loop spaces ⁱ X. In this paper for an n-connected pointed space X a sequence of A()-algebra structures , is constructed, such that for each there exists an isomorphism of graded algebras      

Piecewise Constant Roughly Convex Functions

This paper investigates some kinds of roughly convex functions, namely functions having one of the following properties: -convexity (in the sense of Klötzler and Hartwig), -convexity and midpoint -convexity (in the sense of Hu, Klee, and Larman), -convexity and midpoint -convexity (in the sense of Phu). Some weaker but equivalent conditions for these kinds of roughly convex functions are stated. In particular, piecewise constant functions satisfying f(x) = f([x]) are considered, where [x] denotes the integer part of the real number x. These functions appear in numerical calculation, when an original function g is replaced by f(x):=g([x]) because of discretization. In the present paper, we answer the question of when and in what sense such a function f is roughly convex.     

The Brownian loop soup

We define a natural conformally invariant measure on unrooted Brownian loops in the plane and study some of its properties. We relate this measure to a measure on loops rooted at a boundary point of a domain and show how this relation gives a way to chronologically add Brownian loops to simple curves in the plane.Cornell University; Research supported in part by the National Science FoundationUniversité Paris-Sud and IUFMathematics Subject Classification (2000):60J65, 81T40     

The η-Invariant of Twisted Dirac Operators of S3/Γ

The aim of this paper is to compute the and ~-invariants for the Dirac operator of the quotient of the sphere S ³ by a finite subgroup, twisted by a representation of its fundamental group.     

Prolongations of Vector Fields and the Invariants-by-Derivation Property

For any given vector field X defined on some open set M ², we characterize the prolongations X _n ^* of X to the nth jet space M ⁽ⁿ⁾, n1, such that a complete system of invariants for X _n ^* can be obtained by derivation of lower-order invariants. This leads to characterizations of C -symmetries and to new procedures for reducing the order of an ordinary differential equation.     

On the Algebraic Structure of Quasi-cyclic Codes II: Chain Rings

The ring decomposition technique of part I is extended to the case when the factors in the direct product decomposition are no longer fields but arbitrary chain rings. This includes not only the case of quasi-cyclic codes over rings but also the case of quasi-cyclic codes over fields whose co-index is no longer prime to the characteristic of the field. A new quaternary construction of the Leech lattice is derived.