Researcher profile

Michael Kunzinger

Michael Kunzinger contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.DG math.MG gr-qc math-ph math.FA math.MP

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author

6works

0followers

6topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

Timelike conjugate points in Lorentzian length spaces

We study notions of conjugate points along timelike geodesics in the synthetic setting of Lorentzian (pre-)length spaces, inspired by earlier work for metric spaces by Shankar--Sormani. After preliminary considerations on convergence of timelike and causal geodesics, we introduce and compare one-sided, symmetric, unreachable and ultimate conjugate points along timelike geodesics. We show that all such notions are compatible with the usual one in the smooth (strongly causal) spacetime setting. As applications, we prove a timelike Rauch comparison theorem, as well as a result closely related to the recently established Lorentzian Cartan--Hadamard theorem by Erös--Gieger. In the appendix, we give a detailed treatment of the Fréchet distance on the space of non-stopping curves up to reparametrization, a technical tool used throughout the paper.

preprint2025arXiv

On the completeness of the space $\mathcal{O}_C$

We give a new proof of the completeness of the space $\mathcal{O}_C$ by applying a criterion of compact regularity for the isomorphic sequence space $\lim_{k\rightarrow} (s\hat \otimes (\ell^\infty)_{-k})$. Along the way we show that the strong dual of any quasinormable Fréchet space is a compactly regular $\mathcal{LB}$-space. Finally, we prove that $\lim_{k\rightarrow}(E_k\hat \otimes_ιF) = (\lim_{k\rightarrow} E_k) \hat \otimes_ιF$ if the inductive limit $\lim_{k \rightarrow}(E_k \hat \otimes_ιF)$ is compactly regular.

preprint2024arXiv

On curvature bounds in Lorentzian length spaces

We introduce several new notions of (sectional) curvature bounds for Lorentzian pre-length spaces: On the one hand, we provide convexity/concavity conditions for the (modified) time separation function, and, on the other hand, we study four-point conditions, which are suitable also for the non-intrinsic setting. Via these concepts we are able to establish (under mild assumptions) the equivalence of all previously known formulations of curvature bounds. In particular, we obtain the equivalence of causal and timelike curvature bounds as introduced in Kunzinger and Sämann (Ann. Glob. Anal. Geom. 54(3):399-447, 2018).

preprint2024arXiv

Synthetic versus distributional lower Ricci curvature bounds

We compare two standard approaches to defining lower Ricci curvature bounds for Riemannian metrics of regularity below $C^2$. These are, on the one hand, the synthetic definition via weak displacement convexity of entropy functionals in the framework of optimal transport, and the distributional one based on non-negativity of the Ricci-tensor in the sense of Schwartz. It turns out that distributional bounds imply entropy bounds for metrics of class $C^1$ and that the converse holds for $C^{1,1}$-metrics under an additional convergence condition on regularisations of the metric.

preprint2024arXiv

The equivalence of smooth and synthetic notions of timelike sectional curvature bounds

Timelike sectional curvature bounds play an important role in spacetime geometry, both for the understanding of classical smooth spacetimes and for the study of Lorentzian (pre-)length spaces introduced in \cite{kunzinger2018lorentzian}. In the smooth setting, a bound on the sectional curvature of timelike planes can be formulated via the Riemann curvature tensor. In the synthetic setting, bounds are formulated by comparing various geometric configurations to the corresponding ones in constant curvature spaces. The first link between these notions in the Lorentzian context was established in \cite{harris1982triangle}, which was instrumental in the proof of powerful results in spacetime geometry \cite{beem1985toponogov, beem1985decomposition, galloway2018existence}. For general semi-Riemannian manifolds, the equivalence between sectional curvature bounds and synthetic bounds was established in \cite{alexander2008triangle}, however in this approach the sectional curvatures of both timelike and spacelike planes have to be considered. In this article, we fill a gap in the literature by proving the full equivalence between sectional curvature bounds on timelike planes and synthetic timelike bounds on strongly causal spacetimes. As an essential tool, we establish Hessian comparison for the time separation and signed distance functions.

preprint2022arXiv

The Hawking-Penrose singularity theorem for $C^1$-Lorentzian metrics

We extend both the Hawking-Penrose Theorem and its generalisation due to Galloway and Senovilla to Lorentzian metrics of regularity $C^1$. For metrics of such low regularity, two main obstacles have to be addressed. On the one hand, the Ricci tensor now is distributional, and on the other hand, unique solvability of the geodesic equation is lost. To deal with the first issue in a consistent way, we develop a theory of tensor distributions of finite order, which also provides a framework for the recent proofs of the theorems of Hawking and of Penrose for $C^1$-metrics [7]. For the second issue, we study geodesic branching and add a further alternative to causal geodesic incompleteness to the theorem, namely a condition of maximal causal non-branching. The genericity condition is re-cast in a distributional form that applies to the current reduced regularity while still being fully compatible with the smooth and $C^{1,1}$-settings. In addition, we develop refinements of the comparison techniques used in the proof of the $C^{1,1}$-version of the theorem [8]. The necessary results from low regularity causality theory are collected in an appendix.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint