• Extremal configurations of polygonal linkages 

      [OWP-2011-24] Khimshiashvili, Giorgi; Panina, Gaiane; Siersma, Dirk; Zhukova, Alena (Mathematisches Forschungsinstitut Oberwolfach, 2011-05-22)
    • Fibonacci-like unimodal inverse limit spaces 

      [OWP-2010-03] Bruin, H.; Štimac, S. (Mathematisches Forschungsinstitut Oberwolfach, 2010-03-9)
      We study the structure of inverse limit space of so-called Fibonacci-like tent maps. The combinatorial constraints implied by the Fibonacci-like assumption allows us to introduce certain chains that enable a more detailed ...
    • Finitary Proof Systems for Kozen's μ 

      [OWP-2016-26] Afshari, Bahareh; Leigh, Graham E. (Mathematisches Forschungsinstitut Oberwolfach, 2016-12-30)
      We present three finitary cut-free sequent calculi for the modal $μ$-calculus. Two of these derive annotated sequents in the style of Stirling’s ‘tableau proof system with names’ (2014) and feature special inferences that ...
    • The First Hochschild Cohomology as a Lie Algebra 

      [OWP-2019-09] Rubio y Degrassi, Lleonard; Schroll, Sibylle; Solotar, Andrea (Mathematisches Forschungsinstitut Oberwolfach, 2019-04-16)
      In this paper we study sufficient conditions for the solvability of the first Hochschild cohomology of a finite dimensional algebra as a Lie algebra in terms of its Ext-quiver in arbitrary characteristic. In particular, ...
    • Formal adjoints of linear DAE operators and their role in optimal control 

      [OWP-2011-15] Kunkel, Peter; Mehrmann, Volker (Mathematisches Forschungsinstitut Oberwolfach, 2011-05-16)
      For regular strangeness-free linear differential-algebraic equations (DAEs) the definition of an adjoint DAE is straightforward. This definition can be formally extended to general linear DAEs. In this paper, we analyze ...
    • Formal punctured ribbons and two-dimensional local fields 

      [OWP-2008-01] Kurke, Herbert; Osipov, Denis; Zheglov, Alexander (Mathematisches Forschungsinstitut Oberwolfach, 2008-03-05)
      We investigate formal ribbons on curves. Roughly speaking, formal ribbon is a family of locally linearly compact vector spaces on a curve. We establish a one-to-one correspondence between formal ribbons on curves plus some ...
    • The Fourier Transform on Harmonic Manifolds of Purely Exponential Volume Growth 

      [OWP-2019-12] Biswas, Kingshook; Knieper, Gerhard; Peyerimhoff, Norbert (Mathematisches Forschungsinstitut Oberwolfach, 2019-05-08)
      Let $X$ be a complete, simply connected harmonic manifold of purely exponential volume growth. This class contains all non-flat harmonic manifolds of non-positive curvature and, in particular all known examples of harmonic ...
    • Fourier-Mukai transform on Weierstrass cubics and commuting differential operators 

      [OWP-2016-03] Burban, Igor; Zheglov, Alexander (Mathematisches Forschungsinstitut Oberwolfach, 2016-05-10)
      In this article, we describe the spectral sheaves of algebras of commuting differential operators of genus one and rank two with singular spectral curve, solving a problem posed by Previato and Wilson. We also classify all ...
    • Freeness of Multi-Reflection Arrangements via Primitive Vector Fields 

      [OWP-2017-10] Hoge, Torsten; Mano, Toshiyuki; Röhrle, Gerhard; Stump, Christian (Mathematisches Forschungsinstitut Oberwolfach, 2017-04-20)
      In 2002, Terao showed that every reflection multi-arrangement of a real reflection group with constant multiplicity is free by providing a basis of the module of derivations. We first generalize Terao's result to ...
    • A Function Algebra Providing New Mergelyan Type Theorems in Several Complex Variables 

      [OWP-2019-02] Falcó, Javier; Gauthier, Paul Montpetit; Manolaki, Myrto; Nestoridis, Vassili (Mathematisches Forschungsinstitut Oberwolfach, 2019-02-11)
      For compact sets $K\subset \mathbb C^{d}$, we introduce a subalgebra $A_{D}(K)$ of $A(K)$, which allows us to obtain Mergelyan type theorems for products of planar compact sets as well as for graphs of functions.
    • G-complete reducibility in non-connected groups 

      [OWP-2013-09] Bate, Michael; Herpel, Sebastian; Martin, Benjamin; Röhrle, Gerhard (Mathematisches Forschungsinstitut Oberwolfach, 2013-04-10)
      In this paper we present an algorithm for determining whether a subgroup $H$ of a non-connected reductive group $G$ is $G$-completely reducible. The algorithm consists of a series of reductions; at each step, we perform ...
    • GAP Functionality for Zariski Dense Groups 

      [OWP-2017-22] Detinko, Alla; Flannery, Dane; Hulpke, Alexander (Mathematisches Forschungsinstitut Oberwolfach, 2017-09-14)
      In this document we describe the functionality of GAP [4] routines for Zariski dense or arithmetic groups that are developed in [1, 2, 3]. The research underlying the software was supported through the programme "Research ...
    • A Generalization of the Discrete Version of Minkowski’s Fundamental Theorem 

      [OWP-2014-17] González Merino, Bernardo; Henze, Matthias (Mathematisches Forschungsinstitut Oberwolfach, 2014)
      One of the most fruitful results from Minkowski’s geometric viewpoint on number theory is his so called 1st Fundamental Theorem. It provides an optimal upper bound for the volume of an o-symmetric convex body whose only ...
    • Generalized Entropy Method for the Renewal Equation with Measure Data 

      [OWP-2016-07] Gwiazda, Piotr; Wiedemann, Emil (Mathematisches Forschungsinstitut Oberwolfach, 2016-06-17)
      We study the long-time asymptotics for the so-called McKendrick-Von Foerster or renewal equation, a simple model frequently considered in structured population dynamics. In contrast to previous works, we can admit a bounded ...
    • Generalized Killing spinors and Lagrangian graphs 

      [OWP-2014-11] Moroianu, Andrei; Semmelmann, Uwe (Mathematisches Forschungsinstitut Oberwolfach, 2014-08-20)
      We study generalized Killing spinors on the standard sphere $\mathbb{S}^3$, which turn out to be related to Lagrangian embeddings in the nearly Kähler manifold $S^3 \times S^3$ and to great circle flows on $\mathbb{S}^3$. ...
    • Generalized Vector Cross Products and Killing Forms on Negatively Curved Manifolds 

      [OWP-2018-17] Barberis, María Laura; Moroianu, Andrei; Semmelmann, Uwe (Mathematisches Forschungsinstitut Oberwolfach, 2018-07-17)
      Motivated by the study of Killing forms on compact Riemannian manifolds of negative sectional curvature, we introduce the notion of generalized vector cross products on $\mathbb{R}^n$ and give their classification. Using ...
    • Generating Finite Coxeter Groups with Elements of the Same Order 

      [OWP-2020-07] Hart, Sarah; Kelsey, Veronica; Rowley, Peter (Mathematisches Forschungsinstitut Oberwolfach, 2020-03-16)
      Supposing $G$ is a group and $k$ a natural number, $d_k(G)$ is defined to be the minimal number of elements of $G$ of order $k$ which generate $G$ (setting $d_k(G) = 0$ if $G$ has no such generating sets). This paper ...
    • Geometric flows and 3-manifolds : Oberwolfach Lecture 2005 

      [OWP-2007-01] Huisken, Gerhard (Mathematisches Forschungsinstitut Oberwolfach, 2007)
      The current article arose from a lecture1 given by the author in October 2005 on the work of R. Hamilton and G. Perelman on Ricci-flow and explains central analytical ingredients in geometric parabolic evolution equations ...
    • Geometric quantization of integrable systems with hyperbolic singularities 

      [OWP-2009-01] Hamilton, Mark D.; Miranda, Eva (Mathematisches Forschungsinstitut Oberwolfach, 2009)
      We construct the geometric quantization of a compact surface using a singular real polarization coming from an integrable system. Such a polarization always has singularities, which we assume to be of nondegenerate type. ...
    • Geometry of Free Loci and Factorization of Noncommutative Polynomials 

      [OWP-2017-23] Helton, J. William; Klep, Igor; Volčič, Jurij; Helton, J. William (Mathematisches Forschungsinstitut Oberwolfach, 2017-10-02)
      The free singularity locus of a noncommutative polynomial f is defined to be the sequence $Z_n(f)=\{X\in M_n^g : \det f(X)=0\}$ of hypersurfaces. The main theorem of this article shows that f is irreducible if and only if ...