Related papers: An $L^\infty$ Rashevskii-Chow Theorem

We prove the surprising fact that the infinity-category of stabilized Liouville sectors is a localization of an ordinary category of stabilized Liouville sectors and strict sectorial embeddings. From the perspective of homotopy theory, this…

Let $X_1,\cdots,X_m$ be vector fields satisfying H\"ormander's Lie bracket generating condition on a smooth manifold $M$. We generalise Connes's tangent groupoid, by constructing a completion of the space $M\times M\times…

A theorem from control theory relating the Lie algebra generated by vector fields on a manifold to the controllability of the dynamical system is shown to apply to Holonomic Quantum Computation. Conditions for deriving the holonomy algebra…

This note adapts the sophisticated Richberg technique for approximation in pluripotential theory to the $F$-potential theory associated to a general nonlinear convex subequation $F \subset J^2(X)$ on a manifold $X$. The main theorem is the…

Let $\mathscr{F}$ and $\mathscr{G}$ be families of $k$- and $\ell$-dimensional subspaces, respectively, of a given $n$-dimensional vector space over a finite field $\mathbb{F}_q$. Suppose that $x \cap y \ne 0$ for all $x \in \mathscr{F}$…

Rademacher theorem asserts that Lipschitz continuous functions between Euclidean spaces are differentiable almost everywhere. In this work we extend this result to set-valued maps using an adequate notion of set-valued differentiability…

The famous Kepler conjecture has a less spectacular, two-dimensional equivalent: The theorem of Thue states that the densest circle packing in the Euclidean plane has a hexagonal structure. A common proof uses Voronoi cells and analyzes…

We prove Sobolev embedding Theorems with weights for vector bundles in a complete riemannian manifold. We also get general Gaffney's inequality with weights. As a consequence, under a "weak bounded geometry" hypothesis, we improve classical…

We classify the allowed structures of the discrete 1-form gauge sector in six-dimensional supergravity theories realized as F-theory compactifications. This provides upper bounds on the 1-form gauge factors $\mathbb{Z}_m$ and in particular…

Recall that a vector field on an n-dimensional differentiable manifold M is a mapping X defined on M with values in the tangent bundle TM that assigns to each point $x\in M$ a vector X(x) in the tangent space $T_x M$. A vector field may be…

Reider's Theorem on the very ampleness of adjoint linear series on a complex projective algebraic surface is extended in two new directions. First, Reider-type inequalities are shown to imply nefness of linear series of the form dH - E on…

This paper provides a non-standard analogue of Bezout's theorem. This is acheived by showing that, in all characteristics, the notion of Zariski multiplicity coincides with intersection multiplicity when we consider the full families of…

In this paper, we study Lipschitz-Fredholm vector fields on Bounded-Fr\'{e}chet-Finsler manifolds. In this context we generalize the Morse-Sard-Brown theorem, asserting that if $M$ is a connected smooth bounded-Fr\'{e}chet-Finsler manifold…

We generalize Turaev's definition of torsion invariants of pairs $(M,\xi)$, where $M$ is a 3-dimensional manifold and $\xi$ is an Euler structure on $M$ (a non-singular vector field up to homotopy relative to the boundary of $M$ and local…

The article is devoted to the investigation of smoothness of functions $f(x_1,...,x_m)$ of variables $x_1,...,x_m$ in infinite fields with non-trivial multiplicative ultra-norms, where $m\ge 2$. Theorems about classes of smoothness $C^n$ or…

We prove a Frobenius-type theorem for singular distributions generated by a family of locally Lipschitz continuous vector fields satisfying almost everywhere a quantitative finite type condition.

Given a morphism between smooth projective varieties $f: W \to X$, we study whether $f$-relatively free rational curves imply the existence of $f$-relatively very free rational curves. The answer is shown to be positive when the fibers of…

Suppose that $C\subset\mathbb P^2$ is a general enough nodal plane curve of degree $>2$, $\nu\colon \hat C\to C$ is its normalization, and $\pi\colon \hat C\to\mathbb P^1$ is a finite morphism simply ramified over the same set of points as…

We establish a general slice theorem for the action of a locally convex Lie group on a locally convex manifold, which generalizes the classical slice theorem of Palais to infinite dimensions. We discuss two important settings under which…

For a complete Riemannian manifold $M$ with an (1,1)-elliptic Codazzi self-adjoint tensor field $A$ on it, we use the divergence type operator ${L_A}(u): = div(A\nabla u)$ and an extension of the Ricci tensor to extend some major comparison…