Related papers: Every flat surface is Birkhoff and Oseledets gener…

We show that the continuous \'etale cohomology groups $H^n_{\mathrm{cont}}(X,\mathbf{Z}_l(n))$ of smooth varieties $X$ over a finite field $k$ are spanned as $\mathbf{Z}_l$-modules by the $n$-th Milnor $K$-sheaf locally for the Zariski…

We verify the infinitesimal inversive rigidity of almost all triangulated circle polyhedra in the Euclidean plane $\mathbb{E}^{2}$, as well as the infinitesimal inversive rigidity of tangency circle packings on the $2$-sphere…

In General Relativity, Birkhoff's theorem asserts that any spherically symmetric vacuum solution must be static and asymptotically flat. In this paper, we study the validity of Birkhoff's theorem for a broad class of modified gravity…

We prove several results concerning the existence of surfaces of section for the geodesic flows of closed orientable Riemannian surfaces. The surfaces of section $\Sigma$ that we construct are either Birkhoff sections, meaning that they…

In this article we extend several foundational results of the theory of complete minimal surfaces of finite index in the Euclidean space to minimal surfaces in asymptotically flat manifolds and, more generally, to marginally outer-trapped…

In this paper we prove two theorems. The first one is a structure result that describes the extrinsic geometry of an embedded surface with constant mean curvature (possibly zero) in a homogeneously regular Riemannian three-manifold, in any…

A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee-for a given set of $m$ measures in $\mathbb{R}^d$-the existence of $k$ mutually orthogonal…

We will prove that the Pierce-Birkhoff Conjecture holds for non-singular two-dimensional affine real algebraic varieties over real closed fields, i.e., if W is such a variety, then every piecewise polynomial function on W can be written as…

We introduce two square-tiled surfaces, one with $8$ squares inside $\Omega \mathcal{M}_3(2,2)$, and the other with $9$ squares inside $\Omega \mathcal{M}_4(3,3)$, respectively. In these examples, the dimensions of the isotropic subspaces…

Garret Birkhoff's HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra $\mathbf{B}$ satisfies…

We introduce a new technique for proving the classical Stable Manifold theorem for hyperbolic fixed points. This method is much more geometrical than the standard approaches which rely on abstract fixed point theorems. It is based on the…

We show that every orientable infinite-type surface is properly rigid as a consequence of a more general result. Namely, we prove that if a homotopy equivalence between any two non-compact orientable surfaces is a proper map, then it is…

We study sufficient conditions for the existence of flat subspaces in the space of continuous plurisubharmonic metrics on a polarised complex projective manifold, relying on the generalised Legendre transform to the Okounkov body defined by…

Following the strategy developed by Chodosh, Li, Minter and Stryker, and using the volume estimate of Antonelli and Xu, we prove that, in $\mathbb R^6$, a complete, two-sided, stable minimal hypersurfaces is flat.

In this article we prove that the numerical Grothendieck group of every smooth proper dg category is invariant under primary field extensions, and also that the mod-n algebraic K-theory of every dg category is invariant under extensions of…

Let $G/\Gamma$ be the quotient of a semisimple Lie group by an arithmetic lattice. We show that for reductive subgroups $H$ of $G$ that is large enough, the orbits of $H$ on $G/\Gamma$ intersect nontrivially with a fixed compact set. As a…

In this paper, we study rigidity problems between Lyapunov exponents along periodic orbits and geometric structures. More specifically, we prove that for a surface M without focal points, if the value of the Lyapunov exponents is constant…

We introduce the notion of topological hyperbolicity to characterize the largeness of the topological fundamental group of a complex variety. Inspired by the Shafarevich conjecture, we propose to study the topological hyperbolicity of…

Minding's most celebrated result is his namesake theorem of 1839 which established that all surfaces having the same constant curvature must be locally isometric. Today, Minding's theorem is a staple in differential geometry textbooks. But,…

We show the following geometric generalization of a classical theorem of W.H. Gottschalk and G.A. Hedlund: a skew action induced by a cocycle of (affine) isometries of a Hilbert space over a minimal dynamics has a continuous invariant…