{"entities":{"Q1634590":{"pageid":1645331,"ns":120,"title":"Item:Q1634590","lastrevid":68028435,"modified":"2026-04-12T20:57:17Z","type":"item","id":"Q1634590","labels":{"en":{"language":"en","value":"Rank-one theorem and subgraphs of BV functions in Carnot groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6994781"}},"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":"Q1634590$E27512F9-0CD2-4479-AB59-ED0F2C33F37B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b63371ebaca685be6bc8a7e18c41724aeceda0ce","datavalue":{"value":{"text":"Rank-one theorem and subgraphs of BV functions in Carnot groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1634590$B353CCFC-FFFB-41C0-A949-1B9F5E4B0BA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fdd77dccd80e719de0c817d93d8233afe9eace1","datavalue":{"value":"1410.49052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1634590$58216391-5E7C-4872-A49C-3BF5665798FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40caac00348e340cf752357a308ac3132b2805c4","datavalue":{"value":{"entity-type":"item","numeric-id":1634589,"id":"Q1634589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1634590$B55B5E96-0301-4B3A-A565-E292181DE8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef97599b254302b0fad812aeeb3640d94737d9b","datavalue":{"value":{"entity-type":"item","numeric-id":504065,"id":"Q504065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1634590$43E3ECE8-A6F9-46E8-8D78-63CD7DFF754B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c5e80980fda45eed7e3c07ed7298d495c74cf80","datavalue":{"value":{"entity-type":"item","numeric-id":342602,"id":"Q342602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1634590$1812A07A-1262-4885-A725-2B5E71665F2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c822db5813f0f9086f4e4ec19f4b6b46b5b495","datavalue":{"value":{"entity-type":"item","numeric-id":165791,"id":"Q165791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1634590$E613401A-316A-4888-94BA-F6144CD3B503","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0f227618f212e1aabdb733def27a9d54ea538c8","datavalue":{"value":{"time":"+2018-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1634590$EF317E18-461F-4C90-8259-97FF84BC89BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"322f7155a6b965a487d4e410add623378825445e","datavalue":{"value":"https://arxiv.org/abs/1712.02242","type":"string"},"datatype":"url"},"type":"statement","id":"Q1634590$CB74089B-1238-4B30-A201-5880D055D6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"863379b39cead918bacb016cf04fa10f7ee9eba3","datavalue":{"value":"http://hdl.handle.net/11577/3281351","type":"string"},"datatype":"url"},"type":"statement","id":"Q1634590$35437641-E1BE-43F9-A7C6-98C002B210F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"17c798c0bacd7fb441b50da1172c1e2d9a1109dd","datavalue":{"value":"Let \\(\\Omega\\subseteq \\mathbb R^{n}\\) be an open set. According to [\\textit{L. Ambrosio} et al., Functions of bounded variation and free discontinuity problems. Oxford: Clarendon Press (2000; Zbl 0957.49001); Definition 3.1, 3.4, Proposition 3.6], a function \\(u=(u_1,\\dots,u_d)\\in L^1(\\Omega,\\mathbb R^{d})\\) has bounded variation if it has the following properties \\begin{itemize}\\item[1.] The distributional derivatives \\( D_j u_i \\) may be represented by finite Radon measures on \\( \\Omega \\). That is, for all \\( i=1,\\dots,d \\), \\( j=1,\\dots,n \\) there exists a finite Radon measure \\( D_j u_i \\) on \\( \\Omega \\) such that \\[ \\int_\\Omega u_i D_j \\varphi\\, d\\mathcal{L}=-\\int_\\Omega\\varphi \\, dD_j u_i \\qquad \\text{for all }\\varphi\\in C^\\infty_c (\\Omega). \\] \\item[2.] The \\( \\mathbb{R}^{d\\times n} \\)-valued measure \\( Du:=(D_j u_i)_{1\\leq i\\leq d,\\,1\\leq j\\leq n}\\) has finite total variation. That is, \\[ \\sup\\left\\{ -\\sum_{i=1}^d \\sum_{j=1}^n \\int_\\Omega \\varphi_{i,j}\\, d D_j u_i : \\varphi=(\\varphi_{i,j}) \\in C^1_c (\\Omega,\\mathbb{R}^{d\\times n}),\\, \\| \\varphi \\|_\\infty \\leq 1\\right\\}<\\infty. \\] \\end{itemize} The measure \\( Du \\) may be decomposed as the sum \\( Du=D^a u+D^s u \\) where \\( D^a u \\) is absolutely continuous and \\( D^s u \\) is singular with respect to the Lebesgue measure on \\( \\Omega \\). Writing \\(\\frac{D^s u}{|D^s u|} \\) for the Radon-Nikod\u00fdm derivative of \\( D^s u \\) with respect to its total variation \\(|D^s u| \\), we have that \\( \\frac{D^su}{|D^s u|} \\) is a \\( |D^s u| \\)-measurable mapping \\( \\Omega\\to \\mathbb{R}^{d\\times n} \\). The rank-one theorem, first proved by \\textit{G. Alberti} in [Proc. R. Soc. Edinb., Sect. A, Math. 123, No. 2, 239--274 (1993; Zbl 0791.26008)] states that \\[ \\mathrm{rank}\\left(\\frac{D^s u}{\\left|D^s u\\right|}(x)\\right)=1\\qquad \\text{for }|D^s u|\\text{ a.e. }x\\in \\Omega, \\] for any \\(u\\in BV(\\Omega,\\mathbb{R}^d) \\). Later alternative proofs of the rank one theorem were provided by \\textit{G. De Philippis} and \\textit{F. Rindler} [Ann. Math. (2) 184, No. 3, 1017--1039 (2016; Zbl 1352.49050)] and by the second and third named authors of the presently reviewed work in [``An elementary proof of the rank-one theorem for BV functions'', Preprint, \\url{arXiv:1601.02903}], where the proof is significantly simpler. In the article under review, the authors consider to what extend the rank-one theorem extends to the more general setting of a Carnot group, that is, a simply connected Lie group \\(G\\) whose Lie algebra \\(\\mathfrak{g}\\) decomposes as \\[ \\mathfrak{g}=V_1 \\oplus V_2 \\oplus\\dots\\oplus V_s, \\] where \\(V_i=[V_1, V_{i-1}]\\) for \\(i=2,\\dots,s\\) and \\([V_1,V_s]=0\\). Let \\(G\\) be a Carnot group and \\(\\Omega\\subseteq G\\) be an open set. The authors establish sufficient conditions on \\(G\\) so that the rank-one theorem extends to functions \\(u\\in BV_{H,\\operatorname{loc}}(\\Omega,\\mathbb{R}^d) \\) of locally bounded horizontal variation. Examples of Carnot groups to which this result applies include the Heisenberg groups \\(\\mathbb{H}^n \\) for \\( n \\geq 2 \\). In their second main result the authors characterise those functions \\( u\\in L^1(\\Omega) \\) which have bounded horizontal variation. Such functions \\(u\\) are shown to be precisely those whose subgraph \\[ E_u:=\\{ (x,t)\\in \\Omega\\times \\mathbb{R}:t