Related papers: Bloch groups, algebraic K-theory, units, and Nahm'…

In their 1988 paper "Gluing of perverse sheaves and discrete series representations," D. Kazhdan and G. Laumon constructed an abelian category $\mathcal{A}$ associated to a reductive group $G$ over a finite field with the aim of using it to…

Goncharov defined for each field $F$ and an integer $n$ greater than 1 a certain group $B_n(F)$. We consider the possibility of defining a linear map from $B_n(F)$ to the co-Lie algebra of the category of mixed Tate motives defined by Bloch…

A very useful fact in additive combinatorics is that analytic expressions that can be used to count the number of structures of various kinds in subsets of Abelian groups are robust under quasirandom perturbations, and moreover that…

In the representation theory of finite groups, Brou\'e's abelian defect group conjecture says that for any prime p if a p-block A of a finite group G has an abelian defect group P, then A and its Brauer corresponding block B of the…

Let $X$ be a hyperk\"ahler variety, and assume that $X$ admits a non-symplectic automorphism $\sigma$ of order $k>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<\sigma>$ should have trivial Chow group of $0$-cycles. We…

We prove the Noether-Lefschetz conjecture on the moduli space of quasi-polarized K3 surfaces. This is deduced as a particular case of a general theorem that states that low degree cohomology classes of arithmetic manifolds of orthogonal…

We prove Bloch's formula for 0-cycles on affine schemes over algebraically closed fields. We prove this formula also for projective schemes over algebraically closed fields which are regular in codimension one. Several applications,…

In this paper we strengthen Kolchin's theorem ([1]) in the ordinary case. It states that if a differential field $E$ is finitely generated over a differential subfield $F \subset E$, $trdeg_F E < \infty$, and $F$ contains a nonconstant,…

We begin the process of classifying all supersymmetric theories with quantum modified moduli. We determine all theories based on a single SU or Sp gauge group with quantum modified moduli. By flowing among theories we have calculated the…

A product of irreducible representations of magnetic translation group is considered. It leads to irreducible representations which were previously rejected as nonphysical. A very simple example indicates a possible application of these…

All algebras in a very large, axiomatically defined class of quantum nilpotent algebras are proved to possess quantum cluster algebra structures under mild conditions. Furthermore, it is shown that these quantum cluster algebras always…

Let ${\bf G}$ be a connected reductive group defined over $\mathbb{F}_q$, the finite field with $q$ elements. Let ${\bf B}$ be an Borel subgroup defined over $\mathbb{F}_q$. In this paper, we completely determine the composition factors of…

In representation theory of finite groups, there is a well-known and important conjecture due to M. Brou\'e. He conjectures that, for any prime $p$, if a $p$-block $A$ of a finite group $G$ has an abelian defect group $P$, then $A$ and its…

We study the indecomposable summands of the permutation module obtained by inducing the trivial $\mathbb{F}(S_a\wr S_n)$-module to the full symmetric group $S_{an}$ for any field $\mathbb{F}$ of odd prime characteristic $p$ such that…

In this paper we consider the following conjecture, proposed by Brian Alspach, concerning partial sums in finite cyclic groups: given a subset $A$ of $\mathbb{Z}_n\setminus \{0\}$ of size $k$ such that $\sum_{z\in A} z\not= 0$, it is…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We realize the quantum loop groups and shifted quantum loop groups of arbitrary types, possibly non symmetric, using critical K-theory. This generalizes the Nakajima construction of symmetric quantum loop groups via quiver varieties to non…

Let K be an imaginary quadratic field of discriminant -D_K<0. We introduce a notion of an adelic Maass space S_{k, -k/2}^M for automorphic forms on the quasi-split unitary group U(2,2) associated with K and prove that it is stable under the…

We verify a finiteness conjecture of Feit on sources of simple modules over group algebras for various classes of finite groups related to the symmetric groups.

There is a unique finite group that lies inside the 2-dimensional unitary group but not in the special unitary group, and maps by the symmetric square to an irreducible subgroup of the 3-dimensional real special orthogonal group. In an…