We investigate whether a Stein manifold$M$which allows proper holomorphic embedding into ℂ^{$n$}can be embedded in such a way that the image contains a given discrete set of points and in addition follow arbitrarily close to prescribed tangent directions in a neighbourhood of the discrete set. The infinitesimal version was proven by Forstnerič to be always possible. We give a general positive answer if the dimension of$M$is smaller than$n$/2 and construct counterexamples for all other dimensional relations. The obstruction we use in these examples is a certain hyperbolicity condition.

In this continuation of [L-Y1],[LLSY],[L-Y2], and [L-Y3](arXiv: 0709.1515 [math. AG], arXiv: 0809.2121 [math. AG], arXiv: 0901.0342 [math. AG], arXiv: 0907.0268 [math. AG]), we study D-branes in a target-space with a fixed B -field background B along the line of the Polchinski-Grothendieck Ansatz, explained in [L-Y1] and further extended in the current work. We focus first on the gauge-field-twist effect of B -field to the Chan-Paton module on D-branes. Basic properties of the moduli space of D-branes, as morphisms from Azumaya schemes with a twisted fundamental module to B , are given. For holomorphic D-strings, we prove a valuation-criterion property of this moduli space. The setting is then extended to take into account also the deformation-quantization-type noncommutative geometry effect of B -field to both the D-brane world-volume and the superstring target-space (-time) B . This brings the notion of twisted B -modules that are realizable as twisted locally-free coherent modules with a flat connection into the study. We use this to realize the notion of both the classical and the quantum spectral covers as morphisms from Azumaya schemes with a fundamental module (with a flat connection in the latter case) in a very special situation. The 3rd theme (subtitled" Sharp vs. Polchinski-Grothendieck") of Sec. 2.2 is to be read with the work [Sh3](arXiv: hep-th/0102197) of Sharp while Sec. 5.2 (subtitled less appropriately" Dijkgraaf-Holland-Sukowski-Vafa vs. Polchinski-Grothendieck") is to be read with the related sections in [DHSV](arXiv: 0709.4446 [hep-th]) and [DHS](arXiv: 0810.4157 [hep-th]) of Dijkgraaf, Hollands, Sukowski, and Vafa.

The main results of this paper involve general algebraic differentials ω on a general pencil of algebraic curves. We show how to determine whether ω is integrable in elementary terms for infinitely many members of the pencil. In particular, this corrects an assertion of James Davenport from 1981 and provides the first proof, even in rather strengthened form. We also indicate analogies with work of Andre and Hrushovski and with the Grothendieck–Katz Conjecture. To reach this goal, we first provide proofs of independent results which extend conclusions of relative Manin–Mumford type allied to the Zilber–Pink conjectures: we characterise torsion points lying on a general curve in a general abelian scheme of arbitrary relative dimension at least 2. In turn, we present yet another application of the latter results to a rather general pencil of Pell equations A^2−DB^2=1 over a polynomial ring. We determine whether the Pell equation (with squarefree D) is solvable for infinitely many members of the pencil.

Quon language is a 3D picture language that we can apply to simulate mathematical concepts. We introduce the surface algebras as an extension of the notion of planar algebras to higher genus surface. We prove that there is a unique one-parameter extension. The 2D defects on the surfaces are quons, and surface tangles are transformations. We use quon language to simulate graphic states that appear in quantum information, and to simulate interesting quantities in modular tensor categories. This simulation relates the pictorial Fourier duality of surface tangles and the algebraic Fourier duality induced by the S matrix of the modular tensor category. The pictorial Fourier duality also coincides with the graphic duality on the sphere. For each pair of dual graphs, we obtain an algebraic identity related to the S matrix. These identities include well-known ones, such as the Verlinde formula; partially known ones, such as the 6j-symbol self-duality; and completely new ones.

Thetransmissioneigenvalueproblem,besidesitscriticalroleininversescattering problems, deserves special interest of its own due to the fact that the corresponding differen- tial operator is neither elliptic nor self-adjoint. In this paper, we provide a spectral analysis and propose a novel iterative algorithm for the computation of a few positive real eigen- values and the corresponding eigenfunctions of the transmission eigenvalue problem. Based on approximation using continuous finite elements, we first derive an associated symmetric quadratic eigenvalue problem (QEP) for the transmission eigenvalue problem to eliminate the nonphysical zero eigenvalues while preserve all nonzero ones. In addition, the derived QEP enables us to consider more refined discretization to overcome the limitation on the number of degrees of freedom. We then transform the QEP to a parameterized symmet- ric definite generalized eigenvalue problem (GEP) and develop a secant-type iteration for solving the resulting GEPs. Moreover, we carry out spectral analysis for various existence intervals of desired positive real eigenvalues, since a few lowest positive real transmission eigenvalues are of practical interest in the estimation and the reconstruction of the index of refraction. Numerical experiments show that the proposed method can find those desired smallest positive real transmission eigenvalues accurately, efficiently, and robustly.