Related papers: A Lie Algebra Method for Rational Parametrization …

Parameterized algebraic curves and surfaces are widely used in geometric modeling and their manipulation is an important task in the processing of geometric models. In particular, the determination of the intersection loci between points,…

We construct a smooth and projective surface over an arbitrary number field that is a counterexample to the Hasse principle but has the infinite etale Brauer-Manin set. We also construct a surface with a unique rational point and the…

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

It is proven that a local Lie algebra in the sense of A. A. Kirillov determines the base manifold up to a diffeomorphism provided the anchor map is nowhere-vanishing. In particular, the Lie algebras of nowhere-vanishing Poisson or Jacobi…

We prove an analog of Belyi's theorem for the algebraic surfaces. Namely, any non-singular algebraic surface can be defined over a number field if and only it covers the complex projective plane with ramification at three knotted…

Given a finite-dimensional noncommutative semisimple algebra $A$ with involution, we show that $A$ always has an RBA-basis. We look for an RBA-basis that has integral or rational structure constants, and ask if the RBA admits a positive…

We study the birational properties of geometrically rational surfaces from a derived categorical point of view. In particular, we give a criterion for the rationality of a del Pezzo surface over an arbitrary field, namely, that its derived…

We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrically equivalent. This is an extended abstract for…

A transitive Lie algebra g of rational vector fields on a projective manifold which do not preserve any foliation determines a rational map to an algebraic homogenous space G/H which maps g to lie(G).

We introduce the notion of log-Riemann surfaces. These are Riemann surfaces given by cutting and pasting planes together isometrically, and come equipped with a holomorphic local diffeomorphism to C called the projection map, and a…

In this paper, we give several simple methods for drawing a whole rational surface (without base points) as several Bezier patches. The first two methods apply to surfaces specified by triangular control nets and partition the real…

Using group actions and orbit-stabilizer methods, we study the geometry of isomorphism classes of finite-dimensional $\omega$-Lie algebras over a field $\mathbb{K}$ of characteristic $\neq 2$ and establish a one-to-one correspondence…

We construct a linearly normal smooth rational surface S of degree 11 and sectional genus 8 in the projective fivespace. Surfaces satisfying these numerical invariants are special, in the sense that $h^1(\mathscr{O}_S(1))>0$. Our…

We present a complete classification of complex projective surfaces $X$ with nontrivial self-maps (i.e. surjective morphisms $f:X\rightarrow X$ which are not isomorphisms) of any given degree. The starting point of our classification are…

A study is made of real Lie algebras admitting a hypersymplectic structure, and we provide a method to construct such hypersymplectic Lie algebras. We use this method in order to obtain the classification of all hypersymplectic structures…

Using the circle method, we count integer points on complete intersections in biprojective space in boxes of different side length, provided the number of variables is large enough depending on the degree of the defining equations and…

Here we present a new approach to compute symmetries of rational second order ordinary differential equations (rational 2ODEs). This method can compute Lie symmetries (point symmetries, dynamical symmetries and non-local symmetries)…

This is a survey of the Kawamata-Morrison cone conjecture on the structure of Calabi-Yau varieties and more generally Calabi-Yau pairs. We discuss the proof of the cone conjecture for algebraic surfaces, with plenty of examples. We show…

We study the problem of classifying local projective structures in dimension two having non trivial Lie symmetries. In particular we obtain a classification of flat projective structures having positive dimensional Lie algebra of projective…

The present note studies \emph{surjective rational endomorphisms} $f: \mathbb{P}^2 \dashrightarrow \mathbb{P}^2$ with \emph{cubic} terms and the indeterminacy locus $I_f \ne \emptyset$. We develop an experimental approach, based on some…