BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Michael Kunzinger

Michael Kunzinger appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath.DGmath-phmath.MPmath.APgr-qcmath.MGmath.RAcond-mat.othermath.ACmath.OA

Catalog footprint

What is connected

28works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

28 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A convenient notion of compact set for generalized functions

We introduce the notion of functionally compact sets into the theory of nonlinear generalized functions in the sense of Colombeau. The motivation behind our construction is to transfer, as far as possible, properties enjoyed by standard smooth functions on compact sets into the framework of generalized functions. Based on this concept, we introduce spaces of compactly supported generalized smooth functions that are close analogues to the test function spaces of distribution theory. We then develop the topological and functional analytic foundations of these spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A regularization approach to non-smooth symplectic geometry

We introduce non-smooth symplectic forms on manifolds and describe corresponding Poisson structures on the algebra of Colombeau generalized functions. This is achieved by establishing an extension of the classical map of smooth functions to Hamiltonian vector fields to the setting of non-smooth geometry. For mildly singular symplectic forms, including the continuous non-differentiable case, we prove the existence of generalized Darboux coordinates in the sense of a local non-smooth pull-back to the canonical symplectic form on the cotangent bundle.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Strongly internal sets and generalized smooth functions

Based on a refinement of the notion of internal sets in Colombeau's theory, so-called strongly internal sets, we introduce the space of generalized smooth functions, a maximal extension of Colombeau generalized functions. Generalized smooth functions as morphisms between sets of generalized points form a sub-category of the category of topological spaces. In particular, they can be composed unrestrictedly.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Singularity structures for noncommutative spaces

We introduce a (bi)category $\mathfrak{Sing}$ whose objects can be functorially assigned spaces of distributions and generalized functions. In addition, these spaces of distributions and generalized functions possess intrinsic notions of regularity and singularity analogous to usual Schwartz distributions on manifolds. The objects in this category can be obtained from smooth manifolds, noncommutative spaces, or Lie groupoids. An application of these structures relates the longitudinal propagation of singularities for pseudo-differential operators on a groupoid with propagation of singularities on the base manifold.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Symplectic modules over Colombeau-generalized numbers

We study symplectic linear algebra over the ring $\Rt$ of Colombeau generalized numbers. Due to the algebraic properties of $\Rt$ it is possible to preserve a number of central results of classical symplectic linear algebra. In particular, we construct symplectic bases for any symplectic form on a free $\Rt$-module of finite rank. Further, we consider the general problem of eigenvalues for matrices over $\Kt$ ($\K=\R$ or $\C$) and derive normal forms for Hermitian and skew-symmetric matrices. Our investigations are motivated by applications in non-smooth symplectic geometry and the theory of Fourier integral operators with non-smooth symbols.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Geometric regularization on Riemannian and Lorentzian manifolds

We investigate regularizations of distributional sections of vector bundles by means of nets of smooth sections that preserve the main regularity properties of the original distributions (singular support, wavefront set, Sobolev regularity). The underlying regularization mechanism is based on functional calculus of elliptic operators with finite speed of propagation with respect to a complete Riemannian metric. As an application we consider the interplay between the wave equation on a Lorentzian manifold and corresponding Riemannian regularizations, and under additional regularity assumptions we derive bounds on the rate of convergence of their commutator. We also show that the restriction to underlying space-like foliations behaves well with respect to these regularizations.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

New topologies on Colombeau generalized numbers and the Fermat-Reyes theorem

Based on the theory of Fermat reals we introduce new topologies on spaces of Colombeau generalized points and derive some of their fundamental properties. In particular, we obtain metric topologies on the space of near-standard generalized points that induce the standard Euclidean topology on the reals. We also give a new description of the sharp topology in terms of the natural extension of the absolute value (or of the defining semi-norms in the case of locally convex spaces) that allows to preserve a number of classical notions. Building on a new point value characterization of Colombeau generalized functions we prove a Fermat-Reyes theorem that forms the basis of an approach to differentiation on spaces of generalized functions close to the classical one.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Optimal regularization processes on complete Riemannian manifolds

We study regularizations of Schwartz distributions on a complete Riemannian manifold $M$. These approximations are based on families of smoothing operators obtained from the solution operator to the wave equation on $M$ derived from the metric Laplacian. The resulting global regularization processes are optimal in the sense that they preserve the microlocal structure of distributions, commute with isometries and provide sheaf embeddings into algebras of generalized functions on $M$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Wave equations on non-smooth space-times

We consider wave equations on Lorentzian manifolds in case of low regularity. We first extend the classical solution theory to prove global unique solvability of the Cauchy problem for distributional data and right hand side on smooth globally hyperbolic space-times. Then we turn to the case where the metric is non-smooth and present a local as well as a global existence and uniqueness result for a large class of Lorentzian manifolds with a weakly singular, locally bounded metric in Colombeau's algebra of generalized functions.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Generalized conditional symmetries of evolution equations

We analyze the relationship of generalized conditional symmetries of evolution equations to the formal compatibility and passivity of systems of differential equations as well as to systems of vector fields in involution. Earlier results on the connection between generalized conditional invariance and generalized reduction of evolution equations are revisited. This leads to a no-go theorem on determining equations for operators of generalized conditional symmetry. It is also shown that up to certain equivalences there exists a one-to-one correspondence between generalized conditional symmetries of an evolution equation and parametric families of its solutions.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Topological and algebraic structures on the ring of Fermat reals

The ring of Fermat reals is an extension of the real field containing nilpotent infinitesimals, and represents an alternative to Synthetic Differential Geometry in classical logic. In the present paper, our first aim is to study this ring from using standard topological and algebraic structures. We present the Fermat topology, generated by a complete pseudo-metric, and the omega topology, generated by a complete metric. The first one is closely related to the differentiation of (non standard) smooth functions defined on open sets of Fermat reals. The second one is connected to the differentiation of smooth functions defined on infinitesimal sets. Subsequently, we prove that every (proper) ideal is a set of infinitesimals whose order is less than or equal to some real number. Finally, we define and study roots of infinitesimals. A computer implementation as well as an application to infinitesimal Taylor formulas with fractional derivatives are presented.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Algebras of generalized functions with smooth parameter dependence

We show that spaces of Colombeau generalized functions with smooth parameter dependence are isomorphic to those with continuous parametrization. Based on this result we initiate a systematic study of algebraic properties of the ring $\widetilde{\mathbb{K}}_{sm}$ of generalized numbers in this unified setting. In particular, we investigate the ring and order structure of $\widetilde{\mathbb{K}}_{sm}$ and establish some properties of its ideals.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Is a nonclassical symmetry a symmetry?

Various versions of the definition of nonclassical symmetries existing in the literature are analyzed. Comparing properties of Lie and nonclassical symmetries leads to the conclusion that in fact a nonclassical symmetry is not a symmetry in the usual sense. Hence the term "reduction operator" is suggested instead of the name "operator of nonclassical symmetries". It is shown that in contrast to the case of single partial differential equations a satisfactory definition of nonclassical symmetries for systems of such equations has not been proposed up to now. Moreover, the cardinality of essential nonclassical symmetries is discussed, taking into account equivalence relations on the entire set of nonclassical symmetries.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

A global theory of algebras of generalized functions II: tensor distributions

We extend the construction of [19] by introducing spaces of generalized tensor fields on smooth manifolds that possess optimal embedding and consistency properties with spaces of tensor distributions in the sense of L. Schwartz. We thereby obtain a universal algebra of generalized tensor fields canonically containing the space of distributional tensor fields. The canonical embedding of distributional tensor fields also commutes with the Lie derivative. This construction provides the basis for applications of algebras of generalized functions in nonlinear distributional geometry and, in particular, to the study of spacetimes of low differentiability in general relativity.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Sheaves of nonlinear generalized functions and manifold-valued distributions

This paper is part of an ongoing program to develop a theory of generalized differential geometry. We consider the space $\mathcal{G}[X,Y]$ of Colombeau generalized functions defined on a manifold $X$ and taking values in a manifold $Y$. This space is essential in order to study concepts such as flows of generalized vector fields or geodesics of generalized metrics. We introduce an embedding of the space of continuous mappings $\mathcal{C}(X,Y)$ into $\mathcal{G}[X,Y]$ and study the sheaf properties of $\mathcal{G}[X,Y]$. Similar results are obtained for spaces of generalized vector bundle homomorphisms. Based on these constructions we propose the definition of a space $\mathcal{D}'[X,Y]$ of distributions on $X$ taking values in $Y$. $\mathcal{D}'[X,Y]$ is realized as a quotient of a certain subspace of $\mathcal{G}[X,Y]$.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Admissible Transformations and Normalized Classes of Nonlinear Schroedinger Equations

The theory of group classification of differential equations is analyzed, substantially extended and enhanced based on the new notions of conditional equivalence group and normalized class of differential equations. Effective new techniques are proposed. Using these, we exhaustively describe admissible point transformations in classes of nonlinear (1+1)-dimensional Schroedinger equations, in particular, in the class of nonlinear (1+1)-dimensional Schroedinger equations with modular nonlinearities and potentials and some subclasses thereof. We then carry out a complete group classification in this class, representing it as a union of disjoint normalized subclasses and applying a combination of algebraic and compatibility methods. Moreover, we introduce the complete classification of (1+2)-dimensional cubic Schroedinger equations with potentials. The proposed approach can be applied to studying symmetry properties of a wide range of differential equations.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Potential Conservation Laws

We prove that potential conservation laws have characteristics depending only on local variables if and only if they are induced by local conservation laws. Therefore, characteristics of pure potential conservation laws have to essentially depend on potential variables. This statement provides a significant generalization of results of the recent paper by Bluman, Cheviakov and Ivanova [J. Math. Phys., 2006, V.47, 113505]. Moreover, we present extensions to gauged potential systems, Abelian and general coverings and general foliated systems of differential equations. An example illustrating possible applications of proved statements is considered. A special version of the Hadamard lemma for fiber bundles and the notions of weighted jet spaces are proposed as new tools for the investigation of potential conservation laws.

0 citations0 reviewsNo code linkedOpen access