Related papers: On rational points on classifying stacks and Malle…
This paper is a sequel to "Logical systems I: Lambda calculi through discreteness". It provides a general 2-categorical setting for extensional calculi and shows how intensional and extensional calculi can be related in logical systems. We…
We use the newly developed stacky prismatic technology of Drinfeld and Bhatt-Lurie to give a uniform, group-theoretic construction of smooth stacks $\mathrm{BT}^{G,\mu}_{n}$ attached to a smooth affine group scheme $G$ over $\mathbb{Z}_p$…
In this (mostly expository) paper I want to share some observations prompted by a class of matrices whose determinants are Catalan numbers. Considering different methods of proof we obtain some generalizations and q-analogues and…
In this paper, we present an alternative proof of a finiteness theorem due to Bombieri, Masser and Zannier concerning intersections of a curve in the multiplicative group of dimension n with algebraic subgroups of dimension n-2. The proof…
We discuss Manin's conjecture concerning the distribution of rational points of bounded height on Del Pezzo surfaces, and its refinement by Peyre, and explain applications of universal torsors to counting problems. To illustrate the method,…
We prove an asymptotic formula conjectured by Manin for the number of $K$-rational points of bounded height with respect to the anticanonical line bundle for arbitrary smooth projective toric varieties over a number field $K$.
We show that bounded type implies finite type for a constructible subcategory of the module category of a finitely generated algebra over a field, which is a variant of the first Brauer-Thrall conjecture. A full subcategory is constructible…
We study the asymptotics conjecture of Malle for dihedral groups $D_\ell$ of order $2\ell$, where $\ell$ is an odd prime. We prove the expected lower bound for those groups. For the upper bounds we show that there is a connection to class…
Let $L$ be a simply-connected simple connected algebraic group over a number field $F$, and $H$ be a semisimple absolutely maximal connected $F$-subgroup of $L$. Under a cohomological condition, we prove an asymptotic formula for the number…
We examine the polynomial analogues of McMullen's and Zaremba's conjectures on continued fractions with bounded partial quotients. It has already been proved by Blackburn that if the base field is infinite, then the polynomial analogue of…
We derive new matrix representation for higher order Daehee numbers and polynomials, the higher order lambda-Daehee numbers and polynomials and the twisted lambda-Daehee numbers and polynomials of order k. This helps us to obtain simple and…
Corvaja and Zannier conjectured that an abelian variety over a number field satisfies a modified version of the Hilbert property. We investigate their conjecture for products of elliptic curves using Kawamata's structure result for ramified…
We establish lower bounds on the rank of matrices in which all but the diagonal entries lie in a multiplicative group of small rank. Applying these bounds we show that the distance sets of finite pointsets in $\mathbb{R}^d$ generate high…
We ask questions generalizing uniform versions of conjectures of Mordell and Lang and combining them with the Morton--Silverman conjecture on preperiodic points. We prove a few results relating different versions of such questions.
We consider intersections of n diagonal forms of degrees k 1 < $\bullet$ $\bullet$ $\bullet$ < kn, and we prove an asymptotic formula for the number of rational points of bounded height on these varieties. The proof uses the…
We prove the analogue of Malle's conjecture for the global function field $\F_q(t)$ with $q$ sufficiently large, including a precise formula for the leading constant. The main ingredients are the recent breakthrough of Landesman--Levy on…
We count flags of primitive lattices, which are objects of the form ${0}=\Lambda^{(0)}<\Lambda^{(1)}< \cdots <\Lambda^{(\ell)}= \mathbb{Z}^n$, where every $\Lambda^{(i)}$ is a primitive lattice in $\mathbb{Z}^n$. The counting is with…
We give an upper bound on the number of rational points of an arbitrary Zariski closed subset of a projective space over a finite field. This bound depends only on the dimensions and degrees of the irreducible components and holds for very…
In this paper we introduce the notion of $e$-computability as a method of finding the Waring rank of forms. We use this notion to find infinitely many new examples which satisfy Strassen's Conjecture.
We attempt to develop a general algebro-geometric study of the moduli stack of commutative, 1-parameter formal Lie groups. We emphasize the pro-algebraic structure of this stack: it is the inverse limit, over varying n, of moduli stacks of…