HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the Brown measure of an operator in a finite factor is a
probability measure In mathematics, a probability measure is a real-valued function defined on a set of events in a probability space that satisfies measure properties such as ''countable additivity''. The difference between a probability measure and the more gener ...
on the complex plane which may be viewed as an analog of the spectral counting measure (based on algebraic multiplicity) of matrices. It is named after
Lawrence G. Brown Lawrence G. Brown (born February 6, 1943 in St. Louis, Missouri) is an American mathematician who studies operator algebras. Brown studied at Harvard University, graduating in 1968 with George Mackey as his advisor and thesis entitled ''On the Str ...
.


Definition

Let \mathcal be a finite factor with the canonical normalized trace \tau and let I be the identity operator. For every operator A \in \mathcal, the function \lambda \mapsto \tau(\log \left, A-\lambda I\), \; \lambda \in \Complex, is a subharmonic function and its
Laplacian In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols \nabla\cdot\nabla, \nabla^2 (where \nabla is the ...
in the distributional sense is a probability measure on \Complex \mu_A(\mathrm(a+b\mathbb)) := \frac\nabla^2 \tau(\log \left, A-(a+b\mathbb) I\)\mathrma\mathrmb which is called the Brown measure of A. Here the Laplace operator \nabla^2 is complex. The subharmonic function can also be written in terms of the
Fuglede−Kadison determinant In mathematics, the Fuglede−Kadison determinant of an invertible operator in a finite factor is a positive real number associated with it. It defines a multiplicative homomorphism from the set of invertible operators to the set of positive real n ...
\Delta_ as follows \lambda \mapsto \log\Delta_(A-\lambda I), \; \lambda \in \Complex.


See also

*


References

* . Geometric methods in operator algebras (Kyoto, 1983). * . {{Spectral theory Mathematical terminology