Related papers: A Bertini-type theorem for free arithmetic linear …
We show that an arithmetic lattice $\Gamma$ in a semi-simple Lie group $G$ contains a torsion-free subgroup of index $\delta(v)$ where $v = \mu (G/\Gamma)$ is the co-volume of the lattice. We prove that $\delta$ is polynomial in general and…
In this note, we study the volume of arithmetic linear series with base conditions. As an application, we consider the problem of Zariski decompositions on arithmetic varieties.
We prove general de Finetti type theorems for classical and free independence. The de Finetti type theorems work for all non-easy quantum groups, which generalize a recent work of Banica, Curran and Speicher. We determine maximal…
A hypersurface $X\subset \mathbb P^n$ is said to be free if its associated sheaf $T_X$ of vector fields tangent to $X$ is a free ${\mathcal O}_{\mathbb P^n}$-module. So far few examples of free hypersurfaces are known. In this short note,…
We prove, in a quantitative form, linear independence results for values of a certain class of q-series, which generalize classical q-hypergeometric series. These results refine our recent estimates.
A. Moriwaki proved the following arithmetic analogue of the Bogomolov unstability theorem. If a torsion-free hermitian coherent sheaf on an arithmetic surface has negative discriminant then it admits an arithmetically destabilising…
In this article, we establish the arithmetic purity of strong approximation for smooth loci of weighted projective spaces. By using this result and the descent method, we also prove that the arithmetic purity of strong approximation with…
We completely describe the Brill-Noether theory for curves in the primitive linear system on generic abelian surfaces, in the following sense: given integers $d$ and $r$, consider the variety $V^r_d(|H|)$ parametrizing curves $C$ in the…
We establish a general structure theorem for the singular part of ${\mathscr A}$-free Radon measures, where ${\mathscr A}$ is a linear PDE operator. By applying the theorem to suitably chosen differential operators ${\mathscr A}$, we obtain…
We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for…
We prove locally in time the existence of the unique smooth solution (including smooth interface) to the multidimensional free boundary problem for the thin film equation in the case of partial wetting. We also obtain the Schauder estimates…
In the restricted setting of product phase space lattices, we give an alternate proof of P. Linnell's theorem on the finite linear independence of lattice Gabor systems in $L^2(\mathbb R^d)$. Our proof is based on a simple argument from the…
Let G be a smooth algebraic group acting on a variety X. Let F and E be coherent sheaves on X. We show that if all the higher Tor sheaves of F against G-orbits vanish, then for generic g in G, the sheaf Tor^X_j(gF, E) vanishes for all j >0.…
We give a short proof of Chevalley's theorem that every algebraic group is an extension of an Abelian variety by a linear algebraic group. Along the way we treat Bertini's irreducibility theorem.
We prove a splitting theorem for globally hyperbolic, weighted spacetimes with metrics and weights of regularity $C^1$ by combining elliptic techniques for the negative homogeneity $p$-d'Alembert operator from our recent work in the smooth…
We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is \'etale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof…
We prove that, given the isomorphism class of the parabolic Deligne-Hitchin moduli space over a smooth projective curve, we can recover the isomorphism class of the curve and the parabolic points.
We show that in supersymmetric theories, knowing the soft theorem for a single particle in a supermultiplet allows one to immediately determine soft theorems for the remainder of the supermultiplet. While soft theorems in supersymmetric…
The aim of this article is to prove that, under certain conditions, an affine flat normal scheme that is of finite type over a local Dedekind scheme in mixed characteristic admits infinitely many normal effective Cartier divisors. For the…
We construct a smooth axially symmetric solution to the classical one phase free boundary problem in $\mathbb{R}^{N}$. Its free boundary is of \textquotedblleft catenoid\textquotedblright\ type. This is a higher dimensional analogy of the…