Virtual

We will review how one can find families of 4d N=1 SCFTs starting from known 6d (1,0) SCFTs. 

Then we will discuss a relation between 6d RG-flows and 4d RG-flows, where the 4d RG-flow relates 4d N=1 models constructed from compactification of 6d (1,0) SCFTs related by the 6d RG-flow. We will show how we can utilize such a relation to find many "Lagrangians" for strongly coupled 4d models. Relating 6d SCFTs to 4d models as mentioned above will result in geometric reasoning behind some 4d phenomena such as dualities and symmetry enhancement.

Such a program generates a large database of known 4d N=1 SCFTs with many interrelations one can use in future efforts to construct 4d N=1 SCFTs from string theory directly.

I will present a new existence result for isoperimetric sets of  large volume on manifolds with nonnegative Ricci curvature and  Euclidean volume growth, under an additional assumption on the structure of tangent cones at infinity. After a brief discussion on the sharpness of the additional  assumption, I will show that it is always verified on manifolds with nonnegative sectional curvature. I will finally present the main ingredients of proof emphasizing the key role of nonsmooth techniques tailored for the study of RCD  spaces, a class of metric measure structures satisfying a synthetic notion of Ricci curvature bounded below. This is based on a joint work with G. Antonelli, M. Fogagnolo and M. Pozzetta.

Sela proved in 2006 that the (non abelian) free groups are stable. This implies the existence of a well-behaved forking independence relation, and raises the natural question of giving an algebraic description in the free group of this model-theoretic notion. In a joint work with Rizos Sklinos we give such a description (in a standard fg model F, over any set A of parameters) in terms of the JSJ decomposition of F over A, a geometric group theoretic tool giving a group presentation of F in terms of a graph of groups which encodes much information about its automorphism group relative to A. The main result states that two tuples of elements of F are forking independent over A if and only if they live in essentially disjoint parts of such a JSJ decomposition.

Model reduction is one of the most used tools to characterize real-world complex systems. A large realistic model is approximated by a simpler model on a smaller state space, capturing what is considered by the user as the most important features of the larger model. In this talk we will introduce a new information-theoretic criterion, called "autoinformation", that aggregates states of a Markov chain and provide a reduced model as Markovian (small memory of the past) and as predictable (small level of noise) as possible. We will discuss the connection of autoinformation to widely accepted model reduction techniques in network science such as modularity or degree-corrected stochastic block model inference. In addition to our theoretical results, we will validate such technique with didactic and real-life examples. When applied to the ocean surface currents, our technique, which is entirely data-driven, is able to identify the main global structures of the oceanic system when focusing on the appropriate time-scale of around 6 months.
arXiv link: https://arxiv.org/abs/2005.00337

In a joint work with Peter Ozsvath we have developed algebraic invariants for knots using a family of bordered knot algebras. The goal of this lecture is to review these constructions and discuss some of the latest developments.

Rigidity theorems prove that a group's geometry determines its algebra, typically up to virtual isomorphism. Motivated by rigidity problems, we study graphically discrete groups, which impose a discreteness criterion on the automorphism group of any graph the group acts on geometrically. Classic examples of graphically discrete groups include virtually nilpotent groups and fundamental groups of closed hyperbolic manifolds. We will present new examples, proving this property is not a quasi-isometry invariant. We will discuss action rigidity for free products of residually finite graphically discrete groups. This is joint work with Alex Margolis, Sam Shepherd, and Daniel Woodhouse.

We show that the existence of hyperbolic manifolds fibering over the circle is not a phenomenon confined to dimension 3 by exhibiting some examples in dimension 5. More generally, there are hyperbolic manifolds with perfect circle-valued Morse functions in all dimensions $n\le 5$. As a consequence, there are hyperbolic groups with finite-type subgroups that are not hyperbolic.

The main tool is Bestvina - Brady theory enriched with a combinatorial game recently introduced by Jankiewicz, Norin and Wise. These are joint works with Battista, Italiano, and Migliorini.

Consider simple rank-one Lie groups $SO(n, 1)$, $SU(n, 1)$ and $Sp(n ,1)$ ($n>1$). They are the isometry groups of real, complex and quaternionic hyperbolic spaces respectively.

By a result of Kostant, the trivial representation of $Sp(n ,1)$ is isolated in the space of irreducible unitary representations on Hilbert spaces. That is, $Sp(n ,1)$ has Kazhdan’s property (T) which is equivalent to the vanishing of 1st cohomology of the group in all unitary representations. This is in contrast to the case of $SO(n ,1)$ and $SU(n ,1)$ where they have the Haagerup approximation property, a strong negation of property (T).

This dichotomy between $SO(n ,1)$, $SU(n ,1)$ and $Sp(n ,1)$ disappears when we consider so-called uniformly bounded representations on Hilbert spaces. By a result of Cowling in 1980’s, the trivial representation of $Sp(n ,1)$ is no longer isolated in the space of uniformly bounded representations. Moreover, there is a uniformly bounded representation of $Sp(n ,1)$ with non-zero first cohomology group.

The goal of this talk is to describe these facts.

I will talk about joint work with Andrew Lobb related to Toeplitz's square peg problem, which asks whether every (continuous) Jordan curve in the Euclidean plane contains the vertices of a square. Specifically, we show that every smooth Jordan curve contains the vertices of a cyclic quadrilateral of any similarity class. I will describe the context for the result and its proof, which involves symplectic geometry in a surprising way.