8,480 reputation
12043
bio website math.wustl.edu/~nweaver
location
age
visits member for 2 years, 8 months
seen 4 hours ago

Dec
15
reviewed Approve Models of intuitionistic linear logic that reflect the resource interpretation
Dec
9
comment applications of C$^*$-algebras in the field of PDEs
I disagree with the decision to close this question. I'm not aware of a large body of applications of C*-algebra to PDEs. Could any of those who voted to close suggest other examples besides mine?
Dec
8
awarded  Enlightened
Dec
8
awarded  Nice Answer
Dec
8
reviewed Edit Self-dual automorphic forms on $GL(4)$
Dec
8
revised Self-dual automorphic forms on $GL(4)$
Corrections
Dec
6
reviewed Approve applications of C$^*$-algebras in the field of PDEs
Dec
6
answered applications of C$^*$-algebras in the field of PDEs
Dec
1
comment Extend product sigma-algebra to cross-constant sets
You are welcome!
Dec
1
comment Extend product sigma-algebra to cross-constant sets
I refer to a theorem of Banach and Kuratowski.
Dec
1
comment Extend product sigma-algebra to cross-constant sets
@Jochen: no, the axiom of choice excludes a translation-invariant measure on [0,1].
Dec
1
comment Extend product sigma-algebra to cross-constant sets
(Minor typo in condition 2: surely you mean $A \subseteq \Omega$.)
Dec
1
answered Extend product sigma-algebra to cross-constant sets
Nov
21
revised Continuity in Banach space for non-linear maps
added 12 characters in body
Nov
21
comment Continuity in Banach space for non-linear maps
Yeah, good point. Corrected.
Nov
21
answered Continuity in Banach space for non-linear maps
Nov
18
comment Does every commutative $*$-algebra of operators on a prehilbert space have a character?
@Yurii, please post details when you're ready. Sounds interesting.
Nov
18
comment C*-Algebras: Dynamics vs. Derivations
I guess the hint would be that exponentiating the generators should recover the one-parameter groups. The key technical point is that the generators have dense domain, which you can prove using a mollifier.
Nov
16
reviewed Approve surfaces tag wiki excerpt
Nov
15
comment Does every commutative $*$-algebra of operators on a prehilbert space have a character?
@Christian: I don't understand, involution is entrywise complex conjugate? Does this satisfy $\langle Av,w\rangle = \langle v, A^*w\rangle$?