Showing 1–35 of 35 results for author: Braunling, O

K-theoretic Poitou-Tate duality in higher dimensions: proper case

Authors: Oliver Braunling

Abstract: We generalize Blumberg-Mandell's K-theoretic Poitou-Tate duality to arithmetic schemes of arbitrary dimension, smooth and proper over S-integers. As in our earlier papers on the subject, we discuss how to model the compactly supported side via the K-theory of locally compact modules. We generalize Blumberg-Mandell's K-theoretic Poitou-Tate duality to arithmetic schemes of arbitrary dimension, smooth and proper over S-integers. As in our earlier papers on the subject, we discuss how to model the compactly supported side via the K-theory of locally compact modules. △ Less

Submitted 18 April, 2025; originally announced April 2025.

MSC Class: Primary 19F05; Secondary 19D10; 22B05

Local compactness as the K(1)-local dual of finite generation

Authors: Oliver Braunling

Abstract: Suppose R is any localization of the ring of integers of a number field. We show that the K-theory of finitely generated R-modules, and the K-theory of locally compact R-modules, are Anderson duals in the K(1)-local homotopy category. The same is true for p-adic and finite fields. Suppose R is any localization of the ring of integers of a number field. We show that the K-theory of finitely generated R-modules, and the K-theory of locally compact R-modules, are Anderson duals in the K(1)-local homotopy category. The same is true for p-adic and finite fields. △ Less

Submitted 2 May, 2023; v1 submitted 14 January, 2023; originally announced January 2023.

Comments: (slightly shortened, minor edits, statements of the results unchanged)

MSC Class: 19F05; 55P42; 22B05

Hilbert reciprocity using K-theory localization

Authors: Oliver Braunling

Abstract: Usually the boundary map in K-theory localization only gives the tame symbol at $K_{2}$. It sees the tamely ramified part of the Hilbert symbol, but no wild ramification. Gillet has shown how to prove Weil reciprocity using such boundary maps. This implies Hilbert reciprocity for curves over finite fields. However, phrasing Hilbert reciprocity for number fields in a similar way fails because it cr… ▽ More Usually the boundary map in K-theory localization only gives the tame symbol at $K_{2}$. It sees the tamely ramified part of the Hilbert symbol, but no wild ramification. Gillet has shown how to prove Weil reciprocity using such boundary maps. This implies Hilbert reciprocity for curves over finite fields. However, phrasing Hilbert reciprocity for number fields in a similar way fails because it crucially hinges on wild ramification effects. We resolve this issue, except at p=2. Our idea is to pinch singularities near the ramification locus. This fattens up K-theory and makes the wild symbol visible as a boundary map. △ Less

Submitted 14 January, 2023; v1 submitted 22 November, 2021; originally announced November 2021.

MSC Class: Primary 11A15; 11S70; Secondary 19C20

A non-commutative analogue of Clausen's view on the idèle class group

Authors: Oliver Braunling, Ruben Henrard, Adam-Christiaan van Roosmalen

Abstract: Clausen predicted that Chevalley's idèle class group of a number field $F$ appears as the first $K$-group of the category of locally compact $F$-vector spaces. This has turned out to be true, and even generalizes to the higher $K$-groups in a suitable sense. We replace $F$ by a semisimple $\mathbb{Q}$-algebra, and obtain Fröhlich's non-commutative idèle class group in an analogous fashion, modulo… ▽ More Clausen predicted that Chevalley's idèle class group of a number field $F$ appears as the first $K$-group of the category of locally compact $F$-vector spaces. This has turned out to be true, and even generalizes to the higher $K$-groups in a suitable sense. We replace $F$ by a semisimple $\mathbb{Q}$-algebra, and obtain Fröhlich's non-commutative idèle class group in an analogous fashion, modulo the reduced norm one elements. Even in the number field case our proof is simpler than the existing one, and based on the localization theorem for percolating subcategories. Finally, using class field theory as input, we interpret Hilbert's reciprocity law (as well as a noncommutative variant) in terms of our results. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Comments: 36 pages. Comments welcome

MSC Class: 18E35; 19F05; 22B05; 19F15

Classes in Zakharevich K-groups constructed from Quillen K-theory

Authors: Oliver Braunling, Michael Groechenig

Abstract: We show that the K-groups K_{n}(O) for O the integers or an order in a CM field and n>0 appear as direct summands of the homotopy groups of various localisations of Zakharevich's K-theory space. After rationalisation and going to the 1-connective cover, this even becomes a retract of spaces. As an application, we provide the first construction of classes of infinite order in the higher Zakharevich… ▽ More We show that the K-groups K_{n}(O) for O the integers or an order in a CM field and n>0 appear as direct summands of the homotopy groups of various localisations of Zakharevich's K-theory space. After rationalisation and going to the 1-connective cover, this even becomes a retract of spaces. As an application, we provide the first construction of classes of infinite order in the higher Zakharevich K-groups. △ Less

Submitted 2 September, 2021; originally announced September 2021.

MSC Class: 14E99; 19E99

The standard realizations for the K-theory of varieties

Authors: Oliver Braunling, Michael Groechenig, Anubhav Nanavaty

Abstract: The Grothendieck ring of varieties has well-known realization maps to, say, mixed Hodge structures or compactly supported $\ell$-adic cohomology. Zakharevich and\ Campbell have developed {a spectral refinement} of the Grothendieck ring of varieties. We develop a realization map to Voevodsky mixed motives, and this lifts the standard realizations of motives to this setting, at least over perfect fi… ▽ More The Grothendieck ring of varieties has well-known realization maps to, say, mixed Hodge structures or compactly supported $\ell$-adic cohomology. Zakharevich and\ Campbell have developed {a spectral refinement} of the Grothendieck ring of varieties. We develop a realization map to Voevodsky mixed motives, and this lifts the standard realizations of motives to this setting, at least over perfect fields which have resolution of singularities. △ Less

Submitted 2 July, 2021; originally announced July 2021.

Comments: 19 pages

$K$-theory of locally compact modules over orders

Authors: Oliver Braunling, Ruben Henrard, Adam-Christiaan van Roosmalen

Abstract: We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently the vector modules. Our proof exploits the fact that the pair (vector modules plus compact modules, discrete modules) becomes a torsion theory after we quotient… ▽ More We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently the vector modules. Our proof exploits the fact that the pair (vector modules plus compact modules, discrete modules) becomes a torsion theory after we quotient out the finite modules. Treating these quotients as exact categories is possible due to a recent localization formalism. △ Less

Submitted 18 June, 2020; originally announced June 2020.

Comments: 8 pages. Comments welcome

MSC Class: 19B28; 19F05; 22B05; 18E35

Quinn's formula and abelian 3-cocycles for quadratic forms

Authors: Oliver Braunling

Abstract: In pointed braided fusion categories knowing the self-symmetry braiding of simples is theoretically enough to reconstruct the associator and braiding on the entire category (up to twisting by a braided monoidal auto-equivalence). We address the problem to provide explicit associator formulas given only such input. This problem was solved by Quinn in the case of finitely many simples. We reprove an… ▽ More In pointed braided fusion categories knowing the self-symmetry braiding of simples is theoretically enough to reconstruct the associator and braiding on the entire category (up to twisting by a braided monoidal auto-equivalence). We address the problem to provide explicit associator formulas given only such input. This problem was solved by Quinn in the case of finitely many simples. We reprove and generalize this in various ways. In particular, we show that extra symmetries of Quinn's associator can still be arranged to hold in situations where one has infinitely many isoclasses of simples. △ Less

Submitted 11 May, 2020; originally announced May 2020.

MSC Class: 18M20; 18M15

Braided categorical groups and strictifying associators

Authors: Oliver Braunling

Abstract: A key invariant of a braided categorical group is its quadratic form, introduced by Joyal and Street. We show that the categorical group is braided equivalent to a simultaneously skeletal and strictly associative one if and only if the polarization of this quadratic form is the symmetrization of a bilinear form. This generalizes the result of Johnson-Osorno that all Picard groupoids can simultaneo… ▽ More A key invariant of a braided categorical group is its quadratic form, introduced by Joyal and Street. We show that the categorical group is braided equivalent to a simultaneously skeletal and strictly associative one if and only if the polarization of this quadratic form is the symmetrization of a bilinear form. This generalizes the result of Johnson-Osorno that all Picard groupoids can simultaneously be strictified and skeletalized, except that in the braided case there is a genuine obstruction. △ Less

Submitted 31 October, 2019; originally announced November 2019.

MSC Class: 18D10; 19D23

On the relative K-group in the ETNC, Part III

Authors: Oliver Braunling

Abstract: The previous papers in this series were restricted to regular orders. In particular, we could not handle integral group rings, one of the most interesting cases of the ETNC. We resolve this issue. We obtain versions of our main results valid for arbitrary non-commutative Gorenstein orders. This encompasses the case of group rings. The only change we make is using a smaller subcategory inside all l… ▽ More The previous papers in this series were restricted to regular orders. In particular, we could not handle integral group rings, one of the most interesting cases of the ETNC. We resolve this issue. We obtain versions of our main results valid for arbitrary non-commutative Gorenstein orders. This encompasses the case of group rings. The only change we make is using a smaller subcategory inside all locally compact modules. △ Less

Submitted 1 October, 2019; originally announced October 2019.

MSC Class: 11R23; 11G40; 11R65; 28C10

An alternative construction of equivariant Tamagawa numbers

Authors: Oliver Braunling

Abstract: We propose a new formulation of the equivariant Tamagawa number conjecture (ETNC) for non-commutative coefficients. We remove Picard groupoids, determinant functors, virtual objects and relative K-groups. Our Tamagawa numbers lie in an idele group instead of any kind of K-group. Our formulation is proven equivalent to the one of Burns-Flach. We propose a new formulation of the equivariant Tamagawa number conjecture (ETNC) for non-commutative coefficients. We remove Picard groupoids, determinant functors, virtual objects and relative K-groups. Our Tamagawa numbers lie in an idele group instead of any kind of K-group. Our formulation is proven equivalent to the one of Burns-Flach. △ Less

Submitted 11 June, 2019; originally announced June 2019.

MSC Class: 11R42; 11R29

Volume of line bundles via valuation vectors (different from Okounkov bodies)

Authors: Oliver Braunling

Abstract: Up to a factor 1/n!, the volume of a big line bundle agrees with the Euclidean volume of its Okounkov body. The latter is the convex hull of top rank valuation vectors of sections, all with respect to a single flag. In this text we give a different volume formula, valid in the ample cone, also based on top rank valuation vectors, but mixing data along several different flags. Up to a factor 1/n!, the volume of a big line bundle agrees with the Euclidean volume of its Okounkov body. The latter is the convex hull of top rank valuation vectors of sections, all with respect to a single flag. In this text we give a different volume formula, valid in the ample cone, also based on top rank valuation vectors, but mixing data along several different flags. △ Less

Submitted 11 March, 2019; originally announced March 2019.

MSC Class: 14C20; 13F30

On the relative K-group in the ETNC, Part II

Authors: Oliver Braunling

Abstract: In a previous paper we showed, under some assumptions, that the relative K-group in the Burns-Flach formulation of the equivariant Tamagawa number conjecture (ETNC) is canonically isomorphic to a K-group of locally compact equivariant modules. This viewpoint, as well as the usual one, come with generator-relator presentations (due to Bass-Swan and Nenashev) and in this paper we provide an explicit… ▽ More In a previous paper we showed, under some assumptions, that the relative K-group in the Burns-Flach formulation of the equivariant Tamagawa number conjecture (ETNC) is canonically isomorphic to a K-group of locally compact equivariant modules. This viewpoint, as well as the usual one, come with generator-relator presentations (due to Bass-Swan and Nenashev) and in this paper we provide an explicit map. △ Less

Submitted 1 July, 2019; v1 submitted 7 November, 2018; originally announced November 2018.

Comments: shortened (removed all sections not related to the main result)

MSC Class: Primary 11R23; 11G40; Secondary 11R65; 28C10

Automorphisms of OT manifolds and ray class numbers

Authors: Oliver Braunling, Victor Vuletescu

Abstract: We compute the automorphism group of OT manifolds of simple type. We show that the graded pieces under a natural filtration are related to a certain ray class group of the underlying number field. This does not solve the open question whether the geometry of the OT manifold sees the class number directly, but brings us a lot closer to a possible solution. We compute the automorphism group of OT manifolds of simple type. We show that the graded pieces under a natural filtration are related to a certain ray class group of the underlying number field. This does not solve the open question whether the geometry of the OT manifold sees the class number directly, but brings us a lot closer to a possible solution. △ Less

Submitted 30 July, 2018; originally announced July 2018.

MSC Class: 32J18

On the relative K-group in the ETNC

Authors: Oliver Braunling

Abstract: We consider the Burns-Flach formulation of the equivariant Tamagawa number conjecture (ETNC). In their setup, a Tamagawa number is an element of a relative K-group. We show that this relative group agrees with an ordinary K-group, namely of the category of locally compact topological modules over the order. Its virtual objects are an equivariant Haar measure in a precise sense. We expect that all… ▽ More We consider the Burns-Flach formulation of the equivariant Tamagawa number conjecture (ETNC). In their setup, a Tamagawa number is an element of a relative K-group. We show that this relative group agrees with an ordinary K-group, namely of the category of locally compact topological modules over the order. Its virtual objects are an equivariant Haar measure in a precise sense. We expect that all relative K-groups in the ETNC will have analoguous interpretations. At present, we need to restrict to regular orders, e.g. hereditary. △ Less

Submitted 28 June, 2018; originally announced June 2018.

MSC Class: Primary 11R23; 11G40; Secondary 11R65; 28C10

The $A_\infty$-structure of the index map

Authors: Oliver Braunling, Michael Groechenig, Jesse Wolfson

Abstract: Let $F$ be a local field with residue field $k$. The classifying space of $GL_n(F)$ comes canonically equipped with a map to the delooping of the $K$-theory space of $k$. Passing to loop spaces, such a map abstractly encodes a homotopy coherently associative map of A-infinity-spaces $GL_n(F)\to K_k$. Using a generalized Waldhausen construction, we construct an explicit model built for the… ▽ More Let $F$ be a local field with residue field $k$. The classifying space of $GL_n(F)$ comes canonically equipped with a map to the delooping of the $K$-theory space of $k$. Passing to loop spaces, such a map abstractly encodes a homotopy coherently associative map of A-infinity-spaces $GL_n(F)\to K_k$. Using a generalized Waldhausen construction, we construct an explicit model built for the $A_\infty$-structure of this map, built from nested systems of lattices in $F^n$. More generally, we construct this model in the framework of Tate objects in exact categories, with finite dimensional vector spaces over local fields as a motivating example. △ Less

Submitted 22 June, 2018; originally announced June 2018.

Comments: 24 pages. This article was split off from an earlier draft of arXiv:1410.1466 and expanded into the present form

MSC Class: 19D55

On the automorphic side of the K-theoretic Artin symbol

Authors: Peter Arndt, Oliver Braunling

Abstract: Clausen has constructed a homotopical enrichment of the Artin reciprocity symbol in class field theory. On the Galois side, Selmer K-homology replaces the abelianized Galois group, while on the automorphic side the K-theory of locally compact vector spaces replaces classical idelic objects. We supply proofs for some predictions of Clausen regarding the automorphic side. Clausen has constructed a homotopical enrichment of the Artin reciprocity symbol in class field theory. On the Galois side, Selmer K-homology replaces the abelianized Galois group, while on the automorphic side the K-theory of locally compact vector spaces replaces classical idelic objects. We supply proofs for some predictions of Clausen regarding the automorphic side. △ Less

Submitted 1 March, 2018; originally announced March 2018.

MSC Class: 22B05 (Primary); 19D10; 11R37 (Secondary)

On the homology of Lie algebras like $\mathfrak{gl}(\infty,R)$

Authors: Oliver Braunling

Abstract: We revisit a recent paper of Fialowski and Iohara. They compute the homology of the Lie algebra $\mathfrak{gl}(\infty,R)$ for $R$ an associative unital algebra over a field of characteristic zero. We explain how to obtain essentially the same results by a completely different method. We revisit a recent paper of Fialowski and Iohara. They compute the homology of the Lie algebra $\mathfrak{gl}(\infty,R)$ for $R$ an associative unital algebra over a field of characteristic zero. We explain how to obtain essentially the same results by a completely different method. △ Less

Submitted 5 December, 2017; originally announced December 2017.

MSC Class: 20J05

Journal ref: Homology, Homotopy and Applications, Volume 21 (2019) Number 2

K-theory of locally compact modules over rings of integers

Authors: Oliver Braunling

Abstract: We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite different: Instead of a homotopy coherent cone construction in infinity categories, we rely on calculus of fraction type results in the style of Schlichting. This… ▽ More We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite different: Instead of a homotopy coherent cone construction in infinity categories, we rely on calculus of fraction type results in the style of Schlichting. This produces concrete exact category models for certain quotients, a fact which might be of independent interest. As in Clausen's work, our computation works for all localizing invariants, not just K-theory. △ Less

Submitted 30 October, 2017; originally announced October 2017.

MSC Class: 22B05; 19D10

On the normally ordered tensor product and duality for Tate objects

Authors: Oliver Braunling, Michael Groechenig, Aron Heleodoro, Jesse Wolfson

Abstract: This paper generalizes the normally ordered tensor product from Tate vector spaces to Tate objects over arbitrary exact categories. We show how to lift bi-right exact monoidal structures, duality functors, and construct external Homs. We list some applications: (1) Pontryagin duality uniquely extends to n-Tate objects in locally compact abelian groups; (2) Adeles of a flag can be written as ordere… ▽ More This paper generalizes the normally ordered tensor product from Tate vector spaces to Tate objects over arbitrary exact categories. We show how to lift bi-right exact monoidal structures, duality functors, and construct external Homs. We list some applications: (1) Pontryagin duality uniquely extends to n-Tate objects in locally compact abelian groups; (2) Adeles of a flag can be written as ordered tensor products; (3) Intersection numbers can be interpreted via these tensor products. △ Less

Submitted 22 February, 2023; v1 submitted 22 September, 2017; originally announced September 2017.

Comments: updated to reflect published version and corrigendum

MSC Class: 14A22; 18B30

Journal ref: Theory and Applications of Categories, Vol. 33, 2018, No. 13, pp 296-349

Multiplicative zeta function and logarithmic point counting over finite fields

Authors: Oliver Braunling

Abstract: The zeta function of a motive over a finite field is multiplicative with respect to the direct sum of motives. It has beautiful analytic properties, as were predicted by the Weil conjectures. There is also a multiplicative zeta function, which instead respects the tensor product of motives. There is no analogue of the Weil conjectures, and we give a sufficient criterion for an analytic continuatio… ▽ More The zeta function of a motive over a finite field is multiplicative with respect to the direct sum of motives. It has beautiful analytic properties, as were predicted by the Weil conjectures. There is also a multiplicative zeta function, which instead respects the tensor product of motives. There is no analogue of the Weil conjectures, and we give a sufficient criterion for an analytic continuation to exist. This happens, for example, for cellular varieties, abelian varieties, or genus g > 1 curves with a supersingular Jacobian. △ Less

Submitted 2 May, 2017; originally announced May 2017.

MSC Class: 14C15; 11M38

Torsion homology growth beyond asymptotics

Authors: Oliver Braunling

Abstract: We show that (under mild assumptions) the generating function of log homology torsion of a knot exterior has a meromorphic continuation to the entire complex plane. As corollaries, this gives new proofs of (a) the Silver-Williams asymptotic, (b) Fried's theorem on reconstructing the Alexander polynomial (c) Gordon's theorem on periodic homology. Our results generalize to other rank 1 growth phenom… ▽ More We show that (under mild assumptions) the generating function of log homology torsion of a knot exterior has a meromorphic continuation to the entire complex plane. As corollaries, this gives new proofs of (a) the Silver-Williams asymptotic, (b) Fried's theorem on reconstructing the Alexander polynomial (c) Gordon's theorem on periodic homology. Our results generalize to other rank 1 growth phenomena, e.g. Reidemeister-Franz torsion growth for higher-dimensional knots. We also analyze the exceptional cases where the meromorphic continuation does not exist. △ Less

Submitted 20 February, 2017; originally announced February 2017.

MSC Class: 57M25; 11R06

K-theory of semi-linear endomorphisms via the Riemann-Hilbert correspondence

Authors: Oliver Braunling

Abstract: Grayson, developing ideas of Quillen, has made computations of the K-theory of "semi-linear endomorphisms". In the present text we develop a technique to compute these groups in the case of Frobenius semi-linear actions. The main idea is to interpret the semi-linear modules as crystals and use a positive characteristic version of the Riemann-Hilbert correspondence. We also compute the K-theory of… ▽ More Grayson, developing ideas of Quillen, has made computations of the K-theory of "semi-linear endomorphisms". In the present text we develop a technique to compute these groups in the case of Frobenius semi-linear actions. The main idea is to interpret the semi-linear modules as crystals and use a positive characteristic version of the Riemann-Hilbert correspondence. We also compute the K-theory of the category of etale constructible p-torsion sheaves. △ Less

Submitted 12 October, 2016; v1 submitted 3 October, 2016; originally announced October 2016.

MSC Class: 19F27

Hochschild coniveau spectral sequence and the Beilinson residue

Authors: Oliver Braunling, Jesse Wolfson

Abstract: We develop the Hochschild analogue of the coniveau spectral sequence and the Gersten complex. Since Hochschild homology does not have devissage or A^1-invariance, this is a little different from the K-theory story. In fact, the rows of our spectral sequence look a lot like the Cousin complexes in Hartshorne's 1966 "Residues & Duality". Note that these are for coherent cohomology. We prove that the… ▽ More We develop the Hochschild analogue of the coniveau spectral sequence and the Gersten complex. Since Hochschild homology does not have devissage or A^1-invariance, this is a little different from the K-theory story. In fact, the rows of our spectral sequence look a lot like the Cousin complexes in Hartshorne's 1966 "Residues & Duality". Note that these are for coherent cohomology. We prove that they agree by an 'HKR isomorphism with supports'. Using the close ties of Hochschild homology to Lie algebra homology, this gives residue maps in Lie homology, which we show to agree with those à la Tate-Beilinson. △ Less

Submitted 26 July, 2016; originally announced July 2016.

MSC Class: 19D55

Journal ref: Pacific J. Math. 300 (2019) 257-329

Relative Tate Objects and Boundary Maps in the K-Theory of Coherent Sheaves

Authors: Oliver Braunling, Michael Groechenig, Jesse Wolfson

Abstract: We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an application we deduce a description for boundary morphisms in the K-theory of coherent sheaves on Noetherian schemes. We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an application we deduce a description for boundary morphisms in the K-theory of coherent sheaves on Noetherian schemes. △ Less

Submitted 18 November, 2015; originally announced November 2015.

Comments: This article supersedes the appendix to arXiv:1410.1466. Comments welcome!

MSC Class: 19D55

Geometric and analytic structures on the higher adèles

Authors: Oliver Braunling, Michael Groechenig, Jesse Wolfson

Abstract: The adèles of a scheme have local components - these are topological higher local fields. The topology plays a large role since Yekutieli showed in 1992 that there can be an abundance of inequivalent topologies on a higher local field and no canonical way to pick one. Using the datum of a topology, one can isolate a special class of continuous endomorphisms. Quite differently, one can bypass topol… ▽ More The adèles of a scheme have local components - these are topological higher local fields. The topology plays a large role since Yekutieli showed in 1992 that there can be an abundance of inequivalent topologies on a higher local field and no canonical way to pick one. Using the datum of a topology, one can isolate a special class of continuous endomorphisms. Quite differently, one can bypass topology entirely and single out special endomorphisms (global Beilinson-Tate operators) from the geometry of the scheme. Yekutieli's "Conjecture 0.12" proposes that these two notions agree. We prove this. △ Less

Submitted 9 October, 2017; v1 submitted 19 October, 2015; originally announced October 2015.

Comments: The final version of this preprint was published as: Braunling, O., Groechenig, M. & Wolfson, J. Res Math Sci (2016) 3: 22. https://doi.org/10.1186/s40687-016-0064-y

MSC Class: 14B20; 11R56

Journal ref: Res. Math. Sci., Special Collection in Celebration of the Research of Fedor Bogomolov on the Occasion of his 70th Birthday, vol. 3, no. 1, 2016, article 22

Operator ideals in Tate objects

Authors: Oliver Braunling, Michael Groechenig, Jesse Wolfson

Abstract: Tate's central extension originates from 1968 and has since found many applications to curves. In the 80s Beilinson found an n-dimensional generalization: cubically decomposed algebras, based on ideals of bounded and discrete operators in ind-pro limits of vector spaces. Kato and Beilinson independently defined '(n-)Tate categories' whose objects are formal iterated ind-pro limits in general exact… ▽ More Tate's central extension originates from 1968 and has since found many applications to curves. In the 80s Beilinson found an n-dimensional generalization: cubically decomposed algebras, based on ideals of bounded and discrete operators in ind-pro limits of vector spaces. Kato and Beilinson independently defined '(n-)Tate categories' whose objects are formal iterated ind-pro limits in general exact categories. We show that the endomorphism algebras of such objects often carry a cubically decomposed structure, and thus a (higher) Tate central extension. Even better, under very strong assumptions on the base category, the n-Tate category turns out to be just a category of projective modules over this type of algebra. △ Less

Submitted 31 August, 2015; originally announced August 2015.

MSC Class: 18E10; 22B99

Journal ref: Math. Res. Lett., vol. 23, no. 6, 2016, pp. 1565-1631

Oeljeklaus-Toma manifolds and arithmetic invariants

Authors: O. Braunling

Abstract: Oeljeklaus-Toma (OT) manifolds are certain compact complex manifolds built from number fields. Conversely, we show that the fundamental group often pins down the number field uniquely. We relate the first homology to some interesting ideal. OT manifolds are never Kähler, but carry an LCK metric (locally conformally Kähler). Oeljeklaus and Toma used them to disprove a conjecture on the Betti number… ▽ More Oeljeklaus-Toma (OT) manifolds are certain compact complex manifolds built from number fields. Conversely, we show that the fundamental group often pins down the number field uniquely. We relate the first homology to some interesting ideal. OT manifolds are never Kähler, but carry an LCK metric (locally conformally Kähler). Oeljeklaus and Toma used them to disprove a conjecture on the Betti numbers of spaces carrying LCK metrics. Mysteriously, the volume for this metric gives the discriminant and Dirichlet regulator of the number field. Totally unlike the above topological aspects, there does not seem to be a conceptual reason why this should be expected. Is it a coincidence? We explore this and see what happens if we (entirely experimentally!) regard them as "baby siblings" of, say, hyperbolic manifolds coming from number fields. We ask the same questions and obtain similar answers, but ultimately it remains unclear whether we are chasing ghosts or not. △ Less

Submitted 7 March, 2015; originally announced March 2015.

MSC Class: 53C55

Journal ref: Math. Z. (2017) 286: 291

A Generalized Contou-Carrère Symbol and its Reciprocity Laws in Higher Dimensions

Authors: Oliver Braunling, Michael Groechenig, Jesse Wolfson

Abstract: We generalize the theory of Contou-Carrère symbols to higher dimensions. To an $(n+1)$-tuple $f_0,\dots,f_n \in A((t_1))\cdots((t_n))^{\times}$, where $A$ denotes a commutative algebra over a field $k$, we associate an element $(f_0,\dots,f_n) \in A^{\times}$, compatible with the higher tame symbol for $k = A$, and earlier constructions for $n = 1$, by Contou-Carrère, and $n = 2$ by Osipov--Zhu. O… ▽ More We generalize the theory of Contou-Carrère symbols to higher dimensions. To an $(n+1)$-tuple $f_0,\dots,f_n \in A((t_1))\cdots((t_n))^{\times}$, where $A$ denotes a commutative algebra over a field $k$, we associate an element $(f_0,\dots,f_n) \in A^{\times}$, compatible with the higher tame symbol for $k = A$, and earlier constructions for $n = 1$, by Contou-Carrère, and $n = 2$ by Osipov--Zhu. Our definition is based on the notion of \emph{higher commutators} for central extensions of groups by spectra, thereby extending the approach of Arbarello--de Concini--Kac and Anderson--Pablos Romo. Following Beilinson--Bloch--Esnault for the case $n=1$, we allow $A$ to be arbitrary, and do not restrict to artinian $A$. Previous work of the authors on Tate objects in exact categories, and the index map in algebraic $K$-theory is essential in anchoring our approach to its predecessors. We also revisit categorical formal completions, in the context of stable $\infty$-categories. Using these tools, we describe the higher Contou-Carrère symbol as a composition of boundary maps in algebraic $K$-theory, and conclude the article by proving a version of Parshin--Kato reciprocity for higher Contou-Carrère symbols. △ Less

Submitted 10 May, 2021; v1 submitted 13 October, 2014; originally announced October 2014.

Comments: 62 pages, introduction completely rewritten, final pre-publication version

MSC Class: 19D45 (Primary); 19E99 (Secondary)

The Index Map in Algebraic K-Theory

Authors: Oliver Braunling, Michael Groechenig, Jesse Wolfson

Abstract: For a ring $R$, we construct a universal $K_R$-torsor $\mathcal{T}_R\to K_{Tate(R)}$ on the $K$-theory space of Tate $R$-modules. This torsor is closely related to canonical central extensions of loop groups. Just like classical loop group theory has features of $K$-theory (e.g. determinant bundles, tame symbol cocycle for Kac-Moody extension), the $K$-theory torsor relates higher loop groups with… ▽ More For a ring $R$, we construct a universal $K_R$-torsor $\mathcal{T}_R\to K_{Tate(R)}$ on the $K$-theory space of Tate $R$-modules. This torsor is closely related to canonical central extensions of loop groups. Just like classical loop group theory has features of $K$-theory (e.g. determinant bundles, tame symbol cocycle for Kac-Moody extension), the $K$-theory torsor relates higher loop groups with higher $K$-theory. We study the classifying "index" map of this torsor in detail. We explain how it arises in analogy with the classical index map of Fredholm operators, and we relate the $K$-theory torsor to previously studied dimension and determinant torsors. △ Less

Submitted 22 June, 2018; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: 43 pages. Final version. Removed Section 4 and turned this into separate article

MSC Class: 19D55 (Primary); 19K56 (Secondary)

Journal ref: J. Sel. Math. New Ser. (2018) 24: 1039

On the local residue symbol in the style of Tate and Beilinson

Authors: Oliver Braunling

Abstract: Tate gave a famous construction of the residue symbol on curves by using some non-commutative operator algebra in the context of algebraic geometry. We explain Beilinson's multidimensional generalization, which is not so well-documented in the literature. We provide a new approach using Hochschild homology. Tate gave a famous construction of the residue symbol on curves by using some non-commutative operator algebra in the context of algebraic geometry. We explain Beilinson's multidimensional generalization, which is not so well-documented in the literature. We provide a new approach using Hochschild homology. △ Less

Submitted 15 September, 2016; v1 submitted 31 March, 2014; originally announced March 2014.

Comments: revised

MSC Class: 32A27

Journal ref: New York J. Math. 24 (2018), 458-513

Tate Objects in Exact Categories (with appendix by Jan \vS\vtov\'ı\vcek and Jan Trlifaj)

Authors: Oliver Braunling, Michael Groechenig, Jesse Wolfson

Abstract: We study elementary Tate objects in an exact category. We characterize the category of elementary Tate objects as the smallest sub-category of admissible Ind-Pro objects which contains the categories of admissible Ind-objects and admissible Pro-objects, and which is closed under extensions. We compare Beilinson's approach to Tate modules to Drinfeld's. We establish several properties of the Sato G… ▽ More We study elementary Tate objects in an exact category. We characterize the category of elementary Tate objects as the smallest sub-category of admissible Ind-Pro objects which contains the categories of admissible Ind-objects and admissible Pro-objects, and which is closed under extensions. We compare Beilinson's approach to Tate modules to Drinfeld's. We establish several properties of the Sato Grassmannian of an elementary Tate object in an idempotent complete exact category (e.g. it is a directed poset). We conclude with a brief treatment of n-Tate modules and n-dimensional adèles. An appendix due to J. \vS\vtov\'ı\vcek and J. Trlifaj identifies the category of flat Mittag-Leffler modules with the idempotent completion of the category of admissible Ind-objects in the category of finitely generated projective modules. △ Less

Submitted 6 October, 2014; v1 submitted 20 February, 2014; originally announced February 2014.

Comments: 67 pages, with appendix by Jan \vS\vtov\'ı\vcek and Jan Trlifaj

MSC Class: 18E10 (Primary); 11R56; 13C60 (Secondary)

Journal ref: Mosc. Math. J., vol. 16, no. 3, 2016, pp. 533-504

Explicit Wodzicki excision in cyclic homology

Authors: O. Braunling

Abstract: Assuming local one-sided units exist, I give an elementary proof of Wodzicki excision for cyclic homology. The proof is also constructive and provides an explicit inverse excision map. As far as I know, the latter is new. Assuming local one-sided units exist, I give an elementary proof of Wodzicki excision for cyclic homology. The proof is also constructive and provides an explicit inverse excision map. As far as I know, the latter is new. △ Less

Submitted 21 October, 2014; v1 submitted 17 November, 2013; originally announced November 2013.

Comments: don't use present formula. there is a mistake. please wait for revised version

MSC Class: [2010]Primary 19D55; Secondary 16E40

Adele residue symbol and Tate's central extension for multiloop Lie algebras

Authors: Oliver Braunling

Abstract: We generalize the linear algebra setting of Tate's central extension to arbitrary dimension. In general, one obtains a Lie (n+1)-cocycle. We compute it explicitly. The construction is based on a Lie algebra variant of Beilinson's adelic multidimensional residue symbol, generalizing Tate's approach to the local residue symbol for 1-forms on curves. We generalize the linear algebra setting of Tate's central extension to arbitrary dimension. In general, one obtains a Lie (n+1)-cocycle. We compute it explicitly. The construction is based on a Lie algebra variant of Beilinson's adelic multidimensional residue symbol, generalizing Tate's approach to the local residue symbol for 1-forms on curves. △ Less

Submitted 5 February, 2014; v1 submitted 10 June, 2012; originally announced June 2012.

MSC Class: 17B56; 17B67

Journal ref: Algebra Number Theory 8 (2014) 19-52

Two-dimensional Idèles with Cycle Module Coefficients

Authors: Oliver Braunling

Abstract: We give a theory of idèles with coefficients for smooth surfaces over a field. It is an analogue of Beilinson/Huber's theory of higher adèles, but handling cycle module sheaves instead of quasi-coherent ones. We prove that they give a flasque resolution of the cycle module sheaves in the Zariski topology. As a technical ingredient we show the Gersten property for cycle modules on equicharacteristi… ▽ More We give a theory of idèles with coefficients for smooth surfaces over a field. It is an analogue of Beilinson/Huber's theory of higher adèles, but handling cycle module sheaves instead of quasi-coherent ones. We prove that they give a flasque resolution of the cycle module sheaves in the Zariski topology. As a technical ingredient we show the Gersten property for cycle modules on equicharacteristic complete regular local rings, which might be of independent interest. △ Less

Submitted 20 March, 2014; v1 submitted 2 January, 2011; originally announced January 2011.

Comments: major change in exposition, streamlined, removed incorrect claim about product map (many thanks to S. Gorchinskiy for pointing this out to me), bibliography updated

MSC Class: 14F43; 19F27; 11R56; 14C17; 19E15

Journal ref: Math. Nachr. 287 (2014), no. 17-18, 1954-1971