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

Toshihiro Yamaguchi

Toshihiro Yamaguchi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
1topics
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

9 published item(s)

preprint2015arXiv

Sullivan minimal models of classifying spaces for non-formal spaces of small rank

We consider certain rational homotopical conditions of simly connected CW complex $X$ such that the rational cohomology of the classifying space $Baut_1X$ for fibrations with two-stage fibre $X$ is (not) free. First, we consider when is $Baut_1X$ a rational factor of $Baut_1(X\times S^n)$ for an odd-integer $n$ and observe for a non-formal elliptic space $X$ of rank 3. Second, we compute the Sullivan minimal models of $Baut_1X$ when $X$ are certain non-formal pure spaces of rank 5.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A rational realization problem in Gottlieb group

We define the fibre-restricted Gottlieb group with respect to a fibration $ξ:X\to E\to Y$ in CW complexes. It is a subgroup of the Gottlieb group of $X$. When $X$ and $E$ are finite simply connected, its rationalized model is given by the arguments of derivations of Sullivan models based on Félix, Lupton and Smith \cite{FLS}. We consider the realization problem of groups in a Gottlieb group as fibre-restricted Gottlieb groups in rational homotoy theory. Especially we define an invariant named as (Gottlieb) depth of $X$ over $Y$. In particular, when $Y=BS^1$, it is related to the rational toral rank of $X$.

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

Rational toral rank of a map

Let $X$ and $Y$ be simply connected CW complexes with finite rational cohomologies. The rational toral rank $r_0(X)$ of a space $X$ is the largest integer $r$ such that the torus $T^r$ can act continuously on a CW-complex in the rational homotopy type of $X$ with all its isotropy subgroups finite \cite{H}. As a rational homotopical condition to be a toral map preserving almost free toral actions for a map $f:X\to Y$, we define the rational toral rank $r_0(f)$ of $f$, which is a natural invariant with $r_0(id_X)=r_0(X)$ for the identity map $id_X$ of $X$. We will see some properties of it by Sullivan models, which is a free commutative differential graded algebra over $\Q$ \cite{FHT}.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Examples of rational toral rank complex

In "A Hosse diagram for rational toral tanks," we see a CW complex ${\mathcal T}(X)$, which gives a rational homotopical classification of almost free toral actions on spaces in the rational homotopy type of $X$ associated with rational toral ranks and also presents certain relations in them. We call it the {\it rational toral rank complex} of $X$. It represents a variety of toral actions. In this note, we will give effective 2-dimensional examples of it when $X$ is a finite product of odd spheres. This is a combinatorial approach in rational homotopy theory.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Pre-c-symplectic condition for the product of odd-spheres

We say that a simply connected space $X$ is pre-c-symplectic if it is the fibre of a rational fibration $X\to Y\to \C P^{\infty}$ where $Y$ is cohomologically symplectic in the sense that there is a degree 2 cohomology class which cups to a top class. It is a rational homotopical property but not a cohomological one. By using Sullivan's minimal models, we give the necessary and sufficient condition that the product of odd-spheres $X=S^{k_1}\times ... \times S^{k_n}$ is pre-c-symplectic and see some related topics. Also we give a charactarization of the Hasse diagram of rational toral ranks for a space $X$ as a necessary condition to be pre-c-symplectic and see some examples in the cases of finite-oddly generated rational homotopy groups.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A Hasse diagram for rational toral ranks

Let $X$ be a simply connected CW complex with finite rational cohomology. For the finite quotient set of rationalized orbit spaces of $X$ obtained by almost free toral actions, ${\mathcal T}_0(X)=\{[Y_i] \}$, induced by an equivalence relation based on rational toral ranks, we order as $[Y_i]<[Y_j]$ if there is a rationalized Borel fibration $Y_i\to Y_j\to BT^n_{\Q}$ for some $n>0$. It presents a variation of almost free toral actions on $X$. We consider about the Hasse diagram ${\mathcal H}(X)$ of the poset ${\mathcal T}_0(X)$, which makes a based graph $G{\mathcal H}(X)$, with some examples. Finally we will try to regard $G{\mathcal H}(X)$ as the 1-skeleton of a finite CW complex ${\mathcal T}(X)$ with base point $X_{\Q}$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A rational obstruction to be a Gottlieb map

We investigate {\it Gottlieb map}s, which are maps $f:E\to B$ that induce the maps between the Gottlieb groups $π_n (f)|_{G_n(E)}:G_n(E)\to G_n(B)$ for all $n$, from a rational homotopy theory point of view.We will define the obstruction group $O(f)$ to be a Gottlieb map and a numerical invariant $o(f)$. It naturally deduces a relative splitting of $E$ in certain cases. We also illustrate several rational examples of Gottlieb maps and non-Gottlieb maps by using derivation arguments in Sullivan models.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A relaxed evaluation subgroup

Let $f:X\to Y$ be a pointed map between connected CW-complexes. As a generalization of the evaluation subgroup $G_*(Y,X;f)$, we will define the {\it relaxed evaluation subgroup} ${\mathcal G}_*(Y,X;f)$ in the homotopy group $π_*(Y)$ of $Y$, which is identified with ${\rm Im} π_*(\tilde{ev})$ for the evaluation map $\tilde{ev} :map(X,Y;f)\times X\to Y$ given by $\tilde{ev} (h,x)=h(x)$. Especially we see by using Sullivan model in rational homotopy theory for the rationalized map $f_{\Q}$ that ${\mathcal G}_*(Y_{\Q},X_{\Q};f_{\Q})=π_*(Y)\otimes \Q$ if the map $f$ induces an injection of rational homotopy groups. Also we compare it with more relaxed subgroups by several rationalized examples.

0 citations0 reviewsNo code linkedOpen access