Stability theory, permutations of indiscernibles, and embedded finite models

We show that the expressive power of first-order logic over finite models embedded in a model is determined by stability-theoretic properties of . In particular, we show that if is stable, then every class of finite structures that can be defined by embedding the structures in , can be defined in pure first-order logic. We also show that if does not have the independence property, then any class of finite structures that can be defined by embedding the structures in , can be defined in first-order logic over a dense linear order. This extends known results on the definability of classes of finite structures and ordered finite structures in the setting of embedded finite models. These results depend on several results in infinite model theory. Let be a set of indiscernibles in a model and suppose is elementarily equivalent to where is -saturated. If is stable and is saturated, then every permutation of extends to an automorphism of and the theory of is stable. Let be a sequence of -indiscernibles in a model , which does not have the independence property, and suppose is elementarily equivalent to where is a complete dense linear order and is -saturated. Then -types over are order-definable and if is -saturated, every order preserving permutation of can be extended to a back-and-forth system.

     

A reduced Tits quadratic form and tameness of three-partite subamalgams of tiled orders

Let be a complete discrete valuation domain with the unique maximal ideal . We suppose that is an algebra over an algebraically closed field and . Subamalgam -suborders of a tiled -order are studied in the paper by means of the integral Tits quadratic form . A criterion for a subamalgam -order to be of tame lattice type is given in terms of the Tits quadratic form and a forbidden list of minor -suborders of presented in the tables.

     

Intersection theory on non-commutative surfaces

Consider a non-commutative algebraic surface, , and an effective divisor on , as defined by Van den Bergh. We show that the Riemann-Roch theorem, the genus formula, and the self intersection formula from classical algebraic geometry generalize to this setting.

We also apply our theory to some special cases, including the blow up of in a point, and show that the self intersection of the exceptional divisor is . This is used to give an example of a non-commutative surface with a commutative which cannot be blown down, because its self intersection is rather than . We also get some results on Hilbert polynomials of modules on .

     

Rigidity of Coxeter groups

Let be a Coxeter group acting properly discontinuously and cocompactly on manifolds and such that the fixed point sets of finite subgroups are contractible. Let be a -homotopy equivalence which restricts to a -homeomorphism on the boundary. Under an assumption on the three dimensional fixed point sets, we show that then is -homotopic to a -homeomorphism.     

Local differentiability of distance functions

Recently Clarke, Stern and Wolenski characterized, in a Hilbert space, the closed subsets for which the distance function is continuously differentiable everywhere on an open ``tube' of uniform thickness around . Here a corresponding local theory is developed for the property of being continuously differentiable outside of on some neighborhood of a point . This is shown to be equivalent to the prox-regularity of at , which is a condition on normal vectors that is commonly fulfilled in variational analysis and has the advantage of being verifiable by calculation. Additional characterizations are provided in terms of being locally of class or such that is convex around for some 0$">. Prox-regularity of at corresponds further to the normal cone mapping having a hypomonotone truncation around , and leads to a formula for by way of . The local theory also yields new insights on the global level of the Clarke-Stern-Wolenski results, and on a property of sets introduced by Shapiro, as well as on the concept of sets with positive reach considered by Federer in the finite dimensional setting.

     

Extending partial automorphisms and the profinite topology on free groups

A class of structures is said to have the extension property for partial automorphisms (EPPA) if, whenever and are structures in , finite, , and are partial automorphisms of extending to automorphisms of , then there exist a finite structure in and automorphisms of extending the . We will prove that some classes of structures have the EPPA and show the equivalence of these kinds of results with problems related with the profinite topology on free groups. In particular, we will give a generalisation of the theorem, due to Ribes and Zalesskii stating that a finite product of finitely generated subgroups is closed for this topology.

     

Schauder estimates for equationswith fractional derivatives

The equation where and are fractional derivatives of order and is studied. It is shown that if , , and are Hölder-continuous and , then there is a solution such that and are Hölder-continuous as well. This is proved by first considering an abstract fractional evolution equation and then applying the results obtained to (). Finally the solution of () with is studied.     

Geometry of Banach spaces having shrinking approximations of the identity

Let and let be a compact set of scalars. We introduce property of Banach spaces by the requirement that whenever is a bounded net converging weak to in and . Using with 1$">, we characterize the existence of certain shrinking approximations of the identity (in particular, those related to -, -, and -ideals of compact or approximable operators). We also show that the existence of these approximations of the identity is separably determined.

     

Infinite convolution products and refinable distributions on Lie groups

Sufficient conditions for the convergence in distribution of an infinite convolution product of measures on a connected Lie group with respect to left invariant Haar measure are derived. These conditions are used to construct distributions that satisfy where is a refinement operator constructed from a measure and a dilation automorphism . The existence of implies is nilpotent and simply connected and the exponential map is an analytic homeomorphism. Furthermore, there exists a unique minimal compact subset such that for any open set containing and for any distribution on with compact support, there exists an integer such that implies If is supported on an -invariant uniform subgroup then is related, by an intertwining operator, to a transition operator on Necessary and sufficient conditions for to converge to , and for the -translates of to be orthogonal or to form a Riesz basis, are characterized in terms of the spectrum of the restriction of to functions supported on

     

A condition for the stability of -covered on foliations of 3-manifolds

We give a sufficient condition for a codimension one, transversely orientable foliation of a closed 3-manifold to have the property that any foliation sufficiently close to it be -covered. This condition can be readily verified for many examples. Further, if an -covered foliation has a compact leaf , then any transverse loop meeting lifts to a copy of the leaf space, and the ambient manifold fibers over with as fiber.

     

Jones index theory by Hilbert C-bimodules and K-theory

In this paper we introduce the notion of Hilbert -bimodules, replacing the associativity condition of two-sided inner products in Rieffel's imprimitivity bimodules by a Pimsner-Popa type inequality. We prove Schur's Lemma and Frobenius reciprocity in this setting. We define minimality of Hilbert -bimodules and show that tensor products of minimal bimodules are also minimal. For an - bimodule which is compatible with a trace on a unital -algebra , its dimension (square root of Jones index) depends only on its -class. Finally, we show that the dimension map transforms the Kasparov products in to the product of positive real numbers, and determine the subring of generated by the Hilbert -bimodules for a -algebra generated by Jones projections.

     

Homology manifold bordism

The Bryant-Ferry-Mio-Weinberger surgery exact sequence for compact homology manifolds of dimension is used to obtain transversality, splitting and bordism results for homology manifolds, generalizing previous work of Johnston.

First, we establish homology manifold transversality for submanifolds of dimension : if is a map from an -dimensional homology manifold to a space , and is a subspace with a topological -block bundle neighborhood, and , then is homology manifold -cobordant to a map which is transverse to , with an -dimensional homology submanifold.

Second, we obtain a codimension splitting obstruction in the Wall -group for a simple homotopy equivalence from an -dimensional homology manifold to an -dimensional Poincaré space with a codimension Poincaré subspace with a topological normal bundle, such that if (and for only if) splits at up to homology manifold -cobordism.

Third, we obtain the multiplicative structure of the homology manifold bordism groups .

     

A generalized Brauer construction and linear source modules

For a complete discrete valuation ring with residue field , a subgroup of a finite group and a homomorphism , we define a functor from the category of -modules to the category of -modules and investigate its behaviour with respect to linear source modules.     

-theory of projective Stiefel manifolds

Using the Hodgkin spectral sequence we calculate , the complex -theory of the projective Stiefel manifold , for even. For odd, we are only able to calculate , but this is sufficient to determine the order of the complexified Hopf bundle over .

     

On the stable module category of a self-injective algebra

Let be a finite-dimensional self-injective algebra. We study the dimensions of spaces of stable homomorphisms between indecomposable -modules which belong to Auslander-Reiten components of the form or . The results are applied to representations of finite groups over fields of prime characteristic, especially blocks of wild representation type.     

Positive definite spherical functions on Olshanskii domains

Let be a simply connected complex Lie group with Lie algebra , a real form of , and the analytic subgroup of corresponding to . The symmetric space together with a -invariant partial order is referred to as an Olshanskii space. In a previous paper we constructed a family of integral spherical functions on the positive domain of . In this paper we determine all of those spherical functions on which are positive definite in a certain sense.

     

Trees and valuation rings

A subring of a division algebra is called a valuation ring of if or holds for all nonzero in . The set of all valuation rings of is a partially ordered set with respect to inclusion, having as its maximal element. As a graph is a rooted tree (called the valuation tree of ), and in contrast to the commutative case, may have finitely many but more than one vertices. This paper is mainly concerned with the question of whether each finite, rooted tree can be realized as a valuation tree of a division algebra , and one main result here is a positive answer to this question where can be chosen as a quaternion division algebra over a commutative field.

     

The characters of the generalized Steinberg representations of finite general linear groups on the regular elliptic set

Let be a finite field, the degree extension of , and the general linear group with entries in . This paper studies the ``generalized Steinberg" (GS) representations of and proves the equivalence of several different characterizations for this class of representations. As our main result we show that the union of the class of cuspidal and GS representations of is in natural one-one correspondence with the set of Galois orbits of characters of , the regular orbits of course corresponding to the cuspidal representations. Besides using Green's character formulas to define GS representations, we characterize GS representations by associating to them idempotents in certain commuting algebras corresponding to parabolic inductions and by showing that GS representations are the sole components of these induced representations which are ``generic" (have Whittaker vectors).