The isomorphism problem of projective schemes and related algorithmic problems

DOI10.1142/s021819672350039xzbMath1527.14115arXiv2107.09277OpenAlexW4378382572MaRDI QIDQ6116696

Publication date: 16 August 2023

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.09277

zbMATH Keywords

automorphism groups K3 surfaces canonical sheaves isomorphism problems projective schemes decidability problems iso schemes positivity of invertible sheaves

Mathematics Subject Classification ID

Computational aspects of algebraic surfaces (14Q10) Computational aspects of higher-dimensional varieties (14Q15) Computational aspects of algebraic curves (14Q05)

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
A characteristic-free criterion of birationality
Finiteness results for algebraic K3 surfaces
Pluricanonical systems of projective varieties of general type. I
Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time
Direct methods for primary decomposition
An effective Matsusaka big theorem
The cone of curves of a K3 surface
Computing global extension modules
On the non-vanishing conjecture and existence of log minimal models
A projective variety with discrete, non-finitely generated automorphism group
Divisor package for Macaulay2
Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman
Pell surfaces
On the algorithmic undecidability of the embeddability problem for algebraic varieties over a field of characteristic zero
Cremona transformations and some related algebras
Algebraic cycles from a computational point of view
Pluricanonical systems on algebraic varieties of general type
Boundedness of pluricanonical maps of varieties of general type
Toward a numerical theory of ampleness
Canonical models of surfaces of general type
A surface with discrete and nonfinitely generated automorphism group
On existence of log minimal models II
Automorphisms mapping a point into a subvariety
Finiteness results for modular curves of genus at least 2
Undecidable problems: a sampler
Relative Beilinson monad and direct image for families of coherent sheaves
Explicit birational geometry of threefolds of general type, I
On a Class of Finite Elements Generated by Lagrange Interpolation
The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension
The maximum order of finite groups of automorphisms of K 3 surfaces
SINGULAR
Computing Néron–Severi groups and cycle class groups
Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman
RationalMaps, a package for Macaulay2

This page was built for publication: The isomorphism problem of projective schemes and related algorithmic problems