Related papers: The Strong Suslin Reciprocity Law

We survey over some recent applications of motivic homotopy theory in the definition and the study of $p$-adic cohomology theories. In particular, we revisit the proof of the $p$-adic weight-monodromy conjecture for smooth projective…

We prove that the Milnor ring of any (one-dimensional) local or global field K modulo a prime number l is a Koszul algebra over Z/l. Under mild assumptions that are only needed in the case l=2, we also prove various module Koszulity…

The graded cellularity of Libedinsky Double Leaves, which form a basis for the endomorphism ring of the Bott_Samelson_Soergel bimodules, allows us to view the Kazhdan_Lusztig polynomials as graded decomposition numbers. Using this point of…

We prove a strengthening of the "reciprocity conjecture" of Khare and Wintenberger. The input to the original conjecture is an odd prime p, a CM number field F containing the pth roots of unity, and a pair of primes of the maximal totally…

We develop cohomological and homological theories for a profinite group $G$ with coefficients in the Pontryagin dual categories of pro-discrete and ind-profinite $G$-modules, respectively. The standard results of group (co)homology hold for…

We prove a conjecture of Goncharov, which says that any multiple polylogarithm can be expressed via polylogarithms of depth at most half of the weight. We give an explicit formula for this presentation, involving a summation over trees that…

We give a new proof, using comparatively simple techniques, of the Sullivan conjecture: the space of pointed maps from the classifying space of the cyclic group of order $p$ to any finite-dimensional CW complex $K$ is contractible.

Let (W,S) be a Coxeter system of finite rank (ie |S| is finite) and let A be the associated Coxeter (or Davis) complex. We study chains of pairwise parallel walls in A using Tits' bilinear form associated to the standard root system of…

We define a strong homotopy derivation of (cohomological) degree k of a strong homotopy algebra over an operad P. This involves resolving the operad obtained from P by adding a generator with "derivation relations". For a wide class of…

Halin [1965] proved that if a graph has $n$ many pairwise disjoint rays for each $n$ then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other similar results in terms of computable and proof theoretic…

We will formulate and prove a certain reciprocity law relating certain residues of the differential symbol dlog^2 from the K_2 of a Mumford curve to the rigid analytic regulator constructed by the author in a previous paper. We will use…

We describe an algorithm computing the monodromy and the pole order filtration on the top Milnor fiber cohomology of hypersurfaces in $\mathbb{P}^n$ whose pole order spectral sequence degenerates at the second page. In the case of…

A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$-spectrum and $(S^1,\mathbb G)$-bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable…

For a field $F$ and a given integer $n>1$, Goncharov has given a complex $\Gamma_F(n)$ which he calls motivic and which he expects to rationally compute the weight $n$ motivic cohomology of $\text{Spec }F$, and hence its algebraic…

We present a new tool for the calculation of Denef and Loeser's motivic nearby fiber and motivic Milnor fiber: a motivic Fubini theorem for the tropicalization map, based on Hrushovski and Kazhdan's theory of motivic volumes of…

We propose and study the following Mirror Principle: certain sequences of multiplicative equivariant characteristic classes on Kontsevich's stable map moduli spaces can be computed in terms of certain hypergeometric type classes. As…

Cut-and-paste $K$-theory has recently emerged as an important variant of higher algebraic $K$-theory. However, many of the powerful tools used to study classical higher algebraic $K$-theory do not yet have analogues in the cut-and-paste…

In arXiv:1709.07504 Ardila and Aguiar give a Hopf monoid structure on hypergraphs as well as a general construction of polynomial invariants on Hopf monoids. Using these results, we define in this paper a new polynomial invariant on…

By applying Chinese remainder theorem for coprime polynomials and the "creative microscoping" method recently introduced by the author and Zudilin, we establish parametric generalizations of three $q$-supercongruences modulo the fourth…

We use the theory of skew duality to show that decomposing the tensor product of $k$ irreducible representations of the symplectic group $Sp_{2m} = Sp_{2m}(C)$ is equivalent to branching from $Sp_{2n}$ to $Sp_{2n_1}\times\cdots\times…