Related papers: A differential Chevalley theorem
We introduce the notion of a good map between topological spaces: a continuous map $f:X \to Y$ is *good* if for every non-empty irreducible locally closed subset $U \subseteq X$, there exists a non-empty open subset $W \subseteq Y$ such…
In this thesis three topics on the model theory of partial differential fields are considered: the generalized Galois theory for partial differential fields, geometric axioms for the theory of partial differentially closed fields, and the…
Let C be an algebraically closed field and X a projective curve over C. Consider an ordinary linear differential equation, or a linear differ- ence equation, with coefficients in the field of rational functions of X, and assume that its…
We show how the theory of canonical bases in modified universal enveloping algebras can be used to develop the theory of Chevalley groups over any commutative ring with 1.
We prove a reduced version of the Chevalley restriction conjecture on the commuting scheme posed by T.H. Chen and B.C. Ng\^o, extending the results of Hunziker for classical groups. In particular, we prove that for any connected reductive…
In this paper, we prove an extension of Zaks' conjecture on integral domains with semi-regular proper homomorphic images (with respect to finitely generated ideals) to arbitrary rings (i.e., possibly with zero-divisors). The main result…
The Chevalley-Eilenberg differential calculus and differential operators over N-graded commutative rings are constructed. This is a straightforward generalization of the differential calculus over commutative rings, and it is the most…
We prove an explicit uniform Chevalley theorem for direct summands of graded polynomial rings in mixed characteristic. Our strategy relies on the introduction of a new type of differential powers, which do not require the existence of a…
We develop differential algebraic K-theory for rings of integers in number fields and we construct a cycle map from geometrized bundles of modules over such a ring to the differential algebraic K-theory. We also treat some of the…
We show that if X is a toric scheme over a regular ring containing a field then the direct limit of the K-groups of X taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was known in characteristic…
We analyze the abstract representations of the groups of rational points of even-dimensional quasi-split special unitary groups associated with quadratic field extensions. We show that, under certain assumptions, such representations have a…
We present an axiomatic approach to finite- and infinite-dimensional differential calculus over arbitrary infinite fields (and, more generally, suitable rings). The corresponding basic theory of manifolds and Lie groups is developed.…
We introduce a path-theoretic framework for understanding the representation theory of (quantum) symmetric and general linear groups and their higher level generalisations over fields of arbitrary characteristic. Our first main result is a…
We give an elementary construction of an arbitrary differentially closed field and of a universal differential extension of a differential field in terms of Nash function fields. We also give a characterization of any Archimedean ordered…
Let $X$ be a quasi-compact separated scheme over a base field. Keller proved a theorem stating that the cyclic homology of $X$ is canonically isomorphic to the cyclic homology of the dg category ${\sf Perf}(X)$ consisting of perfect…
We prove an analogue of Kac's Theorem, describing the dimension vectors of indecomposable coherent sheaves, or parabolic bundles, over weighted projective lines. We use a theorem of Peng and Xiao to associate a Lie algebra to the category…
We prove the following generalization of the classical Shephard-Todd-Chevalley Theorem. Let $G$ be a finite group of graded algebra automorphisms of a skew polynomial ring $A:=k_{p_{ij}}[x_1,...,x_n]$. Then the fixed subring $A^G$ has…
In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…
We prove a theorem that can be thought of as a common generalization of the Discrete Nodal Theorem and (one direction of) Cheeger's Inequality for graphs. special case of this result will assert that if the second and third eigenvalues of…
We define vector fields, leaves and trajectories for schemes. With these tools, we are able to give a geometrical interpretation and to generalize several results of differential Galois theory and constructions on differential schemes. We…