Source author record

Takao Yamazaki

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
7topics
4close collaborators

Published work

12 publications

preprint2026arXiv

The intrinsic subgroup of an elliptic curve and Mazur's torsion theorem

We define and study a biadditive symmetric (not necessarily perfect) pairing on the torsion part Pic(X)tors\mathrm{Pic}(X)_{\mathrm{tors}} of the Picard group of a smooth projective curve XX over a field kk with values in k×⊗Q/Zk^\times \otimes \mathbb{Q}/\mathbb{Z}. We call its kernel the intrinsic subgroup of XX. It turns out that some information on the reduction type of XX can be read off from the intrinsic subgroup. Mazur's torsion theorem says that there are exactly 15 isomorphism classes of abelian groups that appear as the rational torsion points of an elliptic curve XX over Q\mathbb{Q} (identified with Pic(X)tors\mathrm{Pic}(X)_{\mathrm{tors}}). We refine this result by determining which subgroups of those 15 groups appear as the intrinsic subgroups.

preprint2024arXiv

Torsion birational motives of surfaces and unramified cohomology

Let SS and TT be smooth projective varieties over an algebraically closed field. Suppose that SS is a surface admitting a decomposition of the diagonal. We show that, away from the characteristic of kk, if an algebraic correspondence T→ST \to S acts trivially on the unramified cohomology, then it acts trivially on any normalized, birational, and motivic functor. This generalizes Kahn's result on the torsion order of SS. We also exhibit an example of SS over C\mathbb{C} for which S×SS \times S violates the integral Hodge conjecture.

preprint2022arXiv

Invariants of Weyl group action and qq-characters of quantum affine algebras

Let WW be the Weyl group corresponding to a finite dimensional simple Lie algebra g\mathfrak{g} of rank ℓ\ell and let m>1m>1 be an integer. In [I21], by applying cluster mutations, a WW-action on Ym\mathcal{Y}_m was constructed. Here Ym\mathcal{Y}_m is the rational function field on cmℓcm\ell commuting variables, where c∈{1,2,3}c \in \{ 1, 2, 3 \} depends on g\mathfrak{g}. This was motivated by the qq-character map χqχ_q of the category of finite dimensional representations of quantum affine algebra Uq(g^)U_q(\hat{\mathfrak{g}}). We showed in [I21] that when qq is a root of unity, Imχq\mathrm{Im} χ_q is a subring of the WW-invariant subfield YmW\mathcal{Y}_m^W of Ym\mathcal{Y}_m. In this paper, we give more detailed study on YmW\mathcal{Y}_m^W; for each reflection ri∈Wr_i \in W associated to the iith simple root, we describe the rir_i-invariant subfield Ymri\mathcal{Y}_m^{r_i} of Ym\mathcal{Y}_m.

preprint2021arXiv

Motives with modulus, III: The categories of motives

We construct and study a triangulated category of motives with modulus MDMgmeff\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}} over a field kk that extends Voevodsky's category DMgmeff\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}} in such a way as to encompass non-homotopy invariant phenomena. In a similar way as DMgmeff\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}} is constructed out of smooth kk-varieties, MDMgmeff\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}} is constructed out of proper modulus pairs, introduced in Part I of this work. To such a modulus pair we associate its motive in MDMgmeff\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}. In some cases the Hom\mathrm{Hom} group in MDMgmeff\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}} between the motives of two modulus pairs can be described in terms of Bloch's higher Chow groups.

preprint2016arXiv

Rational torsion on the generalized Jacobian of a modular curve with cuspidal modulus

We consider the generalized Jacobian J~0(N)\widetilde{J}_0(N) of a modular curve X0(N)X_0(N) with respect to a reduced divisor given by the sum of all cusps on it. When NN is a power of a prime ≥5\geq 5, we exhibit that the group of rational torsion points J~0(N)(Q)Tor\widetilde{J}_0(N)(\mathbb{Q})_{\mathrm{Tor}} tends to be much smaller than the classical Jacobian.

preprint2014arXiv

Torsion points on Jacobian varieties via Anderson's p-adic soliton theory

Anderson introduced a pp-adic version of soliton theory. He then applied it to the Jacobian variety of a cyclic quotient of a Fermat curve and showed that torsion points of certain prime order lay outside of the theta divisor. In this paper, we evolve his theory further. As an application, we get a stronger result on the intersection of the theta divisor and torsion points on the Jacobian variety for more general curves. New examples are discussed as well. A key new ingredient is a map connecting the pp-adic loop group and the formal group.

preprint2007arXiv

A counterexample to generalizations of the Milnor-Bloch-Kato conjecture

We construct an example of a torus TT over a field KK for which the Galois symbol K(K;T,T)/nK(K;T,T)→H2(K,T[n]⊗T[n])K(K; T,T)/n K(K; T,T) \to H^2(K, T[n]\otimes T[n]) is not injective for some nn. Here K(K;T,T)K(K; T,T) is the Milnor KK-group attached to TT introduced by Somekawa. We show also that the motive M(T×T)M(T\times T) gives a counterexample to another generalization of the Milnor-Bloch-Kato conjecture (proposed by Beilinson).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.