A proper simply connected one-ended metric space is call semi-stable if any two proper rays are properly homotopic.  A finitely presented group is called semi-stable if the universal cover of its presentation 2-complex is semi-stable.  
It is conjectured that every finitely presented group is semi-stable.  We will examine the known results for the cases where the group in question is relatively hyperbolic or CAT(0). 
 

After outlining the principles of Algebraic Quantum Field Theory (AQFT) I will describe the generalization of Hochschild cohomology that is relevant to describing deformations in AQFT. An interaction is described by a cohomology class.

I will discuss a classical six-dimensional superconformal field theory containing a non-abelian tensor multiplet which we recently constructed in arXiv:1712.06623.

This theory satisfies many of the properties of the mysterious (2,0)-theory: non-abelian 2-form potentials, ADE-type gauge structure, reduction to Yang-Mills theory and reduction to M2-brane models. There are still some crucial differences to the (2,0)-theory, but our action seems to be a key stepping stone towards a potential classical formulation of the (2,0)-theory.

I will review in detail the underlying mathematics of categorified gauge algebras and categorified connections, which make our constructions possible.

Algebraic quantum field theories (AQFTs) are traditionally described as functors that assign algebras (of observables) to spacetime regions. These functors are required to satisfy a list of physically motivated axioms such as commutativity of the multiplication for spacelike separated regions. In this talk we will show that AQFTs can be described as algebras over a colored operad. This operad turns out to be interesting as it describes an interpolation between non-commutative and commutative algebraic structures. We analyze our operad from a homotopy theoretical perspective and determine a suitable resolution that describes the commutative behavior up to coherent homotopies. We present two concrete constructions of toy-models of algebras over the resolved operad in terms of (i) forming cochains on diagrams of simplicial sets (or stacks) and (ii) orbifoldization of equivariant AQFTs.

With the advent of large-scale data and the concurrent development of robust scientific tools to analyze them, important discoveries are being made in a wider range of scientific disciplines than ever before. A field of research that has gained substantial attention recently is the analytical, large-scale study of human behavior, where many analytical and statistical techniques are applied to various behavioral data from online social media, markets, and mobile communication, enabling meaningful strides in understanding the complex patterns of humans and their social actions.

The importance of such research originates from the social nature of humans, an essential human nature that clearly needs to be understood to ultimately understand ourselves. Another essential human nature is that they are creative beings, continually expressing inspirations or emotions in various physical forms such as a picture, sound, or writing. As we are successfully probing the social behaviors humans through science and novel data, it is natural and potentially enlightening to pursue an understanding of the creative nature of humans in an analogous way. Further, what makes such research even more potentially beneficial is that human creativity has always been in an interplay of mutual influence with the scientific and technological advances, being supplied with new tools and media for creation, and in return providing valuable scientific insights.

In this talk I will present two recent ongoing works on the mathematical analysis of color contrast in painting and measuring novelty in piano music.