We will show that for any noncompact arithmetic hyperbolic m-manifold with m>3, and any compact arithmetic hyperbolic m-manifold with m > 4 that is not a 7-dimensional one defined by octonions, its fundamental group is not locally extended residually finite (LERF). The main ingredient in the proof is a study on abelian amalgamations of hyperbolic 3-manifold groups. We will also show that a compact orientable irreducible 3-manifold with empty or tori boundary supports a geometric structure if and only if its fundamental group is LERF.

Using the degeneration formula for Donaldson-Thomas invariants [L-W,MNOP2], we proved formulae for blowing up a point, simple flops, and extremal transitions.

No abstract uploaded!

No abstract uploaded!

We propose an efficient threshold dynamics method for topology optimization for fluids modeled with the Stokes equation. The proposed algorithm is based on minimization of an objective energy function that consists of the dissipation power in the fluid and the perimeter approximated by nonlocal energy, subject to a fluid volume constraint and the incompressibility condition. We show that the minimization problem can be solved with an iterative scheme in which the Stokes equation is approximated by a Brinkman equation. The indicator functions of the fluid-solid regions are then updated according to simple convolutions followed by a thresholding step. We demonstrate mathematically that the iterative algorithm has the total energy decaying property. The proposed algorithm is simple and easy to implement. A simple adaptive time strategy is also used to accelerate the convergence of the iteration. Extensive numerical experiments in both two and three dimensions show that the proposed iteration algorithm is quite robust and converges in much fewer iterations and is more efficient than many existing methods.