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

Rob de Jeu

Rob de Jeu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.KTmath.AG

Trust snapshot

Quick read

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

preprint2020arXiv

Describing all multivariable functional equations of dilogarithms

We prove quite general statements about functional equations in any number of variables for the dilogarithms defined by Bloch-Wigner, Rogers, and Coleman, showing that they follow from certain 5-term and 2-term relations in a precise way. Unlike many other references, we use arbitrary coefficients, do not ignore any torsion, and get sharp results. For the Bloch-Wigner dilogarithm, we also consider complex conjugation, and for Coleman's p-adic dilogarithm we show independence of the branch.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Etale cohomology, cofinite generation, and p-adic L-functions

For a prime number p and a number field k, we first study certain etale cohomology groups with coefficients associated to a p-adic Artin representation of its Galois group, where we twist the coefficients using a modified Tate twist with a p-adic index. We show that those groups are cofinitely generated and explicitly compute an additive Euler characteristic. When k is totally real and the representation is even, we relate the order of vanishing of the p-adic L-function at a point of its domain and the corank of such a cohomology group with a suitable p-adic twist. If the groups are finite, then the value of the p-adic L-function is non-zero and its p-adic absolute value is related to a multiplicative Euler characteristic. For a negative integer n (and for 0 in certain cases), this gives a proof of a conjecture by Coates and Lichtenbaum, and a short proof of the equivariant Tamagawa number conjecture for classical L-functions that do not vanish at n. For p=2 our results involving p-adic L-functions depend on a conjecture in Iwasawa theory.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A relative version of the Beilinson-Hodge conjecture

Let k be an algebraically closed subfield of the complex numbers, and X a variety defined over k. One version of the Beilinson-Hodge conjecture that seems to survive scrutiny is the statement that the Betti cycle class map cl_{r,m} : H_M^{2r-m}(k(X),Q(r)) -> hom_{MHS}(Q(0),H^{2r-m}(k(X)(C),Q(r))) is surjective, that being equivalent to the Hodge conjecture in the case m=0. Now consider a smooth and proper map ρ: X -> S of smooth quasi-projective varieties over k. We formulate a version of this conjecture for the generic fibre, expecting the corresponding cycle class map to be surjective. We provide some evidence in support of this in the case where X is a product, the map is the projection to one factor, and m=1.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On K_2 of certain families of curves

We construct families of smooth, proper, algebraic curves in characteristic 0, of arbitrary genus g, together with g elements in the kernel of the tame symbol. We show that those elements are in general independent by a limit calculation of the regulator. Working over a number field, we show that in some of those families the elements are integral. We determine when those curves are hyperelliptic, finding, in particular, that over any number field we have non-hyperelliptic curves of all composite genera g with g independent integral elements in the kernel of the tame symbol.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Frobenius lifts and point counting for smooth curves

We describe an algorithm to compute the zeta-function of a proper, smooth curve over a finite field, when the curve is given together with some auxiliary data. Our method is based on computing the matrix of the action of a semi-linear Frobenius on the first cohomology group of the curve by means of Serre duality. The cup product involved can be computed locally, after first computing local expansions of a globally defined lift of Frobenius. The resulting algorithm's complexity is softly cubic in the field degree, which is also the case with Kedlaya's algorithm in the hyperelliptic case.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The syntomic regulator for $K_4$ of curves

Let $C$ be a curve defined over a discrete valuation field of characteristic zero where the residue field has positive characteristic. Assuming that $C$ has good reduction over the residue field, we compute the syntomic regulator on a certain part of $K_4^[(3)}(C)$. The result can be expressed in terms of $p$-adic polylogarithms and Coleman integration. We also compute the syntomic regulator on a certain part of $K_4^[(3)}(F)$ for the function field $F$ of $C$. The result can be expressed in terms of $p$-adic polylogarithms and Coleman integration, or by using a trilinear map ("triple index") on certain functions.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Beilinson's Hodge conjecture for smooth varieties

Consider the cycle class map cl_{r,m} : CH^r(U,m;\Q) \to ΓH^{2r-m}(U,\Q(r)), where CH^r(U,m;\Q) is Bloch's higher Chow group (tensored with \Q) of a smooth complex quasi-projective variety U, and H^{2r-m}(U,\Q(r)) is singular cohomology. We study the image of cl_{r,m} in terms of kernels of Abel-Jacobi maps. When r=m, we deduce from the Bloch-Kato theorem that the cokernel of cl_{r,m} at the generic point of U is the same for integral or rational coefficients.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On special elements in higher algebraic K-theory and the Lichtenbaum-Gross Conjecture

We conjecture the existence of special elements in odd degree higher algebraic K-groups of number fields that are related in a precise way to the values at strictly negative integers of the derivatives of Artin L-functions of finite dimensional complex representations. We prove this conjecture in certain important cases and also provide other evidence (both theoretical and numerical) in its support.

0 citations0 reviewsNo code linkedOpen access