Related papers: Manifold-based Proving Methods in Projective Geome…

This paper is devoted to the study of a newly introduced tool, projectional coderivatives and the corresponding calculus rules in finite dimensions. We show that when the restricted set has some nice properties, more specifically, is a…

Two proofs of the Koml\'os-Major-Tusn\'ady embedding theorems, one for the uniform empirical process and one for the simple symmetric random walk, are given. More precisely, what are proved are the univariate coupling results needed in the…

We classify edge-to-edge tilings of the sphere by congruent almost equilateral pentagons, in which four edges have the same length. Together with our earlier classifications of edge-to-edge tilings of the sphere by congruent equilateral…

In this paper we compare two numerical methods to integrate Riemannian cubic polynomials on the Stiefel manifold $\textbf{St}_{n,k}$. The first one is the adjusted de Casteljau algorithm, and the second one is a symplectic integrator…

Let $({\bf X},\omega_{\bf X}^*)$ be a separated, $-2$-shifted symplectic derived $\mathbb C$-scheme, in the sense of Pantev, Toen, Vezzosi and Vaquie arXiv:1111.3209, of complex virtual dimension ${\rm vdim}_{\mathbb C}{\bf X}=n\in\mathbb…

While classical data analysis has addressed observations that are real numbers or elements of a real vector space, at present many statistical problems of high interest in the sciences address the analysis of data that consist of more…

We introduce new methods for integrating nonlinear differential equations on low-rank manifolds. These methods rely on interpolatory projections onto the tangent space, enabling low-rank time integration of vector fields that can be…

The first part of this paper discusses general procedures for finding numerical approximations to distinguished Kahler metrics, such as Calabi-Yau metrics, on complex projective manifolds. These procedures are closely related to ideas from…

This paper contains an attempt to formulate rigorously and to check predictions in enumerative geometry of curves following from Mirror Symmetry. The main tool is a new notion of stable map. We give an outline of a contsruction of…

In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $\Theta$-graphs. As corollaries of…

We investigate the stronger form of the Bogomolov-Gieseker inequality on smooth hypersurfaces in the projective space of any degree and dimension. The main technical tool is the theory of tilt-stability conditions in the derived category.

These lecture notes introduce conifold transitions between complex threefolds with trivial canonical bundle from the differential geometric point of view, and with a particular view towards aspects of mathematical physics and string theory.…

Given a polarized complex manifold, projection of a torus-equivariant test configuration to holomorphic vector fields was introduced by G. Sz\'ekelyhidi, as the limit of the associated $\mathbb{C}^*$-actions. We show that there actually…

Let $A$ be the one point extension of an algebra $B$ by a projective $B$-module. We prove that the extension of a given support $\tau$-tilting $B$-module is a support $\tau$-tilting $A$-module; and, conversely, the restriction of a given…

The reconstruction theorem deals with dynamical systems that are given by a map $T:X\to X$ of a compact metric space $X$ together with an observable $f:X \to \R$ from $X$ to the real line $\R$. In 1981, by use of Whitney's embedding…

The paper concerns discrete versions of the three well-known results of projective differential geometry: the four vertex theorem, the six affine vertex theorem and the Ghys theorem on four zeroes of the Schwarzian derivative. We study…

We present a geometric theorem on a porism about cyclic quadrilaterals, namely the existence of an infinite number of cyclic quadrilaterals through four fixed collinear points once one exists. Also, a technique of proving such properties…

Any stretching of Ringel's non-Pappus pseudoline arrangement when projected into the Euclidean plane, implicitly contains a particular arrangement of nine triangles. This arrangement has a complex constraint involving the sines of its…

Recently, we developed an automated theorem prover for projective incidence geometry. This prover, based on a combinatorial approach using matroids, proceeds by saturation using the matroid rules. It is designed as an independent tool,…

From descent theory to higher geometry, the idea of gluing has been embedded in many elegant and powerful techniques, proving instrumental for the solution of many problems. In this paper, we introduce a framework that allows to link…