Pseudofunctors with values on modules with zero dimensional support are constructed over the formally smooth category and residually finite category. Combining those pseudofunctors, a pseudofunctor over the category whose objects are Noetherian local rings and whose morphisms are local with finitely generated residue field extensions is constructed.

Almost free divisors and complete intersections form a general class of nonisolated hypersurface and completer intersection singularities. They also include discriminants of mappings, bifurcation sets, and certain types of arrangements of hyperplanes such as Coxeter arrangements and generic arrangements. Associated to the singularities of this class is a "singular Milnor fibration" which has the same homotopy properties as the Milnor fibration for isolated singularities. This memoir deduces topological properties of singularities in a number of situations including: complements of hyperplane arrangements, various nonisolated complete intersections, nonlinear arrangements of hypersurfaces, functions on discriminants, singularities defined by compositions of functions, and bifurcation sets.

In this paper we provide a unified way of looking at the apparently sporadic Weyl groups connected with the classical geometry of surfaces, namely those with 1) the rational double points, 2) the Picard groups of Del Pezzo surfaces, 3) the Kodaira-type degenerations of elliptic curves, and 4) the Picard-Lefschetz reflections of [italic]K3-surfaces, by putting them together into the picture of 3-dimensional birational geometry in the realm of the recently established Minimal Model Theory for 3-folds.

A theory of counting nonintersecting lattice paths by the major index and its generalizations is developed. We obtain determinantal expressions for the corresponding generating functions for families of nonintersecting lattice paths with given starting points and given final points, where the starting points lie on a line parallel to [italic]x + [italic]y = 0. In some cases these determinants can be evaluated to result in simple products. As applications we compute the generating function for tableaux with [italic]p odd rows, with at most [italic]c columns, and with parts between 1 and [italic]n. Moreover, we compute the generating function for the same kind of tableaux which in addition have only odd parts. We thus also obtain a closed form for the generating function for symmetric plane partitions with at most [italic]n rows, with parts between 1 and [italic]c, and with [italic]p odd entries on the main diagonal. In each case the result is a simple product. By summing with respect to [italic]p we provide new proofs of the Bender-Knuth and MacMahon (ex-)conjectures, which were first proved by Andrews, Gordon, and Macdonald. The link between nonintersecting lattice paths and tableaux is given by variations of the Knuth correspondence.

We show that the Weyl-von Neumann theorem for unitaries holds for [lowercase Greek]Sigma-unital [italic capital]A[italic capital]F-algebras and their multiplier algebras.

Numerically speaking, continuous time dynamical systems do not exist. Rather, a discretized version is studied and interpreted in analogy to the continuous time dynamical system. Over fixed finite time intervals, this analogy is quite close and well understood in terms of discretization errors and sophisticated discretization schemes. Over large or infinite time intervals, this analogy is not so clear, because discretization errors tend to accumulate exponentially with time. In this paper, we specifically investigate the correspondence between continuous and discrete time dynamical systems for homoclinic orbits. By definition, these are orbits which tend to the same stationary point for both large positive and large negative times.

This memoir is a careful and detailed study of the intersection pairing in the Conley index. The Conley index associates to an isolated invariant set of a semiflow (with some mild compactness conditions) a homotopy type of a space, constructed to be invariant under perturbations of the flow. The homology of this space is the homology Conley index. For a (two-sided) flow, each isolated invariant set has two indices defined: one for the forward flow, and one for the reverse. In general, there is no relationship between these two indices, but when the flow is on an orientable manifold, the two indices can be related by an intersection pairing. It is this pairing that receives a careful and detailed study in this memoir. Results are then applied to the motivating example of the work: the existence of transition layer behavior for two-point boundary value problems of singularly perturbed systems.

In this paper, it is shown that the simple unital C*-algebras arising as inductive limits of sequences of finite direct sums of matrix algebras over [italic capital]C([italic capital]X[subscript italic]i), where [italic capital]X[subscript italic]i are arbitrary variable trees, are classified by K-theoretical and tracial data. This result generalizes the result of George Elliott of the case of [italic capital]X[subscript italic]i = [0, 1]. The added generality is useful in the classification of more general inductive limit C*-algebras.

A set which can be defined by systems of polynomial inequalities is called semialgebraic. When such a description is possible locally around every point, by means of analytic inequalities varying with the point, the set is called semianalytic. If one single system of strict inequalities is enough, either globally or locally at every point, the set is called basic. The topic of this work is the relationship between these two notions. Namely, Andradas and Ruiz describe and characterize, both algebraically and geometrically, the obstructions for a basic semianalytic set to be basic semialgebraic. Then they describe a special family of obstructions that suffices to recognize whether or not a basic semianalytic set is basic semialgebraic. Finally, they use the preceding results to discuss the effect on basicness of birational transformations.

In the introductory section, we review the formulation of the Korteweg-de Vries (KdV) equation and of the modified KdV (mKdV) equation as a compatibility condition for a Lax pair of linear operators. We then illustrate Miura's transformation, which maps solutions of the mKdV into solutions of the KdV. We then give a general overview of the concept of soliton solutions relative to general backgrounds, and of the single and double commutation methods. Finally, we present the main results of the article. To avoid the clutter of too many technical details, the paper is organized in four sections and five appendices.