Related papers: A two-dimensional rationality problem and intersec…
There are three types of involutions on a cubic fourfold; two of anti-symplectic type, and one symplectic. Here we show that cubics with involutions exhibit the full range of behaviour in relation to rationality conjectures. Namely, we show…
Working over a field $k$ of characteristic zero, we study the ring $\mathfrak{R}=\mathfrak{D}^{\mathbb{Z}_2}$ where $\mathfrak{D}=k[x_0,x_1,x_2]/(2x_0x_2-x_1^2-1)$ and $\mathbb{Z}_2$ acts by $x_i\to -x_i$. $\mathfrak{D}$ admits an algebraic…
Let k be a commutative ring in which 2 is invertible. We prove that the Hermitian K-theory of quadric hypersurfaces over k admits fibration sequences relating it to the base ring and to Clifford algebras equipped with various duality…
For any field k of characteristic at most 5 we exhibit an explicit smooth quartic surface in projective threespace over k with trivial automorphism group over the algebraic closure of k. We also show how this can be extended to higher…
We prove that a smooth complete intersection of two quadrics of dimension at least $2$ over a number field has index dividing $2$, i.e., that it possesses a rational $0$-cycle of degree $2$.
Let $L$ be a field of characteristic zero, let $h:\mathbb{P}^1\to \mathbb{P}^1$ be a rational map defined over $L$, and let $c\in \mathbb{P}^1(L)$. We show that there exists a finitely generated subfield $K$ of $L$ over which both $c$ and…
This note deals with a problem of the probabilistic Ramsey theory in functional analysis. Given a linear operator $T$ on a Hilbert space with an orthogonal basis, we define the isomorphic structure $\Sigma(T)$ as the family of all subsets…
Kollar and Ruan proved symplectic deformation invariance for uniruledness of Kaehler manifolds. Zhiyu Tian proved the same for rational connectedness in dimension < 4. Kollar conjectured this in all dimensions. We prove Kollar's conjecture,…
We prove a general specialization theorem which implies stable irrationality for a wide class of quadric surface bundles over rational surfaces. As an application, we solve with the exception of two cases, the stable rationality problem for…
For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…
A rational triangle is a triangle with rational sides and rational area. A Heron triangle is a triangle with integral sides and integral area. In this article we will show that there exist infinitely many rational parametrizations, in terms…
We consider codimension 2 sphere congruences in pseudo-conformal geometry that are harmonic with respect to the conformal structure of an orthogonal surface. We characterise the orthogonal surfaces of such congruences as either $S$-Willmore…
We consider pairs of automorphisms $(\phi,\sigma)$ acting on fields of Laurent or Puiseux series: pairs of shift operators $(\phi\colon x\mapsto x+h_1, \sigma\colon x\mapsto x+h_2)$, of $q$-difference operators $(\phi\colon x\mapsto q_1x,\…
Let $\mathcal{D}=\left(\mathcal{P},\mathcal{B} \right)$ be a symmetric $2$-$(v,k,\lambda )$ design admitting a flag-transitive, point-imprimitive automorphism group $G$ that leaves invariant a non-trivial partition $\Sigma$ of…
We prove that a complete intersection of $c$ very general hypersurfaces of degree at least two in $N$-dimensional complex projective space is not ruled (and therefore not rational) provided that the sum of the degrees of the hypersurfaces…
We prove that the subvariety of $SL(2)\times SL(2)$ given by the matrix equation $w(X,Y)=\alpha$, where $w$ is a word in two letters, is closely related to an explicit smooth conic bundle over the associated `trace surface' in the…
We relate the version of rational Symplectic Field Theory for exact Lagrangian cobordisms introduced in [5] with linearized Legendrian contact homology. More precisely, if $L\subset X$ is an exact Lagrangian submanifold of an exact…
Given an algebraic difference equation of the form \[\sigma^n(y)=f\big(y, \sigma(y),\dots,\sigma^{n-1}(y)\big)\] where $f$ is a rational function over a field $k$ of characteristic zero on which $\sigma$ acts trivially, it is shown that if…
Let $\mathcal M=\langle K;O\rangle$ be a real closed valued field and let $k$ be its residue field. We prove that every interpretable field in $\mathcal M$ is definably isomorphic to either $K$, $K(\sqrt{-1})$, $k$, or $k(\sqrt{-1})$. The…
Let $R$ be a valuation ring with fraction field $K$ and $2\in R^\times$. We give an elementary proof of the following known result: Two unimodular quadratic forms over $R$ are isometric over $K$ if and only if they are isometric over $R$.…