https://www.youtube.com/watch?v=CPbHjFHaG-0 ICM2022 Amnon Neeman: Finite approximations as a tool for studying triangulated categories Abstract: A metric on a category assigns lengths to morphisms, with the triangle inequality holding. This notion goes back to a 1974 article by Lawvere. We...
Let f : X → Y be a morphism of pure-dimensional schemes of the same dimension, with X smooth. We prove that if g J(X){gammain J_{infty}(X)} is an arc on X having finite order e along the ramification subscheme R f of X, and if its image δ = f ∞(γ) on Y does...
Pasini A. [1983] The nonexistence of proper epimorphisms of finite thick generalized polygons, Geom. Dedicata 15, 389 - 397. (135, 136, 138)A. Pasini, The nonexistence of proper epimorphisms of finite thick generalized polygons, Geom. Dedicata 15 (4) (1984) 389-397....
We characterize the analytic spread of a homogeneous ideal through proper... D Eisenbud,B Ulrich - 《Michigan Mathematical Journal》 被引量: 22发表: 2007年 Isometric actions and harmonic morphisms with minimal leaves has the property that it produces harmonic morphisms, that is, its leaves are...
A finite group is inseparable, it does not split over any proper nontrivial normal subgroup; that is, if it has no nontrivial semidirect product decompositions. This paper investigates two classes of finite inseparable p-groups and, for p ≥ 3, establishes a necessary and sufficient condition ...
Mathlib.AlgebraicGeometry.Morphisms.Proper Mathlib.Analysis.InnerProductSpace.Rayleigh Mathlib.Analysis.Normed.Module.Dual Mathlib.AlgebraicGeometry.EllipticCurve.J Mathlib.NumberTheory.Padics.PadicIntegers Mathlib.Analysis.Polynomial.CauchyBound Mathlib.LinearAlgebra.ExteriorAlgebra.Grading Mathlib.Number...
Let f : X → Y be a proper surjective morphism be-tween smooth varieties def i ned over a f i eld of characteristic 0 with Yconnected. If there is a closed point y ∈ Y such that f is smooth in yand gr F0 Hm (f −1 (y)) = 0 for all m ≥ 1, then gr F0 Hm (f ...
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 ...
It easily follows from the definition that a monomorphism H→ G is pure iff for any abelian group X the induced homomorphism H ⊗ X→ G ⊗ X is a monomorphism. View chapterExplore book Phantom Maps C.A. McGibbon, in Handbook of Algebraic Topology, 1995 QUESTION 14 How does one cha...
deposited, elevators, whose sequence of stops is determined by the floors requested by riders, traffic lights, which change sequence when cars are waiting, and combination locks, which require the input of a sequence of numbers in the proper order.The finite-state machine has less computational ...