SearcharxivSearch

arXiv subjects

Takahiko Yoshida

Publications and source records attributed to Takahiko Yoshida.

11 recordsLinked to original sources

Integral-integral affine geometry, geometric quantization, and Riemann-Roch

We give a simple proof that, for a pre-quantized compact symplectic manifold with a Lagrangian torus fibration, its Riemann-Roch number coincides with its number of Bohr-Sommerfeld fibres. This can be viewed as an instance of the "independence of polarization" phenomenon of geometric quantization. The base space for such a fibration acquires a so-called integral-integral affine structure. The proof uses the following simple fact, whose proof is trickier than we expected: on a compact integral-integral affine manifold, the total volume is equal to the number of integer points.

math.SG

Adiabatic Limit, Theta Function, and Geometric Quantization

Let $π\colon (M,ω)\to B$ be a non-singular Lagrangian torus fibration on a complete base $B$ with prequantum line bundle $\bigl(L,\nabla^L\bigr)\to (M,ω)$. Compactness on $M$ is not assumed. For a positive integer $N$ and a compatible almost complex structure $J$ on $(M,ω)$ invariant along the fiber of $π$, let $D$ be the associated Spin${}^c$ Dirac operator with coefficients in $L^{\otimes N}$. First, in the case where $J$ is integrable, under certain technical condition on $J$, we give a complete orthogonal system $\{ \vartheta_b\}_{b\in B_{\rm BS}}$ of the space of holomorphic $L^2$-sections of $L^{\otimes N}$ indexed by the Bohr-Sommerfeld points $B_{\rm BS}$ such that each $\vartheta_b$ converges to a delta-function section supported on the corresponding Bohr-Sommerfeld fiber $π^{-1}(b)$ by the adiabatic(-type) limit. We also explain the relation of $\vartheta_b$ with Jacobi's theta functions when $(M,ω)$ is $T^{2n}$. Second, in the case where $J$ is not integrable, we give an orthogonal family $\big\{ {\tilde \vartheta}_b\big\}_{b\in B_{\rm BS}}$ of $L^2$-sections of $L^{\otimes N}$ indexed by $B_{\rm BS}$ which has the same property as above, and show that each $D{\tilde \vartheta}_b$ converges to $0$ by the adiabatic(-type) limit with respect to the $L^2$-norm.

math.SG

Torus fibrations and localization of index III

This paper is the third of the series concerning the localization of the index of Dirac-type operators. In our previous papers we gave a formulation of index of Dirac-type operators on open manifolds under some geometric setting, whose typical example was given by the structure of a torus fiber bundle on the ends of the open manifolds. We introduce two equivariant versions of the localization. As an application we give a proof of Guillemin-Sternberg's quantization conjecture in the case of torus action.

math.DG

Torus fibrations and localization of index II

We give a framework of localization for the index of a Dirac-type operator on an open manifold. Suppose the open manifold has a compact subset whose complement is covered by a family of finitely many open subsets, each of which has a structure of the total space of a torus bundle. Under an acyclic condition we define the index of the Dirac-type operator by using the Witten-type deformation, and show that the index has several properties, such as excision property and a product formula. In particular, we show that the index is localized on the compact set.

math.DG

Equivariant local index

This is an expository article on the equivariant local index developed by Fujita, Furuta, and the author in arXiv:1008.5007.

math.SG

Local torus actions modeled on the standard representation

We introduce the notion of a local torus action modeled on the standard representation (for simplicity, we call it a local torus action). It is a generalization of a locally standard torus action and also an underlying structure of a locally toric Lagrangian fibration. For a local torus action, we define two invariants called a characteristic pair and an Euler class of the orbit map, and prove that local torus actions are classified topologically by them. As a corollary, we obtain a topological classification of locally standard torus actions, which is a generalization of the topological classification of quasi-toric manifolds by Davis and Januszkiewicz and of effective two-dimensional torus actions on four-dimensional manifolds without nontrivial finite stabilizers by Orlik and Raymond. We investigate locally toric Lagrangian fibrations from the viewpoint of local torus actions. We give a necessary and sufficient condition in order that a local torus action becomes a locally toric Lagrangian fibration. Locally toric Lagrangian fibrations are classified by Boucetta and Molino up to fiber-preserving symplectomorphisms. We shall reprove the classification theorem of locally toric Lagrangian fibrations by refining the proof of the classification theorem of local torus actions. We also investigate the topology of a manifold equipped with a local torus action when the Euler class of the orbit map vanishes.

math.GT

On Liftings of Local Torus Actions to Fiber Bundles

In this note we define a lifting of a local torus action modeled on the standard representation (we call it a local torus action for simplicity) to a principal torus bundle, and show that there is an obstruction class for the existence of liftings in the first cohomology of the fundamental group of the orbit space with coefficients in a certain module.

math.GT

Torus fibrations and localization of index I

We define a local Riemann-Roch number for an open symplectic manifold when a complete integrable system without Bohr-Sommerfeld fiber is provided on its end. In particular when a structure of a singular Lagrangian fibration is given on a closed symplectic manifold, its Riemann-Roch number is described as the sum of the number of nonsingular Bohr-Sommerfeld fibers and a contribution of the singular fibers. A key step of the proof is formally explained as a version of Witten's deformation applied to a Hilbert bundle.

math.SG

Twisted toric structures

This paper introduces the notion of twisted toric manifolds which is a generalization of one of symplectic toric manifolds, and proves the weak Delzant type classification theorem for them. The computation methods for their fundamental groups, cohomology groups in general cases, and signatures in four-dimensional cases are also given.

math.SG