Related papers: On the Sector Counting Lemma
This paper initiates the systematic study of the number of points of bounded height on symmetric squares of weak Fano varieties. We provide a general framework for establishing the point count on $\text{Sym}^2 X$. In the specific case of…
The classical Severi degree counts the number of algebraic curves of fixed genus and class passing through some general points in a surface. In this paper we study Severi degrees as well as several types of Gromov-Witten invariants of the…
This paper is devoted to topological phenomena in normal metals with rather complicated Fermi surface. The results of the article are based on the deep topological theorems concerning the geometry of non-compact plane sections of level…
A Fourier restriction estimate is obtained for a broad class of conic surfaces by adding a weight to the usual underlying measure. The new restriction estimate exhibits a certain affine-invariance and implies the sharp $L^p-L^q$ restriction…
The Fermi surface may be usefully viewed as a collection of 1+1 dimensional chiral conformal field theories. This approach permits straightforward calculation of many anomalous ground state properties of the Fermi gas including entanglement…
We study intersection theory for differential algebraic varieties. Particularly, we study families of differential hypersurface sections of arbitrary affine differential algebraic varieties over a differential field. We prove the…
This paper develops a theory of colimit sketches "with constructions" in higher category theory, formalising the input to the ubiquitous procedure of adjoining specified "constructible" colimits to a category such that specified "relation"…
For a linear system $|C|$ on a smooth projective surface $S$, whose general element is a smooth, irreducible curve, the Severi variety $V_{|C|, \delta}$ is the locally closed subscheme of $|C|$ which parametrizes irreducible curves with…
We consider planar curved strictly convex domains with no or very weak smoothness assumptions and prove sharp bounds for square-functions associated to the lattice point discrepancy.
A convex lattice polygon Delta determines a pair (S,L) of a toric surface together with an ample toric line bundle on S. The Severi degree N^{Delta,delta} is the number of delta-nodal curves in the complete linear system |L| passing through…
We prove that if $C$ is a reflexive smooth plane curve of degree $d$ defined over a finite field $\mathbb{F}_q$ with $d\leq q+1$, then there is an $\mathbb{F}_q$-line $L$ that intersects $C$ transversely. We also prove the same result for…
We prove an effective estimate with a power saving error term for the number of square-tiled surfaces in a connected component of a stratum of quadratic differentials whose vertical and horizontal foliations belong to prescribed mapping…
We provide an elementary proof of a lemma that plays an important role in the classification of parallel mean curvature surfaces in two-dimensional complex space forms.
We prove a semiample generalization of Poonen's Bertini Theorem over a finite field that implies the existence of smooth sections for wide new classes of divisors. The probability of smoothness is computed as a product of local…
Working with Lieb's transfer matrix for the dimer model, we point out that the full set of dimer configurations may be partitioned into disjoint subsets (sectors) closed under the action of the transfer matrix. These sectors are labelled by…
Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work…
We prove finite jet determination results for smooth CR embeddings which are of constant degeneracy, using the method of complete systems. As an application, we derive a reflection principle for mappings between a Levi-nondegenerate…
We give a simple and complete description of those convex lattice polygons in the plane that can be dissected into lattice triangles of integer area. A new version of Sperner's Lemma plays a central role.
We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…
We make a systematic study of the focal surface of a congruence of lines in the projective space. Using differential techniques together with techniques from intersection theory, we reobtain in particular all the invariants of the focal…