Related papers: On the signature of certain intersection forms
We show that if $\mathcal{A} \subset {[n] \choose n/2}$ with measure bounded away from zero and from one, then the $\Omega(\sqrt{n})$-iterated upper shadows of $\mathcal{A}$ and $\mathcal{A}^c$ intersect in a set of positive measure. This…
We discuss the relationships between the Andr\'e-Oort, Andr\'e-Pink-Zannier, and Mordell-Lang conjectures for Shimura varieties. We then combine the latter with the geometric Zilber-Pink conjecture to obtain some new results on unlikely…
We study spherical Schubert varieties in the affine Grassmannian. These Schubert varieties have a natural conjectural modular description due to Finkelberg-Mirkovi\'c. This modular description is easily seen to be set-theoretically correct,…
Using class field theory, we prove a restriction on the intersection of the maximal abelian extensions associated with different number fields. This restriction is then used to improve a result of Rosen and Silverman about the linear…
We study the intersections of special cycles on a unitary Shimura variety of signature (n-1,1), and show that the intersection multiplicities of these cycles agree with Fourier coefficients of Eisenstein series. The results are new cases of…
The Hilbert-Kunz multiplicity and $F$-signature are important invariants for researchers in commutative algebra and algebraic geometry. We provide software, and describe the automation of a calculation, for the two invariants in the case of…
In this paper, we prove an explicit arithmetic intersection formula between arithmetic Hirzebruch-Zagier divisors and arithmetic CM cycles in a Hilbert modular surface over $\mathbb Z$. As applications, we obtain the first `non-abelian'…
Let C be an algebraic curve in a power of an elliptic curve, both defined over the algebraic numbers. We show that the set of algebraic points of C which satisfy certain conditions is a finite set. This result has implications with the…
A conjecture regarding the structure of expander graphs is discussed.
We prove a positive characteristic version of Ax's theorem on the intersection of an algebraic subvariety and an analytic subgroup of an algebraic group. Our result is stated in a more general context of a formal map between an algebraic…
Manin's conjecture is proved for a split del Pezzo surface of degree 5 with a singularity of type A_2.
We study automorphisms of the affine line over rings like ZZ/p^n.
We prove a characterization of profinite algebras, i.e., topological algebras that are isomorphic to a projective limit of finite discrete algebras. In general profiniteness concerns both the topological and algebraic characteristics of a…
We study strong approximation for some algebraic varieties over which are defined using norm forms over the rationals. This allows us to confirm a special case of a conjecture due to Harpaz and Wittenberg.
It is shown that the $n$-dimensional Jacobian conjecture over algebraic number fields may be considered as an existence problem of integral points on affine curves. More specially, if the Jacobian conjecture over $\mathbb{C}$ is false, then…
We provide a proof of the union-closed sets conjecture, by means of a suitable refinement of the breakthrough entropy-approach introduced by Gilmer. The novelty here is to consider a convex combination of $A$ and $A\cup B$, where $A,B$ are…
We describe the homology intersection form associated to regular holonomic GKZ systems in terms of the combinatorics of regular triangulations. Combining this result with the twisted period relation, we obtain a formula of cohomology…
For the affine Hecke algebra of type A at roots of unity, we make explicit the correspondence between geometrically constructed simple modules and combinatorially constructed simple modules and prove the modular branching rule. The latter…
For the affine Hecke algebra of type A at roots of unity, we make explicit the correspondence between geometrically constructed simple modules and combinatorially constructed simple modules and prove the modular branching rule. The latter…
We give an affine proof of Feuerbach's theorem, by constructing an explicit affine map which takes the nine-point circle of any given Euclidean triangle to the incircle and fixes the Feuerbach point. The proof is shown to be valid in any…