We study the unconstrained (free) motion of an elastic solid B in a Navier-Stokes liquid L occupying the whole space outside B, under the assumption that a constant body force b is acting on B. More specifically, we are interested in the steady motion of the coupled system {B,L}, which means that there exists a frame with respect to which the relevant governing equations possess a time-independent solution. We prove the existence of such a frame, provided some smallness restrictions are imposed on the physical parameters, and the reference configuration of B satisfies suitable geometric properties.

The authors consider the time-dependent Schrödinger equation on a Riemannian manifold with a potential that localizes a certain subspace of states close to a fixed submanifold . When the authors scale the potential in the directions normal to by a parameter , the solutions concentrate in an -neighborhood of . This situation occurs for example in quantum wave guides and for the motion of nuclei in electronic potential surfaces in quantum molecular dynamics. The authors derive an effective Schrödinger equation on the submanifold and show that its solutions, suitably lifted to , approximate the solutions of the original equation on up to errors of order at time . Furthermore, the authors prove that the eigenvalues of the corresponding effective Hamiltonian below a certain energy coincide up to errors of order with those of the full Hamiltonian under reasonable conditions.

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where countable is replaced by uncountable. They explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. They also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. The authors' results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.

In general, little is known about the representation theory of quantum groups (resp., algebraic groups) when l (resp., p ) is smaller than the Coxeter number h of the underlying root system. For example, Lusztig's conjecture concerning the characters of the rational irreducible G -modules stipulates that p=h. The main result in this paper provides a surprisingly uniform answer for the cohomology algebra H (u ? ,C) of the small quantum group.

The structure space of a closed topological -manifold classifies bundles whose fibers are closed -manifolds equipped with a homotopy equivalence to . The authors construct a highly connected map from to a concoction of algebraic -theory and algebraic -theory spaces associated with . The construction refines the well-known surgery theoretic analysis of the block structure space of in terms of -theory.

In particular, for b = 1 and λ = 0, we find a sharp condition on h such that the origin is a removable singularity for all non-negative solutions of [[eqref]]one, thus addressing an open question of Vázquez and Véron.