Related papers: Recent developments of the Uniform Mordell-Lang Co…
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…
In this note we prove that the crepant transformation conjecture for a crepant birational transformation of Lawrence toric DM stacks studied in \cite{CIJ} implies the monodromy conjecture for the associated wall crossing of the symplectic…
This article surveys some recent developments on the cohomology of the compactified Jacobian associated with a locally planar integral curve. Topics discussed here include the Ng\^o support theorem, the perverse filtration, connections to…
Shape constraints yield flexible middle grounds between fully nonparametric and fully parametric approaches to modeling distributions of data. The specific assumption of log-concavity is motivated by applications across economics, survival…
The purpose of this note is to explain that the combinatorial local log-concavity conjecture introduced by Gross, Mansour, Tucker and Wang (Eur. J. Comb. 52, 207-222, 2016) in fact follows from a result of Stanley (Eur. J. Comb. 32 (6),…
We establish a reversal of Lyapunov's inequality for monotone log-concave sequences, settling a conjecture of Havrilla-Tkocz and Melbourne-Tkocz. A strengthened version of the same conjecture is disproved through counter example. We also…
We classify all closed, aspherical Riemannian manifolds M whose universal cover has indiscrete isometry group. One sample application is the theorem that any such M with word-hyperbolic fundamental group must be isometric to a negatively…
This is the first in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global confor- mal invariants"; these are defined to be conformally invariant integrals of geometric scalars.…
We introduce a new method for studying the Baum-Connes conjecture, which we call the direct splitting method. The method can simplify and clarify proofs of some of the known cases of the conjecture. In a separate paper, with J. Brodzki, E.…
In a recent work [2] with Datta, we introduced the mu vector (with respect to a given field) of simplicial complexes and used it to study tightness and lower bounds. In this paper, we modify the definition of mu vectors. With the new…
This is the text of my lecture (in french) at the Bourbaki Seminar (november 2003) on the proof by Claire Voisin of the Green conjecture for a generic curve. This conjecture predicts the structure of the minimal resolution of the ideal of a…
We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)
The article deals with a simplified proof of the Sobolev embedding theorem for Lizorkin--Triebel spaces (that contain the $L_p$-Sobolev spaces $H^s_p$ as special cases). The method extends to a proof of the corresponding fact for general…
In this paper, we study the extended Hamilton-Jacobi Theory in the context of dynamical systems with symmetries. Given an action of a Lie group $G$ on a manifold $M$ and a $G$-invariant vector field $X$ on $M$, we construct complete…
Using the author's inversion formula for automorphisms of the Weyl algebras with polynomial coefficients and the bound on its degree a slightly shorter (algebraic) proof is given of the result of A. Belov-Kanel and M. Kontsevich that the…
Let $U$ be an affine log Calabi-Yau variety containing an open algebraic torus. We show that the naive counts of rational curves in $U$ uniquely determine a commutative associative algebra equipped with a compatible multilinear form. This…
The Ghahramani-Lau conjecture is established; in other words, the measure algebra of every locally compact group is strongly Arens irregular. To this end, we introduce and study certain new classes of measures (called approximately…
The main purpose of this paper is to modify the orbit method for the Baum-Connes conjecture as developed by Chabert, Echterhoff and Nest in their proof of the Connes-Kasparov conjecture for almost connected groups \cite{MR2010742} in order…
The said paper [2] entitled "Proof Of Two Dimensional Jacobian Conjecture" is with gaps.
We prove quantitative versions of Borel and Harish-Chandra's theorems on reduction theory for arithmetic groups. Firstly, we obtain polynomial bounds on the lengths of reduced integral vectors in any rational representation of a reductive…