Related papers: The Charney-Davis conjecture for certain subdivisi…
Addressing a question of Shioya, we show that two-step iterations of the Laver collapse can force saturated ideals and Chang conjectures.
We upgrade Howard's divisibility towards Perrin-Riou's Heegner point main conjecture to the predicted equality. Contrary to previous works in this direction, our main result allows for the classical Heegner hypothesis and non-squarefree…
In this paper, we introduce a new generalized derivative, which we term the specular derivative. We establish the Quasi-Rolles' Theorem, the Quasi-Mean Value Theorem, and the Fundamental Theorem of Calculus in light of the specular…
The well known $g$-conjecture for homology spheres follows from the stronger conjecture that the face ring over the reals of a homology sphere, modulo a linear system of parameters, admits the strong-Lefschetz property. We prove that the…
We prove Atiyah's conjecture for two special types of configurations of N points in the three-dimensional Euclidean space. For one of these types, it is shown that the stronger conjecture of Atiyah and Sutcliffe is valid.
Derived $A_\infty$-algebras have a wealth of theoretical advantages over regular $A_\infty$-algebras. However, due to their bigraded nature, in practice they are often unwieldy to work with. We develop a framework involving brace algebras…
In this short note, we prove a Tamarkin-type separation theorem for possibly non-compact subsets in cotangent bundles.
We construct a large family of neighborly polytopes that can be realized with all the vertices on the boundary of any smooth strictly convex body. In particular, we show that there are superexponentially many combinatorially distinct…
Differential rotation is central to a great many mysteries in stars and planets. In Part I we predicted the order of magnitude and scaling of the differential rotation in both hydrodynamic and magnetohydrodynamic convection zones. Our…
We prove that the set of directions of lines intersecting three disjoint balls in $R^3$ in a given order is a strictly convex subset of $S^2$. We then generalize this result to $n$ disjoint balls in $R^d$. As a consequence, we can improve…
We describe the results of our spectroscopy for a sample of barred galaxies whose inner regions exhibit an isophotal twist commonly called a secondary bar. The line-of-sight velocity fields of the ionized gas and stars and the…
A subvariety of a complex projective space has a well-known dual variety, which is the set of its tangent hyperplanes. The purpose of this paper is to generalise this notion for a subvariety of a quite general partial flag variety. A…
The Hodge conjecture is shown to be equivalent to a question about the homology of very ample divisors with ordinary double point singularities. The infinitesimal version of the result is also discussed.
We partially prove and partially disprove Oka's conjecture on the fundamental group/Alexander polynomial of an irreducible plane sextic. Among other results, we enumerate all irreducible sextics with simple singularities admitting dihedral…
Consider cotangent bundles of exotic spheres, with their canonical symplectic structure. They admit automorphisms which preserve the part at infinity of one fibre, and which are analogous to the square of a Dehn twist. Pursuing that…
We show that the $\ell$-adic Tate conjecture for divisors on smooth proper varieties over finitely generated fields of positive characteristic follows from the $\ell$-adic Tate conjecture for divisors on smooth projective surfaces over…
Strange stars ought to exist in the universe according to the strange quark matter hypothesis, which states that matter made of roughly equal numbers of up, down, and strange quarks could be the true ground state of baryonic matter rather…
This paper takes a new step in the direction of proving the Duffin-Schaeffer Conjecture for measures arbitrarily close to Lebesgue. The main result is that under a mild `extra divergence' hypothesis, the conjecture is true.
New invariants for 2-dimensional cell complexes are defined, which can be interpreted as curvature bounds. These invariants are proved to be rational and computable in a companion article. This document is a survey that collects theorems…
We prove a variant of the Sylvester-Gallai theorem for cubics (algebraic curves of degree three): If a finite set of sufficiently many points in $\mathbb{R}^2$ is not contained in a cubic, then there is a cubic that contains exactly nine of…