{"entities":{"Q1035250":{"pageid":1037098,"ns":120,"title":"Item:Q1035250","lastrevid":56861247,"modified":"2026-03-23T21:19:18Z","type":"item","id":"Q1035250","labels":{"en":{"language":"en","value":"N\u00e9ron models and formal groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5624121"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035250$91D7B252-C138-4152-98E7-CDF4A033FF02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d84c166265d95ad1e6610ea5b5183bf8183c5d83","datavalue":{"value":{"text":"N\u00e9ron models and formal groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035250$6D92832D-0793-44EC-B8A8-DB844132C99B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c24b48f8c44239d1320b100f9a7555ad548b21dd","datavalue":{"value":"1193.14057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035250$E9F38B67-2E60-451E-B82A-EE45BD19463C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da46c5bafbf550579abf32457f44418e4d1b47ca","datavalue":{"value":{"entity-type":"item","numeric-id":302411,"id":"Q302411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035250$899F0BB4-3B4C-4D65-9251-4193ABCA0BDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6da7a3d9b3a71270340602ab1148c50d0418130","datavalue":{"value":{"time":"+2009-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1035250$2279CCB5-6561-4A2D-B2DC-319613416C1D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bc71273c3139a045eb537f5fb53748d643c2ae8d","datavalue":{"value":"The construction of N\u00e9ron models has been outlined by \\textit{M. Artin} [in: Arithmetic Geometry, Proc. Storrs 1984, 213--230 (Springer: Berlin) (1986; Zbl 0603.14028)] and in the book by \\textit{S. Bosch, W. L\u00fctkebohmert} and \\textit{M. Raynaud} [N\u00e9ron Models, Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, 21 (1990; Zbl 0705.14001)]. The main purpose of this note is to demonstrate that the use of invariant differential operators and formal groups permits some simplifications in the construction of N\u00e9ron models. Namely, first the local theory is used to construct the formal group associated to the N\u00e9ron model, which then simplifies the global steps, bypassing many of the difficulties in the construction as given in the book of Bosch, L\u00fctkebohmert and Raynaud. In addition, some slight generalizations of the construction to non proper and non commutative group schemes are presented. Here the main idea is to consider the N\u00e9ron extension property not for all N\u00e9ron points but for a bounded subgroup of them. Finally a new proof of the stable reduction theorem which uses neither Jacobians nor the Weil-conjectures is given.  Suppose that \\(V\\) is a discrete valuation ring, \\(K\\) its fraction field and \\(k\\) its residue field. Considered are valuation rings \\(V'\\supset V\\) with fraction field \\(K'\\) such that a uniformizer in \\(V\\) remains a uniformizer in \\(V'\\) and such that the induced extension of residue fields \\(k'/k\\) is separable. For a scheme \\(X_K\\) over \\(K\\) a N\u00e9ron point of \\(X\\) is a point in \\(X(K')\\) for some \\(V'\\subset K'\\) as above.  Assume \\(G_K\\) is a smooth separated group scheme over \\(K\\) and assume we are given a set \\({\\mathcal E}\\) of N\u00e9ron points which is open and bounded and closed under inverses and products (definitions for all these notions are given in the text). Then:  Theorem. There exists a unique smooth separated group scheme \\(G\\) over \\(V\\) extending \\(G_K\\) such that  (i) Any \\(x'\\in G_K(K')\\) in \\({\\mathcal E}\\) extends to an element in \\(G(V')\\).  (ii) The reductions of these points (i.e. the values on \\(k'\\)) are Zariski-dense in the special fibre \\(G_k\\).  Furthermore if \\(S\\) is a smooth \\(V\\)-scheme together with a \\(K\\)-map \\(S_K\\to G_K\\) such that the elements of \\({\\mathcal E}\\) which lift to \\(V'\\)-points of \\(S\\) have Zariski-dense reductions in the special fibre \\(S_k\\), then the generic map \\(S_K\\to G_K\\) extends to \\(S\\to G\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035250$BFD61880-37E7-47D0-A643-349FB97B0553","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035250$A515997F-7BCE-491D-A1D3-E625E64F7906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8eaa19aa729ddd9738f031f624b8c0af532a55f","datavalue":{"value":"14K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035250$6A4A5963-C4C0-4544-AD72-31B9B7B6DA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccfe079e35ccc7e216ef944124db3b57a09e1992","datavalue":{"value":"14L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035250$B6C9D5FE-B4B3-4798-A50C-B8DE7DC604F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f1a1e67fd8ac6710a6f3b395a1585aa54888d72","datavalue":{"value":"5624121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035250$E6984DBD-FB72-468D-ACE3-3717D8F19A7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2643c252821d2ea31f7346cf51610ae22417260e","datavalue":{"value":"N\u00e9ron model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035250$E936B5F3-88CB-449E-A576-DB3B9F3C3CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f584b27936f3417488e3ca4936fe10c3f0129dab","datavalue":{"value":"formal group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035250$95E24F1E-206C-49B3-871A-32423633A404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaf1d34f9c01ae00824737e56f90d86cfdced15","datavalue":{"value":"stable reduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035250$1C656539-D054-42B7-89F5-D9B4FEEB3F9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff974f8e336c983cf412ee55b494a5ec088f4308","datavalue":{"value":{"entity-type":"item","numeric-id":461336,"id":"Q461336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035250$CB4B36E1-6568-4169-A6EA-0F70E1CE4661","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035250$8967514C-42F2-4AE8-9352-BDF455039109","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f479c553f86290cc935a487067c85b126ff704e4","datavalue":{"value":"https://doi.org/10.1007/s00032-008-0086-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1035250$4D95BF49-BE2A-4552-BA46-17C5E66EF957","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a962fb8e88f3c1ad0dbddf68d2acfe68aca29d43","datavalue":{"value":"W2021839855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035250$1BDB812E-AD34-4035-BDCC-5A9D8B71ABF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a56e9c6095dc02b9890d3199426c70cbabf59cd8","datavalue":{"value":"10.1007/S00032-008-0086-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035250$E95AA75D-177D-45D9-B645-2D2709A2A1BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4ed5a5f44b76f776739dfde58a60a650c174729","datavalue":{"value":{"entity-type":"item","numeric-id":6481411,"id":"Q6481411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035250$7E73EB82-FBE7-4BCA-B176-328C0C3382AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e9adf818c28fe9fe230ed76beca9f26794e5702","datavalue":{"value":{"entity-type":"item","numeric-id":1345928,"id":"Q1345928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9da3fb721009bdb2dc70f9a58465c70c03979a8","datavalue":{"value":{"amount":"+0.8522029519081116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035250$5744B4A7-017A-410E-B161-0E85A86FE76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37398efdeb7390923793095023c122821fb95ec4","datavalue":{"value":{"entity-type":"item","numeric-id":3988601,"id":"Q3988601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c05dbde6c4e039dd7294f46c76a373088f1ecc5","datavalue":{"value":{"amount":"+0.8522021770477295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035250$0A0EFC83-7EF9-4B49-9DA7-BC4EA0AE23C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ac45bfa5d1811ce7cc4f0e6af1b578345b6551","datavalue":{"value":{"entity-type":"item","numeric-id":3739275,"id":"Q3739275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c093703c6b2f584430ec5085dfa2d4601a67cd1b","datavalue":{"value":{"amount":"+0.8235540986061096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035250$8AB63DE7-CF95-45C3-A6D2-8ABBEABAD3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10012cbfb00513093205f995191a2b6200c10dd7","datavalue":{"value":{"entity-type":"item","numeric-id":3996413,"id":"Q3996413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951fe484104cbd339d1ba75ebca82d48bdfe8750","datavalue":{"value":{"amount":"+0.8105058670043945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035250$DEA06C3A-1FD4-4D96-BEB0-4AC5776B6215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987368d48593a93201125efc182a7a4601297063","datavalue":{"value":{"entity-type":"item","numeric-id":4344089,"id":"Q4344089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc30739febeb7e4e8ad6af246a772477952552b","datavalue":{"value":{"amount":"+0.8073006868362427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1035250$3482D619-0F9C-4ED5-B34E-FB8996E42C32","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035250$3E84F6F6-F911-4D33-81E9-25C96063C4A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1035250","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1035250"}}}}}