Related papers: Reduction theory for connections over the formal p…
Recently, Gavazzo has developed a relational theory of symbolic manipulation, that allows to study syntax-based rewriting systems without relying on specific notions of syntax. This theory was obtained by extending the algebra of relations…
The formal degree conjecture relates the formal degree of an irreducible square-integrable representation of a reductive group over a local field to the special value of the adjoint $\gamma$-factor of its $L$-parameter. In this paper, we…
We consider the Lie algebra associated with the descending central series filtration of the pure braid group of a closed surface of arbitrary genus. R. Bezrukavnikov gave a presentation of this Lie algebra over the rational numbers. We show…
We determine all finite subgroups of simple algebraic groups that have irreducible centralizers - that is, centralizers whose connected component does not lie in a parabolic subgroup.
We prove that rationally connected varieties over the function field of a complex curve satisfy weak approximation for places of good reduction.
Let $\mathfrak{g}$ be a reductive Lie algebra over an algebraically closed, characteristic zero field or over $\mathbb{R}$. Let $\mathfrak{q}$ be a parabolic subalgebra of $\mathfrak{g}$. We characterize the derivations of $\mathfrak{q}$ by…
Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first main theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then…
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…
The unitary representation theory of locally compact contraction groups and their semi-direct products with $\mathbb{Z}$ is studied. We put forward the problem of completely characterising such groups which are type I or CCR and this…
Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem for the system $\mathbf{LK}$, several other proofs have been proposed. Even though the…
The present work aims to exploit the interplay between the algebraic properties of rings and the graph-theoretic structures of their associated graphs. We introduce commutatively closed graphs and investigate properties of commutatively…
Associated to any graph is a toric ideal whose generators record relations among the cuts of the graph. We study these ideals and the geometry of the corresponding toric varieties. Our theorems and conjectures relate the combinatorial…
Let k be a separably closed field. Let G be a reductive algebraic k-group. In this paper, we study Serre's notion of complete reducibility of subgroups of G over k. In particular, using the recently proved center conjecture of Tits, we show…
We generalize reduction theorems for classical connections to operators with values in $k$-th order natural bundles. Using the first reduction theorem in order two we classify all (0,2)-tensor fields on the cotangent bundle of a manifold…
By a quasi-connected reductive group (a term of Labesse) over an arbitrary field we mean an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic…
We consider the category of linear relations over an arbitrary commutative ring, and identify it as a subcategory of the category of Kronecker representations. We observe that this subcategory forms a definable, faithful and hereditary…
We initiate a study on a range of new generalized derivations of finite-dimensional Lie algebras over an algebraically closed field of characteristic zero. This new generalization of derivations has an analogue in the theory of associative…
In this paper we state and prove ad hoc "Separation Theorems" of the so-called Smooth Commutative Algebra, the Commutative Algebra of \(\mathcal{C}^{\infty}-\)rings. These results are formally similar to the ones we find in (ordinary)…
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…
We construct an explicit bundle with flat connection on the configuration space of n points of a complex curve. This enables one to recover the `formality' isomorphism between the Lie algebra of the prounipotent completion of the pure braid…