{"id":{"repo_id":"purdue-thes","oai_identifier":"oai:docs.lib.purdue.edu:open_access_dissertations-1751"},"canonical_url":"https://search.dev.ndltd.org/etd/purdue-thes/oai:docs.lib.purdue.edu:open_access_dissertations-1751","repository":{"repo_id":"purdue-thes","name":"Purdue University","base_url":"https://docs.lib.purdue.edu/do/oai/"},"display":{"title":"Rank constrained homotopies of matrices and the Blackadar-Handelman conjectures on C*-algebras","abstract":"<p>Rank constrained homotopies of matrices:</p> <p>For any <em>n ≥ k ≥ l</em> ∈ N, let <em>S</em>(<em> n,k,l</em>) be the set of all non-negative definite matrices <em>a</em> ∈ <em>Mn</em>(C) with <em>l</em> ≤ rank <em>a ≤ k</em>. We investigate homotopy equivalence of continuous maps from a compact Hausdorff space <em>X</em> into sets of the form <em>S</em>(<em>n,k,l</em>). From [37] it is known that for any <em>n</em>, if 4<em>dim X</em> ≤ <em>k-l</em> where <em>dim X</em> denote the covering dimension of <em>X</em>, then there is exactly one homotopy class of maps from <em>X</em> into <em>S</em>(<em>n,k,l</em>). In Section 3.1 we improve this bound by a factor of 8 by confirming <em>C</em>(<em>X,S</em>(<em> n,k,l</em>)) to have exactly one homotopy class of maps when [floor bracket] (<em>dim X</em>/2[end floor bracket] ≤ <em>k - l</em>.) This in particular means π<em>r</em>(<em>S</em>(<em> n,k,l</em>))=0</p> <p>Blackadar-Handelman conjectures on <em>C</em>*-algebras:</p> <p>Let <em>DF</em>(<em>A</em>) denote the set of all dimension functions on a <em>C</em>*-algebra <em>A</em> and let <em>LDF</em>(<em>A</em>) be the set of all <em>s</em> ∈ <em>DF</em>(<em>A</em>) which are lower semicontinuous. It is well known that <em>DF</em>(<em>A</em>) is naturally identified with the state space of the Cuntz semigroup <em>W</em>(<em>A</em>). From [6], <em>LDF</em>(<em>A</em>) bijectively corresponds to the space of all normalized quasitraces <em>QT</em>(<em>A</em>) through a continuous affine map. [6] conjectures <em>LDF</em>(<em> A</em>) to be pointwise dense in <em>DF</em>(<em>A</em>) and <em>DF</em>(<em>A</em>) to be a Choquet simplex.</p> <p>In Theorem 5.1.1 we provide an equivalent condition for the first of these conjectures for unital <em>A</em>. Applying this condition we confirm the first conjecture for all unital <em>A</em> for which either the radius of comparison is finite or the semigroup <em>W</em>(<em> A</em>) is almost unperforated (Theorem 5.2.5). for every $r\\leq 2(k-l)+1$. Our results are achieved through applications of the techniques developed in [8] and [33]. If <em>LDF</em>(<em>A</em>) is dense in <em>DF</em>(<em>A</em>) for an unital <em>A</em> that has only finitely many extreme points in <em>QT</em>(<em>A</em>), through a simple application of Krein-Milman Theorem we note that <em>DF</em>(<em>A</em>)=<em>LDF</em>(<em>A</em>) and that <em>DF</em>(<em>A</em>) is affinely homeomorphic to <em>QT</em>(<em>A</em>). Together with results on the first conjecture this confirms the second conjecture for a new class of <em>C</em>*-algebras.</p> <p>Possibility of extending these results to inductive limits remain an open question.</p> <p>In general the second conjecture is true for any unital <em>A</em> for which (ordered) Grothendieck group <em>K</em>0(<em> A</em>) of <em>W</em>(<em>A</em>) has Riesz interpolation property [15] and every known confirmation of the second conjecture is achieved by showing Riesz interpolation hold for <em>K</em>0(<em> A</em>) [1,9,29]. We consider a <em>stably approximate</em> version of interpolation that is weaker than the classical Riesz interpolation. In fact it is easily seen that this property is even weaker than the <em>asymptotic interpolation</em> property considered in [28]. In Corollary 6.4.3 we confirm <em>DF</em>(<em>A</em>) to be a Choquet simplex for any unital <em>A</em> for which <em>W</em>(<em>A</em>) satisfies this weaker notion of interpolation.</p> <p>While Corollary 6.4.3 has the scope of confirming the second conjecture for a broader class of <em>C</em>*-algebras, finding a `good' class of <em>C</em>*-algebras in which <em>W</em>(<em>A</em>) exhibits stably approximate interpolation but does not satisfy Riesz interpolation remains open.</p>","abstract_html":"&lt;p&gt;Rank constrained homotopies of matrices:&lt;/p&gt; &lt;p&gt;For any &lt;em&gt;n ≥ k ≥ l&lt;/em&gt; ∈ N, let &lt;em&gt;S&lt;/em&gt;(&lt;em&gt; n,k,l&lt;/em&gt;) be the set of all non-negative definite matrices &lt;em&gt;a&lt;/em&gt; ∈ &lt;em&gt;Mn&lt;/em&gt;(C) with &lt;em&gt;l&lt;/em&gt; ≤ rank &lt;em&gt;a ≤ k&lt;/em&gt;. We investigate homotopy equivalence of continuous maps from a compact Hausdorff space &lt;em&gt;X&lt;/em&gt; into sets of the form &lt;em&gt;S&lt;/em&gt;(&lt;em&gt;n,k,l&lt;/em&gt;). From [37] it is known that for any &lt;em&gt;n&lt;/em&gt;, if 4&lt;em&gt;dim X&lt;/em&gt; ≤ &lt;em&gt;k-l&lt;/em&gt; where &lt;em&gt;dim X&lt;/em&gt; denote the covering dimension of &lt;em&gt;X&lt;/em&gt;, then there is exactly one homotopy class of maps from &lt;em&gt;X&lt;/em&gt; into &lt;em&gt;S&lt;/em&gt;(&lt;em&gt;n,k,l&lt;/em&gt;). In Section 3.1 we improve this bound by a factor of 8 by confirming &lt;em&gt;C&lt;/em&gt;(&lt;em&gt;X,S&lt;/em&gt;(&lt;em&gt; n,k,l&lt;/em&gt;)) to have exactly one homotopy class of maps when [floor bracket] (&lt;em&gt;dim X&lt;/em&gt;/2[end floor bracket] ≤ &lt;em&gt;k - l&lt;/em&gt;.) This in particular means π&lt;em&gt;r&lt;/em&gt;(&lt;em&gt;S&lt;/em&gt;(&lt;em&gt; n,k,l&lt;/em&gt;))=0&lt;/p&gt; &lt;p&gt;Blackadar-Handelman conjectures on &lt;em&gt;C&lt;/em&gt;*-algebras:&lt;/p&gt; &lt;p&gt;Let &lt;em&gt;DF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) denote the set of all dimension functions on a &lt;em&gt;C&lt;/em&gt;*-algebra &lt;em&gt;A&lt;/em&gt; and let &lt;em&gt;LDF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) be the set of all &lt;em&gt;s&lt;/em&gt; ∈ &lt;em&gt;DF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) which are lower semicontinuous. It is well known that &lt;em&gt;DF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) is naturally identified with the state space of the Cuntz semigroup &lt;em&gt;W&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;). From [6], &lt;em&gt;LDF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) bijectively corresponds to the space of all normalized quasitraces &lt;em&gt;QT&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) through a continuous affine map. [6] conjectures &lt;em&gt;LDF&lt;/em&gt;(&lt;em&gt; A&lt;/em&gt;) to be pointwise dense in &lt;em&gt;DF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) and &lt;em&gt;DF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) to be a Choquet simplex.&lt;/p&gt; &lt;p&gt;In Theorem 5.1.1 we provide an equivalent condition for the first of these conjectures for unital &lt;em&gt;A&lt;/em&gt;. Applying this condition we confirm the first conjecture for all unital &lt;em&gt;A&lt;/em&gt; for which either the radius of comparison is finite or the semigroup &lt;em&gt;W&lt;/em&gt;(&lt;em&gt; A&lt;/em&gt;) is almost unperforated (Theorem 5.2.5). for every $r\\leq 2(k-l)+1$. Our results are achieved through applications of the techniques developed in [8] and [33]. If &lt;em&gt;LDF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) is dense in &lt;em&gt;DF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) for an unital &lt;em&gt;A&lt;/em&gt; that has only finitely many extreme points in &lt;em&gt;QT&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;), through a simple application of Krein-Milman Theorem we note that &lt;em&gt;DF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;)=&lt;em&gt;LDF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) and that &lt;em&gt;DF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) is affinely homeomorphic to &lt;em&gt;QT&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;). Together with results on the first conjecture this confirms the second conjecture for a new class of &lt;em&gt;C&lt;/em&gt;*-algebras.&lt;/p&gt; &lt;p&gt;Possibility of extending these results to inductive limits remain an open question.&lt;/p&gt; &lt;p&gt;In general the second conjecture is true for any unital &lt;em&gt;A&lt;/em&gt; for which (ordered) Grothendieck group &lt;em&gt;K&lt;/em&gt;0(&lt;em&gt; A&lt;/em&gt;) of &lt;em&gt;W&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) has Riesz interpolation property [15] and every known confirmation of the second conjecture is achieved by showing Riesz interpolation hold for &lt;em&gt;K&lt;/em&gt;0(&lt;em&gt; A&lt;/em&gt;) [1,9,29]. We consider a &lt;em&gt;stably approximate&lt;/em&gt; version of interpolation that is weaker than the classical Riesz interpolation. In fact it is easily seen that this property is even weaker than the &lt;em&gt;asymptotic interpolation&lt;/em&gt; property considered in [28]. In Corollary 6.4.3 we confirm &lt;em&gt;DF&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) to be a Choquet simplex for any unital &lt;em&gt;A&lt;/em&gt; for which &lt;em&gt;W&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) satisfies this weaker notion of interpolation.&lt;/p&gt; &lt;p&gt;While Corollary 6.4.3 has the scope of confirming the second conjecture for a broader class of &lt;em&gt;C&lt;/em&gt;*-algebras, finding a `good&#x27; class of &lt;em&gt;C&lt;/em&gt;*-algebras in which &lt;em&gt;W&lt;/em&gt;(&lt;em&gt;A&lt;/em&gt;) exhibits stably approximate interpolation but does not satisfy Riesz interpolation remains open.&lt;/p&gt;","abstract_has_math":true,"creators":["Silva, Kaushika De"],"institution":null,"degree_name":"Doctor of Philosophy (PhD)","degree_level":"Thesis","degree_discipline":"Mathematics","degree_department":null,"school":null,"contributors":["Andrew S. Toms","Lawrence G. Brown","Marius Dadarlat","David B. McReynolds"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2016,"date_issued":"2016-04-01T07:00:00Z","date_published":"2016-04-01T07:00:00Z","updated_at":"2026-07-24T03:53:47Z","subjects":["Pure sciences","Blackadar-Handelman","Rank constrained homotopy","Stably-approximate interploation","Mathematics"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://docs.lib.purdue.edu/open_access_dissertations/639","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Andrew S. Toms","Lawrence G. Brown","Marius Dadarlat","David B. McReynolds"]},{"key":"dc:creator","label":"Author","values":["Silva, Kaushika De"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"thesis:degree_discipline","label":"Discipline","values":["Mathematics"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Doctor of Philosophy (PhD)"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Pure sciences","Blackadar-Handelman","Rank constrained homotopy","Stably-approximate interploation","Mathematics"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://docs.lib.purdue.edu/open_access_dissertations/639"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["<p>Rank constrained homotopies of matrices:</p> <p>For any <em>n ≥ k ≥ l</em> ∈ N, let <em>S</em>(<em> n,k,l</em>) be the set of all non-negative definite matrices <em>a</em> ∈ <em>Mn</em>(C) with <em>l</em> ≤ rank <em>a ≤ k</em>. We investigate homotopy equivalence of continuous maps from a compact Hausdorff space <em>X</em> into sets of the form <em>S</em>(<em>n,k,l</em>). From [37] it is known that for any <em>n</em>, if 4<em>dim X</em> ≤ <em>k-l</em> where <em>dim X</em> denote the covering dimension of <em>X</em>, then there is exactly one homotopy class of maps from <em>X</em> into <em>S</em>(<em>n,k,l</em>). In Section 3.1 we improve this bound by a factor of 8 by confirming <em>C</em>(<em>X,S</em>(<em> n,k,l</em>)) to have exactly one homotopy class of maps when [floor bracket] (<em>dim X</em>/2[end floor bracket] ≤ <em>k - l</em>.) This in particular means π<em>r</em>(<em>S</em>(<em> n,k,l</em>))=0</p> <p>Blackadar-Handelman conjectures on <em>C</em>*-algebras:</p> <p>Let <em>DF</em>(<em>A</em>) denote the set of all dimension functions on a <em>C</em>*-algebra <em>A</em> and let <em>LDF</em>(<em>A</em>) be the set of all <em>s</em> ∈ <em>DF</em>(<em>A</em>) which are lower semicontinuous. It is well known that <em>DF</em>(<em>A</em>) is naturally identified with the state space of the Cuntz semigroup <em>W</em>(<em>A</em>). From [6], <em>LDF</em>(<em>A</em>) bijectively corresponds to the space of all normalized quasitraces <em>QT</em>(<em>A</em>) through a continuous affine map. [6] conjectures <em>LDF</em>(<em> A</em>) to be pointwise dense in <em>DF</em>(<em>A</em>) and <em>DF</em>(<em>A</em>) to be a Choquet simplex.</p> <p>In Theorem 5.1.1 we provide an equivalent condition for the first of these conjectures for unital <em>A</em>. Applying this condition we confirm the first conjecture for all unital <em>A</em> for which either the radius of comparison is finite or the semigroup <em>W</em>(<em> A</em>) is almost unperforated (Theorem 5.2.5). for every $r\\leq 2(k-l)+1$. Our results are achieved through applications of the techniques developed in [8] and [33]. If <em>LDF</em>(<em>A</em>) is dense in <em>DF</em>(<em>A</em>) for an unital <em>A</em> that has only finitely many extreme points in <em>QT</em>(<em>A</em>), through a simple application of Krein-Milman Theorem we note that <em>DF</em>(<em>A</em>)=<em>LDF</em>(<em>A</em>) and that <em>DF</em>(<em>A</em>) is affinely homeomorphic to <em>QT</em>(<em>A</em>). Together with results on the first conjecture this confirms the second conjecture for a new class of <em>C</em>*-algebras.</p> <p>Possibility of extending these results to inductive limits remain an open question.</p> <p>In general the second conjecture is true for any unital <em>A</em> for which (ordered) Grothendieck group <em>K</em>0(<em> A</em>) of <em>W</em>(<em>A</em>) has Riesz interpolation property [15] and every known confirmation of the second conjecture is achieved by showing Riesz interpolation hold for <em>K</em>0(<em> A</em>) [1,9,29]. We consider a <em>stably approximate</em> version of interpolation that is weaker than the classical Riesz interpolation. In fact it is easily seen that this property is even weaker than the <em>asymptotic interpolation</em> property considered in [28]. In Corollary 6.4.3 we confirm <em>DF</em>(<em>A</em>) to be a Choquet simplex for any unital <em>A</em> for which <em>W</em>(<em>A</em>) satisfies this weaker notion of interpolation.</p> <p>While Corollary 6.4.3 has the scope of confirming the second conjecture for a broader class of <em>C</em>*-algebras, finding a `good' class of <em>C</em>*-algebras in which <em>W</em>(<em>A</em>) exhibits stably approximate interpolation but does not satisfy Riesz interpolation remains open.</p>"]},{"key":"dc:title","label":"Title","values":["Rank constrained homotopies of matrices and the Blackadar-Handelman conjectures on C*-algebras"]}]}],"canonical_facts":{"dc:contributor":["Andrew S. Toms","Lawrence G. Brown","Marius Dadarlat","David B. McReynolds"],"dc:creator":["Silva, Kaushika De"],"dc:description.abstract":["<p>Rank constrained homotopies of matrices:</p> <p>For any <em>n ≥ k ≥ l</em> ∈ N, let <em>S</em>(<em> n,k,l</em>) be the set of all non-negative definite matrices <em>a</em> ∈ <em>Mn</em>(C) with <em>l</em> ≤ rank <em>a ≤ k</em>. We investigate homotopy equivalence of continuous maps from a compact Hausdorff space <em>X</em> into sets of the form <em>S</em>(<em>n,k,l</em>). From [37] it is known that for any <em>n</em>, if 4<em>dim X</em> ≤ <em>k-l</em> where <em>dim X</em> denote the covering dimension of <em>X</em>, then there is exactly one homotopy class of maps from <em>X</em> into <em>S</em>(<em>n,k,l</em>). In Section 3.1 we improve this bound by a factor of 8 by confirming <em>C</em>(<em>X,S</em>(<em> n,k,l</em>)) to have exactly one homotopy class of maps when [floor bracket] (<em>dim X</em>/2[end floor bracket] ≤ <em>k - l</em>.) This in particular means π<em>r</em>(<em>S</em>(<em> n,k,l</em>))=0</p> <p>Blackadar-Handelman conjectures on <em>C</em>*-algebras:</p> <p>Let <em>DF</em>(<em>A</em>) denote the set of all dimension functions on a <em>C</em>*-algebra <em>A</em> and let <em>LDF</em>(<em>A</em>) be the set of all <em>s</em> ∈ <em>DF</em>(<em>A</em>) which are lower semicontinuous. It is well known that <em>DF</em>(<em>A</em>) is naturally identified with the state space of the Cuntz semigroup <em>W</em>(<em>A</em>). From [6], <em>LDF</em>(<em>A</em>) bijectively corresponds to the space of all normalized quasitraces <em>QT</em>(<em>A</em>) through a continuous affine map. [6] conjectures <em>LDF</em>(<em> A</em>) to be pointwise dense in <em>DF</em>(<em>A</em>) and <em>DF</em>(<em>A</em>) to be a Choquet simplex.</p> <p>In Theorem 5.1.1 we provide an equivalent condition for the first of these conjectures for unital <em>A</em>. Applying this condition we confirm the first conjecture for all unital <em>A</em> for which either the radius of comparison is finite or the semigroup <em>W</em>(<em> A</em>) is almost unperforated (Theorem 5.2.5). for every $r\\leq 2(k-l)+1$. Our results are achieved through applications of the techniques developed in [8] and [33]. If <em>LDF</em>(<em>A</em>) is dense in <em>DF</em>(<em>A</em>) for an unital <em>A</em> that has only finitely many extreme points in <em>QT</em>(<em>A</em>), through a simple application of Krein-Milman Theorem we note that <em>DF</em>(<em>A</em>)=<em>LDF</em>(<em>A</em>) and that <em>DF</em>(<em>A</em>) is affinely homeomorphic to <em>QT</em>(<em>A</em>). Together with results on the first conjecture this confirms the second conjecture for a new class of <em>C</em>*-algebras.</p> <p>Possibility of extending these results to inductive limits remain an open question.</p> <p>In general the second conjecture is true for any unital <em>A</em> for which (ordered) Grothendieck group <em>K</em>0(<em> A</em>) of <em>W</em>(<em>A</em>) has Riesz interpolation property [15] and every known confirmation of the second conjecture is achieved by showing Riesz interpolation hold for <em>K</em>0(<em> A</em>) [1,9,29]. We consider a <em>stably approximate</em> version of interpolation that is weaker than the classical Riesz interpolation. In fact it is easily seen that this property is even weaker than the <em>asymptotic interpolation</em> property considered in [28]. In Corollary 6.4.3 we confirm <em>DF</em>(<em>A</em>) to be a Choquet simplex for any unital <em>A</em> for which <em>W</em>(<em>A</em>) satisfies this weaker notion of interpolation.</p> <p>While Corollary 6.4.3 has the scope of confirming the second conjecture for a broader class of <em>C</em>*-algebras, finding a `good' class of <em>C</em>*-algebras in which <em>W</em>(<em>A</em>) exhibits stably approximate interpolation but does not satisfy Riesz interpolation remains open.</p>"],"dc:identifier":["https://docs.lib.purdue.edu/open_access_dissertations/639"],"dc:subject":["Pure sciences","Blackadar-Handelman","Rank constrained homotopy","Stably-approximate interploation","Mathematics"],"dc:title":["Rank constrained homotopies of matrices and the Blackadar-Handelman conjectures on C*-algebras"],"thesis:degree_discipline":["Mathematics"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-24T03:53:47Z"}