Related papers: The minimal model program for arithmetic surfaces …

Let $(X,\Delta)$ be a normal pair with a projective morphism $X \to Z$ and let $A$ be a relatively ample $\mathbb{R}$-divisor on $X$. We prove the termination of some minimal model program on $(X,\Delta+A)/Z$ and the abundance conjecture…

Let $ \Omega \subsetneq \mathbf{R}^n\,(n\geq 2)$ be an unbounded convex domain. We study the minimal surface equation in $\Omega$ with boundary value given by the sum of a linear function and a bounded uniformly continuous function in $…

We describe a practical algorithm for computing Brauer-Manin obstructions to the existence of rational points on hyperelliptic curves defined over number fields. This offers advantages over descent based methods in that its correctness does…

We study permutation groups of given minimal degree without the classical primitivity assumption. We provide sharp upper bounds on the order of a permutation group of minimal degree m and on the number of its elements of any given support.…

We prove that the only non-trivial finite subgroups of birational automorphism group of non-trivial Severi--Brauer surfaces over the field of rational numbers are~$\mathbb{Z}/3\mathbb{Z}$ and $(\mathbb{Z}/3\mathbb{Z})^2.$ Moreover, we show…

One of the major open problems in noncommutative algebraic geometry is the classification of noncommutative projective surfaces (or, slightly more generally, of noetherian connected graded domains of Gelfand-Kirillov dimension 3). In a…

We generalize a method by L. Ambrozio, A. Carlotto, and B. Sharp to study the Morse index of closed f-minimal hypersurfaces isometrically immersed in a general weighted manifold. The technique permits, in particular, to obtain a linear…

We prove that bold N, the standard model of arithmetic, has an uncountable elementary extension N such that there is no ultrafilter on the Boolean Algebra of subsets of bold N represented in N which is minimal (i.e. as in Rudin-Keisler…

We present the first algorithm for computing class groups and unit groups of arbitrary number fields that provably runs in probabilistic subexponential time, assuming the Extended Riemann Hypothesis (ERH). Previous subexponential algorithms…

A longstanding open problem is whether there exists a non syntactical model of the untyped lambda-calculus whose theory is exactly the least lambda-theory (l-beta). In this paper we investigate the more general question of whether the…

Fix integers $r\geq 4$ and $i\geq 2$ (for $r=4$ assume $i\geq 3$). Assuming that the rational number $s$ defined by the equation $\binom{i+1}{2}s+(i+1)=\binom{r+i}{i}$ is an integer, we prove an upper bound for the genus of a reduced and…

In this paper we use the framework of algebraic effects from programming language theory to analyze the Beta-Bernoulli process, a standard building block in Bayesian models. Our analysis reveals the importance of abstract data types, and…

Given a Brauer class on a K3 surface defined over a number field, we prove that there exists infinitely many reductions where the Brauer class vanishes, under certain technical hypotheses, answering a question of…

Cell blebs are protrusions of the cell membrane and can be instrumental for cell migration. We derive a continuum model for the mechanical and geometrical aspects of the onset of blebbing in terms of a force balance. It is abstract and…

Several approximate inference methods have been proposed for deep discrete latent variable models. However, non-parametric methods which have previously been successfully employed for classical sparse coding models have largely been…

It is well-known that a Severi-Brauer surface has a rational point if and only if it is isomorphic to the projective plane. Given a Severi-Brauer surface, we study the problem to decide whether such an isomorphism to the projective plane,…

The main goal of this paper is to prove, in positive characteristic $p$, stability behavior for the graded Betti numbers in the periodic tails of the minimal resolutions of Frobenius powers of the homogeneous maximal ideals for very general…

Let $\{P_i\}_{1 \leq i \leq r}$ and $\{Q_i\}_{1 \leq i \leq r}$ be two collections of Brauer Severi surfaces (resp. conics) over a field $k$. We show that the subgroup generated by the $P_i's$ in $Br(k)$ is the same as the subgroup…

A conjecture of Erd\H{o}s states that, for any large prime $q$, every reduced residue class $\pmod q$ can be represented as a product $p_1p_2$ of two primes $p_1,p_2\leq q$. We establish a ternary version of this conjecture, showing that,…

An initial-boundary value problem with a Caputo time derivative of fractional order $\alpha\in(0,1)$ is considered, solutions of which typically exhibit a singular behaviour at an initial time. An L2-type discrete fractional-derivative…