activity
20142023
most citedZero cycles with modulus and zero cycles on singular varieties

43 citations · 116 across the 20 of their papers we have counts for

collaborators

21 papers

cond-mat.mtrl-sci2023★ 20 cited

Spin-orbit torques and spin Hall magnetoresistance generated by twin-free and amorphous Bi0.9Sb0.1 topological insulator films

Federico Binda, Stefano Fedel, Santos Francisco Alvarado +2

Topological insulators have attracted great interest as generators of spin-orbit torques (SOTs) in spintronic devices. Bi\textsubscript{1-x}Sb\textsubscript{x} is a prominent topol…

math.AG2022

A Hochschild-Kostant-Rosenberg theorem and residue sequences for logarithmic Hochschild homology

Federico Binda, Tommy Lundemo, Doosung Park +1

This paper incorporates the theory of Hochschild homology into our program on log motives. We discuss a geometric definition of logarithmic Hochschild homology of derived pre-log r…

math.AG2022

On the p-adic weight-monodromy conjecture for complete intersections in toric varieties

Federico Binda, Hiroki Kato, Alberto Vezzani

We give a proof of the -adic weight monodromy conjecture for scheme-theoretic complete intersections in projective smooth toric varieties. The strategy is based on Scholze's pro…

math.AG2022★ 1 cited

Suslin homology via cycles with modulus and applications

Federico Binda, Amalendu Krishna

We show that for a smooth projective variety over a field and a reduced effective Cartier divisor , the Chow group of 0-cycles with modulus $\mathrm{CH}_0(X|D)…

math.AG2021

GAGA problems for the Brauer group via derived geometry

Federico Binda, Mauro Porta

This paper is dedicated to a further study of derived Azumaya algebras. The first result we obtain is a Beauville-Laszlo-style property for such objects (considered up to Morita eq…

math.AG2021★ 1 cited

Derived Log Albanese Sheaves

Federico Binda, Alberto Merici, Shuji Saito

We define higher pro-Albanese functors for every effective log motive over a field of characteristic zero, and we compute them for every smooth log smooth scheme $X=(\underline…