We propose a simple finite difference scheme for Navier--Stokes equations in primitive formulation on curvilinear domains. With proper boundary treatment and interplay between covariant and contravariant components, the spatial discretization admits exact Hodge decomposition and energy identity. As a result, the pressure can be decoupled from the momentum equation with explicit time stepping. No artificial pressure boundary condition is needed. In addition, it can be shown that this spatially compatible discretization leads to uniform inf-sup condition, which plays a crucial role in the pressure approximation of both dynamic and steady state calculations. Numerical experiments demonstrate the robustness and efficiency of our scheme.

Let X be an algebraic variety and let S be a tropical variety associated to X. We study the tropicalization map from the moduli space of stable maps into X to the moduli space of tropical curves in S. We prove that it is a continuous map and that its image is compact and polyhedral. Loosely speaking, when we deform algebraic curves in X, the associated tropical curves in S deform continuously; moreover, the locus of realizable tropical curves inside the space of all tropical curves is compact and polyhedral. Our main tools are Berkovich spaces, formal models, balancing conditions, vanishing cycles and quantifier elimination for rigid subanalytic sets.

No abstract uploaded!

No abstract uploaded!

We study cluster categories arising from marked surfaces (with punctures and nonempty boundaries). By constructing skewed-gentle algebras, we show that there is a bijection between tagged curves and string objects. Applications include interpreting dimensions of Ext1 as intersection numbers of tagged curves and Auslander-Reiten translation as tagged rotation. An important consequence is that the cluster(-tilting) exchange graphs of such cluster categories are connected.