Researcher profile

Yukiko Fukukawa

Yukiko Fukukawa contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.AT math.AG math.CO math.SG

Trust snapshot

Quick read

Trust 21 - Emerging

6works

0followers

4topics

3close collaborators

Actions

Decide how to stay connected

Follow researcher0

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.

preprint2013arXiv

Counting generalized Dyck paths

The Catalan number has a lot of interpretations and one of them is the number of Dyck paths. A Dyck path is a lattice path from $(0,0)$ to $(n,n)$ which is below the diagonal line $y=x$. One way to generalize the definition of Dyck path is to change the end point of Dyck path, i.e. we define (generalized) Dyck path to be a lattice path from $(0,0)$ to $(m,n) \in \mathbb{N}^2$ which is below the diagonal line $y=\frac{n}{m}x$, and denote by $C(m,n)$ the number of Dyck paths from $(0,0)$ to $(m,n)$. In this paper, we give a formula to calculate $C(m,n)$ for arbitrary $m$ and $n$.

preprint2013arXiv

The cohomology ring of the GKM graph of a flag manifold of classical type

If a closed smooth manifold $M$ with an action of a torus $T$ satisfies certain conditions, then a labeled graph $\mG_M$ with labeling in $H^2(BT)$ is associated with $M$, which encodes a lot of geometrical information on $M$. For instance, the "graph cohomology" ring $\mHT^*(\mG_M)$ of $\mG_M$ is defined to be a subring of $\bigoplus_{v\in V(\mG_M)}H^*(BT)$, where $V(\mG_M)$ is the set of vertices of $\mG_M$, and is known to be often isomorphic to the equivariant cohomology $H^*_T(M)$ of $M$. In this paper, we determine the ring structure of $\mHT^*(\mG_M)$ with $\Z$ (resp. $\Z[1/2]$) coefficients when $M$ is a flag manifold of type A, B or D (resp. C) in an elementary way.

preprint2013arXiv

The equivariant cohomology rings of Peterson varieties

The main result of this note is an efficient presentation of the $S^1$-equivariant cohomology ring of Peterson varieties (in type $A$) as a quotient of a polynomial ring by an ideal $\mathcal{J}$, in the spirit of the well-known Borel presentation of the cohomology of the flag variety. Our result simplifies previous presentations given by Harada-Tymoczko and Bayegan-Harada. In particular, our result gives an affirmative answer to a conjecture of Bayegan and Harada that the defining ideal $\mathcal{J}$ is generated by quadratics.

preprint2012arXiv

The graph cohomology ring of the GKM graph of a flag manifold of type $G_2$

Suppose a compact torus $T$ acts on a closed smooth manifold $M$. Under certain conditions, Guillemin and Zara associate to $(M, T)$ a labeled graph $\mG_M$ where the labels lie in $H^2(BT)$. They also define the subring $H_T^*(\mG_M)$ of $\bigoplus_{v\in V(\mG_M)}H^*(BT)$, where $V(\mG_M)$ is the set of vertices of $\mG_M$ and we call $H_T^*(\mG_M)$ the "graph cohomology" ring of $\mG_M$. It is known that the equivariant cohomology ring of $M$ can be described by using combinatorial data of the labeled graph. The main result of this paper is to determine the ring structure of equivariant cohomology ring of a flag manifold of type $G_2$ directly, using combinatorial techniques on the graph $\mG_M$. This gives a new computation of the equivariant cohomology ring of a flag manifold of type $G_2$.

preprint2012arXiv

Topological toric manifolds

We introduce the notion of a topological toric manifold and a topological fan and show that there is a bijection between omnioriented topological toric manifolds and complete non-singular topological fans. A topological toric manifold is a topological analogue of a toric manifold and the family of topological toric manifolds is much larger than that of toric manifolds. A topological fan is a combinatorial object generalizing the notion of a simplicial fan in toric geometry. Prior to this paper, two topological analogues of a toric manifold have been introduced. One is a quasitoric manifold and the other is a torus manifold. One major difference between the previous notions and topological toric manifolds is that the former support a smooth action of an $S^1$-torus while the latter support a smooth action of a $\C^*$-torus. We also discuss their relation in details.

preprint2009arXiv

Buchstaber invariants of skeleta of a simplex

A moment-angle complex $\mathcal{Z}_K$ is a compact topological space associated with a finite simplicial complex $K$. It is realized as a subspace of a polydisk $(D^2)^m$, where $m$ is the number of vertices in $K$ and $D^2$ is the unit disk of the complex numbers $\C$, and the natural action of a torus $(S^1)^m$ on $(D^2)^m$ leaves $\mathcal{Z}_K$ invariant. The Buchstaber invariant $s(K)$ of $K$ is the maximum integer for which there is a subtorus of rank $s(K)$ acting on $\mathcal{Z}_K$ freely. The story above goes over the real numbers $\R$ in place of $\C$ and a real analogue of the Buchstaber invariant, denoted $s_\R(K)$, can be defined for $K$ and $s(K)\leqq s_\R(K)$. In this paper we will make some computations of $s_\R(K)$ when $K$ is a skeleton of a simplex. We take two approaches to find $s_\R(K)$ and the latter one turns out to be a problem of integer linear programming and of independent interest.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint