Related papers: Jet closures and the local isomorphism problem
We give an answer in the "geometric" setting to a question of de Fernex, Ein, and Ishii, asking when local isomorphisms of $k$-schemes can be detected on the associated maps of local arc or jet schemes. In particular, we show that their…
If two schemes are isomorphic, then their $m$-jet schemes are isomorphic for all $m$. In this paper we consider the converse problem. We prove that if an isomorphism of the $m$-jet schemes is induced from a morphism of the base schemes,…
Jet isomorphism theorems for conformal geometry are discussed. A new proof of the jet isomorphism theorem for odd-dimensional conformal geometry is outlined, using an ambient realization of the conformal deformation complex. An infinite…
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…
A map on a group into itself is called a local automorphism if at any two points of the group, it can be interpolated by an automorphism of that group. In this paper we investigate the question of how local automorphisms of some classical…
This paper is an introduction to the jet schemes and the arc space of an algebraic variety. We also introduce the Nash problem on arc families.
In this article, we discuss the semicontinuity problem of certain properties on fibers for a morphism of schemes. One aspect of this problem is local. Namely, we consider properties of schemes at the level of local rings, in which the main…
The lifting problem that we consider asks: given a smooth curve in characteristic p and a group of automorphisms, can we lift the curve, along with the automorphisms, to characteristic zero? One can reduce this to a local question (the…
Several possible definitions of local injectivity for a homomorphism of an oriented graph $G$ to an oriented graph $H$ are considered. In each case, we determine the complexity of deciding whether there exists such a homomorphism when $G$…
The Modular Isomorphism Problem asks, if an isomorphism between modular group algebras of finite $p$-groups over a field $F$ implies an isomorphism of the group bases. We explore the differences of knowledge on the problem when $F$ is…
We discuss the isomorphism problem of projective schemes; given two projective schemes, can we algorithmically decide whether they are isomorphic? We give affirmative answers in the case of one-dimensional projective schemes, the case of…
We relate the graph isomorphism problem to the solvability of certain systems of linear equations with nonnegative variables. This version replaces the two previous versions of this paper.
Firstly, we give a partial solution to the isomorphism problem for uniserial modules of finite length with the help of the morphisms between these modules over an arbitrary ring. Later, under suitable assumptions on the lattice of the…
We prove that if X is a locally complete intersection variety, then X has all the jet schemes irreducible if and only if X has canonical singularities. After embedding X in a smooth variety Y, we use motivic integration to express the…
Given a scheme X over a field k, a generalized jet scheme parametrizes maps from Spec(A) to X, where A is a finite-dimensional, local algebra over k. We give an overview of known results concerning the dimensions of these schemes when A has…
Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…
We address the question "when the local image of a map is well defined" and answer it in case of holomorphic map germs with target $(\bC^{2}, 0)$. We prove a criterion for holomorphic map germs $(X, x)\to (Y, y)$ to be locally open, solving…
The isomorphism problem is known to be efficiently solvable for interval graphs, while for the larger class of circular-arc graphs its complexity status stays open. We consider the intermediate class of intersection graphs for families of…
Given an arbitrary projective birational morphism of varieties, we provide a natural and explicit way of constructing relative compactifications of the maps induced on the main components of the jet schemes. In the case the morphism is the…
It is well known that the graph isomorphism problem is polynomial-time reducible to the graph automorphism problem (in fact these two problems are polynomial-time equivalent). We show that, analogously, the group isomorphism problem is…