We also give some positive results. Forinstance, a positive result of this kind is possible if we remove the separatedness condition.doi:10.1090/S0002-9947-08-04534-0Steven Dale CutkoskyCutkosky, S.D. Generically finite morphisms, preprint AG/0109003...
Mathlib.AlgebraicGeometry.Morphisms.Separated Mathlib.LinearAlgebra.TensorAlgebra.Basis Mathlib.CategoryTheory.Sites.Coherent.Basic Mathlib.Topology.Algebra.UniformGroup.Defs Mathlib.Condensed.Discrete.Module Mathlib.CategoryTheory.Sites.LocallyInjective Mathlib.NumberTheory.ModularForms.JacobiTheta.OneVariable ...
Finally, we construct a fully faithful and essentially surjective functor from a localization of a full subcategory of the category of schematic finite spaces and schematic morphisms to the category of quasi-compact and quasi-separated schemes. 展开 关键词:...
Then e∈X. Moreover, the orbit of e under L (or R) consists of the evaluation morphisms at all points of G. Therefore both LGe and RGe separate points in A, so that LGe‾=RGe‾=X by the Urysohn lemma. A version of [17, Proposition 3.9] now implies that the point e is ...
is a pair T = (Σ, I) where Σ is a signature and I a class of Σ-interpretations, the models of T , that is closed under variable reassignment (i.e., every Σ-interpretation that differs from one in I only for how it interprets the variables is also in I) and iso- morphism....
(It is not an abelian category, since morphisms may not be strictly compatible with the filtration.) Theorem 1.1.2 (Colmez–Fontaine) If K is a finite extension of \(\mathbf {Q}_p\), the subcategory of “weakly admissible” filtered \((\varphi , N, G_K)\)-modules is equivalent...
This leads to set and develop basic notions on ringed finite spaces and morphisms, as being affine, schematic, semi-separated, etc, focusing on its cohomological properties. Finally, we see how to embed the category of quasi-compact and quasi-separated schemes in a localization of the ...
Finally, we construct a fully faithful and essentially surjective functor from a localization of a full subcategory of the category of schematic finite spaces and schematic morphisms to the category of quasi-compact and quasi-separated schemes....
WhenGis an infinite sofic group (for instance[Math Processing Error]G=Z), it is not possible to remove the assumption thatXis finite dimensional in Theorem1.1. Although in this case any compact metrizable spaceXembeds (topologically) in[Math Processing Error][0,1])G, there is a further ...
Letkbe a field,Ga smoothk-group scheme of finite type, andXa quasi-compact quasi-separated locally KrullG-scheme. Assume that there is ak-schemeZof finite type and a dominantk-morphismZ→X. Letφ:X→Ybe aG-invariant morphism such thatOY→(φ⁎OX)Gis an isomorphism. ThenYis locally ...