Oberwolfach Publications
http://publications.mfo.de:80
The DSpace digital repository system captures, stores, indexes, preserves, and distributes digital research material.Sat, 30 Sep 2023 12:41:46 GMT2023-09-30T12:41:46ZOberwolfach Publicationshttp://publications.mfo.de/themes/Mirage2/images/apple-touch-icon.png
http://publications.mfo.de:80
Felder und Räume: Symmetrie und Lokalität in Mathematik und theoretischen Wissenschaften
http://publications.mfo.de/handle/mfo/4069
Felder und Räume: Symmetrie und Lokalität in Mathematik und theoretischen Wissenschaften
Saberi, Ingmar
Wir werden einige grundlegende Ideen der Eichtheorie und der dazugehörigen Differentialtopologie erkunden. Damit kann sich die Leserin ein Bild des Modulraums flacher Zusammenhänge machen und ihn mit den physikalisch motivierten Ideen dahinter in Beziehung bringen. Den Begriffen von Symmetrien und Feldern gehen wir gründlich nach. Außerdem werfen wir einen flüchtigen Blick auf unendliche Symmetrie in zwei Dimensionen und auf vor kurzem entdeckte Verallgemeinerungen.
Tue, 19 Sep 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/40692023-09-19T00:00:00ZSaberi, IngmarWir werden einige grundlegende Ideen der Eichtheorie und der dazugehörigen Differentialtopologie erkunden. Damit kann sich die Leserin ein Bild des Modulraums flacher Zusammenhänge machen und ihn mit den physikalisch motivierten Ideen dahinter in Beziehung bringen. Den Begriffen von Symmetrien und Feldern gehen wir gründlich nach. Außerdem werfen wir einen flüchtigen Blick auf unendliche Symmetrie in zwei Dimensionen und auf vor kurzem entdeckte Verallgemeinerungen.The Periodic Tables of Algebraic Geometry
http://publications.mfo.de/handle/mfo/4067
The Periodic Tables of Algebraic Geometry
Belmans, Pieter
To understand our world, we classify things. A famous example is the periodic table of elements, which describes the properties of all known chemical elements and gives us a classification of the building blocks we can use in physics, chemistry, and biology. In mathematics, and algebraic geometry in particular, there are many instances of similar “periodic tables”, describing fundamental classification results. We will go on a tour of some of these.
Mon, 04 Sep 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/40672023-09-04T00:00:00ZBelmans, PieterTo understand our world, we classify things. A famous example is the periodic table of elements, which describes the properties of all known chemical elements and gives us a classification of the building blocks we can use in physics, chemistry, and biology. In mathematics, and algebraic geometry in particular, there are many instances of similar “periodic tables”, describing fundamental classification results. We will go on a tour of some of these.The Character Triple Conjecture for Maximal Defect Characters and the Prime 2
http://publications.mfo.de/handle/mfo/4060
The Character Triple Conjecture for Maximal Defect Characters and the Prime 2
Rossi, Damiano
We prove that Späth’s Character Triple Conjecture holds for every finite group with respect to maximal defect characters at the prime 2. This is done by reducing the maximal defect case of the conjecture to the so-called inductive Alperin–McKay condition whose verification has recently been completed by Ruhstorfer for the prime 2. As a consequence we obtain the Character Triple Conjecture for all 2-blocks with abelian defect groups by applying Brauer’s Height Zero Conjecture, a proof of which is now available. We also obtain similar results for the block-free version of the Character Triple Conjecture at the prime 3.
Tue, 22 Aug 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/40602023-08-22T00:00:00ZRossi, DamianoWe prove that Späth’s Character Triple Conjecture holds for every finite group with respect to maximal defect characters at the prime 2. This is done by reducing the maximal defect case of the conjecture to the so-called inductive Alperin–McKay condition whose verification has recently been completed by Ruhstorfer for the prime 2. As a consequence we obtain the Character Triple Conjecture for all 2-blocks with abelian defect groups by applying Brauer’s Height Zero Conjecture, a proof of which is now available. We also obtain similar results for the block-free version of the Character Triple Conjecture at the prime 3.The Brown Complex in Non-Defining Characteristic and Applications
http://publications.mfo.de/handle/mfo/4059
The Brown Complex in Non-Defining Characteristic and Applications
Rossi, Damiano
We study the Brown complex associated to the poset of $\ell$-subgroups in the case of a finite reductive group defined over a field $\mathbb{F}_q$ of characteristic prime to $\ell$. First, under suitable hypotheses, we show that its homotopy type is determined by the generic Sylow theory developed by Broué and Malle and, in particular, only depends on the multiplicative order of $q$ modulo $\ell$. This result leads to several interesting applications to generic Sylow theory, mod $\ell$ homology decompositions, and $\ell$-modular representation theory. Then, we conduct a more detailed study of the Brown complex in order to establish an explicit connection between the local-global conjectures in representation theory of finite groups and the generic Sylow theory. This is done by isolating a family of $\ell$-subgroups of finite reductive groups that corresponds bijectively to the structures controlled by the generic Sylow theory.
Tue, 25 Jul 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/40592023-07-25T00:00:00ZRossi, DamianoWe study the Brown complex associated to the poset of $\ell$-subgroups in the case of a finite reductive group defined over a field $\mathbb{F}_q$ of characteristic prime to $\ell$. First, under suitable hypotheses, we show that its homotopy type is determined by the generic Sylow theory developed by Broué and Malle and, in particular, only depends on the multiplicative order of $q$ modulo $\ell$. This result leads to several interesting applications to generic Sylow theory, mod $\ell$ homology decompositions, and $\ell$-modular representation theory. Then, we conduct a more detailed study of the Brown complex in order to establish an explicit connection between the local-global conjectures in representation theory of finite groups and the generic Sylow theory. This is done by isolating a family of $\ell$-subgroups of finite reductive groups that corresponds bijectively to the structures controlled by the generic Sylow theory.Multi-Dimensional Summation-by-Parts Operators for General Function Spaces: Theory and Construction
http://publications.mfo.de/handle/mfo/4058
Multi-Dimensional Summation-by-Parts Operators for General Function Spaces: Theory and Construction
Glaubitz, Jan; Klein, Simon-Christian; Nordström, Jan; Öffner, Philipp
Summation-by-parts (SBP) operators allow us to systematically develop energy-stable and high-order accurate numerical methods for time-dependent differential equations. Until recently, the main idea behind existing SBP operators was that polynomials can accurately approximate the solution, and SBP operators should thus be exact for them. However, polynomials do not provide the best approximation for some problems, with other approximation spaces being more appropriate. We recently addressed this issue and developed a theory for one-dimensional SBP operators based on general function spaces, coined function-space SBP (FSBP) operators. In this paper, we extend the theory of FSBP operators to multiple dimensions. We focus on their existence, connection to quadratures, construction, and mimetic properties. A more exhaustive numerical demonstration of multi-dimensional FSBP (MFSBP) operators and their application will be provided in future works. Similar to the one-dimensional case, we demonstrate that most of the established results for polynomial-based multi-dimensional SBP (MSBP) operators carry over to the more general class of MFSBP operators. Our findings imply that the concept of SBP operators can be applied to a significantly larger class of methods than is currently done. This can increase the accuracy of the numerical solutions and/or provide stability to the methods.
Tue, 25 Jul 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/40582023-07-25T00:00:00ZGlaubitz, JanKlein, Simon-ChristianNordström, JanÖffner, PhilippSummation-by-parts (SBP) operators allow us to systematically develop energy-stable and high-order accurate numerical methods for time-dependent differential equations. Until recently, the main idea behind existing SBP operators was that polynomials can accurately approximate the solution, and SBP operators should thus be exact for them. However, polynomials do not provide the best approximation for some problems, with other approximation spaces being more appropriate. We recently addressed this issue and developed a theory for one-dimensional SBP operators based on general function spaces, coined function-space SBP (FSBP) operators. In this paper, we extend the theory of FSBP operators to multiple dimensions. We focus on their existence, connection to quadratures, construction, and mimetic properties. A more exhaustive numerical demonstration of multi-dimensional FSBP (MFSBP) operators and their application will be provided in future works. Similar to the one-dimensional case, we demonstrate that most of the established results for polynomial-based multi-dimensional SBP (MSBP) operators carry over to the more general class of MFSBP operators. Our findings imply that the concept of SBP operators can be applied to a significantly larger class of methods than is currently done. This can increase the accuracy of the numerical solutions and/or provide stability to the methods.The Simplicial Complex of Brauer Pairs of a Finite Reductive Group
http://publications.mfo.de/handle/mfo/4056
The Simplicial Complex of Brauer Pairs of a Finite Reductive Group
Rossi, Damiano
In this paper we study the simplicial complex induced by the poset of Brauer pairs ordered by inclusion for the family of finite reductive groups. In the defining characteristic case the homotopy type of this simplicial complex coincides with that of the Tits building thanks to a well-known result of Quillen. On the other hand, in the non-defining characteristic case, we show that the simplicial complex of Brauer pairs is homotopy equivalen to a simplicial complex determined by generalised Harish-Chandra theory. This extends earlier results of the author on the Brown complex and makes use of the theory of connected subpairs and twisted block induction developed by Cabanes and Enguehard.
Mon, 17 Jul 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/40562023-07-17T00:00:00ZRossi, DamianoIn this paper we study the simplicial complex induced by the poset of Brauer pairs ordered by inclusion for the family of finite reductive groups. In the defining characteristic case the homotopy type of this simplicial complex coincides with that of the Tits building thanks to a well-known result of Quillen. On the other hand, in the non-defining characteristic case, we show that the simplicial complex of Brauer pairs is homotopy equivalen to a simplicial complex determined by generalised Harish-Chandra theory. This extends earlier results of the author on the Brown complex and makes use of the theory of connected subpairs and twisted block induction developed by Cabanes and Enguehard.Rank Deviations for Overpartitions
http://publications.mfo.de/handle/mfo/4054
Rank Deviations for Overpartitions
Lovejoy, Jeremy; Osburn, Robert
We prove general fomulas for the deviations of two overpartition ranks from the average, namely \begin{equation*} \overline{D}(a, M) := \sum_{n \geq 0} \Bigl( \overline{N}(a, M, n) - \frac{\overline{p}(n)}{M} \Bigr) q^n \end{equation*} and \begin{equation*} \overline{D}_{2}(a,M) := \sum_{n \geq 0} \Bigl( \overline{N}_{2}(a, M, n) - \frac{\overline{p}(n)}{M} \Bigr) q^n \end{equation*} where $\overline{N}(a, M, n)$ denotes the number of overpartitions of $n$ with rank congruent to $a$ modulo $M$, $\overline{N}_{2}(a, M, n)$ is the number of overpartitions of $n$ with $M_2$-rank congruent to $a$ modulo $M$ and $\overline{p}(n)$ is the number of overpartitions of $n$. These formulas are in terms of Appell-Lerch series and sums of quotients of theta functions and can be used, among other things, to recover any of the numerous overpartition rank difference identities in the literature. We give examples for $M=3$ and $6$.
Wed, 12 Jul 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/40542023-07-12T00:00:00ZLovejoy, JeremyOsburn, RobertWe prove general fomulas for the deviations of two overpartition ranks from the average, namely \begin{equation*} \overline{D}(a, M) := \sum_{n \geq 0} \Bigl( \overline{N}(a, M, n) - \frac{\overline{p}(n)}{M} \Bigr) q^n \end{equation*} and \begin{equation*} \overline{D}_{2}(a,M) := \sum_{n \geq 0} \Bigl( \overline{N}_{2}(a, M, n) - \frac{\overline{p}(n)}{M} \Bigr) q^n \end{equation*} where $\overline{N}(a, M, n)$ denotes the number of overpartitions of $n$ with rank congruent to $a$ modulo $M$, $\overline{N}_{2}(a, M, n)$ is the number of overpartitions of $n$ with $M_2$-rank congruent to $a$ modulo $M$ and $\overline{p}(n)$ is the number of overpartitions of $n$. These formulas are in terms of Appell-Lerch series and sums of quotients of theta functions and can be used, among other things, to recover any of the numerous overpartition rank difference identities in the literature. We give examples for $M=3$ and $6$.Patterns and Waves in Theory, Experiment, and Application
http://publications.mfo.de/handle/mfo/4053
Patterns and Waves in Theory, Experiment, and Application
Bramburger, Jason J.
In this snapshot of modern mathematics we describe some of the most prevalent waves and patterns that can arise in mathematical models and which are used to describe a number of biological, chemical, physical, and social processes. We begin by focussing on two types of patterns that do not change in time: space-filling patterns and localized patterns. We then discuss two types of waves that evolve predictably as time goes on: spreading waves and rotating waves. All our examples are motivated with real-world applications and we highlight some of the main lines of research that mathematicians pursue to better understand them.
Tue, 04 Jul 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/40532023-07-04T00:00:00ZBramburger, Jason J.In this snapshot of modern mathematics we describe some of the most prevalent waves and patterns that can arise in mathematical models and which are used to describe a number of biological, chemical, physical, and social processes. We begin by focussing on two types of patterns that do not change in time: space-filling patterns and localized patterns. We then discuss two types of waves that evolve predictably as time goes on: spreading waves and rotating waves. All our examples are motivated with real-world applications and we highlight some of the main lines of research that mathematicians pursue to better understand them.Hypergroups and Twin Buildings, I
http://publications.mfo.de/handle/mfo/4048
Hypergroups and Twin Buildings, I
French, Christopher; Zieschang, Paul-Hermann
We discuss a conjecture on thick twin buildings the verification of which is needed in order to show that thick twin buildings are mathematically equivalent to regular actions of certain twin Coxeter hypergroups. (A corresponding result for buildings is shown in [5; Sections 10.2, 10.3].) We prove that the conjecture holds in the case where the support of its sagittal has cardinality 2 and in the case where its sagittal has length at most 3. (Sagittals are defined in Section 1.) Our exposition is based on an earlier treatment of the subject; cf. [3].
Mon, 19 Jun 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/40482023-06-19T00:00:00ZFrench, ChristopherZieschang, Paul-HermannWe discuss a conjecture on thick twin buildings the verification of which is needed in order to show that thick twin buildings are mathematically equivalent to regular actions of certain twin Coxeter hypergroups. (A corresponding result for buildings is shown in [5; Sections 10.2, 10.3].) We prove that the conjecture holds in the case where the support of its sagittal has cardinality 2 and in the case where its sagittal has length at most 3. (Sagittals are defined in Section 1.) Our exposition is based on an earlier treatment of the subject; cf. [3].Logical Relations for Partial Features and Automatic Differentiation Correctness
http://publications.mfo.de/handle/mfo/4046
Logical Relations for Partial Features and Automatic Differentiation Correctness
Lucatelli Nunes, Fernando; Vákár, Matthijs
We present a simple technique for semantic, open logical relations arguments about languages with recursive types, which, as we show, follows from a principled foundation in categorical semantics. We demonstrate how it can be used to give a very straightforward proof of correctness of practical forward- and reverse-mode dual numbers style automatic differentiation (AD) on ML-family languages. The key idea is to combine it with a suitable open logical relations technique for reasoning about differentiable partial functions (a suitable lifting of the partiality monad to logical relations), which we introduce.
Mon, 19 Jun 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/40462023-06-19T00:00:00ZLucatelli Nunes, FernandoVákár, MatthijsWe present a simple technique for semantic, open logical relations arguments about languages with recursive types, which, as we show, follows from a principled foundation in categorical semantics. We demonstrate how it can be used to give a very straightforward proof of correctness of practical forward- and reverse-mode dual numbers style automatic differentiation (AD) on ML-family languages. The key idea is to combine it with a suitable open logical relations technique for reasoning about differentiable partial functions (a suitable lifting of the partiality monad to logical relations), which we introduce.