Related papers: Degree Bounds for Amoeba Contours
We show how the theory of affine geometries over the ring ${\mathbb Z}/\langle q - 1\rangle$ can be used to understand the properties of toric and generalized toric codes over ${\mathbb F}_q$. The minimum distance of these codes is strongly…
A theory of numerical path-following in toric varieties was suggested in two previous papers. The motivation is solving systems of polynomials with real or complex coefficients. When those polynomials are not assumed 'dense', solving them…
We present a new, far simpler family of counter-examples to Kushnirenko's Conjecture. Along the way, we illustrate a computer-assisted approach to finding sparse polynomial systems with maximally many real roots, thus shedding light on the…
We present sharp bounds on the number of maximal torsion cosets in a subvariety of the complex algebraic torus $\mathbb{G}_{\textrm{m}}^n$. Our first main result gives a bound in terms of the degree of the defining polynomials. A second…
Fix an ordinary abelian variety defined over a finite field. The ideal class group of its endomorphism ring acts freely on the set of isogenous varieties with same endomorphism ring, by complex multiplication. Any subgroup of the class…
We consider plumbings of symplectic disk bundles over spheres admitting concave contact boundary, with the goal of understanding the geometric properties of the boundary contact structure in terms of the data of the plumbing. We focus on…
A monotonicity approach to the study of the asymptotic behavior near corners of solutions to semilinear elliptic equations in domains with a conical boundary point is discussed. The presence of logarithms in the first term of the asymptotic…
We construct a new class of exact solutions describing spacetimes possessing Lie algebroid symmetry. They are described by generic off-diagaonal 5D metrics embedded in bosonic string gravity and possess nontrivial limits to the Einstein…
We study the algebraic hyperbolicity of the complement of very general degree $2n$ hypersurfaces in P^n. We prove the Algebraic Green-Griffiths-Lang Conjecture for these complements, and in the case of the complement of a quartic plane…
This paper is part of the general project of proof mining, developed by Kohlenbach. By "proof mining" we mean the logical analysis of mathematical proofs with the aim of extracting new numerically relevant information hidden in the proofs.…
We prove the statement/conjecture of M. Kontsevich on the existence of the logarithmic formality morphism. This question was open since 1999, and the main obstacle was the presence of $dr/r$ type singularities near the boundary $r=0$ in the…
We use intersection theory, degeneration techniques and jet schemes to study log canonical thresholds. Our first result gives a lower bound for the log canonical threshold of a pair in terms of the log canonical threshold of the image by a…
We introduce a natural geometric framework for the study of logarithmically divergent integrals on manifolds with corners and algebraic varieties, using the techniques of logarithmic geometry. Key to the construction is a new notion of…
The Shub-Smale Tau Conjecture is a hypothesis relating the number of integral roots of a polynomial f in one variable and the Straight-Line Program (SLP) complexity of f. A consequence of the truth of this conjecture is that, for the…
We construct algebraic curves in abelian surfaces starting from tropical curves in real tori. We give a necessary and sufficient condition for a tropical curve in a real torus to be realizable by an algebraic curve in an abelian surface.…
We study the set of isomorphism classes of polarized superspecial abelian varieties $(A,\lambda)$ of a fixed dimension over $\mathbb{F}_p$ with Frobenius endomorphism $\pi_A=\sqrt{-p}$ and $\ker \lambda =\ker \pi_A$. This set plays an…
This note explores the use of Newton polytopes in the study of Lagrangian fillings of Legendrian submanifolds. In particular, we show that Newton polytopes associated to augmented values of Reeb chords can distinguish infinitely many…
The prime motivation behind this paper is to prove that any torus link can be realized as the union of the one-dimensional connected components of the set of critical values of the argument map restricted to a complex algebraic plane curve.…
We show that a set of $n$ algebraic plane curves of constant maximum degree can be cut into $O(n^{3/2}\operatorname{polylog} n)$ Jordan arcs, so that each pair of arcs intersect at most once, i.e., they form a collection of pseudo-segments.…
We compare the classifying anima of two natural condensed $\infty$-categories associated to a coherent $\infty$-topos. One from our work with Barwick and Glasman on exit-path categories in algebraic geometry, and the other from Lurie's work…