Related papers: Higher Du Bois and Higher Rational Pairs
We prove upper bounds for the number of rational points on non-singular cubic curves defined over the rationals. The bounds are uniform in the curve and involve the rank of the corresponding Jacobian. The method used in the proof is a…
We classify pairs $(S, \gamma)$, consisting of a rational elliptic surface $S$ and a Galois cover $\gamma$ of the base, which satisfy a condition we call $\mathcal{L}$-stability. We explain how to use the theory of Mordell-Weil lattices to…
We prove new results concerning the topology and Hodge theory of singular varieties. A common theme is that concrete conditions on the complexity of the singularities, from a number of different perspectives, are closely related to the…
Martin-L\"of's Intuitionistic Theory of Types is becoming popular for formal reasoning about computer programs. To handle recursion schemes other than primitive recursion, a theory of well-founded relations is presented. Using primitive…
The rational points of a smooth curve $X$ over a number field $k$ map to the set of augmentations of the associated motivic algebra. An expectation, related to Kim's conjecture, is that for $X$ hyperbolic, the set of augmentations which…
We extend Makkai duality between coherent toposes and ultracategories to a duality between toposes with enough points and ultraconvergence spaces. Our proof generalizes and simplifies Makkai's original proof. Our main result can also be…
A map between manifolds induces stratifications of both the source and the target according to the occurring multisingularities. In this paper, we study universal expressions-called higher Thom polynomials-that describe the…
This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I,…
We prove a duality theorem for Cohen--Macaulay simplicial complexes. This is a generalisation of Poincar\'e Duality, framed in the language of combinatorial sheaves. Our treatment is self-contained and accessible for readers with a working…
We consider the fusion algebras arising in e.g. Wess-Zumino-Witten conformal field theories, affine Kac-Moody algebras at positive integer level, and quantum groups at roots of unity. Using properties of the modular matrix $S$, we find…
This paper is divided into two parts. The first is a review, through categorical lenses, of the classical theory of regular-singular differential systems over $C((x))$ and $\mathbb P^1_C\smallsetminus\{0,\infty\}$, where $C$ is…
We consider pairing in a dilute system of Fermions with a short-range interaction. While the theory is ill-defined for a contact interaction, the BCS equations can be solved in the leading order of low-energy effective field theory. The…
We show that there is a strong minimal pair in the computably enumerable Turing degrees.
We prove Manin's conjecture concerning the distribution of rational points of bounded height, and its refinement by Peyre, for wonderful compactifications of semi-simple algebraic groups over number fields. The proof proceeds via the study…
We develop and study the generalization of rational Schur algebras to the super setting. Similar to the classical case, this provides a new method for studying rational supermodules of the general linear supergroup $GL(m|n)$. Furthermore,…
We establish a McKay correspondence for finite and linearly reductive subgroup schemes of $\mathrm{SL}_2$ in positive characteristic. As an application, we obtain a McKay correspondence for all rational double point singularities in…
In this short note, we prove a comparision theorem between Levine-Serp\'e's equivariant higher Chow groups of an algebraic variety equipped with an action of a finite group and ordinary higher Chow groups of its fixed points. As a…
For a quasi-projective scheme M which carries a perfect obstruction theory, we construct the virtual cobordism class of M. If M is projective, we prove that the corresponding Chern numbers of the virtual cobordism class are given by…
The rational and hyperbolic Ruijsenaars-Schneider models and their non-relativistic limits are maximally superintegrable since they admit action variables with globally well-defined canonical conjugates. In the case of the rational…
The symbol-pair code is a new coding framework proposed to guard against pair-errors in symbol-pair read channels. Especially, a symbol-pair code with the parameters achieving the Singleton-type bound is called an MDS symbol-pair code. In…