Showing 1–7 of 7 results for author: Takeda, Y

Completeness theorems for modal logic in second-order arithmetic

Authors: Sho Shimomichi, Yuto Takeda, Keita Yokoyama

Abstract: This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in $\mathrm{RCA}_0$, and that, over $\mathrm{RCA}_0$, $\mathrm{ACA}_0$ is equivalent to the strong completeness theorem for modal propositional logic using canonical models. We… ▽ More This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in $\mathrm{RCA}_0$, and that, over $\mathrm{RCA}_0$, $\mathrm{ACA}_0$ is equivalent to the strong completeness theorem for modal propositional logic using canonical models. We also consider a simpler version of the strong completeness theorem without referring to canonical models and show that it is equivalent to $\mathrm{WKL}_0$ over $\mathrm{RCA}_0$. △ Less

Submitted 3 March, 2025; originally announced March 2025.

Higher arithmetic Chern character

Authors: Yuichiro Takeda

Abstract: A map from the higher arithmetic $K$-group defined by the author to the higher arithmetic Chow group constructed by Burgos and Feliu is given. It is a higher extension of the arithmetic Chern character established by Gillet and Soulé, and it can also be regarded as an analogue of Beilinson's regulator in Arakelov geometry. It is shown that this map is compatible with the pull-back map and the prod… ▽ More A map from the higher arithmetic $K$-group defined by the author to the higher arithmetic Chow group constructed by Burgos and Feliu is given. It is a higher extension of the arithmetic Chern character established by Gillet and Soulé, and it can also be regarded as an analogue of Beilinson's regulator in Arakelov geometry. It is shown that this map is compatible with the pull-back map and the product structure. △ Less

Submitted 11 June, 2012; originally announced June 2012.

Comments: 98 pages

MSC Class: 19E15; 14G40

On Goncharov's regulator and higher arithmetic Chow groups

Authors: J. I. Burgos Gil, E. Feliu, Y. Takeda

Abstract: In this paper we show that the regulator defined by Goncharov from higher algebraic Chow groups to Deligne-Beilinson cohomology agrees with Beilinson's regulator. We give a direct comparison of Goncharov's regulator to the construction given by Burgos and Feliu. As a consequence, we show that the higher arithmetic Chow groups defined by Goncharov agree, for all projective arithmetic varieties ov… ▽ More In this paper we show that the regulator defined by Goncharov from higher algebraic Chow groups to Deligne-Beilinson cohomology agrees with Beilinson's regulator. We give a direct comparison of Goncharov's regulator to the construction given by Burgos and Feliu. As a consequence, we show that the higher arithmetic Chow groups defined by Goncharov agree, for all projective arithmetic varieties over an arithmetic field, with the ones defined by Burgos and Feliu. △ Less

Submitted 29 September, 2009; originally announced September 2009.

MSC Class: 14G40; 14C15; 14F43

Widths of surface knots

Authors: Yasushi Takeda

Abstract: We study surface knots in 4-space by using generic planar projections. These projections have fold points and cusps as their singularities and the image of the singular point set divides the plane into several regions. The width (or the total width) of a surface knot is a numerical invariant related to the number of points in the inverse image of a point in each of the regions. We determine the… ▽ More We study surface knots in 4-space by using generic planar projections. These projections have fold points and cusps as their singularities and the image of the singular point set divides the plane into several regions. The width (or the total width) of a surface knot is a numerical invariant related to the number of points in the inverse image of a point in each of the regions. We determine the widths of certain surface knots and characterize those surface knots with small total widths. Relation to the surface braid index is also studied. △ Less

Submitted 21 May, 2009; originally announced May 2009.

Comments: This is the version published by Algebraic & Geometric Topology on 1 November 2006

MSC Class: 57Q45; 57M25

Journal ref: Algebr. Geom. Topol. 6 (2006) 1831-1861

Higher arithmetic K-theory

Authors: Yuichiro Takeda

Abstract: In this paper a concrete definition of higher K-theory in Arakelov geometry is given. The K-thoery defined in this paper is a higher extension of the arithmetic K_0 group of an arithmetic variety defined by Gillet and Soule. Products and direct images in this K-theory are discussed. In this paper a concrete definition of higher K-theory in Arakelov geometry is given. The K-thoery defined in this paper is a higher extension of the arithmetic K_0 group of an arithmetic variety defined by Gillet and Soule. Products and direct images in this K-theory are discussed. △ Less

Submitted 26 April, 2002; originally announced April 2002.

Comments: 76 pages

MSC Class: 14G40; 11G35; 19E08

Journal ref: Publ. Res. Inst. Math. Sci. 41 (2005), 599--681

A relation between standard conjectures and their arithmetic analogues

Authors: Yuichiro Takeda

Abstract: In this paper we resolve the arithmetic analogues of standard conjectures for an arithmetic variety, which are proposed by Gillet and Soule, into original standard conjectures and similar conjectures for two cycle class groups. One is the homologically trivial cycles. This is well-known as conjectures about the height pairing raised by Beilinson. The other is the cycle class groups consisting of… ▽ More In this paper we resolve the arithmetic analogues of standard conjectures for an arithmetic variety, which are proposed by Gillet and Soule, into original standard conjectures and similar conjectures for two cycle class groups. One is the homologically trivial cycles. This is well-known as conjectures about the height pairing raised by Beilinson. The other is the cycle class groups consisting of vertical cycles. We show that the conjectures for the above two cycle class groups with Grothendieck's standard conjectures imply their arithmetic analogues. △ Less

Submitted 2 August, 1996; originally announced August 1996.

Comments: AMS-LaTeX file, 10 pages

Space of conformal blocks in 4D WZW theory

Authors: Tohru Nakashima, Yuichiro Takeda

Abstract: We propose an algebro-geometric definition of the space of conformal blocks in the four dimensional Wess-Zumino-Witten theory introduced by Losev.et al.. We propose an algebro-geometric definition of the space of conformal blocks in the four dimensional Wess-Zumino-Witten theory introduced by Losev.et al.. △ Less

Submitted 17 January, 1996; originally announced January 1996.

Comments: 4 pages, AMSTeX

Journal ref: J.Geom.Phys. 22 (1997) 255-258