BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Hiro Lee Tanaka

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

ResearcherUnclaimed source record
math.ATmath.SGmath.DGmath.CT

Catalog footprint

What is connected

8works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

8 published item(s)

preprint2020arXiv

A stable infinity-category of Lagrangian cobordisms

Given an exact symplectic manifold M and a support Lagrangian Λ, we construct an infinity-category Lag, which we conjecture to be equivalent (after specialization of the coefficients) to the partially wrapped Fukaya category of M relative to Λ. Roughly speaking, the objects of Lag are Lagrangian branes inside of M x T*(R^n), for large n, and the morphisms are Lagrangian cobordisms that are non-characteristic with respect to Λ. The main theorem of this paper is that Lag is a stable infinity-category, so that its homotopy category is triangulated, with mapping cones given by an elementary construction. In particular, its shift functor is equivalent to the familiar shift of grading for Lagrangian branes.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Generation for Lagrangian cobordisms in Weinstein manifolds

We prove that Lagrangian cocores and Lagrangian linking disks of a stopped Weinstein manifold generate the Lagrangian cobordism infinity-category. As a geometric consequence, we see that any brane (after stabilization) admits a Lagrangian cobordism to a disjoint union of some standard collection of branes (cocores, linking disks, and a zero object). For example, when our stopped Weinstein manifold is a point stopped by itself, we find that any exact brane in Euclidean space admits a Lagrangian cobordism to a disjoint union of cotangent fibers and a zero object. (This is a stronger statement than one could obtain from purely Fukaya-categorical generation results.) Our methods are constructive. For example, when our Weinstein manifold is a point, after stabilization we can resolve the conormal to a compact manifold A of R^n by a sequence of cotangent fibers; the resulting filtration realizes, after passage to the wrapped Fukaya category, the Morse cochain complex of A associated to (and hence filtered by) a generic ``distance to a point'' function; the associated gradeds are the reduced homologies of the Morse attaching spheres. There is also an algebraic consequence. Lagrangian cobordism theory is conjectured (in analogue to classical cobordism theory) to be linear over a ring spectrum L controlling Lagrangian cobordisms between cotangent fibers in Euclidean spaces. Our main theorem gives strong evidence for this conjecture: The infinity-category of Lagrangians and their cobordisms in R^infinity is equivalent to a full subcategory of modules over L. We conclude by proving a π_0-level theorem that gives further evidence of the above conjecture: We exhibit a π_0-level symmetric monoidal structure compatible with the linear structure of L-modules.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Smooth constructions of homotopy-coherent actions

We prove that, for nice classes of infinite-dimensional smooth groups G, natural constructions in smooth topology and symplectic topology yield homotopically coherent group actions of G. This yields a bridge between infinite-dimensional smooth groups and homotopy theory. The result relies on two computations: One showing that the diffeological homotopy groups of the Milnor classifying space BG are naturally equivalent to the (continuous) homotopy groups, and a second showing that a particular strict category localizes to yield the homotopy type of BG. We then prove a result in symplectic geometry: These methods are applicable to the group of Liouville automorphisms of a Liouville sector. The present work is written with an eye toward [OT19], where our constructions show that higher homotopy groups of symplectic automorphism groups map to Fukaya-categorical invariants, and where we prove a conjecture of Teleman from the 2014 ICM in the Liouville and monotone settings.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Functors (between oo-categories) that aren't strictly unital

Let C and D be quasi-categories (a.k.a. infinity-categories). Suppose also that one has an assignment sending commutative diagrams of C to commutative diagrams of D which respects face maps, but not necessarily degeneracy maps. (This is akin to having an assignment which respects all compositions, but may not send identity morphisms to identity morphisms.) When does this assignment give rise to an actual functor? We show that if the original assignment can be shown to respect identity morphisms up to homotopy, then there exists an honest functor of infinity-categories which respects the original assignments up to homotopy. Moreover, we prove that such honest functors can be chosen naturally with respect to the original assignments.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Odd sphere bundles, symplectic manifolds, and their intersection theory

Recently, Tsai-Tseng-Yau constructed new invariants of symplectic manifolds: a sequence of Aoo-algebras built of differential forms on the symplectic manifold. We show that these symplectic Aoo-algebras have a simple topological interpretation. Namely, when the cohomology class of the symplectic form is integral, these Aoo-algebras are equivalent to the standard de Rham differential graded algebra on certain odd-dimensional sphere bundles over the symplectic manifold. From this equivalence, we deduce for a closed symplectic manifold that Tsai-Tseng-Yau's symplectic Aoo-algebras satisfy the Calabi-Yau property, and importantly, that they can be used to define an intersection theory for coisotropic/isotropic chains. We further demonstrate that these symplectic Aoo-algebras satisfy several functorial properties and lay the groundwork for addressing Weinstein functoriality and invariance in the smooth category.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Fukaya category pairs with Lagrangian cobordisms

Fix a suitably convex, exact symplectic manifold M. We consider the stable oo-category Lag(M) of non-compact Lagrangians whose (higher) morphisms are (higher) Lagrangian cobordisms between them. We show that this oo-category pairs with the Fukaya category Fuk(M) of compact branes. In fact, we also show that there is a subcategory of Lag(M) which pairs with the wrapped Fukaya category of M. This is a first step in a project to enrich wrapped Fukaya categories over cobordism spectra. As a corollary, we show that cobordant compact branes are equivalent in the Fukaya category. We will also mention several other applications (without proof) of the oo-categorical appraoch: One can realize Seidel's representation as a π_0-level consequence of a map of spaces; stable cobordism groups of non-compact branes map to Floer cohomology groups; some of Biran-Cornea's results can be recovered from the colored planar operad associated to the s-dot constructions of each category; and there is an Eoo map of spectra from exact Lagrangian cobordisms in Euclidean space to the integers.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Fukaya category pairs with Lagrangian cobordisms exactly

We prove that a pairing between the Fukaya category and the oo-category of Lagrangian cobordisms respects mapping cones. This is another step toward constructing a lift of Fukaya categories to the level of spectra (in the sense of stable homotopy theory). As corollaries, we show that the map in our previous work from cobordism groups to Floer cohomology lifts to the level of spectra, and one also recovers some results of Biran and Cornea for what we call "vertically collared" cobordisms.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Structured singular manifolds and factorization homology

We provide a framework for the study of structured manifolds with singularities and their locally determined invariants. This generalizes factorization homology, or topological chiral homology, to the setting of singular manifolds equipped with various tangential structures. Examples of such factorization homology theories include intersection homology, compactly supported stratified mapping spaces, and Hochschild homology with coefficients. Factorization homology theories for singular manifolds are characterized by a generalization of the Eilenberg-Steenrod axioms. Using these axioms, we extend the nonabelian Poincaré duality of Salvatore and Lurie to the setting of singular manifolds -- this is a nonabelian version of the Poincaré duality given by intersection homology. We pay special attention to the simple case of singular manifolds whose singularity datum is a properly embedded submanifold and give a further simplified algebraic characterization of these homology theories. In the case of 3-manifolds with 1-dimensional submanifolds, this structure gives rise to knot and link homology theories akin to Khovanov homology.

0 citations0 reviewsNo code linkedOpen access