Related papers: Higher F-rational singularities
We use birational geometry to show that the existence of rational points on proper rationally connected varieties over fields of characteristic $0$ is a consequence of the existence of rational points on terminal Fano varieties. We discuss…
We prove that a complete local or graded one-dimensional domain of prime characteristic has finite F-representation type if its residue field is algebraically closed or finite, and present examples of a complete local or graded…
McMullen proved the moduli space of complex rational maps can be parametrized by the spectrum of all periodic-point multipliers up to a finite amount of data, with the well-understood exception of Latt\`{e}s maps. We generalize his method…
Given an integer $\gamma\geq 2$ and an odd prime power $q$ we show that for every large genus $g$ there exists a non-singular curve $C$ defined over $\mathbb{F}_q$ of genus $g$ and gonality $\gamma$ and with exactly $\gamma(q+1)$…
In this paper, we prove that the generic link of a generic determinantal ring defined by maximal minors is strongly $F$-regular. In the process, we strengthen a result of Chardin and Ulrich in the graded setting. They showed that the…
We study how the field of definition of a rational function changes under iteration. We provide a complete classification of polynomials with the property that the field of definition of one of their iterates drops in degree (over a given…
For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least…
We consider generalized quadratic forms over real quadratic number fields and prove, under a natural positive-definiteness condition, that a generalized quadratic form can only be universal if it contains a quadratic subform that is…
In this paper we generalize the definitions of singularities of pairs and multiplier ideal sheaves to pairs on arbitrary normal varieties, without any assumption on the variety being Q-Gorenstein or the pair being log Q-Gorenstein. The main…
Let $p$ be a prime number, $K$ be the henselization of the rational functions over the finite field $\mathbb{F}_p$ and $R$ be the ring of additive polynomials over K. We show that the field of Laurent series over $\mathbb{F}_p$ is decidable…
For a large prime $p$, a rational function $\psi \in F_p(X)$ over the finite field $F_p$ of $p$ elements, and integers $u$ and $H\ge 1$, we obtain a lower bound on the number consecutive values $\psi(x)$, $x = u+1, \ldots, u+H$ that belong…
Let $P$ be a prime polynomial in the variable $Y$ over a finite field and let $f$ be a quadratic irrational in the field of formal Laurant series in the variable $Y^{-1}$. We study the asymptotic properties of the degrees of the…
Given a field $K$, a rational function $\phi \in K(x)$, and a point $b \in \mathbb{P}^1(K)$, we study the extension $K(\phi^{-\infty}(b))$ generated by the union over $n$ of all solutions to $\phi^n(x) = b$, where $\phi^n$ is the $n$th…
In [Kat94b], Kato defined his notion of a log regular scheme and studied the local behavior of such schemes. A toric variety equipped with its canonical logarithmic structure is log regular. And, these schemes allow one to generalize toric…
We show that the quotient ring by the ideal of maximal minors of a $1$-generic matrix has rational singularities. This answers a conjecture of Eisenbud (1988) that such rings are normal, and generalizes a result of Conca, Mostafazadehfard,…
Let k be an algebraically closed field. A polynomial F in k[X,Y] is said to be "generally rational" if, for almost all c in k, the curve " F= c '' is rational. It is well known that, if char(k)=0, F is generally rational iff there exists G…
We consider resolution of singularities for $1$-foliations on varieties of dimension at most three in positive characteristic. We prove that such singularities can be completely resolved if we allow tame regular Deligne--Mumford stacks as…
We provide a new realisability model based on orthogonality for the multiplicative fragment of linear logic, both in presence of generalised axioms (MLL*) and in the standard case (MLL). The novelty is the definition of cut elimination for…
We exhibit geometric conditions on a family of toric hypersurfaces under which the value of a canonical normal function at a point of maximal unipotent monodromy is irrational.
Let $k$ be an $F$-finite and infinite field of characteristic $p>2$. We show, there exist infinitely many $F$-finite local domains $(R,\mathfrak{m})$ which are not $\mathbb{Q}$-Gorenstein and $\tau_{\mathrm{b}}(R;\mathfrak{m}^t)$ has all…