Related papers: Hasse--Schmidt derivations, divided powers and dif…

Let $\mathcal{L}=(L,[\cdot\,,\cdot],\delta)$ be an algebraic Lie algebroid over a smooth projective curve $X$ of genus $g\geq 2$ such that $L$ is a line bundle whose degree is less than $2-2g$. Let $r$ and $d$ be coprime numbers. We prove…

We review Morita equivalence for finite type $k$-algebras $A$ and also a weakening of Morita equivalence which we call stratified equivalence. The spectrum of $A$ is the set of equivalence classes of irreducible $A$-modules. For any finite…

We study graded rings of meromorphic Hermitian modular forms of degree two whose poles are supported on an arrangement of Heegner divisors. For the group $\mathrm{SU}_{2,2}(\mathcal{O}_K)$ where $K$ is the imaginary-quadratic number field…

We construct an isomorphism between the wrapped higher-dimensional Heegaard Floer homology of $\kappa$-tuples of cotangent fibers and $\kappa$-tuples of conormal bundles of homotopically nontrivial simple closed curves in $T^*\Sigma$ with a…

Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra, $U_q(\mathfrak{g})$ its quantum group, and $U_q(\mathfrak{k}) \subset U_q(\mathfrak{g})$ a quantum symmetric pair subalgebra determined by a Lie algebra automorphism $\theta$. We…

The Harder-Narasimhan theory provides a canonical filtration of a vector bundle on a projective curve whose successive quotients are semistable with strictly decreasing slopes. In this article, we present the formalization of…

We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees…

We study the homomorphism spaces between Specht modules for the Hecke algebras $\h$ of type $A$. We prove a cellular analogue of the kernel intersection theorem and a $q$-analogue of a theorem of Fayers and Martin and apply these results to…

A linear algebraic group $G$ is represented by the linear space of its algebraic functions $F(G)$ endowed with multiplication and comultiplication which turn it into a Hopf algebra. Supplying $G$ with a Poisson structure, we get a quantized…

In this paper we study homological properties of modules over an affine Hecke algebra H. In particular we prove a comparison result for higher extensions of tempered modules when passing to the Schwartz algebra S, a certain topological…

It was proved in [3] that every h-divisible modules admits an strongly flat cover over all integral domains; and every divisible module over an integral domain R admits a strongly flat cover if and only if R is a Matlis domain. In this…

Let $A$ be a Koszul Artin-Schelter regular algebra, $\sigma$ a graded automorphism of $A$ and $\delta$ a degree-one $\sigma$-derivation of $A$. We introduce an invariant for $\delta$ called the $\sigma$-divergence of $\delta$. We describe…

Given a Lie groupoid $\mathcal{G}$ over $M$, $A$ the tangent Lie algebroid of $\mathcal{G}$, and $\rho: A\rightarrow TM$ the anchor map, we provide a formula that decomposes an arbitrary multiplicative $k$-form $\Theta$ on $\mathcal{G}$…

In this article, we deal with the structure of the spherical Hall algebra of coherent sheaves with parabolic structures on a smooth projective curve of arbitrary genus. We provide a shuffle-like presentation of the vector bundle part and…

Let K be a field and denote by K[t], the polynomial ring with coefficients in K. Set A = K[f1,. .. , fs], with f1,. .. , fs $\in$ K[t]. We give a procedure to calculate the monoid of degrees of the K algebra M = F1A + $\times$ $\times$…

Let ${\cal F}\_\lambda(S^1)$ be the space of tensor densities of degree (or weight) $\lambda$ on the circle $S^1$. The space ${\cal D}^k\_{\lambda,\mu}(S^1)$ of $k$-th order linear differential operators from ${\cal F}\_\lambda(S^1)$ to…

Recent discoveries make it possible to compute the K-theory of certain rings from their cyclic homology and certain versions of their cdh-cohomology. We extend the work of G. Corti\~nas et al. who calculated the K-theory of, in addition to…

Let A -> B be a homomorphism of commutative rings. The squaring operation is a functor Sq_{B/A} from the derived category D(B) of complexes B-modules into itself. The squaring operation is needed for the definition of rigid complexes (in…

We prove, under some mild conditions, that the equivariant twisted K-theory group of a crossed module admits a ring structure if the twisting 2-cocycle is 2-multiplicative. We also give an explicit construction of the transgression map…

Diagram algebras (e.g. graded braid groups, Hecke algebras, Brauer algebras) arise as tensor power centralizer algebras, algebras of commuting operators for a Lie algebra action on a tensor space. This work explores centralizers of the…