{"entities":{"Q2339787":{"pageid":2350530,"ns":120,"title":"Item:Q2339787","lastrevid":57857763,"modified":"2026-04-02T20:10:53Z","type":"item","id":"Q2339787","labels":{"en":{"language":"en","value":"On manifolds supporting distributionally uniquely ergodic diffeomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6423470"}},"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":"Q2339787$213E92BA-0CE6-402F-83BD-8484B6E01517","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2f00b8494eaacd3fd5408d28bd3213d042e8ff1","datavalue":{"value":{"text":"On manifolds supporting distributionally uniquely ergodic diffeomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2339787$3F1A5217-7043-4EAB-96B1-9A95DCFE1447","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7c46cc99264a2b04f622b7cd256b90d92c40077","datavalue":{"value":"1316.37015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339787$CBF5D14F-0BE5-47BF-9B5F-E758697378ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5913befc6eb4f029274cef4b20a30e2503e5f6d","datavalue":{"value":{"entity-type":"item","numeric-id":350553,"id":"Q350553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339787$81447F31-4539-491C-BB88-B9652F53F6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"114a77414cdcdb81eace1ac49b0f1d318aa34c71","datavalue":{"value":{"entity-type":"item","numeric-id":246620,"id":"Q246620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339787$6DFA5D3F-034C-4973-976A-EDC431F2D13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c72ede9f76aa220cca476df891d7f70d03403d98","datavalue":{"value":{"entity-type":"item","numeric-id":268276,"id":"Q268276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339787$DEB1201D-0CA4-4CB6-9CBA-D31F798A2BCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33075497992c7b00cbed0c3ce471beb5f6082d57","datavalue":{"value":{"entity-type":"item","numeric-id":240580,"id":"Q240580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339787$34A25965-260F-4B2D-BDA9-EC73E9D11FD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c6b2480b96464c524e0a5dcbc2ee6f3cdc40153","datavalue":{"value":{"time":"+2015-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2339787$E5132C1E-F7E2-4B5A-990D-6A06CD2CE243","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"475eed5855d97b21ce0112942c994de3e84b2a5b","datavalue":{"value":"https://arxiv.org/abs/1211.1519","type":"string"},"datatype":"url"},"type":"statement","id":"Q2339787$2244D703-18E8-4E89-B873-1B63AA4129E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5581507e8902bb5a84b38a2e82a4d0d0578edd61","datavalue":{"value":"https://projecteuclid.org/euclid.jdg/1421415561","type":"string"},"datatype":"url"},"type":"statement","id":"Q2339787$6D45A758-9E5E-47E4-A221-1E9FC4285DD4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"014f1bf7530eaa48222c50dbbe8a7db14c6e8500","datavalue":{"value":"Dynamical properties of a map \\(f:X\\to X\\) may be studied via two associated linear maps, \\(f^\\ast\\) on any space of functions on \\(X\\) defined by \\(f^\\ast\\phi=\\phi\\circ f\\), and its adjoint \\(f_\\ast\\) which (under suitable topological hypotheses) then acts on the space of complex finite measures or on the space of distributions on \\(X\\). The fixed points of \\(f_{\\ast}\\) on the space of measures are the \\(f\\)-invariant measures, and on an appropriate space of distributions are the \\(f\\)-invariant distributions. The setting here is smooth dynamics, so \\(X\\) is some closed smooth manifold \\(M\\) and \\(f\\) is a \\(C^r\\)-diffeomorphism. In this case, each linear subspace \\(C^k(M,\\mathbb{C})\\) for \\(0\\leqslant k\\leqslant r\\leqslant\\infty\\) is preserved by \\(f^{\\ast}\\), which acts as a continuous isomorphism with respect to the \\(C^k\\)-uniform topology. Thus its adjoint \\(f_{\\ast}\\) acts on the space of distributions up to order \\(k\\) and any fixed points of this action are the invariant distributions. The property ``distributionally uniquely ergodic'' (DUE) of the title is the property that \\(f\\) is uniquely ergodic (so there is exactly one invariant probability measure) and the only invariant distribution is that measure. Irrational rotations of the torus are DUE, and \\textit{G. Forni} [Contemp. Math. 469, 197--213 (2008; Zbl 1156.37003)] raised the question of whether DUE diffeomorphisms could exist on other manifolds. Here a delicate construction, that in particular finds replacement techniques for the harmonic analysis tools available in more homogeneous settings, is made to show that DUE diffeomorphisms on \\(M=\\mathbb{T}\\times P\\) when \\(P\\) is a compact nilmanifold or a homogeneous space of compact type, meaning a space of the form \\(P=G/H\\) for a compact Lie group \\(G\\) and closed subgroup \\(H