Related papers: Complete intersections and rational equivalence
Any counterexample to the two-dimensional Jacobian Conjecture gives a rational map from one projective plane to another. We use some ideas of the Minimal Model Program to study the combinatorial structure of a rational surface, that is…
We study symplectic varieties defined over fields of positive characteristics, especially the supersingular ones, generalizing the theory of supersingular K3 surfaces. In this work, we are mainly interested in the following two types of…
A novel and deterministic algorithm is presented to detect whether two given rational plane curves are related by means of a similarity, which is a central question in Pattern Recognition. As a by-product it finds all such similarities, and…
Nested graphs have been used in different applications, for example to represent knowledge in semantic networks. On the other hand, graphs with cycles are really important in surface reconstruction, periodic schedule and network analysis.…
Let $X$ be a separated scheme of dimension $d$ of finite type over a perfect field $k$ of positive characteristic $p$. In this work, we show that Bloch's cycle complex $\mathbb{Z}^c_X$ of zero cycles mod $p^n$ is quasi-isomorphic to the…
We study the geometry of the space of rational curves on smooth complete intersections of low degree, which pass through a given set of points on the variety. The argument uses spreading out to a finite field, together with an adaptation to…
Two flows on a finite-dimensional normed space $X$ are Lipschitz equivalent if some homeomorphism $h$ of $X$ that is bi-Lipschitz near the origin preserves all orbits, i.e., $h$ maps each orbit onto an orbit. A complete classification by…
Let X be a normal projective variety admitting an action of a semisimple group with a unique closed orbit. We construct finitely many rational curves in X, all having a common point, such that every effective one-cycle on X is rationally…
This work makes a parallel construction for curves on threefolds to a ``current-theoretic'' proof of Abel's theorem giving the rational equivalence of divisors P and Q on a Riemann surface when Q - P is (equivalent to) zero in the Jacobian…
The aim of this work is to describe the equivalence relations in $\Q/\Z$ that arise as the rational lamination of polynomials with all cycles repelling. We also describe where in parameter space one can find a polynomial with all cycles…
Formulas about the side lengths, diagonal lengths or radius of the circumcircle of a cyclic polygon in Euclidean geometry, hyperbolic geometry or spherical geometry can be unified.
Two fields are Witt equivalent if, roughly speaking, they have the same quadratic form theory. Formally, that is to say that their Witt rings of symmetric bilinear forms are isomorphic. This equivalence is well understood only in a few…
We define the characteristic cycle of a constructible sheaf on a smooth surface in the cotangent bundle. We prove that the intersection number with the 0-section equals the Euler number and that the total dimension of vanishing cycles at an…
We obtain sharp bounds for the number of n-cycles in a finite graph as a function of the number of edges, and prove that the complete graph is optimal in more ways than could be imagined. En route, we prove some sharp estimates on power…
The isomorphism problem means to decide if two given finite-dimensional simple algebras over the same centre are isomorphic and, if so, to construct an isomorphism between them. A solution to this problem has applications in computational…
In this article we establish bounds for the Castelnuovo-Mumford regularity of projective schemes in terms of the degrees of their defining equations. The main new ingredient in our proof is to show that generic residual intersections of…
We show in many cases that there exist rational scrolls which are balanced, i.e. they contain the expected number of general linear spaces as rulings. For example, there exist balanced scrolls of degree $mk+1$ and fibre dimension $k$ in…
We generalize a recent result of Pavic--Schreieder regarding the surjectivity of the obstruction morphism defined in [PS23]. As a consequence of this result, we show that geometrically (retract) rational varieties over a Laurent field of…
Given two arbitrary closed sets in Euclidean space, a simple transversality condition guarantees that the method of alternating projections converges locally, at linear rate, to a point in the intersection. Exact projection onto nonconvex…
A ring with a test module of finite upper complete intersection dimension is complete intersection.