We study the tropical lines contained in smooth tropical surfaces in ℝ^{3}. On smooth tropical quadric surfaces we find two one-dimensional families of tropical lines, like in classical algebraic geometry. Unlike the classical case, however, there exist smooth tropical surfaces of any degree with infinitely many tropical lines.

By the integral method, we prove that any space-like entire graphic self-shrinking solution to Lagrangian mean curvature flow in $\mathbb{R}^{2n}_{n}$ with the indefinite metric $\sum_i dx_idy_i$ is flat. This result improves the previous ones in [9] and [1] by removing the additional assumption in their results. In a similar manner, we reprove its Euclidean counterpart which is established in [1].

We construct faithful actions of quantum permutation groups on connected compact metrizable spaces. This disproves a conjecture of Goswami.

An irreducible integrable connection (E,∇) on a smooth projective complex variety X is called rigid if it gives rise to an isolated point of the corresponding moduli space M_{dR}(X). According to Simpson’s motivicity conjecture, irreducible rigid flat connections are of geometric origin, that is, arise as subquotients of a Gauss-Manin connection of a family of smooth projective varieties defined on an open dense subvariety of X. In this article we study mod-p reductions of irreducible rigid connections and establish results which confirm Simpson’s prediction. In particular, for large p, we prove that p-curvatures of mod-p reductions of irreducible rigid flat connections are nilpotent, and building on this result, we construct an F-isocrystalline realization for irreducible rigid flat connections. More precisely, we prove that there exist smooth models X_R and (E_R,∇_R) of X and (E,∇), over a finite-type ring R, such that for every Witt ring W(k) of a finite field k and every homomorphism R→W(k), the p-adic completion of the base change (\hat E_{W(k)}, \hat ∇_{W(k)}) on \hat X_{W(k)} represents an F-isocrystal. Subsequently, we show that irreducible rigid flat connections with vanishing p-curvatures are unitary. This allows us to prove new cases of the Grothendieck–Katz p-curvature conjecture. We also prove the existence of a complete companion correspondence for F-isocrystals stemming from irreducible cohomologically rigid connections.

We study analytic properties of harmonic maps from Riemannian polyhedra into CAT(κ) spaces for κ∈{0,1}. Locally, on each top-dimensional face of the domain, this amounts to studying harmonic maps from smooth domains into CAT(κ) spaces. We compute a target variation formula that captures the curvature bound in the target, and use it to prove an Lp Liouville-type theorem for harmonic maps from admissible polyhedra into convex CAT(κ) spaces. Another consequence we derive from the target variation formula is the Eells–Sampson Bochner formula for CAT(1) targets.