BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Shoji Yokura

Shoji Yokura contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.ATmath.KTmath.NT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

13 published item(s)

preprint2020arXiv

A remark on periods of periodic sequences modulo $m$

Let $\{G_n\}$ be a periodic sequence of integers modulo $m$ and let $\{SG_n\}$ be the partial sum sequence defined by $SG_n:= \sum_{k=0}^nG_k $ (mod $m$). We give a formula for the period of $\{SG_n\}$. We also show that for a generalized Fibonacci sequence $F(a,b)_n$ such that $F(a,b)_0=a$ and $F(a,b)_1=b$, we have $$S^i F(a,b)_n = S^{i-1}F(a,b)_{n+2}-{n+i \choose i-2}a-{n+i \choose i-1} b$$ where $S^i F(a,b)_n $ is the i-th partial sum sequence successively defined by $S^i F(a,b)_n := \sum_{k=0}^n S^{i-1}F(a,b)_k$. This is a generalized version of the well-known formula $$\sum_{k=0}^n F_k = F_{n+2} -1$$ of the Fibonacci sequence $F_n$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Bivariant algebraic cobordism with bundles

The purpose of this paper is to study an extended version of bivariant derived algebraic cobordism where the cycles carry a vector bundle on the source as additional data. We show that, over a field of characteristic 0, this extends the analogous homological theory of Lee and Pandharipande constructed earlier. We then proceed to study in detail the restricted theory where only rank 1 vector bundles are allowed, and prove a weak version of projective bundle formula for bivariant cobordism. Since the proof of this theorem works very generally, we introduce precobordism theories over arbitrary Noetherian rings of finite Krull dimension as a reasonable class of theories where the proof can be carried out, and prove some of their basic properties. These results can be considered as the first steps towards a Levine-Morel style algebraic cobordism over a base ring that is not a field of characteristic 0.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Local comparisons of homological and homotopical mixed Hodge polynomials

For a simply connected complex algebraic variey $X$, by the mixed Hodge structures $(W_{\bullet}, F^{\bullet})$ and $(\tilde W_{\bullet}, \tilde F^{\bullet})$ of the homology group $H_{*}(X;\mathbb Q)$ and the homotopy groups $π_{*}(X)\otimes \mathbb Q$ respectively, we have the following mixed Hodge polynomials $$MH_X(t,u,v):= \sum_{k,p,q} \operatorname{dim} \Bigl ( Gr_{F^{\bullet}}^{p} Gr^{W_{\bullet}}_{p+q} H_k (X;\mathbb C) \Bigr) t^{k} u^{-p} v^{-q},$$ $$\quad \, \, MH^π_X(t,u,v):= \sum_{k,p,q} \operatorname{dim} \Bigl (Gr_{\tilde F^{\bullet}}^{p} Gr^{\tilde W_{\bullet}}_{p+q} (π_k(X) \otimes \mathbb C) \Bigr ) t^ku^{-p} v^{-q},$$ which are respectively called \emph{the homological mixed Hodge polynomial} and \emph{the homotopical mixed Hodge polynomial}. In this paper we discuss some inequalities concerning these two mixed Hodge polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Decomposition spaces and poset-stratified spaces

In 1920s R. L. Moore introduced \emph{upper semicontinuous} and \emph{lower semicontinuous} decompositions in studying decomposition spaces. Upper semicontinuous decompositions were studied very well by himself and later by R.H. Bing in 1950s. In this paper we consider lower semicontinuous decompositions $\mathcal D$ of a topological space $X$ such that the decomposition spaces $X/\mathcal D$ are Alexandroff spaces. If the associated proset (preordered set) of the decomposition space $X/\mathcal D$ is a poset, then the decomposition map $π:X \to X/\mathcal D$ is \emph{a continuous map from the topological space $X$ to the poset $X/\mathcal D$ with the associated Alexandroff topology}, which is nowadays called \emph{a poset-stratified space}. As an application, we capture the face poset of a real hyperplane arrangement $\mathcal A$ of $\mathbb R^n$ as the associated poset of the decomposition space $\mathbb R^n/\mathcal D(\mathcal A)$ of the decomposition $\mathcal D(\mathcal A)$ determined by the arrangement $\mathcal A$. We also show that for any locally small category $\mathcal C$ the set $hom_{\mathcal C}(X,Y)$ of morphisms from $X$ to $Y$ can be considered as a poset-stratified space, and that for any objects $S, T$ (where $S$ plays as a source object and $T$ as a target object) there are a covariant functor $\frak {st}^S_*: \mathcal C \to \mathcal Strat$ and a contravariant functor $\frak {st}^*_T$ $\frak {st}^*_T: \mathcal C \to \mathcal Strat$ from $\mathcal C$ to the category $\mathcal Strat$ of poset-stratified spaces. We also make a remark about Yoneda's Lemmas as to poset-stratified space structures of $hom_{\mathcal C}(X,Y)$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

C-symplectic poset structure on a simply connected space

For a field $\K$ of characteristic zero, we introduce a cohomologically symplectic poset structure ${\mathcal P}_{\K}(X)$ on a simply connected space $X$ from the viewpoint of $\K$-homotopy theory. It is given by the poset of inclusions of subgroups preserving c-symplectic structures in the group ${\mathcal E}(X_{\K})$ of $\K$-homotopy classes of $\K$-homotopy self-equivalences of $X$, which is defined by the $\K$-Sullivan model of $X$. We observe that the height of the Hasse diagram of ${\mathcal P}_{\K}(X)$ added by 1, denoted by c-s-${\rm depth}_{\K}(X)$, is finite and often depends on the field $\K$. In this paper, we will give some examples of ${\mathcal P}_{\K}(X)$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Motivic Bivariant Characteristic Classes

Let K_0(V/X) be the relative Grothendieck group of varieties over X in obj(V), with V the category of (quasi-projective) algebraic (resp. compact complex analytic) varieties over a base field k. Then we constructed the motivic Hirzebruch class transformation in the algebraic context for k of characteristic zero and in the compact complex analytic context. It unifies the well-known three characteristic class transformations of singular varieties: MacPherson's Chern class, Baum-Fulton-MacPherson's Todd class and the L-class of Goresky-MacPherson and Cappell-Shaneson. In this paper we construct a bivariant relative Grothendieck group K_0(V/-) and in the algebraic context (in any characteristic) two Grothendieck transformations mC_y resp. T_y defined on K_0(V/-). Evaluating at y=0, we get a motivic lift T_0 of Fulton-MacPherson's bivariant Riemann-Roch transformation. The associated covariant transformations agree for k of characteristic zero with our motivic Chern- and Hirzebruch class transformations defined on K_0(V/X). Finally, evaluating at y=-1, we get for k of characteristic zero, a motivic lift T_{-1} of Ernström-Yokura's bivariant Chern class transformation.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Characteristic classes of symmetric products of complex quasi-projective varieties

We prove generating series formulae for suitable twisted characteristic classes of symmetric products of a singular complex quasi-projective variety. More concretely, we study homology Hirzebruch classes for motivic coefficients, as well as for complexes of mixed Hodge modules. As a special case, we obtain a generating series formula for the (intersection) homology Hirzebruch classes of symmetric products. In some cases, the latter yields a similar formula for twisted homology L-classes generalizing results of Hirzebruch-Zagier and Moonen. Our methods also apply to the study of Todd classes of (complexes of) coherent sheaves, as well as Chern classes of (complexes of) constructible sheaves, generalizing to arbitrary coefficients results of Moonen and resp. Ohmoto.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Grothendieck groups and a categorification of additive invariants

A topologically-invariant and additive homology class is mostly not a natural transformation as it is. In this paper we discuss turning such a homology class into a natural transformation; i.e., a "categorification" of it. In a general categorical set-up we introduce a generalized relative Grothendieck group from a cospan of functors of categories and also consider a categorification of additive invariants on objects. As an example, we obtain a general theory of characteristic homology classes of singular varieties.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Motivic bivariant characteristic classes

The relative Grothendieck group $K_0(\m V/X)$ is the free abelian group generated by the isomorphism classes of complex algebraic varieties over $X$ modulo the "scissor relation". The motivic Hirzebruch class ${T_y}_*: K_0(\m V /X) \to H_*^{BM}(X) \otimes \bQ[y]$ is a unique natural transformation satisfying that for a nonsingular variety $X$ the value ${T_y}_*([X \xrightarrow {\op {id}_X} X])$ of the isomorphism class of the identity $X \xrightarrow {id_X} X$ is the Poincaré dual of the Hirzebruch cohomology class of the tangent bundle $TX$. It "unifies" the well-known three characteristic classes of singular varieties: MacPherson's Chern class, Baum-Fulton-MacPherson's Todd class (or Riemann-Roch) and Goresky-MacPherson's L-class or Cappell-Shaneson's L-class. In this paper we construct a bivariant relative Grothendieck group $\bK_0(\m V/X \to Y)$ so that it equals the original relative Grothendieck group $K_0(\m V/X)$ when $Y$ is a point. We also construct a unique Grothendieck transformation $T_y: \bK_0(\m V/X \to Y) \to \bH(X \to Y) \otimes \bQ[y]$ satisfying a certain normalization condition for a smooth morphism so that it equals the motivic Hirzebruch class ${T_y}_*: K_0(\m V /X) \to H_*^{BM}(X) \otimes \bQ[y]$ when $Y$ is a point. When $y =0$, $T_0: \bK_0(\m V/X \to Y) \to \bH(X \to Y) \otimes \bQ$ is a "motivic" lift of Fulton-MacPherson's bivariant Riemann-Roch $\ga_{td}^{\op {FM}}:\bK_{alg}(X \to Y) \to \bH(X \to Y) \otimes \bQ$.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Motivic Milnor classes

The Milnor class is a generalization of the Milnor number, defined as the difference (up to sign) of Chern--Schwartz--MacPherson's class and Fulton--Johnson's canonical Chern class of a local complete intersection variety in a smooth variety. In this paper we introduce a "motivic" Grothendieck group $K^{\mathcal Prop}_{\ell.c.i}(\mathcal V/X \to S)$ and natural transformations from this Grothendieck group to the homology theory. We capture the Milnor class, more generally Hirzebruch--Milnor class, as a special value of a distinguished element under these natural transformations. We also show a Verdier-type Riemann--Roch formula for our motivic Hirzebruch-Milnor class. We use Fulton--MacPherson's bivariant theory and the motivic Hirzebruch class.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Oriented bivariant theories, I

In 1981 W. Fulton and R. MacPherson introduced the notion of bivariant theory (BT), which is a sophisticated unification of covariant theories and contravariant theories. This is for the study of singular spaces. In 2001 M. Levine and F. Morel introduced the notion of algebraic cobordism, which is a universal oriented Borel-Moore functor with products (OBMF) of geometric type, in an attempt to understand better V. Voevodsky's (higher) algebraic cobordism. In this paper we introduce a notion of oriented bivariant theory (OBT), a special case of which is nothing but the oriented Borel-Moore functor with products. The present paper is a first one of the series to try to understand Levine-Morel's algebraic cobordism from a bivariant-theoretical viewpoint, and its first step is to introduce OBT as a unification of BT and OBMF.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Characteristic classes of proalgebraic varieties and motivic measures

Michael Gromov has recently initiated what he calls ``symbolic algebraic geometry", in which objects are proalgebraic varieties: a proalgebraic variety is by definition the projective limit of a projective system of algebraic varieties. In this paper we introduce characteristic classes of proalgebraic varieties, using Grothendieck transformations of Fulton--MacPherson's Bivariant Theory, modeled on the construction of MacPherson's Chern class transformation of proalgebraic varieties. We show that a proalgebraic version of the Euler--Poincaré characteristic with values in the Grothendieck ring is a generalization of the so-called motivic measure.

0 citations0 reviewsNo code linkedOpen access