Related papers: Jet closures and the local isomorphism problem
In the past decades for more and more graph classes the Graph Isomorphism Problem was shown to be solvable in polynomial time. An interesting family of graph classes arises from intersection graphs of geometric objects. In this work we show…
In this talk the description of gauge theories associated with internal symmetries is extended to the case in which the symmetry group is the space-time translation group (recovering Einstein's theory) using the standard jet-bundle…
Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a…
The complex projective structures considered is this article are compact curves locally modeled on $\mathbb{CP}^1$. To such a geometric object, modulo marked isomorphism, the monodromy map associates an algebraic one: a representation of…
We characterize locally injective semialgebraic maps between two semialgebraic sets in terms of the induced homomorphism between their rings of (continuous) semialgebraic functions.
This paper contains a selection, dictated by personal taste and by no means complete, of open problems in local discrete holomorphic dynamics.
The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years. Both the semantic…
A classical theorem of Riemannian geometry, due in its original form to Cartan, states that the Taylor expansion of the metric in geodesic normal coordinates is a universal formal power series involving only the symmetrizations of the…
A new approach is suggested to characterize algebraically automorphisms of the category of free algebras of a given variety. It gives in many cases an answer to the problem set by the first of authors, if automorphisms of such a category…
Projective structures on curves appear naturally in many areas of mathematics, from extrinsic conformal geometry to analysis, where the main problem is to find qualitative information about the solutions of Hill equations. In this paper, we…
The theory of relative logarithmic jet spaces is developed for log schemes. With this theory the existence of bounds of intersection multiplicities of curves and divisors on certain log schemes is established. This result extends those of…
We show that the isomorphism problem is solvable in the class of central extensions of word-hyperbolic groups, and that the isomorphism problem for biautomatic groups reduces to that for biautomatic groups with finite centre. We describe an…
We prove that if two finite metacyclic groups have isomorphic rational group algebras, then they are isomorphic. This contributes to understand where is the line separating positive and negative solutions to the Isomorphism Problem for…
In this note we introduce a notion of a morphism between two hyperbolic iterated function systems. We prove that the graph of a morphism is the attractor of an iterated function system, giving a Closed Graph Theorem, and show how it can be…
Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the {\em computationally dense\/} ones) are seen to be the ones…
We show how to find a complete set of necessary and sufficient conditions that solve the fixed-parameter local congruence problem of immersions in $G$-spaces, whether homogeneous or not, provided that a certain $k^{\rm th}$ order jet bundle…
The presented material is devoted to the equivalent conversion from the vertex graphs to the edge graphs. We suggest that the proved theorems solve the problem of the isomorphism of graphs, the problem of the graph's enumeration with the…
We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…
In this paper we resolve the complexity of the isomorphism problem on all but finitely many of the graph classes characterized by two forbidden induced subgraphs. To this end we develop new techniques applicable for the structural and…
Let $R$ be a semilocal geometrically factorial Noetherian domain of characteristic zero. We show that a reductive $R$-group scheme is isotropic if it is generically isotropic. We derive various consequences, in particular for the…