This talk is the very first talk for a semester long series on higher algebra. Higher algerbra is the study of algebraic objects in spaces, correcting abnormal behavior of classical homological algebra and encorporating spheres into algebra. In this talk, we will see a concerete example of a higher-algebraic structure on singular cochains, and what structures are needed to formalize such structures with concrete diagrams. We assume familiarity with algebraic topology, category theory and homological algebra (at the first year graduate level).

The past decade has witnessed a great advancement on the Tate conjecture for varieties with Hodge number $h^{2,0} = 1$. Charles, Madapusi-Pera and Maulik completely settled the conjecture for K3 surfaces over finite fields, and Moonen proved the Mumford-Tate (and hence also Tate) conjecture for more or less arbitrary $h^{2,0} = 1$ varieties in characteristic $0$. In this talk, I will explain that the Tate conjecture is true for mod $p$ reductions of complex projective $h^{2,0} = 1$ varieties when $p \gg 0$, under a mild assumption on moduli. By refining this general result, we prove that in characteristic $p \geq 5$ the BSD conjecture holds for a height $1$ elliptic curve $E$ over a function field of genus 1, as long as $E$ is subject to the generic condition that all singular fibers in its minimal compactification are irreducible. We also prove the Tate conjecture over finite fields for a class of surfaces of general type and a class of Fano varieties. The overall philosophy is that the connection between the Tate conjecture over finite fields and the Lefschetz $(1,1)$-theorem over $C$ is very robust for $h^{2,0} = 1$ varieties, and works well beyond the hyperk\”{a}hler world. This is based on joint work with Paul Hamacher and Xiaolei Zhao.

---

Please contact Wansu Kim at for Zoom meeting info or any inquiry.

The past decade has witnessed a great advancement on the Tate conjecture for varieties with Hodge number $h^{2,0} = 1$. Charles, Madapusi-Pera and Maulik completely settled the conjecture for K3 surfaces over finite fields, and Moonen proved the Mumford-Tate (and hence also Tate) conjecture for more or less arbitrary $h^{2,0} = 1$ varieties in characteristic $0$. In this talk, I will explain that the Tate conjecture is true for mod $p$ reductions of complex projective $h^{2,0} = 1$ varieties when $p \gg 0$, under a mild assumption on moduli. By refining this general result, we prove that in characteristic $p \geq 5$ the BSD conjecture holds for a height $1$ elliptic curve $E$ over a function field of genus 1, as long as $E$ is subject to the generic condition that all singular fibers in its minimal compactification are irreducible. We also prove the Tate conjecture over finite fields for a class of surfaces of general type and a class of Fano varieties. The overall philosophy is that the connection between the Tate conjecture over finite fields and the Lefschetz $(1,1)$-theorem over $C$ is very robust for $h^{2,0} = 1$ varieties, and works well beyond the hyperk\”{a}hler world. This is based on joint work with Paul Hamacher and Xiaolei Zhao.

---

Please contact Wansu Kim at for Zoom meeting info or any inquiry.

The degree-shifting action on the cohomology of locally symmetric spaces, which has its origins in the representation theory of real reductive groups, enjoys a surprising connection with arithmetic, as expected by the so-called motivic action conjectures of A. Venkatesh. Although these conjectures are expected to hold in great generality, there is a disparity between the algebraic and non-algebraic locally symmetric spaces. We will discuss the nature of the degree-shifting action in both cases (For those who cannot attend the in-person seminar, we will also stream the seminar talk via Zoom. Please contact Wansu Kim for the Zoom connection details.)