Related papers: Generically Finite Morphisms

We introduce a new version of arithmetic in all finite types which extends the usual versions with primitive notions of extensionality and extensional equality. This new hybrid version allows us to formulate a strong form of extensionality,…

We study finite morphisms of varieties and the link between their top multiplicity loci under certain assumptions. More precisely, we focus on how to determine that link in terms of the spaces of arcs of the varieties.

We give sufficient conditions to find all subtypes isomorphic to a subtype in a finite generalized ordered type.

This paper introduces a reformulation of the classical convergence theorem for spectral sequences of filtered complexes which provides an algorithm to effectively compute the induced filtration on the total (co)homology, as soon as the…

A common theme in mathematics is to define generalized solutions to deal with problems that potentially do not have solutions. A classical example is the introduction of least squares solutions via the normal equations associated with a…

We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially…

Let $R$ be a finite ring and let $M, N$ be two finite left $R$-modules. We present two distinct deterministic algorithms that decide in polynomial time whether or not $M$ and $N$ are isomorphic, and if they are, exhibit an isomorphism. As…

We construct a class of finitely presented groups where the isomorphism problem is solvable but the commensurability problem is unsolvable. Conversely, we construct a class of finitely presented groups within which the commensurability…

Suppose that X to Y is a generically finite map of nonsingular varieties over a field of characteristic zero, and v is a valuation of the function field of X. We prove that it is possible to perform a sequence of monoidal transforms X' to X…

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…

We adapt algorithms for resolving the singularities of complex algebraic varieties to prove that the natural map of homology theories from complex bordism to the bordism theory of complex derived orbifolds splits. In equivariant stable…

Let X be a normal variety such that $K_X$ is Q-Cartier, and let $f: X \rightarrow X$ be a finite surjective morphism of degree at least two. We establish a close relation between the irreducible components of the locus of singularities that…

We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s of X to positive characteristic such that the action of the Frobenius morphism on the…

We prove that small deformations of a projective variety of general type are also projective varieties of general type, with the same plurigenera. Version 2: small changes in first half. Improved version of the second half is now a separate…

The general solution to the quantum master equation (and its $Sp(2)$ symmetric counterpart) is constructed explicitly in case of finite number of variables. It is shown that the finite-dimensional solution is physically trivial and thus can…

We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…

Let f : X -> Y be a morphism between normal complex varieties, and assume that Y is Kawamata log terminal. Given any differential form, defined on the smooth locus of Y, we construct a "pull-back form" on X. The pull-back map obtained by…

The paper gives the sufficient condition formulated in the syntactical form for all codescent morphisms of a variety of universal algebras satisfying the amalgamation property to be effective. This result is further used in proving that all…

We resolve the strong Elementary Equivalence versus Isomorphism Problem for finitely generated fields. That is, we show that for every field in this class there is a first-order sentence which characterizes this field within the class up to…

We prove that the algorithm for desingularization of algebraic varieties in characteristic zero of the first two authors is functorial with respect to regular morphisms. For this purpose, we show that, in characteristic zero, a regular…