Related papers: Rationality, universal generation and the integral…
We study the confluence property of abstract rewriting systems internal to cubical categories. We introduce cubical contractions, a higher-dimensional generalisation of reductions to normal forms, and employ them to construct cubical…
We construct new indecomposable elements in the higher Chow group CH2(A,1) of a principally polarized Abelian surface over a non Archimedean local field, which generalize an element constructed by Collino. These elements are constructed…
The goal is to verify the Hodge conjecture (and some related conjectures) for certain moduli spaces. It is shown that the (generalized) Hodge conjecture holds for the projective moduli spaces of vector bundles over an abelian or K3 surface…
We construct classes in the motivic cohomology of certain 1-parameter families of Calabi-Yau hypersurfaces in toric Fano n-folds, with applications to local mirror symmetry (growth of genus 0 instanton numbers) and inhomogeneous…
This paper is concerned with rational curves on real classical groups. Our contributions are three-fold: (i) We determine the structure of quadratic rational curves on real classical groups. As a consequence, we completely classify…
A new proof of the non-rationality of a generic cubic threefold is given as follows: If a generic cubic threefold were rational then the associated intermediate Jacobian would be a product of Jacobians of curves. We degenerate a generic…
An algebraic version of a theorem due to Quillen is proved. More precisely, for a ground field k we consider the motivic stable homotopy category SH(k) of P^1-spectra equipped with the symmetric monoidal structure described in…
We explore the enumerative problem of finding lines on cubic surfaces defined by symmetric polynomials. We prove that the moduli space of symmetric cubic surfaces is an arithmetic quotient of the complex hyperbolic line, and determine…
We apply the specialization technique based on the decomposition of the diagonal to find an explicit example over $\mathbb{Q}$ of a quadric and cubic hypersurface in $\mathbb{P}^6$ such that their intersection is a smooth stably irrational…
We compute the rational cohomology of the universal family of smooth cubic surfaces using Vassiliev's method of simplicial resolution. Modulo embedding, the universal family has cohomology isomorphic to that of $\mathbb{P}^2$. A consequence…
Let $X$ be a hyperk\"ahler variety with an anti-symplectic involution $\iota$. According to Beauville's conjectural "splitting property", the Chow groups of $X$ should split in a finite number of pieces such that the Chow ring has a…
We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi-Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use…
The double ramification (DR) cycle associated to a line bundle on a family of curves detects where the line bundle becomes fibrewise-trivial. The Hodge-DR Conjecture proposes a formula for powers of the first Chern class of a natural line…
A. Weil identified a 2-dimensional space of rational classes of Hodge type (n,n) in the middle cohomology of every 2n-dimensional abelian variety with a suitable complex multiplication by an imaginary quadratic number field. These abelian…
We find a relation between a cubic hypersurface $Y$ and its Fano variety of lines $F(Y)$ in the Grothendieck ring of varieties. We prove that if the class of an affine line is not a zero-divisor in the Grothendieck ring of varieties, then…
In this short note we try to generalize the Clemens-Griffiths criterion of non-rationality for smooth cubic threefolds to the case of smooth cubic fourfolds.
For every $d\geq 2$, we construct a subset $D\subseteq \{1,2,\dots,n\}^d$ of size $n-o(n)$ such that every affine hyperplane of $\mathbb{R}^d$ intersects $D$ in at most $d$ points, and every hypersphere of $\mathbb{R}^n$ intersects $D$ in…
We show that the property of being rationally $K$-stable passes from the fibers of a continuous $C(X)$-algebra to the ambient algebra, under the assumption that the underlying space $X$ is compact, metrizable, and of finite covering…
We suggest a short proof of O.Benoist and O.Wittenberg theorem (arXiv:1907.10859) which states that for each real non-singular cubic hypersurface $X$ of dimension $\ge 2$ the real lines on $X$ generate the whole group $H_1(X(\Bbb R);\Bbb…
In this article formulas for the quantum product of a rational surface are given, and used to give an algebro-geometric proof of the associativity of the quantum product for strict Del Pezzo surfaces, those for which $-K$ is very ample. An…