Surface flow phenomena, such as rain water flowing down a tree trunk and progressive water front in a shower room, are common in real life. However, compared with the 3D spatial fluid flow, these surface flow problems have been much less studied in the graphics community. To tackle this research gap, we present an efficient, robust and high-fidelity simulation approach based on the shallow-water equations. Specifically, the standard shallow-water flow model is extended to general triangle meshes with a feature-based bottom friction model, and a series of coherent mathematical formulations are derived to represent the full range of physical effects that are important for real-world surface flow phenomena. In addition, by achieving compatibility with existing 3D fluid simulators and by supporting physically realistic interactions with multiple fluids and solid surfaces, the new model is flexible and readily extensible for coupled phenomena. A wide range of simulation examples are presented to demonstrate the performance of the new approach.

In this paper, we prove a conjecture of Kottwitz and Rapoport on a union of (generalized) affine Deligne-Lusztig varieties $X(\mu, b)_J$ for a $p$-adic group $G$ and its parahoric subgroup $P_J$. We show that $X(\mu, b)_J \neq \emptyset$ if and only if the group-theoretic version of Mazur's inequality is satisfied. In the process, we obtain a generalization of Grothendieck's conjecture on the closure relation of $\s$-conjugacy classes of a twisted loop group.

In this paper, the dual Orlicz curvature measure is proposed and its basic properties are provided. A variational formula for the dual Orlicz-quermassintegral is established in order to give a geometric interpretation of the dual Orlicz curvature measure. Based on the established variational formula, a solution to the dual Orlicz-Minkowski problem regarding the dual Orlicz curvature measure is provided.

No abstract uploaded!

We introduce a new equivalence relation for complete alge- braic varieties with canonical singularities, generated by birational equivalence, by flat algebraic deformations (of varieties with canon- ical singularities), and by quasi-´etale morphisms, i.e., morphisms which are unramified in codimension 1. We denote the above equivalence by A.Q.E.D. : = Algebraic-Quasi-´ Etale- Deformation. A completely similar equivalence relation, denoted by C-Q.E.D., can be considered for compact complex spaces with canonical sin- gularities. By a recent theorem of Siu, dimension and Kodaira dimension are invariants for A.Q.E.D. of complex varieties. We address the interesting question whether conversely two al- gebraic varieties of the same dimension and with the same Ko- daira dimension are Q.E.D. - equivalent (A.Q.E.D., or at least C-Q.E.D.), the answer being positive for curves by well known results. Using Enriques’ (resp. Kodaira’s) classification we show first that the answer to the C-Q.E.D. question is positive for special algebraic surfaces (those with Kodaira dimension at most 1), resp. for compact complex surfaces with Kodaira dimension 0, 1 and even first Betti number. The appendix by S¨onke Rollenske shows that the hypothesis of even first Betti number is necessary: he proves that any sur- face which is C-Q.E.D.-equivalent to a Kodaira surface is itself a Kodaira surface. We show also that the answer to the A.Q.E.D. question is pos- itive for complex algebraic surfaces of Kodaira dimension ≤ 1. The answer to the Q.E.D. question is instead negative for sur- faces of general type: the other appendix, due to Fritz Grunewald, is devoted to showing that the (rigid) Kuga-Shavel type surfaces of general type obtained as quotients of the bidisk via discrete groups constructed from quaternion algebras belong to countably many distinct Q.E.D. equivalence classes.