Related papers: A cancellation theorem for Milnor-Witt corresponde…

A geometric argument is given to prove that the Seifert genus of a positive knot equals its slice genus. A combinatorial invariant, giving a lower bound for the slice genus, is formulated for arbitrary knots. Properties and applications of…

We generalize the small cancellation theory over hyperbolic groups developed by Olshanskii to the case of relatively hyperbolic groups. This allows us to construct infinite finitely generated groups with exactly $n$ conjugacy classes for…

We give a Clifford correspondence for an algebra A over an algebraically closed field, that is an algorithm for constructing some finite-dimensional simple A-modules from simple modules for a subalgebra and endomorphism algebras. This…

A result of the author shows that the behavior of Gowers norms on bounded exponent abelian groups is connected to finite nilspaces. Motivated by this, we investigate the structure of finite nilspaces. As an application we prove inverse…

Using a recent computation of the rational minus part of $SH(k)$ by Ananyevskiy-Levine-Panin, a theorem of Cisinski-Deglise and a version of the Roendigs-Ostvaer theorem, rational stable motivic homotopy theory over an infinite perfect…

We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theorems included concern colorings of graphs and bounded graphs,…

We construct the Langlands correspondence for connected reductive groups over finite fields, which we call the finite Langlands correspondence. We discuss also its relation with the categorical local Langlands correspondence.

The quotient of a finite-dimensional vector space by the action of a finite subgroup of automorphisms is usually a singular variety. Under appropriate assumptions, the McKay correspondence relates the geometry of nice resolutions of…

In this article we further the study of non-commutative motives. We prove that bivariant cyclic cohomology (and its variants) becomes representable in the category of non-commutative motives. Furthermore, Connes' bilinear pairings…

We establish a relative Bertini type theorem for multiplier ideal sheaves. Then we prove a relative version of the Koll\'ar--Nadel type vanishing theorem as an application.

We prove the "divisible case" of the Milnor-Bloch-Kato conjecture (which is the first step of Voevodsky's proof of this conjecture for arbitrary prime l) in a rather clear and elementary way. Assuming this conjecture, we construct a 6-term…

We prove a few results concerning the notions of finite dimensionality of mixed Tate motives in the sense of Kimura and O'Sullivan. It is shown that being oddly or evenly finite dimensional is equivalent to vanishing of certain cohomology…

We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…

Extending the work of Bell, Matsuzawa and Satriano, we consider a finite set of polynomials $S$ over a number field $K$ and give a necessary and sufficient condition for the existence of a $N \in \mathbb{N}_{> 0}$ and a finite set $Z…

We prove combination theorems in the spirit of Klein and Maskit in the context of discrete convergence groups acting geometrically finitely on their limit sets. As special cases, we obtain combination theorems for geometrically finite…

Let X be a smooth projective variety over a field k. For k separably closed, we prove that the subgroup of unramified classes in the Milnor K-group $K^M_i(k(X))$ of the function field of X is contained in the subgroup of n-divisible…

An approximation result for the bilinear Hilbert transform is proved and used for the inversion of the bilinear Hilbert transform. Also, p-Lebesgue points $(p\geq 1)$ are analyzed.

Motivated by the study of a certain family of classical geometric problems we investigate the existence of multiplicative connections on proper Lie groupoids. We show that one can always deform a given connection which is only approximately…

In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…

We formulate a conjecture on the motivic McKay correspondence for the group scheme $ \alpha_{p}$ in characteristic $p>0$ and give a few evidences. The conjecture especially claims that there would be a close relation between quotient…