Related papers: A remark on differentiability of Cauchy horizons

We generalize the formulation of horizon symmetries presented in previous literature to include diffeomorphisms that can shift the location of the horizon. In the context of the AdS/CFT duality, we show that horizon symmetries can be…

Arithmetic duality theorems over a local field $k$ are delicate to prove if $\mathrm{char} k > 0$. In this case, the proofs often exploit topologies carried by the cohomology groups $H^n(k, G)$ for commutative finite type $k$-group schemes…

Consider a local chain Differential Graded algebra, such as the singular chain complex of a pathwise connected topological group. In two previous papers, a number of homological results were proved for such an algebra: An Amplitude…

We propose a simple method to prove non-smoothness of a black hole horizon. The existence of a $C^1$ extension across the horizon implies that there is no $C^{N + 2}$ extension across the horizon if some components of $N$-th covariant…

We give a precise and general description of gerbes valued in arbitrary crossed module and over an arbitrary differential stack. We do it using only Lie groupoids, hence ordinary differential geometry. We prove the coincidence with the…

This paper treats the theory of Mukai duality on K3 surfaces from the differential geometric perspective, taylored to the need of the author's companion paper about Mukai duality of adiabatic coassociative K3 fibrations.

We survey the proof of the Nash conjecture for surfaces and show how geometric and topological ideas developed in previous articles by the authors influenced it. Later we summarize the main ideas in the higher dimensional statement and…

We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$…

The paper proposes and motivates a conjecture on the invariance of cohomological support loci under derived equivalence. It contains a proof in the case of surfaces, and explains further developments and consequences.

For a compact manifold M and a differentiable stack \cX presented by a Lie groupoid X, we show the Hom-stack Hom(M,\cX) is presented by a Fr\'echet-Lie groupoid Map(M,X) and so is an infinite-dimensional differentiable stack. We further…

Let X be a separable real Banach space having a k-times continuously Fr\'{e}chet differentiable (i.e. C^k-smooth) norm where k=1,...,\infty. We show that any equivalent norm on X can be approximated uniformly on bounded sets by C^k-smooth…

Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy's proof, and discuss the related epistemological questions involved in…

Antoci et al. have argued that the horizons of the boost-rotation, Kerr and Schwarzschild solutions are singular, having shown that a certain invariantly-defined acceleration scalar blows up at the horizons. Their examples do not satisfy…

We prove strong convergence theorems of some iterative algorithms in a real uniformly smooth Banach space. The results presented extend, generalize and improve the corresponding results recently announced by many authors.

In this article we prove derived invariance of Hochschild-Mitchell homology and cohomology and we extend to $k$-linear categories a result by Barot and Lenzing concerning derived equivalences and one-point extensions. We also prove the…

A new proof of the inequalities of D. J. Hallenbeck for the Area functions of multipliers of fractional Cauchy transforms is given.

De Bruijn and Erd\H{o}s proved that every noncollinear set of n points in the plane determines at least n distinct lines. We suggest a possible generalization of this theorem in the framework of metric spaces and provide partial results on…

Let X be a complex Banach space, in this work we characterize the property of Frechet differentiability for the dual space of X. In the following, we show that if the dual space of X is Gateaux differentiable, then the dual space of Lp(X)…

We show that for any k>1, stratified sets of finite complexity are insufficient to realize all homology classes of codimension k in all smooth manifolds. We also prove a similar result concerning smooth generic maps whose double-point sets…

The present paper develops two concepts of pointwise differentiability of higher order for arbitrary subsets of Euclidean space defined by comparing their distance functions to those of smooth submanifolds. Results include that…