Related papers: Sur un r\'esultat d'Imin Chen
In this work we generalize the concept of injective module and develop a theory of divisibility for modules over a general ring, which provides a general and unified framework to study Kummer-like field extensions arising from commutative…
We construct a finitary additive 2-category whose Grothendieck ring is isomorphic to the semigroup algebra of the monoid of order-decreasing and order-preserving transformations of a finite chain.
In this paper, we give explicit equations for homogeneous spaces corresponding to a rational isogeny of degree $3$. An explicit set of elliptic curves with elements of order $3$ in their Tate-Shafarevich group is constructed. Combining this…
We consider elements of finite order in the Riordan group $\cal R$ over a field of characteristic $0$. Viewing $\cal R$ as a semi-direct product of groups of formal power series, we solve, for all $n \geq 2$, two foundational questions…
Let $G$ be a Lie group and $G\to\Aut(G)$ be the canonical group homomorphism induced by the adjoint action of a group on itself. We give an explicit description of a 1-1 correspondence between Morita equivalence classes of, on the one hand,…
This note discusses our formalisation in Lean of the classification of the groups of order $p q$ for (not necessarily distinct) prime numbers $p$ and $q$, together with various intermediate results such as the characterisation of internal…
\newcommand{\GLn}{\operatorname{GL}_n} \newcommand{\GL}{\GLn(C)} Let $F$ be a differential field with algebraically closed field of constants $C$. We prove that $F< Y_{ij}>(X_{ij})\supset F< Y_{ij}>$ is a generic Picard-Vessiot extension of…
We develop a machinery of Chen iterated integrals for higher Hochschild complexes. These are complexes whose differentials are modeled on an arbitrary simplicial set much in the same way the ordinary Hochschild differential is modeled on…
In recent years, there has been considerable success in computing Ext-groups of modular representations associated to the general linear group by relating this problem to one of computing Ext-groups in functor categories. In this paper, we…
We use the theory of canonical models of Shimura varieties to describe the projective limit of the curves Y(N), all N, and its automorphism group. In particular we prove that the Galois group of Q(CM) over Q is an extension of a certain…
Given a group $G$, we define suitable 2-categorical structures on the class of all small categories with $G$-actions and on the class of all small $G$-graded categories, and prove that 2-categorical extensions of the orbit category…
Let $R$ be the maximal order in a quadratic imaginary field $K$. We give an equivalence of categories between the category of polarized abelian varieties isomorphic to a product of elliptic curves over $\mathbb{C}$ with complex…
We prove a generalized Fej\'er's theorem for locally compact groups.
We show that every involutive Hopf monoid in a complete and finitely cocomplete symmetric monoidal category gives rise to invariants of oriented surfaces defined in terms of ribbon graphs. For every ribbon graph this yields an object in the…
Let $G$ be a $p$-divisible group over a complete discrete valuation ring $R$ of characteristic $p$. The generic fiber of $G$ determines a Galois representation $\rho$. The image of $\rho$ admits a ramification filtration and a Lie…
This paper develops a representation-theoretic approach to the isogeny category $\underline{\mathcal{C}}$ of commutative group schemes of finite type over a field $k$, studied in arXiv:1602:00222. We construct a ring $R$ such that…
We relate a generic character sheaf on a disconnected reductive group with a character of a representation of the rational points of the group over a finite field extending a result known in the connected case.
We give the theorem of coincidence of a class of functions defined by a generalised modulus of smoothness with a class of functions defined by the order of the best approximation by algebraic polynomials. We also prove the appropriate…
The power graph $P(G)$ of a finite group $G$ is the graph with vertex set $G$ and two distinct vertices are adjacent if either of them is a power of the other. Here we show that the power graph $P(G_1 \times G_2)$ of the direct product of…
A list of generic $U_q(sl_2)$-module algebra structures on the Laurent polynomial algebra over the quantum plane with uncountably many isomorphism classes is produced. Also, a complete list of such structures is presented in which the…