The numerical approximation of high-frequency wave propagation in inhomogeneous media is a challenging problem. In particular, computing high-frequency solutions by direct simulations requires several points per wavelength for stability and usually requires many points per wavelength for a satisfactory accuracy. In this paper, we propose a new method for the acoustic wave equation in inhomogeneous media in the time domain to achieve superior accuracy and stability without using a large number of unknowns. The method is based on a discontinuous Galerkin discretization together with carefully chosen basis functions. To obtain the basis functions, we use the idea from geometrical optics and construct the basis functions by using the leading order term in the asymptotic expansion. Also, we use a wavefront tracking method and a dimension reduction procedure to obtain dominant rays in each cell. We show

Suppose V^G is the fixed-point vertex operator subalgebra of a compact group G acting on a simple abelian intertwining algebra V. We show that if all irreducible V^G-modules contained in V live in some braided tensor category of V^G-modules, then they generate a tensor subcategory equivalent to the category Rep G of finite-dimensional representations of G, with associativity and braiding isomorphisms modified by the abelian 3-cocycle defining the abelian intertwining algebra structure on V. Additionally, we show that if the fusion rules for the irreducible V^G-modules contained in V agree with the dimensions of spaces of intertwiners among G-modules, then the irreducibles contained in V already generate a braided tensor category of V^G-modules. These results do not require rigidity on any tensor category of V^G-modules and thus apply to many examples where braided tensor category structure is known to exist but rigidity is not known; for example they apply when V^G is C_2-cofinite but not necessarily rational. When V^G is both C_2-cofinite and rational and V is a vertex operator algebra, we use the equivalence between Rep G and the corresponding subcategory of V^G-modules to show that V is also rational. As another application, we show that a certain category of modules for the Virasoro algebra at central charge 1 admits a braided tensor category structure equivalent to Rep SU(2), up to modification by an abelian 3-cocycle.

No abstract uploaded!

We prove a formula which relates Euler characteristic of moduli spaces of stable pairs on local K3 surfaces to counting invariants of semistable sheaves on them. Our formula generalizes KawaiYoshioka’s formula for stable pairs with irreducible curve classes to arbitrary curve classes. We also propose a conjectural multiple cover formula of sheaf counting invariants which, combined with our main result, leads to an Euler characteristic version of KatzKlemm-Vafa conjecture for stable pairs.

We construct noncompact solutions to the affine normal flow of hypersurfaces, and show that all ancient solutions must be either ellipsoids (shrinking solitons) or paraboloids (translating solitons). We also provide a new proof of the existence of a hyperbolic affine sphere asymptotic to the boundary of a convex cone containing no lines, which is originally due to Cheng-Yau. The main techniques are local second-derivative estimates for a parabolic Monge-Amp`ere equation modeled on those of Ben Andrews and Guti´errez-Huang, a decay estimate for the cubic form under the affine normal flow due to Ben Andrews, and a hypersurface barrier due to Calabi.