海角社区

Speaker: Gerard Valenti-Rojas聽(Atom Computing).Abstract:聽The accumulation of errors in quantum computers limits the execution of powerful algorithms. As a result, current devices require Quantum Error Correction (QEC) to operate reliably in the presence of noise 鈥� a paradigm known as Fault-Tolerant Quantum Computation (FTQC).In this talk, I will introduce the principles of QEC, explain why it is essential, and illustrate how it can be implemented in practice on a neutral-atom quantum computing platform. This is meant to give the audience an intuitive sense of what it means to run a fault-tolerant quantum algorithm on real hardware. If time permits, I will discuss some promising quantum low-density parity-check (qLDPC) code constructions and the new opportunities they may offer for scalable fault tolerance.By the end of the talk, participants should be familiar with key concepts such as encoding circuits, logical gate implementation, syndrome extraction, as well as the practical challenges involved in realising these techniques experimentally.

Speaker: Steffen Schmidt聽(海角社区).Abstract:聽Symmetry serves as a guiding principle in mathematics and physics. The language of symmetry groups and their actionsorganizes a wide range of phenomena. In this setting, Dirac operators form a natural bridge between quantum mechanics, geometry, and representation theory.聽In representation theory, Dirac operators provide conceptual and computational tools for addressing basic problems concerning a (semisimple) Lie group: they furnish explicit constructions, give effective criteria for unitarity, contribute to classification results, and relate the topology of locally symmetric spaces to representation-theoretic data. A foundational instance is Parthasarathy's use of a representation-theoretic Dirac operator in the study of discrete series representations.聽Interest in this circle of ideas intensified in the late 1990s, following Kostant's introduction of the cubic Dirac operator and the subsequent development of \emph{Dirac cohomology}, including Huang鈥揚and啪i膰鈥檚 proofof Vogan's conjecture.聽In this talk, I present a modern construction of (algebraic) Dirac operators and discuss applications of Dirac operators and Dirac cohomology to representations of Lie superalgebras, including localization principles, relations with Duflo鈥揝erganova cohomology, and character formulas.

Speaker: Ben Brown聽(IBM).Abstract:聽In order to scale a quantum computer to solve difficult problems, not only do we need to produce a quantum memory that protect quantum information from noise, but we also need to perform logical operations (logic gates) to manipulate the protected states. Like the memory, these logic gates must also protect their encoded quantum information as gates are performed. A number of the major breakthroughs in the field of error-corrected logic gates have been made through building connections between quantum error-correcting codes and topological phases of matter. Indeed, the surface code is central to this connection, and this model has captured the imagination of the entire error-correction community. In this talk I will explain how error-corrected logic is performed with the surface code by introducing lattice dislocations with behaviour that is analogous to anyonic quasiparticle excitations known as Majorana fermions. I will also explain how we can use transformations between different topological phases of matter via gauging operations to create magic states; an essential component in a logic gate set. I will mention experimental progress towards the realisations of these gates, and I will look ahead to describe how these ideas are being adapted for quantum computing architectures with long-range interactions, that can potentially minimise the high resource cost of building a practical quantum computer.

Speaker: Olga Solodovnikova (海角社区).Abstract:聽In this research seminar, I will discuss techniques for simulating continuous-variable circuits, which typically fall into two categories: phase-space simulation (Gaussian), and Fock-space simulation.聽I will present the methodology behind a CV circuit simulation library, which I developed during my PhD, which extends the Gaussian representation to systems that can be written as linear combinations of Gaussians. By approximating Fock states as superpositions of coherent states, any finite-energy CV state can be represented in this formalism. Furthermore, the complexity of this algorithm scales with the stellar rank of the non-Gaussian circuit elements.聽In the two manuscripts, I showcase the library by simulating and optimising GKP state preparation circuits in the presence of loss. Having said that, the formalism is applicable to any continuous-variable system.聽[1] Solodovnikova et al. 鈥淔ast Simulations of Continuous-Variable Circuits Using the Coherent State Decomposition.鈥� arXiv:2508.06175 [quant-ph][2] Solodovnikova et al. 鈥淭he Loss Tolerance of Cat Breeding for Fault-Tolerant Grid State Generation.鈥� arXiv:2508.06193 [quant-ph]

Speaker: Olga Solodovnikova (海角社区).Abstract:聽In this seminar, I will introduce continuous quantum variables [1], which are used to describe systems of oscillators, that is, systems with infinite Hilbert spaces such as photonic systems or the vibrational motion of trapped ions.聽To build a universal and fault-tolerant quantum computer with a continuous-variable system, it is necessary to encode a qubit in an oscillator, perform gates from the universal gate set, and measure stabilisers to implement error correction.聽聽In the second part of the introductory seminar, I will introduce the measurement-based quantum computing framework for optical systems, in which Gottesman-Kitaev-Preskill (GKP) states are injected into a cluster state, and homodyne/heterodyne detectors are used to i) apply gates via teleportation and ii) measure stabilisers [2].聽Lastly, I will discuss the experimental progress on building a measurement-based quantum computer [3], where, in particular, the generation of GKP states [4] is a major bottleneck due to photon loss.聽[1] Braunstein and van Loock. 鈥淨uantum Information with Continuous Variables.鈥� Rev. Mod. Phys.聽77, no. 2 (2005).[2] Gottesman, et al. 鈥淓ncoding a Qubit in an Oscillator.鈥� Physical Review A聽64, no. 1 (2001): 012310.聽[3] Aghaee Rad, H., T. Ainsworth, R. N. Alexander, et al. 鈥淪caling and Networking a Modular Photonic Quantum Computer.鈥� Nature聽638, no. 8052 (2025): 912鈥�19.聽[4] Larsen, M. V., J. E. Bourassa, S. Kocsis, et al. 鈥淚ntegrated Photonic Source of Gottesman鈥揔itaev鈥揚reskill Qubits.鈥� Nature聽642, no. 8068 (2025): 587鈥�91.

Speaker:聽Julio C. Magdalena de la Fuente聽(Freie Universit盲t Berlin).Abstract:聽Topological quantum error correction encodes quantum information in the ground space of a topologically ordered lattice system or in the fusion space of topological defects. In this talk I will focus on the former. To use such codes for reliable quantum computation, one must design low-overhead circuits that protect and manipulate the encoded information in a fault-tolerant way.I will start with presenting simple protocols based on two-dimensional topological codes that are composed of 2D local gates. Representing these protocols as tensor networks local in a 3D spacetime lattice leads to a useful viewpoint. We identify a topological QEC circuit with an imaginary-time topological path integral of a topological gauge theory. Within this picture, both physical errors and non-trivial measurement outcomes appear as certain defects in the path integral and their combinatorial structure defines the associated classical decoding problem.I will go through the construction of logically non-trivial fault-tolerant gates using topological boundaries and domain walls between topological phases. In order to perform universal computation a non-Abelian state must be stabilized during the computation. The path-integral perspective allows to calculate the logical action and extract the resulting causality constraints on the classical decoder that is needed to make the protocols resilient to arbitrary errors. It also provides an efficient way to simulate the success of a given decoding strategy using Monte-Carlo sampling based on third-order cohomology invariants of the underlying spacetime complex. I want to introduce the necessary ingredients to construct and analyze such QEC protocols for their performance and argue about their reliable implementation in the presence of errors.

Speaker: Daniel Stack (Atom Computing)Abstract:聽This talk will describe recent progress on neutral-atom-based quantum computation at Atom Computing Inc. These results are enabled by a flexible platform capable of large qubit numbers, high-fidelity gates, arbitrary qubit connectivity, and mid-circuit measurement. I will describe how these features can enable circuits with large numbers of physical and logical qubits. I will also present recent demonstrations of techniques for reusing and replenishing qubits after mid-circuit measurement鈥攌ey steps for enabling the execution of long error-correcting computation despite atom loss.

Speaker: Matthew Yu (University of Oxford)Abstract:聽I will explain聽a comprehensive framework for characterizing the infrared (IR) phases of a fermionic QFTs in (3+1)d, based on their quantum anomalies associated with a finite symmetry. We uncover a fundamental dichotomy among these anomalies: the first class of anomalies can always be realized by symmetric gapped states, while the second class can never be realized by gapped states without breaking the given symmetry, establishing the phenomenon of symmetry-enforced gaplessness in these settings. Using the construction of symmetry extension afforded to us by new developments in fusion 2-categories, we construct the candidate gapped states that theories with the first class of anomalies can flow to in the IR. As an application, I will provide examples of concrete predictions for the candidate IR phases of (3+1)d gauge theories based on our results.

Speaker: Ondrej Hulik (Heidelberg University).Abstract:聽GLSM models describe a large class of interesting geometries as symplectic quotients. However, they generally cannot produce a Ricci-flat metric on the quotient space. I will present a new construction/extension of standard GLSM techniques that circumvents this problem. Furthermore, using toric geometry, I will explain how this method is related to the Calabi鈥揧au ansatz known in the literature.

Speaker: David Jordan聽(鈥婾niversity of Edinburgh).Skein modules are vector spaces attached to closed 3-manifolds and reductive groups G, which capture the calculus of line operators in Chern-Simons theory.聽 A few years ago we showed with Gunningham and Safronov that skein modules are finite-dimensional when the quantum parameter q is generic.聽 In this talk I will give a overview of recent progress since then:聽 I will survey the known formulas for 3-manifolds, I will explain finiteness for 3-manifolds with boundary, and with embedded line defects, and I'll also explain a new kind of finiteness result for skein categories.

Speaker: Sara Maggio聽(鈥婾niversity of Bonn).Abstract:聽Feynman integrals associated with geometries beyond the Riemann sphere, such as elliptic and Calabi鈥揧au geometries, are playing an increasingly important role in modern precision calculations. They appear not only in collider cross sections, but also in gravitational-wave scattering. A powerful way to compute these integrals is through systems of differential equations, particularly when these can be brought into canonical form, making their singularity structure manifest. In this talk, I will present a method to construct canonical differential equations for multi-loop Feynman integrals beyond the polylogarithmic setting, with particular emphasis on Calabi鈥揧au examples. After introducing the method through the two-loop sunrise integral, I will show how it applies to the cutting-edge case of the three-loop multi-parameter banana integrals.

Speaker: Ryan Cullinan聽(鈥婾niversity of York).Abstract:聽Integrable systems provide a pragmatic point in the landscape of physical theories. Such systems are characterised by their solvability, which is usually underpinned by the possession of an infinite-dimensional symmetry group, the existence of solitonic solutions, or admittance of an algebro-geometric description of the system.Given the abundance of models deemed 鈥榠ntegrable鈥� in one of the aforementioned senses, it becomes essential to ask what universal characteristics these models share that enable their integrability. A systematic understanding of Lax integrability for integrable field theories in two dimensions was provided by the introduction of a topological holomorphic theory in four dimensions called four-dimensional Chern-Simons theory, which illuminates many of the superficially mysterious aspects of a system's integrability by describing the data of a two-dimensional integrable field theory in the language of four-dimensional gauge theory.In this talk, we will describe the refinements required to build on this paradigm by studying a topological-holomorphic theory in five dimensions called five-dimensional 2-Chern-Simons. The aforementioned theory is a 2-categorical generalisation of its four-dimensional counterpart, describing Lax integrable field theories in three dimensions via the medium of higher categorical gauge theory. Bringing together results from homotopical and homological algebra, Hodge theory, and the BV formalism, we will outline the subtleties in defining the theory and in attempting to chart this new landscape of 'higher Lax integrable' theories.

Speaker: Boris Kj忙r聽(鈥婾niversity of Copenhagen).Abstract:In recent years, the analysis of topologically ordered ground states of 2d quantum lattice systems in the thermodynamic limit has been developed to provide a rigorous invariant of gapped phases. The methodology is based on the approach of Doplicher, Haag, and Roberts in the context of algebraic quantum field theory, and derives a braided C*-tensor category which represents the anyonic excitations above the ground state and the fusion and braiding among them.聽We present the computation of this category for the class of Levin-Wen models, which yields the Drinfeld center Z(C) of an arbitrary unitary fusion category C up to braided monoidal equivalence. Previous methods, applied to quantum double models based on finite groups, relied on defining string operators on the quasi-local observable algebra implementing an action of Z(Vec_G). But there are obstructions in K-theory that limit this approach to group-like models with integer quantum dimensions. Our approach requires detailed understanding of the local ground state spaces of the model in terms of topological quantum field theory based on skein modules. Based on work joint with Alex Bols.

Speaker: Birgit Kaufmann聽(Purdue University).Abstract:聽Quantum annealers represent an interesting approach to quantum computing, which make use of the adiabatic theorem to efficiently find the ground state of a physically realizable Hamiltonian. Such devices are currently commercially available and have been most successfully applied to several combinatorial and discrete optimization problems. However, the application of quantum annealers to problems in chemistry remains a relatively sparse area of research due to the difficulty in mapping molecular systems to the Ising Hamiltonian representing the architecture of the DWave quantum computer. In this talk, we review two different methods for finding the ground state of molecular Hamiltonians using Ising-model-based quantum annealers. In addition, we compare the relative effectiveness of each method by calculating the binding energies, bond lengths, and bond angles of the H3+ and H2O molecules and mapping their potential energy curves. We also assess the resource requirements of each method by determining the number of qubits and computation time required to simulate each molecule using various parameter values. While each of these methods is capable of accurately predicting the ground state properties of small molecules, we find that they are still outperformed by modern classical algorithms and that the scaling of the resource requirements remains a challenge.

Speaker: Ralph Kaufmann聽(Purdue University).Abstract:聽Quantum phase transitions are a key part of the quantum landscape. These appear in mathematical systems and real materials. They are potentially useful for quantum computing and quantum sensing. In joint work with Mohamad Mousa and Birgit Kaufmann-Wehefritz, we showed that any abstract phase diagram of Chern insulators can be achieved in a continuum model. Furthermore, we gave sequences of higher Chern models built on tight-binding models exhibiting an infinite sequence of Chern numbers. In newer developments these constructions also will shed light on MPS and materials with symmetries. We also conjecture that they will be useful for quantum error correction.

Speaker: Frederik Nathan聽(University of Copenhagen).Abstract:聽The current main paradigm for quantum computing 鈥� active quantum error correction (AEC) with overhead qubits 鈥� faces two challenges: Realizing long-lived logical qubits at reasonable resource cost, and achieving universal fault-tolerant quantum gates. At the root of these challenges lie two no-go theorems: The Braviy-Terhal theorems, which forbids passively-stabilized, or self-correcting, qubits in <4 dimensions, and the Eastin-Knill theorem which dictates that fault-tolerant non-Clifford gates must be generated with costly magic distillation or cultivation routines. Together, these theorems imply that even simple quantum information processing operations require continuous readout, data processing, and feedback control of very large numbers of overhead qubits.聽Here I illustrate how the no-go-theorems above are not as far-reaching as one could fear, but can be circumvented via an alternative paradigm for quantum computing currently gaining experimental maturity: bosonic codes (BC), which redundantly encodes a qubit in the infinite-dimensional Fock state of a single continuous variable. In particular, I will demonstrate how tuning the impedance of a simple driven-dissipative superconducting resonator to a 鈥渕agic鈥� value given by a constant of nature can lead to a self-correcting Gottesman-Kitaev-Preskill qubit that supports exponentially-robust Clifford and non-Clifford gates [1,2].聽[1] FN, L. O鈥橞rien, K. Noh, M.H. Matheny, A.L. Grimsmo, L. Jiang, G. RefaelPRX Quantum 6 (3), 030352 (2025)[2] L. O'Brien, G. Refael, FN arXiv:2507.19713 (2025)

Speaker: Bingyu Zhang聽(鈥嫼＝巧缜�)Abstract:Generation is a key concept for understanding the structure of Fukaya category over Novikov field. However, over Novikov ring, this concept loses effectiveness: Over Novikov ring, two objects are equivalent in Fukaya category if and only if they are geometrically the same. To resolve the issue, we shall reformulate the notion of generation in terms of the density of certain objects in terms of the interleaving distance. Then we explain the density of the cotangent fiber in the Fukaya category using the sheaf quantization method. This is a joint work with Stephane Guillermou and Claude Viterbo.

Speaker: Langwen Hui聽(University of Illinois)Abstract:I will explain the construction of a Fourier-Mukai transform in the setting of Lurie's spectral algebraic geometry, and discuss its fundamental properties. This can be regarded as a derived enhancement of the classical Fourier-Mukai transform for abelian varieties.As an application, this yields a common refinement of three facets of the phenomenon known as "level鈥搑ank duality": (1) positive-energy representations of LU(n)_k and LSU(k)_n (representation theory), (2) the level-rank duality on equivariant TMF (homotopy theory), and (3) the "strange duality" of Verlinde bundles (algebraic geometry). This is joint work in progress with Daniel Berwick-Evans and Akira Tominaga.

Speaker: Bangxin Wang聽(鈥婾niversity of Hamburg)Abstract: TBA

Speaker: Ingo Runkel聽(鈥婾niversity of Hamburg)Abstract:Given a suitable ribbon category C and a so-called orbifold datum A in C, one can obtain a new ribbon category C_A. This construction subsumes several well-known examples, such as the Drinfeld centre of a spherical fusion category, passing to the category of local modules of a commutative algebra in C, and equivariantisation of a G-crossed ribbon category. In a 3d TFT Z which has C as category of line defects, A can be interpreted as a "gaugeable (possibly non-invertible) symmetry", and C_A as the line defects in the gauged theory Z/A. The state spaces of Z/A can be described in terms of commuting projector Hamiltonians acting on state spaces of Z, giving a variant of the Levin-Wen construction.This is joint work with N. Carqueville, V. Mulevicius, G. Schaumann, D. Scherl, and T. Vo脽.

Speaker: Adela Zhang聽(鈥婾niversity of Copenhagen)Abstract:With Barkan and Steinebrunner, we show that any open field theory extends canonically to an open-closed field theory whose value at the circle is the Hochschild homology object of the E_1-Frobenius algebras (i.e. E_1-Calabi-Yau objects) A associated to F. In particular, we show that the聽open-closed bordism category is obtained by formally adjoining iterated Hochchild homology聽to the open bordism category.聽As a corollary, we determine that聽the moduli spaces of surfaces is the space of universal formal operations on the Hochschild homology object of E_1-Frobenius聽algebras. This provides a space level refinement of previous work of Costello (over Q) and Wahl (over Z).Time permitting, I will also explain聽work with Andrea Bianchi on canonical local to global extensions of graph聽TFTs associated with E_\infty-Frobenius objects, i.e. in dimension infinity. In this case, we show that the graph cobordism category is聽obtained by formally adjoining to the \infty-category of graphs the聽factorization homology of the universal聽E_\infty-Frobenius algebra over any sapce X.

Speaker: Albert H. WernerUniversity of CopenhagenAbstract:Our ability to benchmark, verify, and control quantum devices ultimately rests on how well we understand their underlying dynamics. These dynamics are shaped not only by ideal Hamiltonian evolution, but also by time dependent effects and noise that arise in realistic settings. This talk will survey ideas for extracting meaningful dynamical descriptions of many qubit systems using simple, local measurements. Emphasis will be placed on how fundamental notions of locality limit the spread of information and make large scale quantum dynamics accessible through local data. The goal is to outline a set of ideas and methods that contribute to ongoing efforts to understand and characterize the dynamics of complex quantum devices.Location: D-IAS Aud. (V24-501a-0), Danish Institute for Advanced Study - DIASThe event is open to allCr茅mant and petit fours will be served after the talk

Speaker: Maximilian Schimpf聽(鈥婱ax Planck Institute for Math)Abstract:Log geometry is a version of algebraic geometry that is particularly apt at dealing with singularities and degenerations. In this talk, I detail work in progress that explores what the correct notion of (quasi-)coherent sheaves should be in this setting.

Speaker: Guillaume Laplante-Anfossi聽(海角社区)Abstract:The goal of this talk is to describe a strategy to compute algorithmically unstable homotopy groups聽of spheres modulo a prime number, using the theory of A-infinity algebras. This approach, which is based on Brown's theory of twisting cochains and its generalisation to A-infinity algebras by Kadeishvili, was proposed by Alain Prout茅 in 1986. One central ingredient that was missing at the time is a formula for the tensor product of A-infinity algebras and A-infinity morphisms,聽which are now available and were studied recently in combinatorics. In fact, these techniques can be used more generally to compute the homology of fibered spaces, and could potentially be used to develop a theory of Sullivan minimal models in characteristic聽p.

Speaker: Alex Takeda聽(Uppsala University)Abstract:In rational homotopy theory, there are notions of formality and coformality of a topological space, related to how 鈥渟imple鈥� the higher structures on their minimal models are. In particular, for simply connected spaces, the notion of coformality, which measures how simple is the Quillen model for its rational homotopy groups, can be related to the formality of A-infinity algebras, which is something that can be stated entirely within the homotopy theory of operadic algebras. In this talk I will explain a generalization of this latter notion of formality that extends this notion to a pair (X,[X]) of a space with a fundamental class giving local Poincar茅 duality. This is phrased in terms of algebras over a certain dioperad Y, which one can show is Koszul using a certain geometric construction. Part of this talk is about joint work with C. Emprin.

Rapha毛l Belliard, 海角社区

Florian Seefeld, 海角社区

Nina Glaser, University of Copenhagen

Nina Glaser, University of Copenhagen

Gabriel Wong, University of Oxford

Read more about the workshop:聽https://event.sdu.dk/damviseh/overview

Faroogh Moosavian, Oxford University

Georgios Dimitroglou Rizell, Uppsala University

Ilia Itenberg, Sorbonne Universit茅

Johannes Agerskov, University of Copenhagen

Pietro Longhi, Uppsala University

David Aasen, Microsoft Quantum

Haru Negami, Chiba University

Tommaso Pedroni, SISSA

Jasper Roosmale Nepveu, National Taiwan University

Yuki Matsubara, 海角社区

Jaco van de Pol, Professor of Computer Science, Aarhus University (DK) & University of Twente (NL)

Jamie Pearson, 海角社区

Giueseppe De Laurentis, University of Edinburgh

Sergej Moroz, Karlstad University

Matijn Fran莽ois, UNIGE

Mingyuan Hu, 海角社区

From聽August 13-14, 2025, the Danish Quantum Field Theory Meeting 2025 will take place at the 海角社区, Odense.

From聽August 13-14, 2025, the Danish Quantum Field Theory Meeting 2025 will take place at the 海角社区, Odense.

Haru Negami, Chiba University

Andrew McLeod, University of Edinburgh

ReNewQuantum, or 'Recursive and Exact New Quantum Theory,' is based on advanced geometric and topological constructions. This project aims to revolutionize Quantum Theory by developing explicit recursive schemes that effectively compute quantum corrections to all orders and achieve exact results using all non-perturbative contributions. The conference will serve as a platform for sharing groundbreaking research and fostering collaboration among leading experts in the field.

ReNewQuantum, or 'Recursive and Exact New Quantum Theory,' is based on advanced geometric and topological constructions. This project aims to revolutionize Quantum Theory by developing explicit recursive schemes that effectively compute quantum corrections to all orders and achieve exact results using all non-perturbative contributions. The conference will serve as a platform for sharing groundbreaking research and fostering collaboration among leading experts in the field.

Speaker:聽Hjalte Axel Frellesvig(Zhejiang University)聽聽Abstract:聽The mathematical field of intersection theory has provided an important new perspective on Feynman integrals and the relations between them. With this approach it is possible to derive such relations with a direct projection, providing a promising alternative to the slow standard approach based on IBPs.I will discuss various aspects of this mathematical framework, including newer developments based on relative cohomology which turns out to be a perfect fit for the mathematical structure of Feynman integrals. I will also discuss some brand new developments, that helps bring the day when the intersection-based approach can outcompete IBPs within sight.

Speaker: Yuanhong Guo(Chinese Academy of Sciences)Abstract:聽鈥婭n recent years, the bootstrap method has made significant progress in calculating physical quantities in quantum field theories. The main idea of the bootstrap method is to obtain the final result聽directly聽by聽appropriately assuming a general ansatz of the result and utilizing some known physical constraints. The bootstrap method聽also聽provides a way to comprehend the maximal transcendentality principle, which claims that the maximally transcendental parts of a class of physical quantities (such as the cusp anomalous dimensions and the loop corrections of the form factors, etc.)聽are the same in N=4 SYM and QCD. The uniqueness of the results can be understood by the universal physical constraints in different field theories. In this seminar talk, I will present the related progress of bootstrapping the two-loop four-point form factors in the gauge field聽theories聽based on聽the master integrals and demonstrate the maximal transcendentality principle for a series of form factors through the bootstrap strategy.

Speaker: Jakob Ulmer(鈥婼orbonne Paris Norht University)Abstract:聽I will recall the work of Costello, Caldararu-Tu on how to extract 'enumerative鈥� invariants out of a Calabi-Yau category C, conjecturally matching GW invariants of M symplectic if C=Fuk(M). Their work is an algebraic incarnation of closed string field theory (SFT); the invariants are assembled in the partition function of the closed SFT associated to C. Next I will report on work in progress (by U., Amorim-Tu and using results of Voronov et. al) how to define the partition function of large N open SFT on a stack of N branes of an object x of C, conjecturally related to open GW invariants. Finally I explain how to define the partition function of closed SFT of C, backreacted in the direction of an object x. This is directly inspired by constructions in the 鈥橳wisted Holography鈥� proposal of Costello-Gaiotto.

Speaker: Matthias Oliver WilhelmCentre for Quantum Mathematics, IMADAAbstract:聽Our understanding of physics at the most fundamental scales is to a large degree based on our ability to make very precise measurements that can be compared with very precise theory predictions. In order to make such predictions, a thorough understanding of the numbers and functions that occur in the result is crucial. In this talk, I will give an overview of the numbers and functions that arise, with applications ranging from collider to gravitational-wave physics.聽Location: D-IAS AUD (V24-501a-0)The event is open to all. Cr茅mant and petits fours will be served.

Speaker: Jamie Pearson(Durham)聽Abstract:聽Recent studies on symmetries are often focused on those non-invertible symmetries that steer away from familiar (invertible) group-like structures, but in recent works (2408.13931) by M. Bullimore and myself, we conjecture that in fact all finite symmetries of oriented 3-dimensional QFTs can be constructed by employing tools from group theory. In the first half of this talk we will review category-theoretic descriptions of non-invertible symmetries and how this data is closely related to that of higher-dimensional (symmetry) TFTs. In the latter half of the talk we will shift our focus to symmetries in 3d, aiming to demonstrate a classification in terms of the category of gapped/topological boundary conditions of 4-dimensional Dijkgraaf-Witten theory.

Speaker: Erik Kjellgren聽Department of Physics, Chemistry, and PharmacyAbstract:聽In this talk, we explore how noisy intermediate-scale quantum (NISQ) hardware can be utilized to accurately compute molecular properties. By combining the variational quantum eigensolver (VQE) for wave function circuit preparation with quantum linear response theory, we can extract molecular properties. However, the inherent noise in NISQ hardware presents a significant challenge, impacting the accuracy and reliability of the results. We will discuss how error mitigation strategies can help address these challenges and enable the extraction of meaningful computed results.Location: D-IAS AUD (V24-501a-0)The event is open to all. Cr茅mant and petits fours will be served.

Speaker: Marco Zambon(KU Leuven University)Abstract:聽鈥婣 brane in a symplectic manifold M is a coisotropic submanifold N together with a closed 2-form which is compatible in a specific sense. Despite being defined in terms of symplectic geometry, branes involve complex geometry in an essential way. We will state some results and open questions in the case N=M (space-filling branes), i.e. the case in which M carries a holomorphic symplectic form. For branes supported on lower-dimensional submanifolds, we then address the question of infinitesimal deformation of branes, and whether all coisotropic submanifolds nearby a given one are themselves branes. This talk is based on ongoing work with Charlotte Kirchhoff-Lukat.

Speaker: Hao Xu(Georg-August University of G枚ttingen)聽Abstract:聽Given a finite symmetry group $G$ with an anomaly $\pi \in \mathrm{H}^4(G,U(1))$, one can construct a twisted 4D gauge theory called a Dijkgraaf-Witten model. These models are exactly solvable and play important roles in both higher energy physics and topological orders of quantum phases of matter. People have previously studied (codim > 1) topological defects (such as generalizations of Wilson lines) within them, which together form a **braided fusion 2-category**, $\mathscr{Z}(\mathbf{2Vect}^\pi_G)$, the Drinfeld center of $\pi$-twisted $G$-crossed finite semisimple linear categories.Anyons (i.e. topological line defects) can condense in 3D quantum systems to produce new ones, with gapped 2D domain walls sitting between these 3D systems. It has been known for a decade that such a physical process can be described mathematically considering connected 茅tale algebras (which in physical terms correspond to a condensable set of anyons), their ordinary and local modules within modular tensor categories. In particular, the after-condensation phase is trivial if and only if the condensable set of anyons is maximal, and hence the gapped 2D domain wall becomes a 2D topological boundary of the original phase.聽My doctoral project is to develop a mathematical framework for the same picture but in one higher dimension. This goal has been achieved with D茅coppet in a series of past papers, where we define **茅tale algebras** and their **local modules** in braided fusion 2-categories and study their properties. In a recent independent work, I applied the general machinery to $\mathscr{Z}(\mathbf{2Vect}^\pi_G)$, where 茅tale algebras mean $\pi$-twisted $G$-crossed braided multifusion 1-categories. Built upon essential tools developed by Drinfeld et al., I obtain a **classification of connected 茅tale algebras** in $\mathscr{Z}(\mathbf{2Vect}^\pi_G)$. In particular, Lagrangian algebras in $\mathscr{Z}(\mathbf{2Vect}^\pi_G)$ correspond to 3D topological boundaries of 4D Dijkgraaf-Witten Models.聽D茅coppet has shown that the Drinfeld center of an arbitrary fusion 2-category is either equivalent to a 4D Dijkgraaf-Witten model $\mathscr{Z}(\mathbf{2Vect}^\pi_G)$ or a more complicated fermionic version. If time allows, I would introduce my classification result for all **fusion 2-categories** based on studying Lagrangian algebras in 4D Dijkgraaf-Witten models.

Speaker: Benjamin Sung(University of California)Abstract:聽The theory of Bridgeland stability conditions assigns a complex manifold to the derived category of coherent sheaves on a smooth projective variety. The structure of this complex manifold is central for applications to algebraic geometry, but describing even a connected component is often a difficult, open problem. In this talk, I will describe the stability manifold of the product of three isomorphic elliptic curves without complex multiplication. This gives the first description for a smooth projective threefold of non-minimal Picard rank, and confirms a conjecture of Kontsevich in dimension 3. Based on 2410.08028, joint with Fabian Haiden.

Speaker: Benjamin J芒ger聽Quantum Field Theory Center & Danish IAS, Department of Mathematics and Computer ScienceAbstract:聽In this talk, we delve into how advanced computer simulations allow us to study matter under the most extreme conditions. By employing a technique known as Lattice QCD, we can model the interactions of quarks and gluons鈥攖he fundamental building blocks of matter. These simulations enable us to explore environments where temperatures and pressures reach astronomical levels, shedding light on the physics of the early universe as well as the complex inner workings of dense stars and other exotic systems.聽Location: D-IAS AUD (V24-501a-0)The event is open to all. Cr茅mant and petits fours will be served.

Speaker: Chandan Singh(University of Melbourn)Abstract:In this talk, we show that a groupoid model based on the operad ofparenthesized ribbons admits a cyclic structure. This extends the action ofGT from braids to ribbons, thus providing a new characterization of GT asan automorphism group of the prounipotent cyclic operad of parenthesizedribbons. As a consequence, we exploit this GT action to provide a simpleproof of the formality of the cyclic-framed little disk operad. Finally, thisaction extends to the category of parenthesized tangles, which verifies theconjecture of Kessel-Turaev about Galois actions on framed tangles.The work discussed here lays foundation to exploring GT actions on abroader class of knotted objects such as B-tangles, virtual tangles andwelded tangles, which will be addressed in our future work. This is a jointwork with Marcy Robertson.

Speaker: Linhao Li(Ghent University)Abstract:: In this talk, I will introduce our recent work on how to characterize the 't Hooft anomalies in open quantum systems [1]. Owing to nontrivial couplings to the environment, symmetries in such systems manifest as either strong or weak type. The total symmetry \Gamma can fit into the symmetry extension: 1鈫扠鈫抃Gamma鈫扜鈫�1 with K the strong symmetry and G the weak symmetry. By representing their symmetry transformation through superoperators, we incorporate them in a unified framework that enables a direct calculation of their anomalies. We find that anomalies of bosonic systems are classified by $H^{d+2}(\Gamma,U(1))/H^{d+2}(G,U(1))$ in d spatial dimensions.聽 We聽 also generally prove that anomaly must lead to nontrivial mixed-state quantum phases as long as the weak symmetry is imposed, which can guarantee nontrivial steady states and long-time dynamics for open quantum systems governed by Lindbladians.聽 Finally, we explore the generalization of the ``anomaly inflow" mechanism in open quantum systems.Reference:[1] Zijian Wang, Linhao Li, arXiv: 2403.14533

Speaker:聽Dongjian Wu(Tsinghua University)Abstract:In this talk, I will introduce the theory of Bridgeland stability conditions, based on some questions within the field. The main topics to be covered include:1: The existence and the construction of stability conditions for projectve varieties; 2: The contractibility of the space of stability conditions;3: Relative stability conditions;4: Connections between moduli of stability conditions and differentials, and other related topics.

Speaker: Wenyuan Li聽(University of Southern California)聽Abstract:Consider sheaves on manifolds with microsupport on a singular Legendrian subset inside the cosphere bundle, which are in particular (real) constructible sheaves. By microlocalization, one can define a sheaf of categories on the singular Legendrian in the cophere bundle, called microsheaves. We will show that the microlocalization functor from sheaves to microsheaves together with its left adjoint admits a strong smooth relative Calabi-Yau structure. This is a non-commutative analogue of the orientation class which induces the Poincare-Lefschetz duality on manifolds with boundary. Under some extra assumptions, we can show that the adjunction is a spherical adjunction. We will explain the connections to Fukaya categories and Legendrian contact homologies. This is joint work with Chris Kuo.

Speaker: Jonte G枚dicke聽(University of Hamburg)聽Abstract:In the study of 3-dimensional Topological Quantum Field Theories (short TQFTs), certain monoidal categories called multi-fusion categories are of fundamental importance. Well-known examples of these arise from finite groups through a linearization construction. However, it is less well-known that the same construction can produce more interesting examples of monoidal structures from any 2-Segal space. These include so-called Hall monoidal structures, which are anticipated to have interesting connections to quantum topology and TQFTs.In this talk, I will classify those 2-Segal spaces that induce multi-fusion categories. For this, I will introduce a 2-categorical characterization of multi-fusion categories to translate questions about these monoidal structures to questions about homotopy coherent algebra in span categories. If time permits, I will discuss extensions of this to the context of derived categories and derived TQFTs.

Speaker: Zhi-Zhen Wang(Trinity College Dublin)Abstract:Eberhardt-Mizera (2023) evaluated the one-loop bosonic and Type I open string amplitude via Rademacher method. In this talk, we will introduce two other different strategies to treat the modular integrals appearing in one-loop bosonic and Type I amplitudes of both open and closed strings, and in particular their analytic continuation based on a string theoretic analog of the i蔚-prescription of quantum field theory. We will identify the two strategies and evaluate various zero- and two-point amplitudes. Beyond the perfect agreement to that obtained from the Rademacher method, our approach further provided an exact expression as a combination of three partition functions in terms of a temperature variable. While each individual term depends on this variable, the sum does not. In particular, the imaginary part of the one-loop amplitude, which accounts for the decay widths, has a compact analytical form. Its relation to the Regge limit will also be discussed. This talk is based on our recent work 2411.02517.

Speaker: Michael Borinsky聽(The Institute for Theoretical Studies at ETH)聽Abstract:I will present new results on the asymptotic growth rate of the Euler characteristic of Kontsevich's commutative graph complex.聽These results imply the same asymptotic growth rate for the top-weight Euler characteristic of M_g, the moduli space of curves, due to a recent work by Chan, Galatius and Payne. Further, they establish the existence of large amounts of unexplained cohomology in this graph complex. I will explain the role of this graph complex from the perspective of M_g's cohomology.

Speaker: Meer Ashwinkumar聽(University of Bern)聽Abstract:In this talk, I will present recent developments in the study of 5d non-commutative Chern-Simons theory, which Costello employed to describe twisted M-theory in a Taub-NUT background. This theory is connected to affine Yangians and W-algebras through the structure of its operators. I will first discuss my recent work, where I derived Miura operators (which can be used to realize W-algebras) from the intersection of line and surface defects in 5d Chern-Simons theory. These Miura operators can be shown to have an interpretation as R-matrices.聽聽Next, I will explore a holographic duality for 5d Chern-Simons theory, formulated in terms of a novel 4d chiral WZW model. Finally, I will outline how twisted M-theory on more general conifold backgrounds can be described as 5d Chern-Simons-matter theories.

Speaker: Christoph Nega (Technical University of Munich)Abstract:聽In my talk, I will discuss Feynman Integrals which are the cornerstone for precision computations in perturbative physics ranging from quantum field theory to classical general relativity. The two main examples will be self-energies in quantum electrodynamics and the scattering of black holes in a perturbative treatment of general relativity. I will introduce the relevant concepts in the context of Feynman Integrals, as integration by parts relations, master integrals, canonical integrals, iterated integrals and others. Moreover, I will show that Feynman Integrals are related to period integrals on geometries, particularly on Calabi-Yau varieties. This knowledge can be used to compute them. At the end, I will discuss methods to numerically evaluate the Feynman Integrals appearing in my examples.

Speaker: Guillaume Laplante-Anfossi (海角社区)聽Abstract:Given a curved A-infinity algebra and a bounding cochain (a.k.a Maurer鈥擟artan element), one can twist the former by the latter to get a new A-infinity algebra where the curvature is zero. This uncurving procedure plays a central r么le in Floer theory, where Fukaya categories are naturally curved objects. The goal of this talk will be to give a universal characterization of the procedure, using the theory of operads: we will show that the operad cMC, whose algebras are curved A-infinity algebras endowed with a Maurer鈥擟artan element, together with its natural morphism to the A-infinity operad, is terminal in a certain comma category. This category does not contain the Maurer鈥擟artan equation, thus the theorem provides a way to 芦 rediscover 禄 it as the answer to a universal (algebraic) problem. This is joint work with Adrian Petr and Vivek Shende.

Speaker: Apoorv Tiwari (海角社区)聽Abstract:聽It has recently been understood that finite (internal) global symmetries in quantum field theory are describe fusion higher categories, sometimes referred to as global categorical symmetries. In this talk, I will introduce a framework based on Symmetry Topological Field Theory (SymTFT) for characterizing and classifying both gapped and gapless phases, as well as phase transitions in quantum systems with global categorical symmetries. This characterization will be expressed in terms of sets of condensed, confined, and deconfined generalized symmetry charges, evoking concepts familiar from superconductivity. Furthermore, I will demonstrate how the SymTFT data can be transformed into an ultraviolet (UV) lattice model鈥攕uch as an anyon chain model in 1+1 dimensions or a fusion surface model in 2+1 dimensions鈥攖hat realizes these phases and transitions in the infrared (IR) limit.

Speaker: Marina Moleti聽Scuola Internazionale Superiore di Studi Avanzati (SISSA)聽Abstract:We present a new algorithm to extract the quiver and superpotential of a broad class of threefolds that fall under simple threefold flops. These geometries are generally non-toric and can be viewed as monodromic fibrations over a complex plane of deformed ADE singularities. We illustrate how the quantum field theory of a聽D2 brane probing these spaces captures their non-commutative resolution (NCCR).

Speaker: Shaukat Ali聽鈥婬oD, Research Professor, Chief Research Scientist鈥婼imula Research Lab, Norway聽Abstract:Quantum software will enable fascinating future applications. However, creating dependable quantum software that executes on quantum computers and delivers these applications requires new software engineering methods. To this end, a novel field of Quantum Software Engineering (QSE) is emerging. Additionally, there is great potential to apply quantum computing-enhanced AI techniques to solve classical software engineering problems.This talk will focus on engineering dependable quantum and classical software using two groundbreaking technologies: quantum computing and AI. It will discuss the current challenges in using these technologies to engineer quantum and classical software. Next, the talk will provide an overview of the current state of QSE, followed by an introduction to some techniques developed in our group. Moreover, it will introduce our work on using quantum AI techniques to solve classical software engineering problems (e.g., testing). Finally, the talk will conclude by examining open research questions at the intersection of quantum computing, AI, and software engineering and discussing the future outlook.Location:聽O100 Aud. (脴5-112-1)聽The event is open to all.

Speaker: Benjamin Gammage聽(Harvard University)聽Abstract:The 3d mirror symmetry program seeks to relate symplectic and algebraic invariants of dual pairs of holomorphic symplectic spaces, often arising as conical symplectic resolutions. The philosophy of 3d TQFT suggests that this duality should originate as an equivalence of 2-categories of boundary conditions. We propose that these can be understood as respective 2-categories of perverse and coherent sheaves of categories. We explain some cases when this equivalence can be precisely stated and proven, and discuss some applications, including to the relative Langlands program of Ben-Zvi--Sakellaridis--Venkatesh. This is based on continuing work with Justin Hilburn, including some prior work together with Aaron Mazel-Gee.

Speaker: Franziska Porkert聽(University of Bonn)Abstract:鈥婩eynman integrals are fundamental to multi-loop scattering amplitudes and exhibit interesting connections to various areas of mathematics. For instance, beyond one loop, many Feynman integrals are associated with (hyper)-elliptic curves or Calabi-Yau surfaces. In this talk, I will provide a brief overview of (hyper)-elliptic Feynman integrals, illustrated with specific examples, specifically highlighting ongoing work on solving a family of Feynman integrals related to a genus-two curve.

Speaker: Nadia Ott聽(海角社区)聽Abstract:聽鈥婣n essential ingredient in perturbative string theory is a certain measure on the moduli space Mg of curves. This measure is defined in terms of the Mumford isomorphism, which relates the canonical line bundle on Mg to the determinant of cohomology of the pushforward of the relative canonical line bundle on the universal curve. This pushforward, and thus also its determinant, has a natural hermitian metric given by integration. This metric can be expressed in terms of the period map.鈥婩or superstring theory, this generalizes to a measure on the supermoduli space Mg. The super Mumford isomorphism relates the canonical bundle on Mg to the fifth power of the Berezinian of the pushforward of the relative canonical bundle on the universal supercurve. However, in the super case, there is no Hermitian metric given by integration. Instead, the metric is defined in terms of the period map. Furthermore, in contrast to the classical case, the super period map is non-holomorphic and develops a pole along the bad locus. Deligne recently proved that the supermeasure extends smoothly over the bad locus.鈥婭n joint work with Ron Donagi, we define a measure on Mg,0,2r, the supermoduli space with Ramond punctures, using the super Mumford isomorphism and super period map, adapted to the case of Ramond punctures. We show that in Mg,0,2r, the analogous bad locus has codimension 2 or higher for r > 1, allowing us to extend the measure using a Hartog-like argument.

Speaker: Maxim Zabzine聽(Uppsala University)聽Abstract:I will review the color-kinematics duality in scattering amplitudes and explain the mathematical aspects of this duality. I will go through two examples, the Chern-Simons theory and 2D Yang-Mills theory.

Speaker: Oscar Bendix Harr聽(University of Copenhagen) Abstract:聽Not much is known about the cohomology of the moduli space of handlebodies (equivalently, the cohomology of handlebody mapping class groups) except what it stabilizes to, by Hatcher's analogue of the Madsen--Weiss theorem. Hatcher and Wahl have shown that the degree d cohomology of the moduli space of genus g handlebodies is stable for d less than roughly g/2. I will discuss some work from my PhD thesis (in preparation) which expands this range to g roughly less than 2g/3, using the methods of Galatius, Kupers, and Randal-Williams. By a computation of Morita, this is the optimal range for homological stability for moduli spaces of handlebody groups. A similar argument shows that the cohomology of automorphism groups of free groups Aut(F_n) is stable in degrees roughly less than 2n/3, which improves the best known range for integer coefficients. Time provided, I will also say something about ongoing work on the cohomology outside the stable range.

Speaker: Giovanni Canepa聽(University of Geneva) Abstract:聽In this talk I will describe a local Poisson structure (up to homotopy) associated with any field theory defined on manifolds with corners. This is achieved through the use of the BFV formalism. The resulting Poisson structure is connected to the algebra of observables. Some examples will be presented, from BF theory to General Relativity. This is a joint work with A. S. Cattaneo.

Speaker: Tatsuki Kuwagaki聽(Kyoto University) Abstract:聽Sheaf quantization is a certain kind of quantization of symplectic geometry, and simultaneously a model of Fukaya category. In this talk, I鈥檒l explain a construction of functors from the category of deformation quantization modules (i.e., differential/difference equations) to the category of sheaf quantizations in certain situations, and discuss some properties of them.

Speaker: Fabian Haiden聽(QM, 海角社区) Abstract:聽I will discuss a replacement for homotopy cardinality in situations where it is a priori ill-defined, including Z/2-graded dg-categories. A key ingredient are Calabi-Yau structures and their relative generalizations. As an application we obtain a Hall algebra for many pre-triangulated dg-categories for which it was previously undefined. Another application is the proof of a conjecture of Ng-Rutherford-Shende-Sivek expressing the ruling polynomial of a Z/2m-graded Legendrian knot (which is part of the HOMFLY polynomial if m=1) in terms of the homotopy cardinality of its augmentation category. All this is joint work with Mikhail Gorsky.

Speaker: Elise LePage聽(UC Berkeley) Abstract:聽In recent work, Aganagic proposed a categorification of quantum link invariants based on a category of A-branes. The theory is a generalization of Heegaard-Floer theory from gl(1|1) to arbitrary Lie algebras. It turns out that this theory is solvable explicitly and can be used to compute homological link invariants associated to any minuscule representation of a simple Lie algebra. This invariant coincides with Khovanov-Rozansky homology for type A and gives a new invariant for other types. In this talk, I will introduce the relevant category of A-branes, explain the explicit algorithm used to compute the link invariants, and give a sketch of the proof of invariance. This talk is based on 2305.13480 with Mina Aganagic and Miroslav Rapcak and work in progress with Mina Aganagic and Ivan Danilenko.

Speaker: Chris Grossack聽(UC Riverside) Abstract:鈥婳ften in math it's easier to solve a problem "locally", and then one studies how to glue these local solutions into a global solution of the whole problem. In recent years there's been a lot of progress in our understanding of skein algebras and how they glue, culminating in the work of Ben-Zvi--Brochier--Jordan and Cooke on Skein Categories, which can be computed with Factorization Homology. In a separate line of development, there has been progress in the gluing of (topological) Fukaya Categories and Hall Algebras, using the Dyckerhoff--Kapranov machinery of 2-Segal Spaces. In the two halves of this talk we'll discuss Factorization Homology and 2-Segal Spaces. In any remaining time we'll speculate on how these techniques might be used to globalize certain results in Skein Theory.

Speaker: Peter Samuelson聽(UC Riverside) Abstract:The Homflypt skein relations were originally used in the 90's to define polynomial invariants of knots in S^3. In this talk we describe several聽other ways they arise in algebra and geometry: intertwiners for certain quantum group representations, commutator relations in quantum groups, deformation quantization of trace functions on character聽varieties, commutator relations in Hall algebras of Fukaya categories of surfaces, and higher dimensional Heegaard-Floer homology of configuration spaces of points in cotangent bundles to surfaces. This will be a survey style talk; in particular, no significant prior knowledge of these topics will be assumed, and the precision of the statements will decrease monotonically as the talk progresses. Our main goal is to describe a nonobvious common theme in these topics.

Speaker: Maxime Ramzi聽(University of Copenhagen) Abstract:Continuous K-theory is an extension of algebraic K-theory introduced by A. Efimov which allows for new kinds of inputs, namely聽dualizable categories.聽聽After making a few recollections about the role of algebraic K-theory in geometric topology as pioneered by Wall, I will discuss how the continuous K-theory of categories of sheaves and related objects聽allows us to revisit some old theorems in geometric topology around the notion of simple homotopy.聽

Speaker: Shivang Jindal聽(University of Edinburgh) Abstract:Given an abelian category, there is a general construction due to Joyce, which gives a structure of vertex (co)-algebra to the (co)homology of the moduli stack of objects in the category. In this talk, we will focus on the category of quiver representations and explain how this construction could be generalized to the setting of quiver with potential, i.e. on the cohomology of the sheaf of vanishing cycles associated to the potential. We show that the resulting vertex co-algebra structure is compatible with the Kontsevich-Soibelman cohomological Hall algebra. This perspective allows us to compute this vertex algebra explicitly in many interesting cases. This is joint work with Sarunas Kaubrys and Alexei Latyntsev.聽

Speaker: Sarunas Kaubrys聽(University of Edinburgh) Abstract:In this talk I will start with an overview of Cohomological Donaldson-Thomas (CoDT) theory, which we view as a way to count objects or extract invariants from the moduli space of objects of聽a 3-Calabi-Yau category. Although the origins of the theory come from the algebraic geometry of coherent sheaves on 3-Calabi-Yau varieties, we will focus on the topological example of closed oriented real 3-manifolds. The category of local systems or fundamental group representations of such a 3-manifold has a canonical 3-Calabi-Yau structure. CoDT invariants for local systems on a 3-manifold聽can be defined for聽any connected reductive group and are conjecturally connected to invariants in low dimensional topology called Skein modules. I will present my work on the computation of CoDT invariants of the 3 -torus. The main structural result used in the computation is called cohomological integrality which I will introduce. One of the consequences of such a integrality theorem is a Langlands duality between SLn CoDT invariants and PGLn CoDT invariants for prime n.

Speaker: Xinyu Zhang聽(Zhejiang University) Abstract:In this talk, I will discuss various aspects of tetrahedron instantons. Tetrahedron instantons can be realized using D0-branes probing a system of intersecting D6-branes in type IIA superstring theory, and can be viewed as聽particular solutions of general instanton equations in noncommutative field theory.聽The tetrahedron instanton partition function聽lies between the higher-rank Donaldson-Thomas invariants on Calabi-Yau threefolds and fourfolds, and聽can be computed exactly.聽Remarkably, the K-theoretic tetrahedron instanton partition function allows an interpretation in terms of the index of M-theory on a noncompact Calabi-Yau fivefold which is related to a superposition of Kaluza-Klein monopoles.聽

Speaker: Frederic Fauvet聽(IRMA, University of Strasbourg) Abstract:Paralogarithms constitute a family of resurgent functions which have been introduced by J. Ecalle, in order to solve, in a very general and systematic way, inverse problems of Riemann--Hilbert type that are expressed in the formalism of alien derivations. I will present "paralogarithmic resurgence monomials" and describe how they are implemented to yield differential equations with given sets of Stokes data, focussing on a simple non--linear example.

Speaker: Anton Mellit聽(University of Vienna) Abstract:I will give an introduction and present some recent progress towards understanding the cohomology rings of character varieties of Riemann surfaces, such as the proof of the P=W conjecture and the computation of the zero-dimensional COHA. In the case of punctured sphere I will present an explicit description relating the cohomology rings to the Hilbert scheme of C^2, refining conjectures of Hausel-Letellier-Rodriguez-Villegas and Chuang-Diaconescu-Donagi-Pantev.

Speaker: Sergey I. Bozhevolnyi Center for Nano Optics 海角社区 Abstract:Manipulation of single-photon emission from quantum emitters (QEs) has attracted a considerable attention in recent years due to its importance for quantum information technologies in quantum communication, computation, sensing and metrology. Here, recent progress in on-chip manipulation of the polarization, directionality and phase distribution in single-photon emission by making use of planar holographic QE-coupled metasurfaces is presented and discussed. The underlying idea is related to the concept of meta-atom, in which a QE is efficiently and non-radiatively coupled to surface modes, such as surface plasmon polaritons (SPPs), that are subsequently outcoupled into free propagating waves. An innovative metasurface design approach, vectorial scattering (computer-generated) holography, is introduced for the purpose of designing hybrid SPP-QE coupled metasurfaces suitable for generation of well-collimated beams of single photons with desirable polarization characteristics propagating along given directions. Latest results include its extension for realizing single-photon sources with radiation channels that exhibit diverse (including vectorial with spin and orbital angular momenta) wavefronts and polarization characteristics, opening thereby a way to generating quantum structured light in high dimensions.Location: D-IAS Aud. (V24-501a-0), Danish Institute for Advanced Study - DIAS. The event is open to all.

Speaker: Mykola Dedushenko聽(Simons Center for Geometry and Physics, Stony Brook) Abstract:I will review my recent work with Nekrasov on the aspects of relation between supersymmetric gauge theories and quantum integrable models. An important role is played by the supersymmetric defects (especially interfaces) in gauge theories, which provide a QFT realization of the infinite-dimensional quantum groups underlying the integrability structures. These defects realize, and in many ways are inspired by, the constructions of Maulik with Okounkov, and Aganagic with Okounkov, of stable envelopes and chamber R-matrices in geometry.

Speaker: Thibault Langlais聽(University of Oxford) Abstract:The Lie group G2 is one of the two exceptional cases in Berger's list of possible Riemannian holonomy groups. I will start by introducing the basics of G2-geometry, emphasizing its relation to Calabi-Yau geometry in (real) dimension 4 and 6. The moduli spaces of G2-manifolds are smooth and carry a natural Riemannian metric, analogous to the Weil-Petersson metric, whose properties are poorly understood. I will show that certain singular G2-manifolds correspond to finite-distance limits in the moduli spaces, which proves that G2-moduli spaces are generally not complete. Time permitting, I will also say a few words about the computation of curvatures.

Speaker: Manuel Meyer Department of Physics, Chemistry and Pharmacy海角社区 Abstract:The nature of dark matter continues to elude us, even after almost one century after first evidence for this non-luminous substance appeared. A leading hypothesis is that dark matter, which makes up more than 80% of all matter in the universe, consists of yet undiscovered fundamental particles. Such dark matter particles might interact feebly with known particles of the Standard Model, making them potentially detectable in the laboratory. The predicted low interaction rates require extremely sensitive detectors and ultra-low background levels. In this talk, I will discuss our recent progress in characterizing and improving the performance of transition edge sensors (TESs). Such TESs are planned to be used in the Any Light Particle (ALPS) II experiment, which searches for axions and axion-like particles. I will also review how we can use our TES to search for weakly interacting massive particles. With our ongoing research, we hope to achieve a new record for background suppression employing both optical filtering inside a cryostat as well as machine learning techniques while maintaining a quantum efficiency close to unity.聽Location: D-IAS Aud. (V24-501a-0), Danish Institute for Advanced Study - DIAS. The event is open to all.

Speaker: Ron Donagi聽(University of Pennsylvania) Abstract:鈥婣fter a brief review of the background on super geometry and of Super Riemann surfaces and their punctures, I will discuss the proof (with Witten) that the supermoduli space of super Riemann surfaces is not projected for g聽鈮�5, and the more recent proof, with Ott, that the supermoduli space Mg,0,2r of super Riemann Surfaces with Ramond punctures is also not projected, for all g鈮�5r+1 and r鈮�6.

Speaker: Nadia Ott聽(海角社区) Abstract:D鈥橦oker and Phong鈥檚 calculation of the genus g = 2 superstring amplitude uses, in a crucial way, a projection from genus g = 2 supermoduli space to its underlying reduced space. They define this projection using a formula for the genus g = 2 super period matrix. Witten generalized their formula for the super period matrix to higher genus g and found that the super period matrix may develop a pole along a particular divisor in supermoduli space if g聽鈮� 11. This divisor is commonly called the bad divisor. Witten also considered super period matrices on super Riemann surfaces with a nonzero number of Ramond punctures (note: the word puncture is a bit of a misnomer). He found that in the presence of Ramond punctures, a closed one form has, in addition to the usual 2g 鈥漞ven鈥� periods (defined by integrals over one cycle in homology), 2r fermionic periods. The fermionic periods of one form w聽are certain constants appearing in the restriction of w聽to the Ramond divisor. In joint work with Ron Donagi, we identify the 2r fermionic periods of w with the residues of a particular global section of the twisted spin structure on the underlying curve. As in the unpunctured case, the super period matrix with Ramond punctures may develop a singularities as we vary over supermoduli space. Using this identification of the fermionic periods in terms of residues, we explicitly describe this bad locus in supermoduli space.

Speaker: Nadia Ott聽(海角社区) Abstract:I will give an introductory talk on supermanifolds, super Riemann surfaces, and supermoduli space, starting with the definitions of these objects. I will then introduce a current area of research in supergeometry, super period matrices, and state two famous results in the field: Donagi and Witten鈥檚 proof that supermoduli space is not split for genus g聽鈮� 5, and D鈥橦oker and Phong鈥檚 calculation of the genus g = 2 superstring amplitude.

Speaker: Erik Donovan Hedeg氓rd Department of Physics, Chemistry and Pharmacy 海角社区 Abstract:Transition metals in biological systems pose a formidable challenge in modern quantum chemistry. Unfortunately, these metals are close to everywhere in biological systems. For instance, about one-third of all enzymes contain a transition metal. The main issues when dealing with transition metals are (i) the metal typically demands so-called complete active space (CAS) methods with billions of electron configurations included. This quickly becomes computationally costly. (ii) Relativistic effects can be sizable. Addressing these effects also becomes computationally demanding. (iii) The relevant chemistry usually occurs in a surrounding solvent or within a protein environment that also needs to be taken into account, both in terms of the nuclear dynamics as well as the electronic interactions between the metal and the environment.In this talk, we demonstrate how challenges (i)鈥�(iii) can be tackled efficiently and accurately. We discuss how this allows us to understand a part of the global carbon cycle, enzymes that can boost the production of biofuel, and new drugs against cancer.Location: D-IAS Aud. (V24-501a-0), Danish Institute for Advanced Study - DIAS. The event is open to all.

Speaker: Martin Pl谩vala (University of Siegen) Abstract:We review recent results on tensor products of the ordered vector spaces: we show that the tensor product is almost never uniquely defined due to the existence of entanglement between any non-classical (non-simplical) cones, and we present a hierarchy of convex optimization programs that aim to determine whether a given vector is entangled or not. We then apply these abstract mathematical results to two problems in quantum information: semi-device independent certification of Schmidt rank and semi-device independent certification of number of incompatible measurements, where we obtain hierarchies of outer approximation by semi-definite programming problems. Moreover we show that these outer approximations yield bounds that are relevant for potential experimental implementations. Finally we discuss other applications of the presented abstract hierarchies to problems in quantum information and other fields.

Speaker: Ying-Hsuan Lin (Harvard University) Abstract:We numerically studied an anyon chain based on the Haagerup fusion category, and found evidence that it leads in the long-distance limit to a conformal field theory (CFT) whose central charge is ~2. Our findings were in agreement with concurrent research by Vanhove et al., who explored a closely related statistical lattice model. Subsequent analyses of the operator product expansion by Liu, Zou, Ryu, however, revealed a deeper complexity than our data had initially suggested. In this talk, I will discuss these developments and contextualize them within the broader program of classifying CFTs.

Danish Quantum Community invites to participate in our annual Scientific Quantum Conference 2024 This year鈥檚 conference is hosted by Centre for Quantum Mathematics (QM) with support from the Novo Nordisk Foundation. Join us for a two-day deep dive into the Danish quantum research community - across universities and across disciplines. About the event:The conference will present recent results from Danish quantum research with a special focus on younger researchers at Danish universities. Serving as a meeting point for the research community, the conference aims to strengthen the Danish quantum ecosystem and promote industry-academia collaborations.Across two days, the conference will provide a deep dive into four key research tracks: quantum hardware, quantum software/algorithms, components for quantum systems, and early quantum applications in chemistry and finance.Participation is free of charges, but requires registration.

Speaker: Merlin Christ (Institut de math茅matiques de Jussieu 鈥� Paris Rive Gauche) Abstract:A complex of stable infinity-categories is a categorification of a chain complex, meaning a sequence of stable infinity-categories together with a differential that squares to the zero functor. To produce examples of such categorical complexes we introduce a categorification of the totalization construction, which produces a categorical complex from a categorical multi-complex, such as a commuting cube of stable infinity-categories. We will then explain how categorified perverse sheaves, also known as perverse schobers, on C^n (with a certain stratification) can be described in terms of categorical cubes and categorical complexes of spherical functors. We will also see what categorical totalization means in this case geometrically. This talk is based on joint work with T. Dyckerhoff and T. Walde.

Speaker: Edmund Heng (Institut des Hautes 脡tudes Scientifiques) Abstract:Classically, finite symmetries are captured by the action of a finite group. Moving to the quantum world, one has to allow for (possibly non-invertible) quantum symmetries 鈥� these are instead captured by the action of a more general algebraic structure, known as a fusion category. Such quantum symmetries are actually ubiquitous in mathematics; for example, given a category with an action of a finite group G (e.g. rep(Q), Coh(X) etc.), its G-equivariant category has instead the action of the category of representations rep(G), where rep(G) has the structure of a fusion category (and is not just a group when G is non-abelian). The aim of this talk is to introduce fusion categories and discuss their role as 鈥渜uantum symmetries鈥� in relation to Bridgeland鈥檚 stability conditions. We first introduce a generalised notion replacing 鈥淕-invariant stability conditions鈥� in the setting of a triangulated category equipped an action of a fusion category C, which we will 鈥淐-equivariant stability conditions鈥�. The first result is that these stability conditions form a closed submanifold of the stability manifold, just as the G-invariant stability conditions do. Moreover, given a triangulated D with a G-action, so that its G-equivariant category D^G has a rep(G)-action, we will see the following (Morita) duality result for stability conditions: the complex manifold of G-invariant stability conditions (associated to D) is homeomorphic to the complex manifold of rep(G)-equivariant stability conditions (associated to D^G).If time allows, I will discuss other more 鈥渆xotic鈥� actions of fusion categories on triangulated categories, and possibly its relation to Coxeter theory.This is part of joint work with Hannah Dell and Anthony Licata.

DIAS lecture by Professor Francesco Sannino, DIAS Chair of Physics, Head of the Quantum Field Theory Center, Founder of the Centre for Cosmology and Particle Physics Phenomenology (CP鲁-Origins) at 海角社区. The lecture takes place in the DIAS Auditorium and is open to all.Abstract We live in an era marked by the LIGO Laboratory discovery of gravitational waves, emitted when two black holes coalesce, and the Event Horizon Telescope imaging of black holes. While these amazing discoveries crystallise Einstein鈥檚 theory of general relativity they also beg for a fresh look at the problem of unifying gravity and quantum field theory. These two theories constitute our current understanding of Nature but are notoriously at odds with each other. I will first review basic facts about black holes and then argue in favour of a recent approach that aims at shortcutting the problem of the absence of a theory of quantum gravity. This will be achieved by introducing a quantum gravity model independent approach focussed on effective metric descriptions of quantum black holes. We believe that our findings will herald novel ways to explore quantum corrections to black hole dynamics with impact for our understanding of the fabric of space time.About Francesco SanninoFrancesco Sannino is the Head of the Quantum Field Theory Center, the Founder of the Centre for Cosmology and Particle Physics Phenomenology (CP鲁-Origins) at 海角社区. He is also one of the Founders of the Danish IAS and Professor of Theoretical Physics at the Federico II University in Italy.Professor Francesco Sannino is widely recognized for having pioneered the analytical and numerical investigations of the conformal structure of gauge theories of fundamental interactions, for the construction of minimal composite extensions of the standard model, and for the recent discovery of four-dimensional asymptotically safe theories.Recently he has also applied and developed mathematical tools stemming from theoretical physics to describe the evolution of infectious diseases at human and viral level.His work crosses several realms of particle physics and cosmology from bright and dark extensions of the standard model and inflationary cosmology to the mathematical underpinning of theories of fundamental interactions.

Speaker: Timothy Logvinenko (Cardiff University) Abstract:In 90s Nakajima and Grojnowski identified the total cohomology of the Hilbert schemes of points on a smooth projective surface with the Fock space representation of the Heisenberg algebra associated to its cohomology lattice. Later, Krug lifted this to derived categories and generalised it to the symmetric quotient stacks of any smooth projective variety.On the other hand, Khovanov introduced a categorification of the free boson Heisenberg algebra, i.e. the one associated to the rank 1 lattice. It is a monoidal category whose morphisms are described by a certain planar diagram calculus which categorifies the Heisenberg relations. A similar categorification was constructed by Cautis and Licata for the Heisenberg algebras of ADE type root lattices.We show how to associate the Heisenberg 2-category to any smoooth and proper DG category and then define its Fock space 2-representation. This construction unifies all the results above and extends them to what can be viewed as the generality of arbitrary noncommutative smooth and proper schemes.

The seminar is cancelled.Speaker: Astrid Eichhorn Department of Physics, Chemistry and Pharmacy 海角社区 Abstract:I will present a tentative answer to this question, consisting in a theory of quantum spacetime and matter, to which I will give a pedagogical introduction. I will argue that the main challenge for such a theory is the question of how to probe it experimentally, given that we expect its effects to manifest at tiny distances below the Planck length of 10^-35 m. I will challenge this expectation and show that not all effects are untestably small. Concretely, I will show how consequences of the microscopic physics leave their imprints on macroscopic scales in particle physics and black holes.Location: D-IAS Aud. (V24-501a-0), Danish Institute for Advanced Study - DIAS. The event is open to all.

Speaker: Qianyu Hao (University of Geneva) Abstract:Conformal blocks are essential objects to study in the 2d CFTs. They depend on the data of a vertex algebra $\CV$, a punctured Riemann surface $C$, and possible decorations inserted at the punctures. The Virasoro conformal blocks are very interesting since they have many connections to other areas of math and physics. I will describe a new way to construct Virasoro conformal blocks at $c=1$. This is closely related to the idea of nonabelianization in the study of $SL(N,\mathbb{C})$ connections by using $GL(1,\mathbb{C})$ connection in the work of Gaiotto-Moore-Neitzke and Hollands-Neitzke. I will talk about our work on relating the $c=1$ Virasoro conformal blocks on $C$ to the "abelian" Heisenberg conformal blocks on a branched double cover of $C$. The main new idea in our work is the use of the spectral network on the surface $C$. The nonabelianization construction enables us to study the harder to get Virasoro conformal blocks using the simpler abelian objects. This is joint work in progress with Andrew Neitzke.

Speaker: Apoorv Tiwari (Niels Bohr International Academy, University of Copenhagen) Abstract:In this talk, I'll describe how finite symmetries of quantum systems are naturally encoded in fusion higher categories, presenting a universal and systematic construction of quantum systems with such higher categorical symmetries starting from quantum systems with conventional group-like symmetries. I'll discuss the Symmetry Topological Field Theory (SymTFT), a conceptual tool that facilitates the study of the generalized charges and gapped phases realized in quantum systems with categorical symmetries. Utilizing the SymTFT, I'll demonstrate a systematic construction of lattice models realizing categorical symmetry-protected gapped phases and phase transitions between them. Finally, I'll outline ongoing efforts toward realizing these novel phenomena in experimental cold-atom platforms.

Speaker: Kazuki Ikeda (Stony Brook University) Abstract:In this presentation, I will discuss the crucial role of quantum mathematics in understanding quantum many-body systems such as nuclear physics and condensed matter physics. I will also introduce the frontiers of quantum software development and system integration necessary to realize efficient quantum simulations. In particular, I will discuss quantum language development and the category theoretic construction of quantum compilers, and highlight the important and specific role that quantum mathematics plays in this field. Moreover I will introduce new interactions between algebraic geometry, quantum physics and quantum computation. This includes the novel construction of band theory on general Riemann surfaces, topological quantum computation, quantum error correction. Through my presentation, the audience will grasp the diverse applications and progress in Quantum Mathematics to solve various problems in modern QIST.

Speaker: Nate Bottman (Max Planck Institute for Mathematics) Abstract:I will present the 2-associahedra, which I constructed in 2017 in the context of symplectic geometry, and explain some current developments, focusing on symplectic aspects. First, I will explain how 2-associahedra form the right operadic structure for endowing the Fukaya category with functoriality properties. Specifically, the 2-associahedra lead to the notion of the symplectic (A-infinity,2)-category Symp, which is the natural setting for building functors, associated to Lagrangian correspondences, between Fukaya categories. Second, I will describe a related family of posets called constrainahedra, which Daria Poliakova and I constructed in 2022. The constrainahedra also translate into an algebraic structure in symplectic geometry: in ongoing work with Mohammed Abouzaid and Yunpeng Niu, we aim to show that Fukaya categories of Lagrangian torus fibrations are monoidal A-infinity categories, where the latter notion is constructed using of constrainahedra. This will fulfill a longstanding expectation in mirror symmetry.

Speaker: Bingyu Zhang (Centre for Quantum Mathematics, 海角社区) Abstract:We can define a Tamarkin category for an open set in a cotangent bundle using the microlocal geometry of sheaves. Some computational evidence indicates that the so-called Chiu-Tamarkin invariant is deeply related to the Hochschild cohomology of the Tamarkin category and symplectic (co)homology. In this talk, we will explain the relation precisely: All of them are isomorphic in a suitable filtered sense. The talk is based on a joint work with Christopher Kuo and Vivek Shende.

Speaker: Kaiwen Sun (Uppsala University) Abstract:Nahm sums, also called fermionic sums are some special q-series which are closely related to 2d CFTs and SCFTs. For example, the renowned Rogers-Ramanujan functions are Nahm sums and also the characters of Lee-Yang model M(5,2). It is an open question to classify the Nahm sums with modularity. In rank 1, it was proved there only exist 7 Nahm sums. In rank 2 and 3, a conjectural list has been given by Don Zagier. I will discuss some recent progress on Nahm sums and generalized Nahm sums. This is based on a joint work with Haowu Wang.

Speaker: Matthias Wilhelm (Niels Bohr Institute) Abstract:In this talk, I will give an overview of the numbers and functions that occur in Quantum Field Theory, which are relevant for the calculation of precision predictions for collider and gravitational-wave experiments. In the simplest cases, the functions that occur are multiple polylogarithms, generalizations of logarithms. They are by now very well understood and allow us to reach precision that would be impossible using any other method; in one case up to the eighth subleading order in perturbation theory! In the next cases, we encounter elliptic integrals, where much progress was made in recent years. Beyond these, we encounter an infinite zoo of further functions involving integrals over Calabi-Yau manifolds, which are currently being explored.

Speaker: Arne Hofmann (University of G枚ttingen) Abstract:In 2000, Brunetti and Fredenhagen built on the causal perturbation theory of Epstein and Glaser to prove the renormalisability of scalar field theory on curved spacetimes. Their construction was criticized in subsequent publications by Hollands and Wald for failing to satisfy local covariance. I will show that with appropriate modifications, local covariance can be achieved in the Brunetti-Fredenhagen construction, for distributions which resemble (classical) pseudodifferential operators. The crucial feature of such distributions is the existence of uniform asymptotic expansions.

Speaker: Shaoyun Bai (Columbia University) Abstract:Take an irrational rotation of the two-sphere; it only has the north and south poles as its periodic points. However, Franks proved that for any area-preserving diffeomorphism of the two-sphere, if it has more than two fixed points, then it must have infinitely many periodic points. I will discuss a generalization with Guangbo Xu of this result to all compact toric manifolds, for which GLSM plays a surprising role.

Speaker: N. Asger Mortensen POLIMA 鈥� Center for Polariton-driven Light-Matter Interactions Danish Institute for Advanced Study 海角社区 Abstract:Polaritons are hybrid particles 鈥� quasiparticles 鈥� that result from the strong interaction between light (photons) and matter (such as electrons, excitons or phonons). These quasiparticles exhibit mixed characteristics, combining features of both photons and elementary particles like electrons. Colloquially, they constitute half-light-half-matter excitations. The interaction between light and matter in polaritons leads to unique physical properties and behaviors that are now also being explored in sheets of atomically thin two-dimensional materials and in artificial nanostructures. The electrodynamics of matter and optical phenomena are commonly explored within the framework of classical electrodynamics and semiclassical models for the interactions of light with matter. Materials are commonly assumed homogenous, and light-matter interactions are treated in an intuitive local manner. The plasmonic response of metal nanostructures is one such example, where the understanding of mesoscopic electrodynamics at metal surfaces is, however, becoming increasingly important for both fundamental developments in quantum plasmonics and potential applications in emerging light-based quantum technologies. The seminar will discuss recent examples of quantum nonlocal effects that emerge in surface-polaritonic systems, including metal surfaces, 2D materials, and combinations thereof. Biography: Mortensen is a full professor in the Center for Polariton-driven Light-Matter Interactions (POLIMA) and a Chair of Physics in the Danish Institute for Advanced Study, both at the 海角社区. Previously, he held a full professorship (faculty since 2004) at the Technical University of Denmark (DTU). In addition to his MSc (1998) and PhD (2001) degrees from DTU, he holds higher doctoral degrees from University of Copenhagen (Dr. Scient., 2021) and DTU (Dr. Tech., 2006). He is a fellow of APS, OSA, SPIE, IOP, and European Academy of Sciences. Currently, he serves the AAAS as an associate editor for Science Advances.

Speaker: Jesse Cohen (University of Hamburg) Abstract:Bordered Floer homology, due to Lipshitz, Ozsv谩th, and Thurston [LOT], is a generalization of Heegaard Floer homology to 3-manifolds with parametrized boundary. The simplest incarnation of this invariant can be regarded as a differential module CFD(Y) and a pairing theorem of [LOT] tells us that the complex of module homomorphisms between two such modules is homotopy equivalent to the Heegaard Floer complex of the 3-manifold obtained by gluing. We will discuss a topological interpretation of composition of module homomorphisms in this context, and applications thereof, including forthcoming work on deformations of arc algebras and a spectral sequence for links in S^1xS^2.

Speaker: Lennart Meier (Utrecht University) Abstract:Partition functions of 2-dimensional supersymmetric quantum field theories (SQFTs) are modular forms. Prominent examples are the theta functions arising from lattice conformal field theories. A philosophy due to Segal, Stolz and Teichner says that SQFTs allow a refinement of the partition function to *topological modular forms*. In our talk, we will give a short introduction to this theory and discuss how to refine theta functions to topological modular forms. If time allows, we will discuss the relationship to a potential new TQFT in dimension 3+1. This is based on joint work with Sergei Gukov, Slava Krushkal and Du Pei.

Speaker: Jian Qiu (Uppsala University) Abstract:I want to explain in this talk the framework of quantization using branes, as developed by Gukov-Witten and later refined by Gaiotto-Witten. This approach embeds the symplectic manifold to be quantized into a bigger space (of double the dimension) as a brane, and the open strings ending on the brane play the role of the operators acting on the Hilbert space.The open strings are expected to be quantized via the A-model, while in practice the open string wave functions are identifiable as holomorphic functions on the larger space and therefore many algebraic approach can be applied for its quantization and bypass the A-model.I will apply Kontsevich's deformation quantization to deform the algebra of operators. Contrary to what one expects from deformation quantisation, it is very computable, thanks to some recently developed technical results due to Barmeier and Wang.I will run you through some examples, the simplest being the Kleinian singularity. In the A_1 case, the quantization gives the Verma module of Usu(2) including the integrality condition for hbar, which Is unusual for deformation quantization.

Speaker: Alexei Latyntsev (海角社区, QM) Abstract:This talk will try to explain why you might care about quantum factorisation groups. We explain the classical theory of quantum groups, the relation to physics, then prove some sanity-checks/basic structure theorems showing that our definition of quantum factorisation groups is reasonable. We will then give some examples. The last part of the talk is conjectural: having set up this structure there are quite a few interesting conjectures coming from physics.

Speaker: Shuhan Jiang (Max Planck Institute, Leipzig) Abstract:In this talk, I will introduce a geometric framework for classical cohomological field theories (CohFTs) using G^{\star} algebras and variational bicomplexes. This framework enables a mathematical interpretation of scalar and vector supersymmetries, along with a systematic classification of solutions to the descent equations for CohFTs. Furthermore, I will provide a BV-BFV extension of this framework, illustrating its application through the (fully extended) Donaldson-Witten theory.

Speaker: Ce Ji (Peking University) Abstract:Over decades of development of the Witten conjecture, many enumerative geometries are related to integrable hierarchies. On the other hand, many of such theories also admit mirror symmetry in the sense of the remodeling conjecture with an underlying object called the spectral curve. In this talk, we propose a generalization of the Witten conjecture from spectral curve, which produce descendent potential functions related to certain reductions of (multi-component) KP integrable hierarchy. Proof for genus zero spectral curve with one boundary will be sketched, which can be applied to deduce the rKdV integrability of deformed negative r-spin theory, conjectured by Chidambaram--Garcia-Falide--Giacchetto. This talk is based on the joint work with Shuai Guo and Qingsheng Zhang.

Speaker: Cris Kuo (University of Southern California) Abstract:For complex manifolds, the Riemann-Hilbert correspondence generalizes the classical correspondence between finite dimensional local systems and vector bundles with connections to perverse sheaves and regular holonomic D-modules. These later objects are in fact microlocal in nature that they can be regarded as living on the cotangent bundles, and the correspondence admits a microlocalization as well. Continuing from an earlier joint work with C么t茅, Nadler, and Shende, we will globalize this correspondence to general complex contact manifolds in an upcoming work.

Speaker: Alexander Stottmeister (University of Hannover) Abstract:I will discuss a generalized notion of inductive systems of Banach spaces, coined soft inductive systems, that can serve as a flexible tool to describe the limits of physical theories, e.g., in the context of the thermodynamic limit and phase transitions or renormalization of quantum field theories.General criteria for the convergence of dynamics can be obtained in this setting, which I will illustrate using the example of renormalization of free fermion theories on a one-dimensional spatial lattice. Specifically, this example can be used to prove the conformal invariance of various correlation functions of the classical Ising model using operator algebraic methods.This talk is based on work with L. van Luijk, T.J. Osborne, and R.F. Werner.

Speaker: Guillem Cassasus (QM, 海角社区) Abstract:We will talk about algebraic structures arising in Lagrangian Floer homology in the presence of a Hamiltonian action of a compact Lie group. First, we will show how the Lagrangian Floer complex can be equipped with an A-infinity module structure over the Morse complex of the group, and how this action permits to define equivariant versions of Floer homology. We will then explain how this structure interacts with the structure of the Fukaya category: both can be packaged into (our version of) an A-infinity bialgebra action, giving an alternative answer to a conjecture of Teleman. This should enable one to build an extended topological field theory corresponding to Donaldson-Floer theory. This is based on two joint work in progress, one with Paul Kirk, Mike Miller-Eismeier and Wai-Kit Yeung, and another with Alex Hock and Thibaut Mazuir.

Speaker: Claudia Rella (University of Geneva) Abstract:Quantizing the mirror curve of a toric Calabi-Yau threefold gives rise to quantum-mechanical operators. Their fermionic spectral traces produce factorially divergent power series in the Planck constant and its inverse, which are conjecturally captured by the Nekrasov-Shatashvili and standard topological strings via the TS/ST correspondence. In this talk, I will discuss a general conjecture on the resurgence of these dual asymptotic series, and I will present a proven exact solution in the case of the first spectral trace of local P^2. A remarkable number-theoretic structure underpins the resurgent properties of the weak and strong coupling expansions and paves the way for new insights relating them to quantum modular forms. Finally, I will mention how these results fit into a broader paradigm linking resurgence and quantum modularity. This talk is based on arXiv:2212.10606 and further work in progress with V. Fantini.

Speaker: Charlotte Kirchhoff-Lukat (KU Leuven) Abstract:Floer theory and Fukaya categories constitute powerful invariants of symplectic manifolds. As a first step in the effort to extend these techniques to Poisson structures with degeneracies, I will present the construction of the Fukaya category for log symplectic Poisson structures on oriented surfaces, with a focus on the additional features of the theory arising from the degeneracy locus.

Speaker: Fei Yan (Brookhaven National Laboratory)Abstract:Defects play important roles in different fields such as condensed matter physics, high energy theory, and quantum information science. In this talk, I will discuss lattice realizations of topological defects in (1+1)-d, taking the transverse field Ising model and the three-state Potts model as examples. I will also comment on the entanglement entropy in presence of a defect and the extraction of physical quantities such as the defect g-function.

Speaker: Ingmar Saberi (Ludwig-Maximilians-Universit盲t M眉nchen) Lectures: Tuesday, Wednesday and Thursday 15:00-16:00. Q&A session: Friday 15:00-16:00.Abstract: In this mini-course, I will discuss some approaches to the geometry of supersymmetric field theory that offer promising new perspectives on issues related to M-theory, in particular on eleven-dimensional supergravity and six-dimensional theories with (2,0) supersymmetry. One key ingredient will be a structural analogy between superspaces and almost-complex manifolds, which allows for a unified formulation of supersymmetric theories and their twists. Another will be the notion of factorization current algebra and the factorization Noether theorem of Costello and Gwilliam. By the end, I hope to have reviewed both some recent progress and some outstanding questions related to twisted eleven-dimensional supergravity.

Speaker: Yu Zhao (IPMU) Abstract:In this talk we will briefly introduce a new strategy of introducing birtational geometry to the study of derived algebraic stacks. We will generalize a classical vanishing theorem to holomorphic Kuranishi spaces, i.e. quasi-smooth algebraic stacks. We will explain how this theorem recovers several classical results, including the virtual localization theorem, the semi-orthogonal decomposition of derived category of coherent sheaves and categorification of quantum loop groups.

Calvin Pfeifer defends his PhD thesis:鈥淥n 蟿 -tilted representation types and affine GLS algebras鈥�. Professor David Kyed, will act as chairman at the defence.

Speaker: David O'Connell (University of Okinawa) Abstract:Topology change is typically modelled by a Lorentz cobordism, which can be seen as a maximal spacelike hypersurface that globally splits into multiple pieces. In this talk we will take the absolute opposite approach, and consider models of topology change in which individual points are duplicated and then allowed to propagate into an eventual cobordism. As we will see, such models are non-Hausdorff, with the Hausdorff-violation occurring along the future nullcones of the duplicated points. Using recent developments in non-Hausdorff differential geometry, we will evaluate the Einstein-Hilbert action on topology changing spacetimes in two dimensions. Interestingly, even in the case of seemingly-flat geometries there will be non-zero curvature contributions coming from Hausdorff-violating submanifolds that sit inside the spacetime. These observations suggest that such spacetimes will generally be suppressed in a path integral that sums over topologies, with more elaborate branching receiving a stronger suppression.

Speaker: Guglielmo Lockhart (Universit盲t Bonn) Abstract:String theory compactification on elliptic Calabi-Yau manifolds provides a bridge between enumerative geometry on one side, and vertex operator algebras and a modular or Jacobi forms of various kinds on the other. This comes about because compactification leads to supersymmetric quantum field or quantum gravity theories that include two-dimensional objects, the noncritical strings, among their degrees of freedom. Exploiting this connection has led to a deeper understanding both of the spectrum of supersymmetric theories and of the modular properties of generating functions of enumerative invariants. In the first part of the talk I will give a broad overview of this subject, while in the second part I will focus on a recent work with Michele Del Zotto, where we find a link between Donaldson-Thomas invariants of higher rank, vector-valued Jacobi forms, and a two-dimensional analogue of Kronheimer-Nakajima quivers.

Speaker: Muyang Liu (QM, 海角社区) Abstract:F-theory is remarked by its powerful model building potential due to feasible geometric descriptions of string compactifications. It translates physics concepts in the theory concerned to mathematical objects extracted from the beautiful structures of elliptic fibrations. In particular, the resolved Calabi-Yau manifolds are determined within the framework of toric geometry. This gives a combinatorically simple description of the geometry and can be algorithmized with many computer algebra programs. In this talk, I will explore the searching of explicit models in the language of F-theory geometry, ranging from those admitting exact 4D Minimal Supersymmetric Standard Model (MSSM) matter spectra to novel 6D (1,0) heterotic theories and their T-dual network.

Speaker: William Olsen (QM, 海角社区) Abstract:We outline a strategy for using microlocal sheaf categories to distinguish smooth structures on the same underlying topological four-manifold. Briefly, our strategy is the following: if X is a Stein manifold satisfying certain conditions then we can understand the effect of performing a logarithmic transformation in terms of its Lagrangian skeleton.

Speaker: Mikhail Khovanov (Columbia University) Abstract:We will explain the foam evaluation formula. It gives rise to a combinatorial counterpart of Kronheimer-Mrowka homology theory for planar graphs and their cobordisms and to GL(N) link homology that categorifies Reshetikhin-Turaev quantum link invariants.

Speaker: Zhengping Gui (ICTP) Abstract:We construct a trace map on the chiral homology of chiral Weyl algebra for any smooth Riemann surface. Our trace map can be viewed as a chiral version of the deformed HKR quasi-isomorphism. This also provides a mathematical rigorous construction of correlation function for symplectic bosons in physics. We calculate some examples of trace maps with one insertion and find they are closely related to the variation of analytic torsion for holomorphic bundles on Riemann surfaces.

Speaker: Paolo Ghiggini (Universit茅 Grenoble Alpes) Abstract:Vincent Colin, Ko Honda, Michael Hutchings and I defined embedded contact homology groups for sutured three-manifolds as a slight modification of Hutching's embedded contact homology for closed three manifolds. I will sketch a strategy to prove that those groups are isomorphic to Juh谩sz's sutured Floer homology, and therefore are topological invariants. The strategy is to extend the knot complement to a larger closed manifold, and then apply the isomorphism between Heegaard Floer homology and embedded contact homology to the closed manifold. In the talk I will focus on the effect of that extension on embedded contact homology, and therefore no knowledge of suitured Floer homology will be necessary beyond the fact that it exists and is interesting. On the other hand the definition of embedded contact homology for sutured three-manifolds will be sketched. This is a joint work in progress with Vincent Colin and Ko Honda.

Speaker: Pavel Putrov (ICTP) Abstract:I will present a finite-dimensional model for analytically continued Chern-Simons theory on closed 3-manifolds that are described by plumbing trees. From this model, one can define a collection of topological invariants labeled by pairs of flat connections and valued in formal power series with integral coefficients. The coefficients can be roughly interpreted as counting gradient descent flows with respect to Chern-Simons functional in the space of SL(2,C) connections on the 3-manifold. I will also comment on a possible categorification, which can be interpreted as a finite-dimensional model of Fukaya-Seidel category of Chern-Simons functional on the space of SL(2,C) connections.

Speaker: Hannah Dell (University of Edinburgh) Abstract:The space of Bridgeland stability conditions on a given triangulated category is a complex manifold, which gives us a way to extract geometry from homological algebra. An explicit description is only known in a few cases. In this talk, I will discuss two approaches to studying stability conditions on derived categories of surfaces that are free quotients by finite abelian groups. One method is via Le Potier functions, which characterise the existence of slope-semistable sheaves. The second method uses Deligne鈥檚 notion of group actions on triangulated categories to describe a connected component of so-called geometric stability conditions inside the stability manifold of these free abelian quotients when the cover has finite Albanese morphism. A consequence of this is a disproof of the expectation that surfaces with irregularity 0 always admit a wall of the geometric chamber. This is based on arXiv:2307.00815.

Speaker: Saebyeok Jeong (Department of Theoretical Physics, CERN) Abstract:The Coulomb branch of four-dimensional N=2 supersymmetric gauge theory of class S is well-known to be identical to the moduli space of Hitchin's equations. I will consider the case of genus-0 with regular marked points, where the associated integrable system is the Gaudin model. I'll explain how the quantization of the Gaudin model can be formulated in the N=2 supersymmetric gauge theory with the help of half-BPS surface defects. We consider two types of surface defects: the "canonical" surface defect and the "regular monodromy" surface defect, inserted on top of each other. The action of the former on the latter is diagonal due to cluster decomposition, interpreted as the Hecke eigensheaf property with the eigenvalue given by the oper. In this way, we formulate the geometric Langlands correspondence in the N=2 gauge theory setting. I will also explain that the separation of variables and the bispectral duality of the quantum Hitchin integrable system can be accounted for by surface defect transitions.

Speaker: Marco Volpe (MPIM Bonn) Abstract:Poincar茅 and Atiyah duality theorems are fundamental results in the study of the (co)homology of smooth manifolds. However, due to their purely cohomological nature, one may naturally wonder whether it is necessary to impose geometric conditions on a topological space to ensure the validity of these theorems. In this presentation, we will review and reinterpret both Poincar茅 and Atiyah duality theorems using the framework of sheaves of infinity categories. We will employ the formalism of six operations to extend these duality theorems beyond the realm of manifolds. Even more, we will provide a comprehensive characterization of the class of topological spaces that satisfy Poincar茅 and Atiyah duality. This class essentially consists of what are known as integral homology manifolds. This is a joint work with Markus Land.

Speaker: Jiahe Cai, University of Copenhagen Abstract:Let G be a finite group. By evaluation of a once-extended 3-2-1-dimensional G-equivariant topological field theory Z on the circle one obtains a G-ribbon category C. From a homotopy G-fixed point in this G-ribbon category C, we can construct two representations of framed braid groups fBn with n strands for any n 鈮� 1: 1) We can construct a representation of fBn by evaluating Z on genus zero surfaces with G-bundle decoration. 2) We can orbifoldize the G-ribbon category C and obtain the fBn representation algebraically by using the braiding and twist of the orbifold category. We prove that these two representations are equivalent.

Speaker: Greg Stevenson (AU) Abstract:Differential graded algebras, which consist of a graded algebra together with a square-zero derivation, are an algebraic way of modelling multiplication up to homotopy. They are well adapted to, and arise naturally from, the study of derived categories in algebraic geometry. In general, the presence of the derivation makes these very complicated objects which are not necessarily amenable to usual techniques from ring theory.In my talk I'll explain some recent results, by my student Isambard Goodbody and others, in the setting where the underlying algebra is finite dimensional over some field. In this case, a surprising number of results from the theory of finite dimensional algebras can be generalized to the differential graded setting.

Location D-IAS Auditorium, Fioniavej 34, 5230 OdenseProgramme: 09:00 Welcome by DIREC Managing Director Thomas Riisgaard Hansen09:10 Topological Quantum Computing, Prof. & QM Centre Director J酶rgen Ellegaard Andersen10:20 Coffee break10:35 Gaussian Boson Sampling, Assistant Professor Shan Shan11:15 Coffee break11:30 Measurement-based Quantum Computing, PhD Student Santiago Q. RiosAll are welcomeCo-organised by DIREC Note: This event will be followed by the 海角社区 Quantum Hub Opening Event 鈥� same location from 13:00.

Speaker: Tatsuki Kuwagaki (Kyoto University) Abstract:An hbar differential equation is a deformation quantization of a Lagrangian submanifold. In this talk, I will explain the relationship with the Fukaya category. Our main tools are exact WKB analysis and microlocal sheaf theory.

Speaker: Greyson Potter (海角社区) Abstract:We develop a computational approach to analyzing the generalized volume conjecture, which relates topological recursion and Chern-Simons theory for hyperbolic 3-manifolds with torus boundary. The conjecture states that there is an equality between two series in a formal parameter hbar: the non-perturbative wave function from topological recursion and a state-integral for SL(2,C) Chern-Simons theory. Both series are expressible as sums over graphs. We develop algorithms for efficiently computing the graph sum for the non-perturbative wave function via quantum Airy structures and a software package, called qairy, which implements our algorithms. We further develop tools and techniques which are widely applicable to the calculation and analysis of the non-perturbative wave functions associated to genus one spectral curves. Using these tools, we are able to verify the generalized volume conjecture in several cases up to much higher order in hbar than was previously accessible as well as analyze the arithmetic aspects of the conjecture.

Speaker: Guillermo Barajas Ayuso (海角社区) Abstract:Let X be a compact Riemann surface, G a connected reductive complex Lie group with centre Z and M(X,G) the moduli space of holomorphic G-bundles over X. We provide a description of fixed points of certain finite group actions on M(X,G). The considered actions involve extending the structure group by elements of Aut(G), "tensoring" by Z-bundles and pulling back by automorphisms of X.

Speaker: Changlong Zhong (State University of New York at Albany) Abstract:Equivariant elliptic cohomology of symplectic resolutions was recently studied by Okounkov and his collaborators. For example, elliptic stable envelop is defined and it is closely related to geometric representation theory, mathematical physics and 3d mirror symmetry. For the cotangent bundle T^*G/B, it basically says that the restriction to torus fixed points of elliptic stable envelops are related with that for the Langlands dual. This is proved by Rimanyi-Weber. In this talk, I will focus on the elliptic Demazure-Lusztig operators that generate the elliptic classes corresponding to elliptic stable envelop. The (sheaf of) modules spanned by these classes are called the periodic module. The main result of this talk will show that the elliptic Demazure-Lusztig operators can be assembled together to obtain a canonical isomorphism between the periodic module and that for the Langlands dual system. In particular, it recovers Rimanyi-Weber's result. This is joint work with C. Lenart and G. Zhao.

Speaker: Si Li (Tsinghua University) Abstract:We investigate a two-dimensional chiral analogue of the algebraic index theorem via the theory of chiral algebras. We construct a trace map on the elliptic chiral homology of the free \beta-\gamma-bc system, and explain a chiral analogue of Hochschild-Kostant-Rosenberg theorem. We also establish the corresponding holomorphic anomaly equation.

Join us for a QM Masterclass on Geometric Variational Problems led by Jean-Pierre Bourguignon IH脡S and David Langlois CNRS, Univ. Paris Cit茅 from 31 July-4 August 2023. Register now!

Join us for a QM Masterclass on Geometric Variational Problems led by Jean-Pierre Bourguignon IH脡S and David Langlois CNRS, Univ. Paris Cit茅 from 31 July-4 August 2023. Register now!

Join us for a QM Masterclass on Geometric Variational Problems led by Jean-Pierre Bourguignon IH脡S and David Langlois CNRS, Univ. Paris Cit茅 from 31 July-4 August 2023. Register now!

Join us for a QM Masterclass on Geometric Variational Problems led by Jean-Pierre Bourguignon IH脡S and David Langlois CNRS, Univ. Paris Cit茅 from 31 July-4 August 2023. Register now!

Join us for a QM Masterclass on Geometric Variational Problems led by Jean-Pierre Bourguignon IH脡S and David Langlois CNRS, Univ. Paris Cit茅 from 31 July-4 August 2023. Register now!

Speaker: Andres Ibanez Nunes (University of Oxford) Abstract:In work of Haiden-Katzarkov-Konsevich-Pandit (HKKP), a canonical filtration, labeled by sequences of real numbers, of a semistable quiver representation or vector bundle on a curve is defined. The HKKP filtration is a purely algebraic object, yet it governs the asymptotic behaviour of a natural gradient flow on the space of metrics of the object.In this talk, we show that the HKKP filtration can be recovered from the stack of semistable objects and a so called norm on graded points. This approach gives a generalisation of the HKKP filtration to other moduli problems of non-linear origin.

Speaker: Yuya Murakami (Tohoku University) Abstract:In this talk, I will present my recent work (https://arxiv.org/abs/2302.13526) which proves Gukov-Pei-Putrov-Vafa's conjecture that the Witten-Reshetikhin-Turaev invariants are radial limits of homological blocks, which are q-series introduced by them for plumbed 3-manifolds with negative definite linking matrices. I will discuss three techniques in our proof: (1) An asymptotic formula of infinite series; (2) Comparison of asymptotic expansions; (3) To prove vanishing of asymptotic coefficients by "pruning" plumbed graphs.

Speaker: Guillaume Laplante-Anfossi (University of Melbourne) Abstract:On the one hand, simplex equations are higher dimensional generalizations of the Yang鈥擝axter (aka triangle) equation. The tetrahedron equation was introduced by Zamolodchikov in 1980, and the equations for higher dimensional simplices can be defined via higher Bruhat orders, a family of posets introduced by Manin and Schechtman in 1989. On the other hand, Steenrod squares are operations acting on the mod 2 cohomology of a topological space, introduced by Steenrod in 1947. They arise from correcting homotopically the lack of cocommutativity of the Alexander鈥擶hitney diagonal at the cochain level. Together with Nicholas Williams, we found a surprising bijection between the terms of these two constructions: each side of a higher Yang鈥擝axter equation defines a Steenrod cup-i coproduct, and vice-versa. A conceptual explanation for, as well as consequences of this result remain unknown to us, and I hope to stimulate discussions about what could grow out of this new dictionary between pieces of mathematical physics and classical algebraic topology.

Speaker: Gard Olav Helle (海角社区) Abstract:The McKay correspondence sets up a bijection between the finite subgroups of SU(2) and the Dynkin graphs of type ADE.In 1987 Kronheimer exploited this to give a construction of the minimal resolution of the quotient singularity \C^2/G using the method of hyper-K盲hler reduction. In fact, he produced a family of hyper-K盲hler 4-manifolds, the ALE spaces, where each member is diffeomorphic to the minimal resolution. This work can be rephrased in the language of Nakajima quiver varieties; the ALE spaces are the nonsingular quiver varieties associated with the extended Dynkin quivers and the corresponding minimal imaginary root. In this talk I will introduce hyper-K盲hler reduction and Nakajima quiver varieties with the aim of presenting a recent result providing a classification of the singularities in the above-described family of quiver varieties. This topic is intimately linked with instanton gauge theory, and I hope to elaborate on this relation along the way.

Speaker: Matthias Christandl (University of Copenhagen) Abstract:Molecular biology and biochemistry interpret microscopic processes in the living world in terms of molecular structures and their interactions, which are quantum mechanical by their very nature. Whereas the theoretical foundations of these interactions are very well established, the computational solution of the relevant quantum mechanical equations is very hard. However, much of molecular function in biology can be understood in terms of classical mechanics, where the interactions of electrons and nuclei have been mapped onto effective classical surrogate potentials that model the interaction of atoms or even larger entities. The simple mathematical structure of these potentials offers huge computational advantages; however, this comes at the cost that all quantum correlations and the rigorous many-particle nature of the interactions are omitted. In this work, we discuss how quantum computation may advance the practical usefulness of the quantum foundations of molecular biology by offering computational advantages for simulations of biomolecules. We not only discuss typical quantum mechanical problems of the electronic structure of biomolecules in this context, but also consider the dominating classical problems (such as protein folding and drug design) as well as data-driven approaches of bioinformatics and the degree to which they might become amenable to quantum simulation and quantum computation.

Speaker: Robin Kaarsgaard Sales (海角社区) Abstract:We provide a universal construction of the category offinite-dimensional C*-algebras and completely positivetrace-nonincreasing maps from the rig category offinite-dimensional Hilbert spaces and unitaries. Thisconstruction, which can be applied to any dagger rig category, isdescribed in three steps, each associated with their ownuniversal property, and draws on results from dilation theory infinite dimension. In this way, we explicitly construct thecategory that captures hybrid quantum/classical computation withpossible nontermination from the category of its reversiblefoundations. We discuss how this construction can be used in thedesign and semantics of quantum programming languages.This talk is based on joint work with Pablo Andr茅s-Mart铆nez (Quantinuum) and Chris Heunen (University of Edinburgh).

Speaker: No茅mie Legout (University of Uppsala) Abstract:To a Legendrian submanifold in the contactisation of a Liouville domain, one can associate a differential graded algebra (DGA) called the Chekanov-Eliashberg algebra (C-E algebra), and from which many Legendrian isotopy invariants are defined. Given any DGA, it is a hard question to know if it can be the C-E algebra of a Legendrian or not. In this talk, we will give a characterization of the C-E algebra, namely we show that for a displaceable Legendrian sphere this algebra is a Calabi-Yau DGA. This means that there is a quasi-isomorphism of DG-bimodules between the diagonal bimodule and the inverse dualizing bimodule. In order to prove this, we define another complex associated to a Legendrian, the Rabinowitz complex, and show that the acyclicity of this complex implies the existence of a Calabi-Yau structure. If time permits we will briefly talk about a work in progress with Georgios Dimitroglou-Rizell for the case when the Legendrian is not necessarily a sphere. In this case, and under certain hypothesis, the C-E algebra admits a relative Calabi-Yau structure.

Speaker: William Elb忙k Misteg氓rd (海角社区) Abstract:In his seminal work on quantum Chern-Simons field theory and the Jones polynomial, Witten envisioned a 2+1 dimensional TQFT. Further, he presented two procedures for constructing the underlying modular functor, namely by conformal field theory (CFT) and by geometric K盲hler quantization of the moduli spaces of flat principal bundles on two-manifolds. Subsequently, Reshetikhin and Turaev constructed a TQFT using surgery of three-manifolds and representation theory of quantum groups, and this is now known as the WRT-TQFT. The CFT approach was initially developed by Tsuchiya, Ueno and Yamada, and then further refined to a full modular functor by Andersen and Ueno, who also established that this is equivalent to the WRT-TQFT. The geometric K盲hler quantization approach was initialized by Axelrod, Witten and Pietra, and Hitchin. The quantization approach results in a projective representation of the mapping class group of a two-manifold, which is known due to Laszlo to be projectively equivalent to the representation of the WRT-TQFT. However, the full TQFT is not yet described from the point of view of quantization. In particular, the so-called TQFT factorization axiom has not been proved using only geometric quantization with respect to K盲hler polarizations. However, Andersen have understood factorization from the point of view of geometric quantization with respect to reducible non-negative polarizations. Jeffrey and Weitsman introduced a different quantization procedure. Given a trinion decomposition of a closed two-manifold S, one can obtain a system of functions on the moduli space of flat bundles on the two-manifold S. This is given by taking the trace of the holonomy representations of the boundary circles of the trinions. This results in a fibration of the moduli space, the fibres of this map being Lagrangian tori. The vertical distribution of this fibration is a polarization in the sense of geometric quantization. Jeffrey and Weitsman considered the so-called Bohr-Sommerfeld quantization of this system (i.e. this polarization), and proved that it results in a finite dimensional Hilbert space, which we denote by V(S). Further, they showed that V(S) has dimension equal to the dimension of the Hilbert space of the WRT-TQFT (this dimension is the famous Verlinde formula). In this talk, we present aspects of an ongoing project on quantization and TQFT, which is complementary to the factorization construction of Andersen. We consider the two-manifold S' obtained by cutting along a circle of the trinion decomposition. This two-manifold have two boundaries and an induced trinion decomposition. Following Jeffrey and Weitsman, we consider for each element j in the gauge group, the associated Lagrangian torus fibration of the moduli space of flat bundles on S' with boundary holonomy conjugate to j. We consider the Bohr-Sommerfeld quantization of this system, which we denote by V(S',j). We show that in accordance with the TQFT factorization axiom, the Hilbert space of the closed surface, denoted above by V(S), splits as a direct sum indexed by elements of the WRT-TQFT label set, the summand indexed by j being equal to V(S',j). Further, we show that this direct sum decomposition is conjugate to factorization isomorphism of the WRT-TQFT. Thus these results gives a geometric illumination of the factorization axiom of the WRT-TQFT by means of the Bohr-Sommerfeld quantization of Chern-Simons theory.

Speaker: William Elb忙k Misteg氓rd (海角社区) Abstract:It was envisioned by Witten that quantum Chern-Simons field theory is a 2+1 dimensional topological quantum field theory (TQFT) in the sense of Atiyah. Further, Witten argued that the link invariant known as the Jones polynomial, can be computed in this TQFT as the expectation value of Wilson loop operators. This gave an intrinsic definition of the Jones polynomial, as opposed to the known combinatorial definition, and thus solved an important problem in topology. Subsequently, a full TQFT was constructed mathematically rigorously by Reshetikhin and Turaev, using surgery presentations of three-manifolds and modular tensor categories. This is now known as the Witten-Reshetikhin-Turaev TQFT. To a closed oriented three-manifold M, the WRT-TQFT associates a topological invariant in the form of a complex number. This is called the quantum invariant of M. These invariants are essentially the building blocks of the WRT-TQFT. The goals of this introductory talk are to introduce the quantum invariants and to present the axioms of TQFT (or more precisely, the axioms of a modular functor).

Speaker: Bingyu Zhang (海角社区) Abstract:TBA

Speaker: Tobias Dyckerhoff (University of Hamburg) Abstract:Derived categories have come to play a decisive role in a wide range of topics. Several recent developments, in particular in the context of topological Fukaya categories, arouse the desire to study not just single categories, but rather complexes of categories. In this talk, we will discuss examples of such complexes in algebra, topology, algebraic geometry, and symplectic geometry, along with some results and conjectures involving them.

Speaker: Robin Kaarsgaard Sales (海角社区) Abstract:We provide a universal construction of the category offinite-dimensional C*-algebras and completely positivetrace-nonincreasing maps from the rig category offinite-dimensional Hilbert spaces and unitaries. Thisconstruction, which can be applied to any dagger rig category, isdescribed in three steps, each associated with their ownuniversal property, and draws on results from dilation theory infinite dimension. In this way, we explicitly construct thecategory that captures hybrid quantum/classical computation withpossible nontermination from the category of its reversiblefoundations. We discuss how this construction can be used in thedesign and semantics of quantum programming languages.This talk is based on joint work with Pablo Andr茅s-Mart铆nez (Quantinuum) and Chris Heunen (University of Edinburgh).

Speaker: Pavel Hajek (University of Hamburg) Abstract:I will explain how we use perturbative Chern-Simons theory to construct a Maurer-Cartan element in the canonical bi-Lie algebra on cyclic Hochschild cochains of de Rham cohomology. I will illustrate this on the example of S^1. I will outline relations of the twisted homotopy algebra to geometric structures on the loop space and in symplectic geometry.

Speaker: Pieter Belmans (University of Luxembourg) Abstract:Associated to decorated trivalent graphs I will describe a family of Laurent polynomials called graph potentials. These polynomials satisfy interesting symmetry and compatibility properties for different choices of graphs, leading to the construction of a topological quantum field theory which efficiently computes the classical periods as the partition function.Under mirror symmetry graph potentials are related to moduli spaces of rank 2 bundles (with fixed determinant of odd degree) on a curve of genus g>1, which is a class of Fano varieties of dimension 3g-3. I will discuss how enumerative mirror symmetry relates classical periods to quantum periods in this setting. Time permitting I will touch upon aspects of homological mirror symmetry for these Fano varieties and their mirror partners. This is joint work with Sergey Galkin and Swarnava Mukhopadhyay.

Speaker: Gustavo Jasso (Lund University) Abstract:The Donovan-Wemyss Conjecture predicts that the isomorphism type of an isolated compound Du Val singularity R that admits a crepant resolution is completely determined by the derived-equivalence class of any of its contraction algebras. Crucial results of August and Hua-Keller reduced the conjecture to the question of whether the singularity category of R admits a unique DG enhancement. I will explain, based on an observation by Bernhard Keller, how the conjecture follows from a recent theorem of Fernando Muro and myself that we call the Derived Auslander-Iyama Correspondence.

Seminar by Mikhail Gorsky (University of Vienna) Abstract: A braid variety is a certain affine algebraic variety associated with a simple algebraic group G and a positive braid of the corresponding type. These varieties generalise open Richardson varieties and appear in the context of symplectic topology and in the study of link invariants such as HOMFLY-PT polynomials and Khovanov-Rozansky homology. In this talk, I will give a proof of the existence of cluster A-structures and cluster Poisson structures on any braid variety. I will sketch an explicit construction of cluster seeds involving the diagrammatic calculus of weaves and explain certain properties of these cluster algebras such as local acyclicity. The talk is based on joint work with Roger Casals, Eugene Gorsky, Ian Le, Linhui Shen, and Jos茅 Simental (arXiv:2207.11607).

Seminar by C么me Dattin (Uppsala University) Abstract: Starting with a Riemannian manifold M, its unit bundle UM is a contact manifold, whose Reeb vector field lifts the geodesic flow. Given a submanifold N, its unit conormal is a Legendrian submanifold in UM. Thus this construction takes us from the smooth world to the contact world, and one may use Legendrian invariants to study smooth (sub)manifolds.In this talk we will show that, if the unit conormals of two surface braids are Legendrian isotopic (relatively to their boundary), then the braids are equivalent. The main tool will be an invariant of Legendrians with boundary, called the stopped sutured homology. Using its associated exact sequence, we recover a classical invariant of braids, namely an automorphism of the punctured surface.

Seminar by Ingmar Saberi (University of Munich) Abstract:In recent years, there has been a great deal of progress on ideas related to twisted supergravity, building on the definition given by Costello and Li. Much of what is explicitly known about these theories comes from the topological B- model, whose string field theory conjecturally produces the holomorphic twist of type IIB supergravity. Progress on eleven-dimensional supergravity has been hindered, in part, by the lack of such a worldsheet approach. I will discuss a rigorous computation of the twist of the free eleven-dimensional supergravity multiplet, as well as an interacting BV theory with this field content that passes a large number of consistency checks. Surprisingly, the resulting holomorphic theory on flat space is closely related to the infinite-dimensional exceptional simple Lie superalgebra E(5|10), and another such exceptional simple algebra - E(3|6) - appears in the context of M5-branes. This is joint work with Surya Raghavendran and Brian Williams.

Program:Monday 21 November09:15 Ernesto Lupercio Lara (CINESTAV): Quantum Toric Geometry and Topological Field Theories towards Quantum Algorithms (1/4) 10:30 Ernesto Lupercio Lara (CINESTAV): Quantum Toric Geometry and Topological Field Theories towards Quantum Algorithms (2/4) 11:30 Lunch 14:00 Discussions Tuesday 22 November 09:45 Vivek Shende (QM, 海角社区): TBA 11:00 Ludmil Katzarkov (Univ. Miami): Old and new methods to non rationality (1/4) 12:00 Lunch 14:00 Discussions Wednesday 23 November 09:15 Ludmil Katzarkov (Univ. Miami): Old and new methods to non rationality (2/4)10:30 Ernesto Lupercio Lara (CINESTAV): Quantum Toric Geometry and Topological Field Theories towards Quantum Algorithms (3/4) 11:30 Lunch 14:00 Discussions Thursday 24 November 09:15 Ernesto Lupercio Lara (CINESTAV): Quantum Toric Geometry and Topological Field Theories towards Quantum Algorithms (4/4) 10:30 Ludmil Katzarkov (Univ. Miami): Old and new methods to non rationality (3/4) 11:30 Lunch 14:00 J酶rgen Ellegaard Andersen (QM, 海角社区): Quantum Chern-Simons theory and Resurgence 15:00 Discussions Friday 25 November 09:15 Ludmil Katzarkov (Univ. Miami): Old and new methods to non rationality (4/4) 10:30 Fabian Haiden (QM, 海角社区): Skein=Hall 11:30 Lunch

Seminar by Can Kozcaz (Bo臒azi莽i University) Abstract: Frenkel and Reshetikhin introduced the q-characters to study finite dimensional representations of quantized universal enveloping algebras, which can be regarded as the quantization of the usual characters. Nekrasov gave a gauge theoretic interpretation to further quantize the q-characters in terms of operator insertions, and called them qq-characters. In this talk, I will first present a string theory construction for the qq-characters for any simple Lie group. Following this, I will focus on a new approach to study the qq-character for any symmetric representations of A-type groups using the refined topological vertex.

Speaker: John Pardon (Princeton University)

Seminar by Bingyu Zhang (海角社区, QM) Abstract: To bounded open sets in a cotangent bundle, we can associate a pair of sheaves, the microlocal kernels, following the idea of Tamarkin and Chiu. Using microlocal kernels for the open set, we can define the Chiu-Tamarkin complex, which is a cohomology invariant associated with the open set. In this talk, I would like to explain the construction of these cohomology theories and some computations. Then I would like to explain how to construct a sequence of capacities based on the Chiu-Tamarkin complex.

Seminar by Adrian Petr (海角社区, QM) Abstract: The Chekanov-Eliashberg algebra is an invariant associated to Legendrians in contact manifolds. It has first been introduced in $R^3$, and then into the general framework of Symplectic Field Theory. In this talk, the speaker will first recall its definition and some known relationships with Fukaya categories. Then he will explain the relation between the Fukaya-Floer algebra of an exact Lagrangian and the Chekanov-Eliashberg algebra of a Legendrian lift in the circular contactization. This will be done using the mapping torus of an $A_{\infty}$-autoequivalence.

Seminar by Ruadha铆 Dervan (University of Glasgow) Abstract: Bridgeland stability conditions give a very general way of understanding the algebro-geometric notion of stability on a triangulated category. In the simplified, geometric situation of a holomorphic vector bundle, the speaker will describe a conjectural counterpart to stability through the notion of a Z-critical connection. This is concretely a Hermitian metric on the vector bundle satisfying a geometric partial differential equation. The conjecture is motivated by the Hitchin-Kobayashi correspondence, which links the existence of Hermite-Einstein metrics to the notion of slope stability of a holomorphic vector bundle. This is joint work with John McCarthy and Lars Sektnan.

Speaker: Daria Poliakova(QM, 海角社区) Abstract TBA

The QM Research Seminar is held by Associate Professor Jens Kaad from the Department of Mathematics and Computer Science. In this talk we start out by reviewing the construction of central extensions of smooth loop groups and their relationship to the tame symbol of a pair of meromorphic functions on a Riemann surface. Our goal is then to introduce higher central extensions of smooth double loop groups. In this process we shall see how to combine operator theoretic techniques relating to perturbations of Fredholm operators on Hilbert spaces with concepts from higher category theory. The talk is based on joint work with Ryszard Nest and Jesse Wolfson.Read more about Jens Kaad.

The QM Research Seminar is held by Postdoc Miquel Cueca Ten from Georg-August-Universit盲t G枚ttingen. It is well known that Poisson manifolds and Courant algebroids give rise to 2d and 3d sigma models. A way of having both structures is by considering a Lie bialgebroid: Integration gives a Poisson groupoid and the Drinfel'd double a Courant algebroid. We will show that their corresponding sigma models are related by dimensional reduction. This is joint work with Alejandro Cabrera. Read more about Postdoc Miquel Cueca Ten.

The QM Research Seminar is held by Professor Vivek Shende from the Department of Mathematics and Computer Science. Vivek Shende will discuss some categorical consequences of the simple connectivity of the complex Grassmanian. Read more about Professor Vivek Shende.

By H2 we denote the Lie algebra of polynomial hamiltonian vector fields on the plane. We consider the moduli space of stable twisted Higgs bundles on an algebraic curve of given coprime rank and degree. De Cataldo, Hausel and Migliorini proved in the case of rank 2 and conjectured in arbitrary rank that two natural filtrations on the cohomology of the moduli space coincide. One is the weight filtration W coming from the Betti realization, and the other one is the perverse filtration P induced by the Hitchin map. Motivated by computations of the Khovanov-Rozansky homology of links by Gorsky, Hogancamp and myself, we look for an action of H2 on the cohomology of the moduli space. We find it in the algebra generated by two kinds of natural operations: on the one hand we have the operations of cup product by tautological classes, and on the other hand we have the Hecke operators acting via certain correspondences. We then show that both P and W coincide with the filtration canonically associated to the sl2 subalgebra of H2. Based on joint work in progress with Hausel, Minets and Schiffmann.Read more about Assistant Professor Anton Mellit from University of Vienna.