相关论文: On Hrushovski's proof of the Manin-Mumford conject…

We conjecture that the exceptional set in Manin's Conjecture has an explicit geometric description. Our proposal includes the rational point contributions from any generically finite map with larger geometric invariants. We prove that this…

In 2005, Abramsky introduced various linear/affine combinatory algebras of partial involutions over a suitable formal language, to discuss reversible computation in a game-theoretic setting. These algebras arise as instances of the general…

We give elementary self-contained proofs of the strong Mason conjecture recently proved by Anari at. al. (arXiv:1811.01600) and Br\"and\'en--Huh (arXiv:1902.03719), and of the classical Alexandrov--Fenchel inequality. Both proofs use the…

We prove a version of the Gindikin-Karpelevich formula for untwisted affine Kac-Moody groups over a local field of positive characteristic. The proof is geometric and it is based on the results of [1] about intersection cohomology of…

We explain how to adapt the methods of Abouzaid-McLean-Smith to the setting of Hamiltonian Floer theory. We develop a language around equivariant ``$\langle k \rangle$-manifolds'', which are a type of manifold-with-corners that suffices to…

We prove an all genera version of the Crepant Resolution Conjecture of Ruan and Bryan-Graber for type A surface singularities. We are based on a method that explicitly computes Hurwitz-Hodge integrals described in an earlier paper and some…

By Rabinowitsch' trick Hilbert's Nullstellensatz follows from the weak Nullstellensatz (Rabinowitsch 1929). The weak version can be shown with elimination theory. Hilbert's original proof is also based on successive elimination. Lasker…

For an optimal modular parametrization $J_0(n) \twoheadrightarrow E$ of an elliptic curve $E$ over $\mathbb{Q}$ of conductor $n$, Manin conjectured the agreement of two natural $\mathbb{Z}$-lattices in the $\mathbb{Q}$-vector space $H^0(E,…

In this paper, we prove the generalised Andr\'e-Pink-Zannier conjecture (an important case of the Zilber-Pink conjecture) for all Shimura varieties of abelian type. Questions of this type were first asked by Y. Andr\'e in 1989. We actually…

We show that the Kuratowski imbedding of a Riemannian manifold in L^\infty, exploited in Gromov's proof of the systolic inequality for essential manifolds, admits an approximation by a (1+C)-bi-Lipschitz (onto its image), finite-dimensional…

A classical theorem, mainly due to Aleksandrov and Pogorelov, states that any Riemannian metric on $S^2$ with curvature $K>-1$ is induced on a unique convex surface in $H^3$. A similar result holds with the induced metric replaced by the…

We show that the strategy of point counting in o-minimal structures can be applied to various problems on unlikely intersections that go beyond the conjectures of Manin-Mumford and Andr\'e-Oort. We verify the so-called Zilber-Pink…

A conjecture of Miyanishi says that an endomorphism of an algebraic variety, defined over an algebraically closed field of characteristic zero, is an automorphism if the endomorphism is injective outside a closed subset of codimension at…

For a Lie algebroid, divergences chosen in a classical way lead to a uniquely defined homology theory. They define also, in a natural way, modular classes of certain Lie algebroid morphisms. This approach, applied for the anchor map,…

This article develops, via the perspective of (arithmetic) algebraic geometry and category theory, different aspects of geometry of information. First, we describe in the terms of Eilenberg--Moore algebras over a Giry monad, the collection…

The title is self-explanatory. We aim to give an easy to read and self-contained introduction to the field of harmonic manifolds. Only basic knowledge of Riemannian geometry is required. After we gave the definition of harmonicity and…

A Kuranishi atlas is a structure used to build a virtual fundamental class on moduli spaces of $J$-holomorphic curves. They were introduced by McDuff and Wehrheim to resolve some of the challenges in this field. This paper completes the…

We prove a unique continuation result for an ill-posed characteristic problem. A model problem of this type occurs in A.D.~Ionescu \& S.~Klainerman article (Theorem 1.1 in \cite{MR2470908}) and we extend their model-result using only…

A conjecture of Mumford predicts a complete set of relations between the generators of the cohomology ring of the moduli space of rank 2 semi-stable sheaves with fixed odd degree determinant on a smooth, projective curve of genus at least…

It is shown that a Hamiltonian system in the neighbourhood of an equilibrium may be given a special normal form in case the eigenvalues of the linearized system satisfy non--resonance conditions of Melnikov's type. The normal form possesses…