Related papers: The rational cuspidal divisor class group of $X_0(…

Given a number field $F_0$ that contains no Hilbert class field of any imaginary quadratic field, we show that under GRH there exists an effectively computable constant $B:=B(F_0)\in\mathbb{Z}^+$ for which the following holds: for any…

Julia Robinson has given a first-order definition of the rational integers Z in the rational numbers Q by a formula (\forall \exists \forall \exists)(F=0) where the \forall-quantifiers run over a total of 8 variables, and where F is a…

We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n,…

To classify complex rational cuspidal curves $E\subseteq \mathbb{P}^2$ it remains to classify the ones with complement of log general type, i.e. the ones for which $\kappa(K_X+D)=2$, where $(X,D)$ is a log resolution of $(\mathbb{P}^2,E)$.…

In this paper, we construct infinitely many quadruples of real quadratic fields whose class numbers are all divisible by $3$. To the best of our knowledge, this is the first result towards the divisibility of the class numbers of certain…

The proper divisor graph $\Upsilon_n$ of a positive integer $n$ is the simple graph whose vertices are the proper divisors of $n$, and in which two distinct vertices $u, v$ are adjacent if and only if $n$ divides $uv$. The graph…

We define and we characterize regular and c-regular cyclically ordered abelian groups. We prove that every dense c-regular cyclically ordered abelian group is elementarily equivalent to some cyclically ordered group of unimodular complex…

In this paper, we classify torsion groups of rational Mordell curves explicitly over cubic fields as well as over sextic fields. Also, we classify torsion groups of Mordell curves over cubic fields and for Mordell curves over sextic fields,…

We compute the class of the effective divisors on $\overline{\mathcal{M}}_{g,n}$, which are set theoretically equal to the locus of moduli points $[C,p_1,\dots ,p_n]$ where $C$ lies on a quadric under the map given by the linear series…

Let X be a normal projective variety of dimension n > 2 admitting the action of the group G := Z^{n-1} such that every non-trivial element of G is of positive entropy. We show: `X is not rationally connected' ==> `X is G-equivariant…

Given a quaternionic form G of a p-adic classical group (p odd) we classify all cuspidal irreducible representations of G with coefficients in an algebraically closed field of characteristic different from p. We prove two theorems: At…

Let $n\geq 3$ be an integer and $d$ an odd square-free integer. We shall compute the rank of the $2$-class group of $L_{n,d}:=\mathbb{Q}(\zeta_{2^n},\sqrt{d})$, when all the prime divisors of $d$ are congruent to $\pm 3\pmod 8$ or…

For a class of groups $G$ over a field $\mathbb{F}$, including certain Lie groups, Algebraic groups and finite groups, we develop a general method to determine rational and real elements, thereby unifying earlier group-specific results into…

This paper studies the birational geometry of terminal Gorenstein Fano 3-folds. If Y is not Q-factorial, in most cases, it is possible to describe explicitly the divisor class group Cl Y by running a Minimal Model Program (MMP) on X, a…

We construct a simple, separable, unital, and nuclear C*-algebra with weakly unperforated K_0-group which does not absorb the Jiang-Su algebra Z tensorially. As a result, we obtain a stably finite counter-example to Elliott's classification…

We give a criterion for a nef divisor $D$ to be semiample on a Calabi--Yau threefold $X$ when $D^3=0=c_2(X)\cdot D$ and $c_3(X)\neq 0$. As a direct consequence, we show that on such a variety $X$, if $D$ is strictly nef and $\nu(D)\neq 1$,…

For any number field $K$ with $D_K=|\mathrm{Disc}(K)|$ and any integer $\ell \geq 2$, we improve over the commonly cited trivial bound $|\mathrm{Cl}_K[\ell]| \leq |\mathrm{Cl}_K| \ll_{[K:\mathbb{Q}],\varepsilon} D_K^{1/2+\varepsilon}$ on…

We show that a divisor in a rational homogenous variety with split normal sequence is the preimage of a hyperplane section in either the projective space or a quadric.

Let N be a prime and let A be a quotient of J_0(N) over Q associated to a newform such that the special L-value of A (at s=1) is non-zero. Suppose that the algebraic part of the special L-value of A is divisible by an odd prime q such that…

Let $W$ be a finite dimensional purely odd supervector space over $\mathbb{C}$, and let $\sRep(W)$ be the finite symmetric tensor category of finite dimensional superrepresentations of the finite supergroup $W$. We show that the set of…