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

Ishai Dan-Cohen

Ishai Dan-Cohen contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.NTmath.ATmath.KTmath.RT

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
5topics
2close 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

5 published item(s)

preprint2026arXiv

Relative tensor products and Koszul duality in monoidal oo-categories

This semi-expository work covers central aspects of the theory of relative tensor products as developed in Higher Algebra, as well as their application to Koszul duality for algebras in monoidal oo-categories. Part of our goal is to expand on the rather condensed account of loc. cit. Along the way, we generalize various aspects of the theory. For instance, given a monoidal oo-category Cc, an oo-category Mm which is left-tensored over Cc, and an algebra A in Cc, we construct an action of A-A-bimodules N in Cc on left A-modules M in Mm by an "external relative tensor product" N \otimes_A M. (Up until now, even the special ("internal") case Cc = Mm appears to have escaped the literature. As an application, we generalize the Koszul duality of loc. cit. to include modules. Our straightforward approach requires that we at this point assume certain compatibilities between tensor products and limits; these assumptions have recently been shown to be unnecessary in work by Brantner, Campos and Nuiten (arXiv:2104.03870).

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The polylog quotient and the Goncharov quotient in computational Chabauty-Kim theory I

Polylogarithms are those multiple polylogarithms that factor through a certain quotient of the de Rham fundamental group of the thrice punctured line known as the polylogarithmic quotient. Building on work of Dan-Cohen, Wewers, and Brown, we push the computational boundary of our explicit motivic version of Kim's method in the case of the thrice punctured line over an open subscheme of $\mathrm{Spec}\,\mathbb{Z}$. To do so, we develop a greatly refined version of the algorithm of Dan-Cohen tailored specifically to this case, and we focus attention on the polylogarithmic quotient. This allows us to restrict our calculus with motivic iterated integrals to the so-called depth-one part of the mixed Tate Galois group studied extensively by Goncharov. We also discover an interesting consequence of the symmetry-breaking nature of the polylog quotient that forces us to symmetrize our polylogarithmic version of Kim's conjecture. In this first part of a two-part series, we focus on a specific example, which allows us to verify an interesting new case of Kim's conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Mixed Tate motives and the unit equation II

Over the past fifteen years or so, Minhyong Kim has developed a framework for making effective use of the fundamental group to bound (or even compute) integral points on hyperbolic curves. This is the third installment in a series whose goal is to realize the potential effectivity of Kim's approach in the case of the thrice punctured line. As envisioned in the last installment, we construct an algorithm whose output upon halting is provably the set of integral points, and whose halting would follow from conjectures. Our results go a long way towards achieving our goals over the rationals, while broaching the topic of higher number fields.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

The polylog quotient and the Goncharov quotient in computational Chabauty-Kim theory II

Building on work by Dan-Cohen--Wewers, Dan-Cohen [DC], and Brown, we push the computational boundary of our explicit motivic version of Kim's method in the case of the thrice punctured line over an open subscheme of Spec ZZ. To do so, we develop a refined version of the algorithm of [DC] tailored specifically to this case. We also commit ourselves fully to working with the polylogarithmic quotient. This allows us to restrict our calculus with motivic iterated integrals to the so-called depth-one part of the mixed Tate Galois group studied extensively by Goncharov. An application was given in part one, where we verified Kim's conjecture in an interesting new case.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Moduli of nondegenerate unipotent representations in characteristic zero

With this work we initiate a study of the representations of a unipotent group over a field of characteristic zero from the modular point of view. Let $G$ be such a group. The stack of all representations of a fixed finite dimension $n$ is badly behaved. We introduce an invariant, $w$, of $G$, its \textit{width}, as well as a certain nondegeneracy condition on representations, and we prove that nondegenrate representations of dimension $n \le w+1$ form a quasi-projective variety. Our definition of the width is opaque; as a first attempt to elucidate its behavior, we prove that it is bounded by the length of a composition series. Finally, we study the problem of gluing a pair of nondegenerate representations along a common subquotient.

0 citations0 reviewsNo code linkedOpen access