Related papers: The Frolicher--Kriegl differentiabilities as a par…
We give a short proof of the Cwikel-Lieb-Rozenblum (CLR) bound on the number of negative eigenvalues of Schr\"odinger operators. The argument, which is based on work of Rumin, leads to remarkably good constants and applies to the case of…
Let $k$ be a perfect field of characteristic $p \geq 3$. We classify $p$-divisible groups over regular local rings of the form $W(k)[[t_1,...,t_r,u]]/(u^e+pb_{e-1}u^{e-1}+...+pb_1u+pb_0)$, where $b_0,...,b_{e-1}\in W(k)[[t_1,...,t_r]]$ and…
We show that certain characteristic varieties of a finitely generated module over a given Weyl algebra arising from weighted degree filtrations are equal to the critical cone of some other characteristic varieties. This behaviour of the…
Several complete congruences on the lattice L(CR) of varieties of completely regular semi- groups have been fundamental to studies of the structure of L(CR). These are the kernel relation K , the left trace relation Tl , the right trace…
In this paper, we develop twisted $K$-theory for stacks, where the twisted class is given by an $S^1$-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure $K^i_\alpha…
We find a class of nonlocal operators constructed by attaching a disorder operator to fermionic degrees of freedom, which can be used to generate q-deformed algebras following the Schwinger approach. This class includes the recently…
Let $K$ be an imaginary quadratic field with discriminant $d_K\leq-7$. We deal with problems of constructing normal bases between abelian extensions of $K$ by making use of singular values of Siegel functions. First, we show that a…
In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated…
This short paper presents a generalisation of Tressl's structure theorem for differentially finitely generated algebras over differential rings of characteristic 0 to the case of separable algebras over differential rings of arbitrary…
Mekler's construction gives an interpretation of any structure in a finite relational language in a group (nilpotent of class $2$ and exponent $p>2$, but not finitely generated in general). Even though this construction is not a…
In this paper, as the second in our series of papers on differential geometry of microlinear Frolicher spaces, we study differenital forms. The principal result is that the exterior differentiation is uniquely determined geometrically, just…
We investigate the representation theory of domestic group schemes $\mathcal{G}$ over an algebraically closed field of characteristic $p > 2$. We present results about filtrations of induced modules, actions on support varieties, Clifford…
We give examples of groups G such that G^00 is different from G^000. We also prove that for groups G definable in an o-minimal structure, G has a "bounded orbit" iff G is definably amenable. These results answer questions of Gismatullin,…
This thesis is divided into two parts. In the first part, we study models of $(\infty,\omega)$-categories. The main result is to establish a Quillen equivalence between Rezk's complete Segal $\Theta$-spaces and Verity's complicial sets. In…
In his work on the mathematical formulation of 2d quantum gravity Schwarz established a rigidity result for Kac-Schwarz operators for the n-KdV hierarchies. Later on, Adler and van Moerbeke as well as Fastr\'{e} obtained different proofs of…
We prove that universal differentiability sets in Euclidean spaces possess distinctive structural properties. Namely, we show that any universal differentiability set contains a `kernel' in which the points of differentiability of each…
A linear locally nilpotent derivation of the polynomial algebra $K[X_m]$ in $m$ variables over a field $K$ of characteristic 0 is called a Weitzenb\"ock derivation. It is well known from the classical theorem of Weitzenb\"ock that the…
A local existence and uniqueness theorem for ODEs in the special algebra of generalized functions is established, as well as versions including parameters and dependence on initial values in the generalized sense. Finally, a Frobenius…
Using general identities for difference operators, as well as a technique of symbolic computation and tools from probability theory, we derive very general kth order (k \ge 2) convolution identities for Bernoulli and Euler polynomials. This…
Two types of higher order Lie $\ell$-ple systems are introduced in this paper. They are defined by brackets with $\ell > 3$ arguments satisfying certain conditions, and generalize the well known Lie triple systems. One of the…