We further develop the asymptotic analytic approach to the study of scattering diagrams. We do so by analyzing the asymptotic behavior of Maurer--Cartan elements of a differential graded Lie algebra constructed from a (not-necessarily tropical) monoid-graded Lie algebra. In this framework, we give alternative differential geometric proofs of the consistent completion of scattering diagrams, originally proved by Kontsevich--Soibelman, Gross--Siebert and Bridgeland. We also give a geometric interpretation of theta functions and their wall-crossing. In the tropical setting, we interpret Maurer--Cartan elements, and therefore consistent scattering diagrams, in terms of the refined counting of tropical disks. We also describe theta functions, in both their tropical and Hall algebraic settings, in terms of distinguished flat sections of the Maurer--Cartan-deformed differential. In particular, this allows us to give a combinatorial description of Hall algebra theta functions for acyclic quivers with non-degenerate skew-symmetrized Euler forms.
Deformation quantization and geometric quantization on K\"ahler manifolds give the mathematical description of the algebra of quantum observables and the Hilbert spaces respectively, where the later forms a representation of quantum observables asymptotically via Toeplitz operators. When there is a Hamiltonian $G$-action on a K\"ahler manifold, there are associated symmetries on both the quantum algebra and representation aspects. We show that in nice cases of coadjoint orbits and K\"ahler-Einstein manifolds, these symmetries are strictly compatible (not only asymptotically).
We show the intersection of a compact almost complex subvariety of dimension 4 and a compact almost complex submanifold of codimension 2 is a J-holomorphic curve. This is a generalization of positivity of intersections for J-holomorphic curves in almost complex 4-manifolds to higher dimensions. As an application, we discuss pseudoholomorphic sections of a complex line bundle. We introduce a method to produce J-holomorphic curves using the differential geometry of almost Hermitian manifolds. When our main result is applied to pseudoholomorphic maps, we prove the singularity subset of a pseudoholomorphic map between almost complex 4-manifolds is J-holomorphic. Building on this, we show degree one pseudoholomorphic maps between almost complex 4-manifolds are actually birational morphisms in pseudoholomorphic category.