Related papers: Hirzebruch-Riemann-Roch for complex analytic infin…
We investigate the structure and representation theory of finite-dimensional $\mathbb{Z}$-graded Lie algebras, including the corresponding root systems and Verma, irreducible, and Harish-Chandra modules. This extends the familiar theory for…
Let $G$ be a finite group acting on a ring $R$ and $H$ a subgroup of $G$. In this paper we compare some homological dimensions over the skew group rings $RG$ and $RH$. Moreover, under the assumption that $RG$ is a separable extension over…
The goal of this dissertation is to present synthetic homotopy theory in the setting of homotopy type theory. We will present various results in this framework, most notably the construction of the Atiyah-Hirzebruch and Serre spectral…
LTL3 is a multi-valued variant of Linear-time Temporal Logic for runtime verification applications. The semantic descriptions of LTL3 in previous work are given only in terms of the relationship to conventional LTL. Our approach, by…
We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental…
We study the quasi-endomorphism ring of infinitely definable subgroups in separably closed fields. Based on the results we obtain, we are able to prove a Mordell-Lang theorem for Drinfeld modules of finite characteristic. Using…
We give a new, purely topological construction of Eisenstein cohomology classes for Hilbert-Blumenthal varieties using the polylogarithm for families of topological tori and a decomposition with respect to the units in the center of $GL_2$.…
In this paper, we determine the $\tau$-tilting finiteness for some blocks of (classical) Schur algebras. Combining with the results in arXiv:2010.05206, we get a complete classification of $\tau$-tilting finite Schur algebras. As a…
In this paper, we begin with the classification of Harish-Chandra imprimitive representations in non-defining characteristic. We recall the connection of this problem to certain generalizations of Iwahori-Hecke algebras and show that…
We develop an analytic framework for Lefschetz fixed point theory and Morse theory for Hilbert complexes on stratified pseudomanifolds. We develop formulas for both global and local Lefschetz numbers and Morse, Poincar\'e polynomials as…
The paper is to classify irreducible integrable modules for the twisted full toroidal Lie algebra with some technical conditions. The twisted full toroidal Lie algebra are extensions of multiloop algebra twisted by sevaral finite order…
We set up a homological algebra for N-complexes, which are graded modules together with a degree -1 endomorphism d satisfying d^N=0. We define Tor- and Ext-groups for N-complexes and we compute them in terms of their classical counterparts…
We introduce higher-dimensional automata for infinite interval ipomsets ($\omega$-HDAs). We define key concepts from different points of view, inspired from their finite counterparts. Then we explore languages recognized by $\omega$-HDAs…
For certain one-dimensional Schroedinger-type difference operators with a complex potential, a "complete" set of exponentially decaying eigenvectors is shown to exist. "Completeness" entails that the parameters involved are obtained through…
We define analytic $R$-groups for affine Hecke algebras, and prove the analog of the Knapp-Stein Dimension Theorem. As a corollary we prove that the commutant algebra of a unitary principal series representation is isomorphic to the complex…
New boundary conditions for integrable nonlinear lattices of the XXX type, such as the Heisenberg chain and the Toda lattice are presented. These integrable extensions are formulated in terms of a generic XXX Heisenberg magnet interacting…
Two integral representations of q-analogues of the Hurwitz zeta function are established. Each integral representation allows us to obtain an analytic continuation including also a full description of poles and special values at…
We generalize Harrington-Marker-Shelah's Dilworth-style characterization of the existence of non-empty perfect antichains to co-analytic quasi-orders, establish the analogous theorem at the next definable cardinal, and consider…
For a row-finite higher-rank graph {\Lambda}, we construct a higher-rank graph T{\Lambda} such that the Toeplitz algebra of {\Lambda} is isomorphic to the Cuntz-Krieger algebra of T{\Lambda}. We then prove that the higher-rank graph…
We construct higher categories of iterated spans, possibly equipped with extra structure in the form of "local systems", and classify their fully dualizable objects. By the Cobordism Hypothesis, these give rise to framed topological quantum…