Profinite and pro- completions of Poincaré duality groups of dimension 3

We establish some sufficient conditions for the profinite and pro- completions of an abstract group of type (resp. of finite cohomological dimension, of finite Euler characteristic) to be of type over the field for a fixed natural prime (resp. of finite cohomological -dimension, of finite Euler -characteristic).

We apply our methods for orientable Poincaré duality groups of dimension 3 and show that the pro- completion of is a pro- Poincaré duality group of dimension 3 if and only if every subgroup of finite index in has deficiency 0 and is infinite. Furthermore if is infinite but not a Poincaré duality pro- group, then either there is a subgroup of finite index in of arbitrary large deficiency or is virtually . Finally we show that if every normal subgroup of finite index in has finite abelianization and the profinite completion of has an infinite Sylow -subgroup, then is a profinite Poincaré duality group of dimension 3 at the prime .

     

Free lines for homeomorphisms of the open annulus

Let be a homeomorphism of the open annulus isotopic to the identity and let be a lift of to the universal cover without fixed point. Then we show that admits a Brouwer line which is a lift of a properly imbedded line joining one end to the other in the annulus or admits a free essential simple closed curve.

     

Equilibriums of some non-Hölder potentials

We consider one-sided subshifts with some potential functions which satisfy the Hölder condition everywhere except at a fixed point and its preimages. We prove that the systems have conformal measures and invariant measures absolutely continuous with respect to , where may be finite or infinite. We show that the systems are exact, and are weak Gibbs measures and equilibriums for . We also discuss uniqueness of equilibriums and phase transition.

These results can be applied to some expanding dynamical systems with an indifferent fixed point.

     

Asymptotics for discrete weighted minimal Riesz energy problems on rectifiable sets

Given a closed -rectifiable set embedded in Euclidean space, we investigate minimal weighted Riesz energy points on ; that is, points constrained to and interacting via the weighted power law potential , where is a fixed parameter and is an admissible weight. (In the unweighted case () such points for fixed tend to the solution of the best-packing problem on as the parameter .) Our main results concern the asymptotic behavior as of the minimal energies as well as the corresponding equilibrium configurations. Given a distribution with respect to -dimensional Hausdorff measure on , our results provide a method for generating -point configurations on that are ``well-separated' and have asymptotic distribution as .

     

Conformal energy, conformal Laplacian, and energy measures on the Sierpinski gasket

On the Sierpinski Gasket (SG) and related fractals, we define a notion of conformal energy and conformal Laplacian for a given conformal factor , based on the corresponding notions in Riemannian geometry in dimension . We derive a differential equation that describes the dependence of the effective resistances of on . We show that the spectrum of (Dirichlet or Neumann) has similar asymptotics compared to the spectrum of the standard Laplacian, and also has similar spectral gaps (provided the function does not vary too much). We illustrate these results with numerical approximations. We give a linear extension algorithm to compute the energy measures of harmonic functions (with respect to the standard energy), and as an application we show how to compute the dimensions of these measures for integer values of . We derive analogous linear extension algorithms for energy measures on related fractals.

     

On the unique representation of families of sets

Let and be uncountable Polish spaces. represents a family of sets provided each set in occurs as an -section of . We say that uniquely represents provided each set in occurs exactly once as an -section of . is universal for if every -section of is in . is uniquely universal for if it is universal and uniquely represents . We show that there is a Borel set in which uniquely represents the translates of if and only if there is a Vitali set. Assuming there is a Borel set with all sections sets and all non-empty sets are uniquely represented by . Assuming there is a Borel set with all sections which uniquely represents the countable subsets of . There is an analytic set in with all sections which represents all the subsets of , but no Borel set can uniquely represent the sets. This last theorem is generalized to higher Borel classes.

     

Decomposition numbers for weight three blocks of symmetric groups and Iwahori-Hecke algebras

Let be a field, a non-zero element of and the Iwahori-Hecke algebra of the symmetric group . If is a block of of -weight and the characteristic of is at least , we prove that the decomposition numbers for are all at most . In particular, the decomposition numbers for a -block of of defect are all at most .

     

Equivalence of quotient Hilbert modules-II

For any open, connected and bounded set , let be a natural function algebra consisting of functions holomorphic on . Let be a Hilbert module over the algebra and let be the submodule of functions vanishing to order on a hypersurface . Recently the authors have obtained an explicit complete set of unitary invariants for the quotient module in the case of . In this paper, we relate these invariants to familiar notions from complex geometry. We also find a complete set of unitary invariants for the general case. We discuss many concrete examples in this setting. As an application of our equivalence results, we characterise certain homogeneous Hilbert modules over the bi-disc algebra.

     

Weighted estimates in for Laplace's equation on Lipschitz domains

Let , , be a bounded Lipschitz domain. For Laplace's equation in , we study the Dirichlet and Neumann problems with boundary data in the weighted space , where , is a fixed point on , and denotes the surface measure on . We prove that there exists such that the Dirichlet problem is uniquely solvable if , and the Neumann problem is uniquely solvable if . If is a domain, one may take . The regularity for the Dirichlet problem with data in the weighted Sobolev space is also considered. Finally we establish the weighted estimates with general weights for the Dirichlet and regularity problems.

     

On the essential commutant of QC

Let (QC) (resp. ) be the -algebra generated by the Toeplitz operators QC (resp. ) on the Hardy space of the unit circle. A well-known theorem of Davidson asserts that (QC) is the essential commutant of . We show that the essential commutant of (QC) is strictly larger than . Thus the image of in the Calkin algebra does not satisfy the double commutant relation. We also give a criterion for membership in the essential commutant of (QC).

     

Large orbits in coprime actions of solvable groups

Let be a solvable group of automorphisms of a finite group . If and are coprime, then there exists an orbit of on of size at least . It is also proved that in a -solvable group, the largest normal -subgroup is the intersection of at most three Hall -subgroups.

     

Uniform Sobolev inequalities and absolute continuity of periodic operators

We establish certain uniform inequalities for a family of second order elliptic operators of the form on the -torus, where and is a symmetric, positive definite matrix with real constant entries. Using these Sobolev type inequalities, we obtain the absolute continuity of the spectrum of the periodic Dirac operator on with singular potential. The absolute continuity of the elliptic operator div on with a positive periodic scalar function is also studied.

     

The modal logic of forcing

A set theoretical assertion is forceable or possible, written , if holds in some forcing extension, and necessary, written , if holds in all forcing extensions. In this forcing interpretation of modal logic, we establish that if is consistent, then the ZFC-provable principles of forcing are exactly those in the modal theory .

     

Dimension of families of determinantal schemes

A scheme of codimension is called standard determinantal if its homogeneous saturated ideal can be generated by the maximal minors of a homogeneous matrix and is said to be good determinantal if it is standard determinantal and a generic complete intersection. Given integers and we denote by (resp. ) the locus of good (resp. standard) determinantal schemes of codimension defined by the maximal minors of a matrix where is a homogeneous polynomial of degree .

In this paper we address the following three fundamental problems: To determine (1) the dimension of (resp. ) in terms of and , (2) whether the closure of is an irreducible component of , and (3) when is generically smooth along . Concerning question (1) we give an upper bound for the dimension of (resp. ) which works for all integers and , and we conjecture that this bound is sharp. The conjecture is proved for , and for under some restriction on and . For questions (2) and (3) we have an affirmative answer for and , and for under certain numerical assumptions.

     

Torsion freeness of symmetric powers of ideals

Let be an ideal in a Noetherian commutative ring with unit, let be an integer, and let be the canonical surjective -module homomorphism from the th symmetric power of to the th power of . When or when is a perfect Gorenstein ideal of grade , we provide a necessary and sufficient condition for to be an isomorphism in terms of upper bounds for the minimal number of generators of the localisations of . When is a maximal ideal of we show that is an isomorphism if and only if is a regular local ring. In all three cases for our results yield that if is an isomorphism, then is also an isomorphism for each .

     

Structural interactions of conjugacy closed loops

We study conjugacy closed loops by means of their multiplication groups. Let be a conjugacy closed loop, its nucleus, the associator subloop, and and the left and right multiplication groups, respectively. Put . We prove that the cosets of agree with orbits of , that and that one can define an abelian group on . We also explain why the study of finite conjugacy closed loops can be restricted to the case of nilpotent. Group is shown to be a subgroup of a power of (which is abelian), and we prove that can be embedded into . Finally, we describe all conjugacy closed loops of order .

     

Free boundary regularity close to initial state for parabolic obstacle problem

In this paper we study the behavior of the free boundary , arising in the following complementary problem:

Here denotes the parabolic boundary, is a parabolic operator with certain properties, is the upper half of the unit cylinder in , and the equation is satisfied in the viscosity sense. The obstacle is assumed to be continuous (with a certain smoothness at , ), and coincides with the boundary data at time zero. We also discuss applications in financial markets.

     

Quantum symmetric derivatives

For , a one-parameter family of symmetric quantum derivatives is defined for each order of differentiation as are two families of Riemann symmetric quantum derivatives. For , symmetrization holds, that is, whenever the th Peano derivative exists at a point, all of these derivatives of order also exist at that point. The main result, desymmetrization, is that conversely, for , each symmetric quantum derivative is a.e. equivalent to the Peano derivative of the same order. For and , each th symmetric quantum derivative coincides with both corresponding th Riemann symmetric quantum derivatives, so, in particular, for and , both th Riemann symmetric quantum derivatives are a.e. equivalent to the Peano derivative.