Computer proofs for Property (T), and SDP duality

  • Datum:

    16.12.21

  • Referent:

    Martin Nitsche

  • Zeit:

    16:00 - 17:30

  • Abstrakt

    The optimization problem that lies at the heart of the computer proof for Property (T) satisfies strong duality. The dual problem has a geometric interpretation similar to Property (FH). We explain this and show how the geometric picture can be used to simplify the problem and prove Property (T) for Aut(F_4).

     
  • Ort:

    20.30 SR 2.058