Ulrich sheaves, the arithmetic writhe and algebraic isotopies of space curves

TL;DR

This paper connects Ulrich sheaves with $\\mathbb{A}^1$-homotopy theory, establishing invariants like the arithmetic writhe for space curves and providing classifications under algebraic isotopies.

Contribution

It introduces a novel link between Ulrich sheaves and $\\mathbb{A}^1$-homotopy theory, enabling explicit computation of degrees and defining an arithmetic writhe invariant.

Findings

The $\\mathbb{A}^1$-degree remains constant under certain conditions.

Explicit formulas for degrees of projections from Ulrich sheaves.

Complete classification of rational curves of degree ≤ 4 in $\mathbb{P}^3$ up to algebraic isotopy.

Abstract

We establish a connection between the theory of Ulrich sheaves and $\mathbb{A}^1$-homotopy theory. For instance, we prove that the $\mathbb{A}^1$-degree of a morphism between projective varieties, that is relatively oriented by an Ulrich sheaf, is constant on the target even when it is not $\mathbb{A}^1$-chain connected or $\mathbb{A}^1$-connected. Further if an embedded projective variety is the support of a symmetric Ulrich sheaf of rank one, the $\mathbb{A}^1$-degree of all its linear projections can be read off in an explicit way from the free resolution of the Ulrich sheaf. Finally, we construct an Ulrich sheaf on the secant variety of a curve and use this to define an arithmetic version of Viro's encomplexed writhe for curves in $\mathbb{P}^3$. This can be considered to be an arithmetic analogue of a knot invariant. Namely, we define a notion of algebraic isotopy under which the arithmetic writhe is invariant. For rational curves of degree at most four in $\mathbb{P}^3$ we obtain a complete classification up to algebraic isotopies.