Related papers: A glimpse into Rokhlin's Signature Divisibility Th…
A paper on ordinal partitions by Erd\H{o}s and Milner (1972) has been formalised using the proof assistant Isabelle/HOL, augmented with a library for Zermelo-Fraenkel set theory. The work is part of a project on formalising the partition…
In this paper, we prove some differentiable sphere theorems and topological sphere theorems for submanifolds in K\"ahler manifold, especially in complex space forms.
The purpose of this expository note is to give the proof of a theorem of Bourgain with some additional details and updated notation. The theorem first appeared as an appendix to the breakthrough paper by Friedgut, \emph{Sharp Thresholds of…
We prove the following rigidity theorem: For an n-dimensional compact Riemannian manifold with boundary whose Ricci curvature is bounded by n-1 from below, if its boundary is isometric to the standard sphere of dimension n-1 and totally…
We prove that if the normal distribution of a singular riemannian foliation is integrable, then each leaf of this normal distribution can be extended to be a complete immersed totally geodesic submanifold (called section) which meets every…
We summarize the proofs for the s-injectivity of the tensor tomography problem on compact Riemannian manifolds with boundaries in [Dairbekov, Inverse Problems, 22: 431, 2006] and [Paternain-Salo-Uhlmann, Math. Ann., 363: 305-362, 2015]…
In this note, we give a short proof of the Torelli theorem for cubic fourfolds that relies on the global Torelli theorem for irreducible holomorphic symplectic varieties proved by Verbitsky.
We upgrade Howard's divisibility towards Perrin-Riou's Heegner point main conjecture to the predicted equality. Contrary to previous works in this direction, our main result allows for the classical Heegner hypothesis and non-squarefree…
We provide a one-parameter family of Lorentz-Riemann signature-change models of metric manifolds. This family generalizes the Kossowski's signature type-changihg stablished in [9]. Simple local expressions are sought around the hypersurface…
Irregularities in the metric tensor of a signature-changing space-time suggest that field equations on such space-times might be regarded as distributional. We review the formalism of tensor distributions on differentiable manifolds, and…
Let $G$ be a planar graph and let $C$ be a cycle in $G$. Inside of each finite face of $G$, we write down the number of edges of that face which belong to $C$. This is the signature of $C$ in $G$. The notion of a signature arises naturally…
An orbifold version of Bogomolov decomposition theorem is established for compact K\"ahler spaces with quotient singularities and first Chern class zero.The proof is a direct adaptation of the classical smooth case, using Ricci-flat…
We determine the wall divisors on irreducible symplectic orbifolds which are deformation equivalent to a special type of examples, called Nikulin orbifolds. The Nikulin orbifolds are obtained as partial resolutions in codimension 2 of a…
This paper continues math.DG/9903140. Here we construct a linking form on the torsion part of middle dimensional extended L^2 homology and cohomology of odd-dimensional manifolds. We give a geometric necessary condition when this linking…
The Rado-Horn theorem provides necessary and sufficient conditions for when a collection of vectors can be partitioned into a fixed number of linearly independent sets. Such partitions exist if and only if every subset of the vectors…
We give a quite detailed overview on the proof of the Cheeger-Colding-Gromoll splitting theorem in the abstract framework of spaces with Riemannian Ricci curvature bounded from below.
A theory of signatures for odd-dimensional links in rational homology spheres is studied via their generalized Seifert surfaces. The jump functions of signatures are shown invariant under appropriately generalized concordance and a special…
Let $\mathcal{T}_n$ be the set of ribbon $L$-shaped $n$-ominoes for some $n\ge 4$ even, and let $\mathcal{T}_n^+$ be $\mathcal{T}_n$ with an extra $2\times 2$ square. We investigate signed tilings of rectangles by $\mathcal{T}_n$ and…
A relationship between signed Eulerian polynomials and the classical Eulerian polynomials on $\mathfrak{S}_n$ was given by D\'{e}sarm\'{e}nien and Foata in 1992, and a refined version, called signed Euler-Mahonian identity, together with a…
In this paper, generalising the idea of the Rokhlin property, we explore the concept of the twisted Rokhlin property of topological groups. A topological group is said to exhibit the twisted Rokhlin property if, for each automorphism $\phi$…