Related papers: Rationality does not specialize among terminal var…
A complex variety $X$ admits a cellular resolution of singularities if there exists a resolution of singularities $\widetilde X\to X$ such that its exceptional locus as well as $\widetilde X$ and the singular locus of $X$ admit a cellular…
We prove that globally $+$-regular varieties are rationally chain connected in dimension three and mixed characteristic with residue field characteristic $p>5$. We also introduce a notion of strongly globally $+$-regular, and show that…
We give examples of sequences of smooth non-isotrivial curves for every genus at least two, defined over a rational function field of positive characteristic, such that the (finite) number of rational points of the curves in the sequence…
Nonmonotonic reasoning is a pattern of reasoning that allows an agent to make and retract (tentative) conclusions from inconclusive evidence. This paper gives a possible-worlds interpretation of the nonmonotonic reasoning problem based on…
This survey, which contains very few proofs, addresses the general question: Over a given type of field, is there a natural class of varieties which automatically have a rational point? Fields under consideration here include: finite…
We study the properties of F-rationality and F-regularity in multigraded rings and their diagonal subalgebras. The main focus is on diagonal subalgebras of bigraded rings: these constitute an interesting class of rings since they arise…
Recently it was shown that it is undecidable whether a term rewrite system can be proved terminating by a polynomial interpretation in the natural numbers. In this paper we show that this is also the case when restricting the…
We show that the total Cartier index of varieties with rational singularities in a bounded family is bounded. This solves a problem of Han and Jiang. The overall structure of the proof, which treats the surface case and the…
We provide an infinite family of sofic one-relator groups that are not residually solvable nor residually finite. The proof is essentially different from the one in [1], as it does not require just Magnus' decompositions.
We address the relative expressiveness of defeasible logics in the framework DL. Relative expressiveness is formulated as the ability to simulate the reasoning of one logic within another logic. We show that such simulations must be…
We report on progress in the qualitative study of rational points on rationally connected varieties over number fields, also examining integral points, zero-cycles, and non-rationally connected varieties. One of the main objectives is to…
We determine the rationality of very general quasismooth Fano 3-fold weighted hypersurfaces completely and determine the stable rationality of them except for cubic 3-folds. More precisely we prove that (i) very general Fano 3-fold weighted…
We classify nonrational Fano threefolds $X$ with terminal Gorenstein singularities such that $\mathrm{\rk}\, \mathrm{\Pic}(X)=1$, $(-K_X)^3\ge 8$, and $\mathrm{\rk}\, \mathrm{\Cl}(X)\le 2$.
In this sequel to Resolution except for minimal singularities I, we find the smallest class of singularities in four variables with which we necessarily end up if we resolve singularities except for normal crossings. The main new feature is…
In this paper, we study syzygies of rational homogeneous varieties. We extend Manivel's result that a $p$-th power of an ample line bundle on a flag variety satisfies Propery $(N_p)$ to many rational homogeneous varieties of type $B$, $C$,…
We prove that the $F$-jumping numbers of the test ideal $\tau(X; \Delta, \ba^t)$ are discrete and rational under the assumptions that $X$ is a normal and $F$-finite variety over a field of positive characteristic $p$, $K_X+\Delta$ is…
We begin by giving a derived characterization of rational singularities for pairs in the sense of Schwede--Takagi. This characterization extends a characterization of rational singularities due to Lank--Venkatesh to pairs on normal…
The systems of complex analytic second order ordinary differential equations whose solutions close up to become rational curves (after analytic continuation) are characterized by the vanishing of an explicit differential invariant, and turn…
Let L be a quantifier predicate logic. Let K be a class of algebras. We say that K is sensitive to L, if there is an algebra in K, that is L interpretable into an another algebra, and this latter algebra is elementary equivalent to an…
We consider linear systems on toric varieties of any dimension, with invariant base points, giving a characterization of special linear systems. We then make a new conjecture for linear systems on rational surfaces.