Source author record

Takao Yamazaki

Takao Yamazaki appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

12 published item(s)

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 $\mathrm{Pic}(X)_{\mathrm{tors}}$ of the Picard group of a smooth projective curve $X$ over a field $k$ with values in $k^\times \otimes \mathbb{Q}/\mathbb{Z}$. We call its kernel the intrinsic subgroup of $X$. It turns out that some information on the reduction type of $X$ 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 $X$ over $\mathbb{Q}$ (identified with $\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 $S$ and $T$ be smooth projective varieties over an algebraically closed field. Suppose that $S$ is a surface admitting a decomposition of the diagonal. We show that, away from the characteristic of $k$, if an algebraic correspondence $T \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 $S$. We also exhibit an example of $S$ over $\mathbb{C}$ for which $S \times S$ violates the integral Hodge conjecture.

preprint2022arXiv

Invariants of Weyl group action and $q$-characters of quantum affine algebras

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

preprint2021arXiv

Motives with modulus, III: The categories of motives

We construct and study a triangulated category of motives with modulus $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ over a field $k$ that extends Voevodsky's category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ in such a way as to encompass non-homotopy invariant phenomena. In a similar way as $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of smooth $k$-varieties, $\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 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$. In some cases the $\mathrm{Hom}$ group in $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ between the motives of two modulus pairs can be described in terms of Bloch's higher Chow groups.

preprint2014arXiv

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

Anderson introduced a $p$-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 $p$-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 $T$ over a field $K$ for which the Galois symbol $K(K; T,T)/n K(K; T,T) \to H^2(K, T[n]\otimes T[n])$ is not injective for some $n$. Here $K(K; T,T)$ is the Milnor $K$-group attached to $T$ introduced by Somekawa. We show also that the motive $M(T\times T)$ gives a counterexample to another generalization of the Milnor-Bloch-Kato conjecture (proposed by Beilinson).