• An Extension Problem and Trace Hardy Inequality for the Sublaplacian on H-Type Groups 

      [OWP-2017-20] Roncal, Luz; Thangavelu, Sundaram (Mathematisches Forschungsinstitut Oberwolfach, 2017-07-24)
      In this paper we study the extension problem for the sublaplacian on a H-type group and use the solutions to prove trace Hardy and Hardy inequalities for fractional powers of the sublaplacian.
    • 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, ...
    • Flag-Accurate Arrangements 

      [OWP-2023-01] Mücksch, Paul; Röhrle, Gerhard; Tran, Tan Nhat (Mathematisches Forschungsinstitut Oberwolfach, 2023-02-13)
      In [MR21], the first two authors introduced the notion of an accurate arrangement, a particular notion of freeness. In this paper, we consider a special subclass, where the property of accuracy stems from a flag of flats ...
    • 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.
    • Fundamental Theorem of Projective Geometry over Semirings 

      [OWP-2021-09] Tewari, Ayush Kumar (Mathematisches Forschungsinstitut Oberwolfach, 2021-10-11)
      We state the fundamental theorem of projective geometry for semimodules over semirings, which is facilitated by recent work in the study of bases in semimodules defined over semirings. In the process we explore in detail ...
    • 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 ...