• ### Real bundle gerbes, orientifolds and twisted KR-homology(1608.06466)

March 24, 2019 hep-th, math.DG, math-ph, math.MP, math.KT
We consider Real bundle gerbes on manifolds equipped with an involution and prove that they are classified by their Real Dixmier-Douady class in Grothendieck's equivariant sheaf cohomology. We show that the Grothendieck group of Real bundle gerbe modules is isomorphic to twisted KR-theory for a torsion Real Dixmier-Douady class. Using these modules as building blocks, we introduce geometric cycles for twisted KR-homology and prove that they generate a real-oriented generalised homology theory dual to twisted KR-theory for Real closed manifolds, and more generally for Real finite CW-complexes, for any Real Dixmier-Douady class. This is achieved by defining an explicit natural transformation to analytic twisted KR-homology and proving that it is an isomorphism. Our model both refines and extends previous results by Wang and Baum-Carey-Wang to the Real setting. Our constructions further provide a new framework for the classification of orientifolds in string theory, providing precise conditions for orientifold lifts of H-fluxes and for orientifold projections of open string states.
• ### Asymptotic behaviors of representations of graded categories with inductive functors(1705.00882)

March 20, 2019 math.RT, math.KT, math.AC, math.RA
In this paper we describe an inductive machinery to investigate asymptotic behaviors of homology groups and related invariants of representations of certain graded combinatorial categories over a commutative Noetherian ring $k$, via introducing inductive functors which generalize important properties of shift functors of $\mathrm{FI}$-modules. In particular, a sufficient criterion for finiteness of Castelnuovo-Mumford regularity of finitely generated representations of these categories is obtained. As applications, we show that a few important infinite combinatorial categories appearing in representation stability theory are equipped with inductive functors, and hence the finiteness of Castelnuovo-Mumford regularity of their finitely generated representations is guaranteed. We also prove that truncated representations of these categories have linear minimal resolutions by relative projective modules, which are precisely linear minimal projective resolutions when $k$ is a field of characteristic 0.
• ### Chow-Witt rings of classifying spaces for symplectic and special linear groups(1703.05362)

March 19, 2019 math.AT, math.AG, math.KT
We compute the Chow-Witt rings of the classifying spaces for the symplectic and special linear groups. In the structural description we give, contributions from real and complex realization are clearly visible. In particular, the computation of cohomology with $\mathbf{I}^j$-coefficients is done closely along the lines of Brown's computation of integral cohomology for special orthogonal groups. The computations for the symplectic groups show that Chow-Witt groups are a symplectically oriented ring cohomology theory. Using our computations for special linear groups, we also discuss the question when an oriented vector bundle of odd rank splits off a trivial summand.
• ### Equivariant $A$-theory(1609.03429)

March 18, 2019 math.AT, math.KT
We give a new construction of the equivariant $K$-theory of group actions (cf. Barwick et al.), producing an infinite loop $G$-space for each Waldhausen category with $G$-action, for a finite group $G$. On the category $R(X)$ of retractive spaces over a $G$-space $X$, this produces an equivariant lift of Waldhausen's functor $A(X)$, and we show that the $H$-fixed points are the bivariant $A$-theory of the fibration $X_{hH}\to BH$. We then use the framework of spectral Mackey functors to produce a second equivariant refinement $A_G(X)$ whose fixed points have tom Dieck type splittings. We expect this second definition to be suitable for an equivariant generalization of the parametrized $h$-cobordism theorem.
• ### Schur-finiteness (and Bass-finiteness) conjecture for quadric fibrations and for families of sextic du Val del Pezzo surfaces(1708.05382)

March 13, 2019 math.AT, math.AG, math.RT, math.KT
Let Q -> B be a quadric fibration and T -> B a family of sextic du Val del Pezzo surfaces. Making use of the recent theory of noncommutative mixed motives, we establish a precise relation between the Schur-finiteness conjecture for Q, resp. for T, and the Schur-finiteness conjecture for B. As an application, we prove the Schur-finiteness conjecture for Q, resp. for T, when B is low-dimensional. Along the way, we obtain a proof of the Schur-finiteness conjecture for smooth complete intersections of two or three quadric hypersurfaces. Finally, we prove similar results for the Bass-finiteness conjecture.
• ### G-groups of Cohen-Macaulay Rings with $n$-Cluster Tilting Objects(1509.02978)

March 13, 2019 math.KT, math.AC
Let $(R, \mathfrak{m}, k)$ denote a local Cohen-Macaulay ring such that the category of maximal Cohen-Macaulay $R$-modules $\textbf{mcm}\ R$ contains an $n$-cluster tilting object $L$. In this paper, we compute $G_1(R) := K_1(\textbf{mod}\ R)$ explicitly as a direct sum of a free group and a specified quotient of $\text{aut}_R(L)_{\text{ab}}$ when $R$ is a $k$-algebra and $k$ is algebraically closed (and $\text{char}(k)\neq 2$). Moreover, we give some explicit computations of $\text{aut}_R(L)_{\text{ab}}$ and $G_1(R)$ for certain hypersurface singularities.
• ### Lie algebras of differential operators: Extensions(1512.02967)

Oct. 1, 2019 math.DG, math.AG, math.KT
The aim of this note is to introduce the notion of a $\operatorname{D}$-Lie algebra and to prove some elementary properties of $\operatorname{D}$-Lie algebras, the category of $\operatorname{D}$-Lie algebras, the category of modules on a $\operatorname{D}$-Lie algebra and extensions of $\operatorname{D}$-Lie algebras. A $\operatorname{D}$-Lie algebra is an $A/k$-Lie-Rinehart algebra equipped with an $A\otimes_k A$-module structure and a canonical central element $D$ and a compatibility property between the $k$-Lie algebra structure and the $A\otimes_k A$-module structure. Several authors have studied non-abelian extensions of Lie algebras, super Lie algebras, Lie algebroids and holomorphic Lie algebroids and we give in this note an explicit constructions of all non-abelian extensions a $\operatorname{D}$-Lie algebra $\tilde{L}$ by an $A$-Lie algebra $(W,[,])$ where $\tilde{L}$ is projective as left $A$-module and $W$ is an $A\otimes_k A$-module with $IW=0$ for $I$ the kernel of the multiplication map. As a corollary we get an explicit construction of all non-abelian extensions of an $A/k$-Lie-Rinehart algebra $(L,\alpha)$ by an $A$-Lie algebra $(W,[,])$ where $L$ is projective as left $A$-module.
• ### Motives with modulus(1511.07124)

March 2, 2019 math.AG, math.KT, math.NT
We construct and study a triangulated category of motives with modulus $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ over a field $k$ that extends Voevodsky's category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ in such a way as to encompass non-homotopy invariant phenomena. In a similar way as $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of smooth $k$-varieties, $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of \emph{proper modulus pairs}, that is, pairs of a proper $k$-variety $X$ and an effective divisor $D$ on $X$ such that $X \setminus |D|$ is smooth. To a modulus pair $(X, D)$ we associate its motive $M(X, D) \in \mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$. In some cases the Hom group in $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ between the motives of two modulus pairs can be described in terms of Bloch's higher Chow groups.
• ### Adiabatic groupoids and secondary invariants in K-theory(1609.08015)

March 1, 2019 math.DG, math.OA, math.KT
In this paper we define K-theoretic secondary invariants attached to a Lie groupoid $G$. The K-theory of $C^*_r(G_{ad}^0)$ (where $G_{ad}^0$ is the adiabatic deformation $G$ restricted to the interval $[0,1)$) is the receptacle for K-theoretic secondary invariants. We give a Lie groupoid version of construction given by Piazza and Schick in the setting of the Coarse Geometry. Our construction directly generalises to more involved geometrical situation, such as foliations, well encoded by a Lie groupoid. Along the way we tackle the problem of producing a wrong-way functoriality between adiabatic deformation groupoid K-groups with respect to transverse maps. This extends the construction of the lower shriek map given by Connes and Skandalis. Moreover we attach a secondary invariant to the two following operators: the signature operator on a pair of homotopically equivalent Lie groupoids; the Dirac operator on a Lie groupoid equipped with a metric that has positive scalar curvature $s$-fiber-wise. Furthermore we prove a Lie groupoid version of the Delocalized APS Index Theorem of Piazza and Schick. Finally we give a product formula for the secondary invariants and we state stability results about cobordism classes of Lie groupoid structures and bordism classes of Lie groupoid metric with positive scalar curvature along the $s$-fibers. This is the revised version accepted by Advances in Mathematics.
• ### Noncommutative motives in positive characteristic and their applications(1707.04248)

Feb. 28, 2019 math.AT, math.AG, math.RT, math.KT
Let k be a base field of positive characteristic. Making use of topological periodic cyclic homology, we start by proving that the category of noncommutative numerical motives over k is abelian semi-simple, as conjectured by Kontsevich. Then, we establish a far-reaching noncommutative generalization of the Weil conjectures, originally proved by Dwork and Grothendieck. In the same vein, we establish a far-reaching noncommutative generalization of the cohomological interpretations of the Hasse-Weil zeta function, originally proven by Hesselholt. As a third main result, we prove that the numerical Grothendieck group of every smooth proper dg category is a finitely generated free abelian group, as claimed (without proof) by Kuznetsov. Then, we introduce the noncommutative motivic Galois (super-)groups and, following an insight of Kontsevich, relate them to their classical commutative counterparts. Finally, we explain how the motivic measure induced by Berthelot's rigid cohomology can be recovered from the theory of noncommutative motives.
• ### A rigid Leibniz algebra with non-trivial HL^2(1508.06877)

Aug. 23, 2019 math.KT, math.RA
In this article, we generalize Richardson's example of a rigid Lie algebra with non-trivial $H^2$ to the Leibniz setting. Namely, we consider the hemisemidirect product ${\mathfrak h}$ of a semidirect product Lie algebra $M_k\rtimes{\mathfrak g}$ of a simple Lie algebra ${\mathfrak g}$ with some non-trivial irreducible ${\mathfrak g}$-module $M_k$ with a non-trivial irreducible ${\mathfrak g}$-module $I_l$. Then for ${\mathfrak g}={\mathfrak s}{\mathfrak l}_2({\mathbb C})$, we take $M_k$ (resp. $I_l$) to be the standard irreducible ${\mathfrak s}{\mathfrak l}_2({\mathbb C})$-module of dimension $k+1$ (resp. $l+1$). Assume $\frac{k}{2}>5$ is an odd integer and $l>2$ is odd, then we show that the Leibniz algebra ${\mathfrak h}$ is geometrically rigid and has non-trivial $HL^2$ with adjoint coefficients. We close the article with an appendix where we record further results on the question whether $H^2({\mathfrak g},{\mathfrak g})=0$ implies $HL^2({\mathfrak g},{\mathfrak g})=0$.
• ### Positive scalar curvature via end-periodic manifolds(1706.09354)

Feb. 16, 2019 hep-th, math.DG, math-ph, math.MP, math.KT
We obtain two types of results on positive scalar curvature metrics for compact spin manifolds that are even dimensional. The first type of result are obstructions to the existence of positive scalar curvature metrics on such manifolds, expressed in terms of end-periodic eta invariants that were defined by Mrowka-Ruberman-Saveliev (MRS). These results are the even dimensional analogs of the results by Higson-Roe. The second type of result studies the number of path components of the space of positive scalar curvature metrics modulo diffeomorphism for compact spin manifolds that are even dimensional, whenever this space is non-empty. These extend and refine certain results in Botvinnik-Gilkey and also MRS. End-periodic analogs of K-homology and bordism theory are defined and are utilised to prove many of our results.
• ### Triangulated categories of relative 1-motives(1512.00266)

Feb. 13, 2019 math.AG, math.KT
We construct and study a candidate for the standard motivic t-structure on the triangulated category of relative cohomological 1-motives with rational coefficients over a noetherian finite dimensional scheme S. This t-structure is defined as a generated t-structure, and we show it is non-degenerate. We relate its heart MM^1(S) with Deligne 1-motives over S; in particular, when S is regular, the category of Deligne 1-motives embeds in MM^1(S) fully faithfully. We also study the inclusion of DA^1(S) into the larger category DA^{coh}(S) of relative cohomological motives on S, and prove that its right adjoint, the motivic Picard functor, preserves compact objects.
• ### Equivariant formality in $K$-theory(1704.04796)

Feb. 12, 2019 math.AT, math.KT
In this note we present an analogue of equivariant formality in $K$-theory and show that it is equivalent to equivariant formality \emph{\a la} Goresky-Kottwitz-MacPherson. We also apply this analogue to give alternative proofs of equivariant formality of conjugation action on compact Lie groups, left translation action on generalized flag manifolds, and compact Lie group actions with maximal rank isotropy subgroups.
• ### Han's conjecture and Hochschild homology for null-square projective algebras(1703.02131)

Feb. 12, 2019 math.RT, math.KT
Let $\mathcal H$ be the class of algebras verifying Han's conjecture. In this paper we analyse two types of algebras with the aim of providing an inductive step towards the proof of this conjecture. Firstly we show that if an algebra $\Lambda$ is triangular with respect to a system of non necessarily primitive idempotents, and if the algebras at the idempotents belong to $\mathcal H$, then $\Lambda$ is in $\mathcal H$. Secondly we consider a $2\times 2$ matrix algebra, with two algebras on the diagonal, two projective bimodules in the corners, and zero corner products. They are not triangular with respect to the system of the two diagonal idempotents. However, the analogous result holds, namely if both algebras on the diagonal belong to $\mathcal H$, then the algebra itself is in $\mathcal H$.
• ### Cyclic cohomology for graded $C^{*,r}$-algebras and its pairings with van Daele $K$-theory(1607.08465)

We consider cycles for graded $C^{*,r}$-algebras (Real $C^{*}$-algebras) which are compatible with the $*$-structure and the real structure. Their characters are cyclic cocycles. We define a Connes type pairing between such characters and elements of the van Daele $K$-groups of the $C^{*,r}$-algebra and its real subalgebra. This pairing vanishes on elements of finite order. We define a second type of pairing between characters and $K$-group elements which is derived from a unital inclusion of $C^{*}$-algebras. It is potentially non-trivial on elements of order two and torsion valued. Such torsion valued pairings yield topological invariants for insulators. The two-dimensional Kane-Mele and the three-dimensional Fu-Kane-Mele strong invariant are special cases of torsion valued pairings. We compute the pairings for a simple class of periodic models and establish structural results for two dimensional aperiodic models with odd time reversal invariance.
• ### Relative tensor triangular Chow groups for coherent algebras(1607.03423)

Feb. 4, 2019 math.CT, math.AG, math.KT
We apply the machinery of relative tensor triangular Chow groups to the action of the derived category of quasi-coherent sheaves on a noetherian scheme $X$ on the derived category of quasi-coherent $\mathcal{A}$-modules, where $\mathcal{A}$ is a (not necessarily commutative) quasi-coherent $\mathcal{O}_X$-algebra. When $\mathcal{A}$ is commutative and coherent, we recover the tensor triangular Chow groups of the relative Spec of $\mathcal{A}$. We also obtain concrete descriptions for integral group algebras and hereditary orders over curves, and we investigate the relation of these invariants to the classical ideal class group of an order. An important tool for these computations is a new description of relative tensor triangular Chow groups as the image of a map in the K-theoretic localization sequence associated to a certain Verdier localization.
• ### A description of the assembly map for the Baum-Connes conjecture with coefficients(1611.03781)

Feb. 1, 2019 math.AT, math.KT
In this note we set a configuration space description of the equivariant connective K-homology groups with coefficients in a unital C*-algebra for proper actions. Over this model we define a connective assembly map and prove that in this setting is possible to recover the analytic assembly map.
• ### Trace and Kunneth formulas for singularity categories and applications(1710.05902)

Jan. 31, 2019 math.CT, math.AG, math.KT
We present an $\ell$-adic trace formula for saturated and admissible dg-categories over a base monoidal dg-category. Moreover, we prove K\"unneth formulas for dg-category of singularities, and for inertia-invariant vanishing cycles. As an application, we prove a version of Bloch's Conductor Conjecture (stated by Spencer Bloch in 1985), under the additional hypothesis that the monodromy action of the inertia group is unipotent.
• ### Vanishing theorems for the negative K-theory of stacks(1705.02295)

Aug. 13, 2019 math.AT, math.AG, math.KT
We prove that the homotopy algebraic K-theory of tame quasi-DM stacks satisfies cdh-descent. We apply this descent result to prove that if X is a Noetherian tame quasi-DM stack and i < -dim(X), then K_i(X)[1/n] = 0 (resp. K_i(X, Z/n) = 0) provided that n is nilpotent on X (resp. is invertible on X). Our descent and vanishing results apply more generally to certain Artin stacks whose stabilizers are extensions of finite group schemes by group schemes of multiplicative type.
• ### Metaplectic transformations and finite group actions on noncommutative tori(1705.11194)

Jan. 28, 2019 math.OA, math.KT
In this article we describe extensions of some K-theory classes of Heisenberg modules over higher-dimensional noncommutative tori to projective modules over crossed products of noncommutative tori by finite cyclic groups, aka noncommutative orbifolds. The two dimensional case was treated by Echterhoff, L\"uck, Phillips and Walters. Our approach is based on the theory of metaplectic transformations of the representation theory of the Heisenberg group. We also describe the generators of the K-groups of the crossed products of flip actions by $\mathbb{Z}_2$ on 3-dimensional noncommutative tori.
• ### Index theory in spaces of manifolds(1608.01701)

Jan. 25, 2019 math.AT, math.KT
We formulate and prove a generalization of the Atiyah-Singer family index theorem in the context of the theory of spaces of manifolds \a la Madsen, Tillmann, Weiss, Galatius and Randal-Williams. Our results are for Dirac-type operators linear over arbitrary $C^*$-algebras.
• ### K-theoretic invariants of Hamiltonian fibrations(1508.06793)

We introduce new invariants of Hamiltonian fibrations with values in the suitably twisted K-theory of the base. Inspired by techniques of geometric quantization, our invariants arise from the family analytic index of a family of natural $Spin^c$-Dirac operators. As an application we give new examples of non-trivial Hamiltonian fibrations, that have not been previously detected by other methods. As one crucial ingredient we construct a potentially new homotopy equivalence map, with a certain naturality property, from $BU$ to the space of index $0$ Fredholm operators on a Hilbert space, using elements of modern theory of homotopy colimits.
• ### Baxter Q-operator from quantum K-theory(1612.08723)

We define and study the quantum equivariant $K$-theory of cotangent bundles over Grassmannians. For every tautological bundle in the $K$-theory we define its one-parametric deformation, referred to as quantum tautological bundle. We prove that the spectrum of operators of quantum multiplication by these quantum classes is governed by the Bethe ansatz equations for the inhomogeneous $XXZ$ spin chain. In addition, we prove that each such operator corresponds to the universal elements of quantum group $\mathcal{U}_{\hbar}(\widehat{\mathfrak{sl}}_2)$. In particular, we identify the Baxter operator for the $XXZ$ spin chain with the operator of quantum multiplication by the exterior algebra tautological bundle. The explicit universal combinatorial formula for this operator is found. The relation between quantum line bundles and quantum dynamical Weyl group is shown.
• ### The Completion Theorem in twisted equivariant $K$-Theory for proper and discrete actions(1408.2404)

Jan. 14, 2019 math.KT
We compare different algebraic structures in twisted equivariant K-Theory for proper actions of discrete groups. After the construction of a module structure over untwisted equivariant K-Theory, we prove a completion Theorem of Atiyah-Segal type for twisted equivariant K-Theory. Using a Universal coefficient Theorem, we prove a cocompletion Theorem for Twisted Borel K-Homology for discrete Groups.