Searcharxiv⌕ Search

arXiv subjects

Shuya Matsumoto

Publications and source records attributed to Shuya Matsumoto.

2 recordsLinked to original sources

Secondary Characteristic Classes in CR Geometry

We construct a family of $\mathbb{R}/\mathbb{Z}$-valued CR invariants for compact strictly pseudoconvex CR manifolds admitting pseudo-Einstein contact forms. We define these invariants by applying the theory of Cheeger--Simons differential characters to a globally defined modification of the normal tractor connection. When the CR holomorphic tangent bundle is trivial, their natural $\mathbb{R}$-valued lifts agree with the generalized Burns--Epstein invariants. For CR manifolds arising as boundaries of relatively compact strictly pseudoconvex domains, we identify these differential characters with those determined by the renormalized connection and derive bulk--boundary formulas involving renormalized characteristic numbers and residues of Chern classes. These formulas recover and extend the results of Burns--Epstein and Marugame. We also obtain obstructions to CR embeddings into complex Euclidean space.

math.DG↗

Hypersequent Calculi for Intermediate Predicate Logics

We report on the current status of our on-going project to develop well-behaved hypersequent calculi for intermediate predicate logics, such as the linearity axiom $\mathbf{LIN}\colon\left(φ\toψ\right)\lor\left(ψ\toφ\right)$ and the constant domain axiom $\mathbf{CD}\colon\forall x\left(φ\lorψ\left(x\right)\right)\toφ\lor\forall xψ\left(x\right)$.

math.LO↗