Related papers: Lecture Notes on Modular Infinity Operads and Grot…
The fine-tuning of deep pre-trained models has revealed compositional properties, with multiple specialized modules that can be arbitrarily composed into a single, multi-task model. However, identifying the conditions that promote…
We present a simple resolution proof system for higher-order constrained Horn clauses (HoCHC) - a system of higher-order logic modulo theories - and prove its soundness and refutational completeness w.r.t. the standard semantics. As…
This is an updated version of the lectures notes for a course on condensed mathematics taught in the summer term 2019 at the University of Bonn. The material presented is joint work with Dustin Clausen. This is intended as a stable citable…
Recently Brian Hartwig and the second author found a presentation for the three-point $sl_2$ loop algebra by generators and relations. To obtain this presentation they defined a Lie algebra $\boxtimes$ by generators and relations, and…
This is an appendix to the Handbook of Tilting Theory, edited by Angeleri-Huegel, Happel and Krause, to be published soon. Part 1 of the appendix provides an outline of the core of tilting theory. Part 2 is devoted to topics where tilting…
The present notes are based on a course on Cherednik algebras given by the first author at MIT in the Fall of 2009. Their goal is to give an introduction to Cherednik algebras, and to review the web of connections between them and other…
In this paper, we study modularity of several functions which naturally arose in a recent paper of Lau and Zhou on open Gromov-Witten potentials of elliptic orbifolds. They derived a number of examples of indefinite theta functions, and we…
Operads are algebraic devices offering a formalization of the concept of operations with several inputs and one output. Such operations can be naturally composed to form bigger and more complex ones. Coming historically from algebraic…
This document is a reorganization of the results on the Master Thesis of the same title written by the author under the supervision of Dr. Christian Blohmann at the University of Bonn in 2014. There are three main results in this document.…
These are notes for a series of five lectures on "Moduli and degenerations of algebraic curves via tropical geometry" delivered at the CIMPA-CIMAT-ICTP School on Moduli of Curves, February 29-March 4, 2016 in Guanajuato, Mexico.
This article examines the interpretation of the LTL temporal operators over finite and infinite sequences. This is used as the basis for deriving a sound and complete axiomatization for Caret, a recent temporal logic for reasoning about…
We describe a new link between the theory of topological modular forms and representations of vertex operator algebras obtained by certain lattices. The construction is motivated by the arithmetic Whitehead tower of the orthogonal groups.…
The leitmotif of these Notes is the idea of a vertex operator algebra (VOA) and the relationship between VOAs and elliptic functions and modular forms. This is to some extent analogous to the relationship between a finite group and its…
The materials accompany a lecture short course presented at the 2011 Park City Mathematics Institute, Graduate Summer School on Moduli Spaces of Riemann Surfaces. The lectures were part of/coordinated with an overall program, including…
We introduce a linear infinitary $\lambda$-calculus, called $\ell\Lambda_{\infty}$, in which two exponential modalities are available, the first one being the usual, finitary one, the other being the only construct interpreted…
These notes gather recent results on robust statistical learning theory. The goal is to stress the main principles underlying the construction and theoretical analysis of these estimators rather than provide an exhaustive account on this…
These are lecture notes of a minicourse given by the first author at the Summer School on Quantization at the University of Notre Dame in June 2011. The notes were written up and expanded by the second author who took the liberty of adding…
In this paper, we describe a general theory of modules over an algebra over an operad. We also study functors between categories of modules. Specializing to the operad E_d of little d-dimensional disks, we show that each (d-1)-manifold…
Recently Terwilliger and the present author found a presentation for the three-point $\mathfrak{sl}_2$ loop algebra via generators and relations. To obtain this presentation we defined a Lie algebra $\boxtimes$ by generators and relations…
The aim of this paper is to extend the structure theory for infinitely generated modules over tame hereditary algebras to the more general case of modules over concealed canonical algebras. Using tilting, we may assume that we deal with…