Now showing items 1-20 of 26

• #### Finitary Proof Systems for Kozen's μ ﻿

[OWP-2016-26] (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 Initial and Terminal Cluster Sets of an Analytic Curve ﻿

[OWP-2016-25] (Mathematisches Forschungsinstitut Oberwolfach, 2016-12-21)
For an analytic curve $\gamma : (a,b) \to \mathbb{C}$, the set of values approaches by $\gamma(t)$, as $t ↘a$ and as $t↗b$ can be any two continuua of $\mathbb{C} \cup \{\infty\}$.
• #### Boundary Representations of Operator Spaces, and Compact Rectangular Matrix Convex Sets ﻿

[OWP-2016-24] (Mathematisches Forschungsinstitut Oberwolfach, 2016-12-13)
We initiate the study of matrix convexity for operator spaces. We define the notion of compact rectangular matrix convex set, and prove the natural analogs of the Krein-Milman and the bipolar theorems in this context. We ...
• #### The Berry-Keating Operator on a Lattice ﻿

[OWP-2016-23] (Mathematisches Forschungsinstitut Oberwolfach, 2016-11-17)
We construct and study a version of the Berry-Keating operator with a built-in truncation of the phase space, which we choose to be a two-dimensional torus. The operator is a Weyl quantisation of the classical Hamiltonian ...
• #### On Weak Weighted Estimates of Martingale Transform ﻿

[OWP-2016-22] (Mathematisches Forschungsinstitut Oberwolfach, 2016-11-12)
We consider several weak type estimates for singular operators using the Bellman function approach. We disprove the $A_1$ conjecture, which stayed open after Muckenhoupt-Wheeden's conjecture was disproved by Reguera-Thiele.
• #### Spherical Arc-Length as a Global Conformal Parameter for Analytic Curves in the Riemann Sphere ﻿

[OWP-2016-21] (Mathematisches Forschungsinstitut Oberwolfach, 2016-11-11)
We prove that for every analytic curve in the complex plane $\mathbb{C}$, Euclidean and spherical arc-lengths are global conformal parameters. We also prove that for any analytic curve in the hyperbolic plane, hyperbolic ...
• #### Killing Tensors on Tori ﻿

[OWP-2016-20] (Mathematisches Forschungsinstitut Oberwolfach, 2016-11-10)
We show that Killing tensors on conformally at n-dimensional tori whose conformal factor only depends on one variable, are polynomials in the metric and in the Killing vector fields. In other words, every first integral ...
• #### Late-Time Behaviour of Israel Particles in a FLRW Spacetime with Λ>0 ﻿

[OWP-2016-19] (Mathematisches Forschungsinstitut Oberwolfach, 2016-10)
In this paper we study the relativistic Boltzmann equation in a spatially flat FLRW space-time. We consider Israel particles, which are the relativistic counterpart of the Maxwellian particles, and obtain global-in-time ...
• #### Getzler rescaling via adiabatic deformation and a renormalized local index formula ﻿

[OWP-2016-18] (Mathematisches Forschungsinstitut Oberwolfach, 2016-10)
We prove a local index theorem of Atiyah-Singer type for Dirac operators on manifolds with a Lie structure at infinity (Lie manifolds for short). After introducing a renormalized supertrace on Lie manifolds with spin ...
• #### Alexander r-Tuples and Bier Complexes ﻿

[OWP-2016-17] (Mathematisches Forschungsinstitut Oberwolfach, 2016-10)
We introduce and study Alexander $r$-Tuples $\mathcal{K} = \langle K_i \rangle ^r_{i=1}$ of simplicial complexes, as a common generalization of pairs of Alexander dual complexes (Alexander 2-tuples) and r-unavoidable ...
• #### Real group orbits on flag ind-varieties of SL (∞, C) ﻿

[OWP-2016-01] (Mathematisches Forschungsinstitut Oberwolfach, 2016-05-10)
We consider the complex ind-group $G=SL (\infty, \mathbb{C})$ and its real forms $G^0=SU(\infty,\infty)$, $SU(p,\infty)$, $SL(\infty,\mathbb{R})$, $SL(\infty,\mathbb{H})$. Our main object of study are the $G^0$-orbits on ...
• #### On Local Combinatorial Formulas for Chern Classes of Triangulated Circle Bundle ﻿

[OWP-2016-16] (Mathematisches Forschungsinstitut Oberwolfach, 2016-08-17)
Principal circle bundle over a PL polyhedron can be triangulated and thus obtains combinatorics. The triangulation is assembled from triangulated circle bundles over simplices. To every triangulated circle bundle over a ...
• #### On the L2 Markov Inequality with Laguerre Weight ﻿

[OWP-2016-15] (Mathematisches Forschungsinstitut Oberwolfach, 2016-08-17)
• #### Totally Acyclic Complexes ﻿

[OWP-2016-14] (Mathematisches Forschungsinstitut Oberwolfach, 2016-08-17)
We prove first (Proposition 3) that, over any ring $R$, an acyclic complex of projective modules is totally acyclic if and only if the cycles of every acyclic complex of Gorenstein projective modules are Gorenstein projective. ...
• #### Analytic Structure in Fibers ﻿

[OWP-2016-13] (Mathematisches Forschungsinstitut Oberwolfach, 2016-08-17)
Let $B_X$ be the open unit ball of a complex Banach space $X$, and let $\mathcal{H}^\infty(B_X)$ and $\mathcal{A}_u(B_X)$ be, respectively, the algebra of bounded holomorphic functions on $B_X$ and the subalgebra of uniformly ...
• #### Dirichlet Approximation and Universal Dirichlet ﻿

[OWP-2016-12] (Mathematisches Forschungsinstitut Oberwolfach, 2016-08-16)
We characterize the uniform limits of Dirichlet polynomials on a right half plane. We extend the approximation theorems of Runge, Mergelyan and Vitushkin to the Dirichlet setting with respect to the Euclidean distance and ...
• #### Plethystic Vertex Operators and Boson-Fermion Correspondences ﻿

[OWP-2016-11] (Mathematisches Forschungsinstitut Oberwolfach, 2016-06-17)
We study the algebraic properties of plethystic vertex operators, introduced in J. Phys. A: Math. Theor. 43 405202 (2010), underlying the structure of symmetric functions associated with certain generalized universal ...
• #### Legendrian Lens Space Surgeries ﻿

[OWP-2016-10] (Mathematisches Forschungsinstitut Oberwolfach, 2016-06-17)
We show that every tight contact structure on any of the lens spaces $L(ns^2 - s + 1,s^2)$ with $n\geq 2, s \geq 1$, can be obtained by a single Legendrian surgery along a suitable Legendrian realisation of the negative ...
• #### Tensor Representations of q(∞) ﻿

[OWP-2016-09] (Mathematisches Forschungsinstitut Oberwolfach, 2016-06-17)
We introduce a symmetric monoidal category of modules over the direct limit queer superalgebra $\mathfrak{q}(\infty)$. The category can be defined in two equivalent ways with the aid of the large annihilator condition. ...
• #### Generalized Entropy Method for the Renewal Equation with Measure Data ﻿

[OWP-2016-07] (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 ...