Showing 1–50 of 55 results for author: Bauer, T

Rank-stability of polynomial equations

Authors: Tomer Bauer, Guy Blachar, Be'eri Greenfeld

Abstract: Extending the thoroughly studied theory of group stability, we study Ulam stability type problems for associative and Lie algebras; namely, we investigate obstacles to rank-approximation of almost solutions by exact solutions for systems of polynomial equations. This leads to a rich theory of stable associative and Lie algebras, with connections to linear soficity, amenability, growth, and group s… ▽ More Extending the thoroughly studied theory of group stability, we study Ulam stability type problems for associative and Lie algebras; namely, we investigate obstacles to rank-approximation of almost solutions by exact solutions for systems of polynomial equations. This leads to a rich theory of stable associative and Lie algebras, with connections to linear soficity, amenability, growth, and group stability. We develop rank-stability and instability tests, examine the effect of algebraic constructions on rank-stability, and prove that while finite-dimensional associative algebras are rank-stable, `most' finite-dimensional Lie algebras are not. △ Less

Submitted 9 January, 2024; originally announced January 2024.

Comments: 30 pages

Graded $p$-polar rings and the homology of $Ω^nΣ^nX$

Authors: Tilman Bauer

Abstract: As an extension of previous ungraded work, we define a graded $p$-polar ring to be an analog of a graded commutative ring where multiplication is only allowed on $p$-tuples (instead of pairs) of elements of equal degree. We show that the free affine $p$-adic group scheme functor, as well as the free formal group functor, defined on $k$-algebras for a perfect field $k$ of characteristic $p$, factor… ▽ More As an extension of previous ungraded work, we define a graded $p$-polar ring to be an analog of a graded commutative ring where multiplication is only allowed on $p$-tuples (instead of pairs) of elements of equal degree. We show that the free affine $p$-adic group scheme functor, as well as the free formal group functor, defined on $k$-algebras for a perfect field $k$ of characteristic $p$, factors through $p$-polar $k$-algebras. It follows that the same is true for any affine $p$-adic or formal group functor, in particular for the functor of $p$-typical Witt vectors. As an application, we show that the homology of the free $E_n$-algebra $H^*(Ω^nΣ^n X;\mathbf F_p)$, as a Hopf algebra, only depends on the $p$-polar structure of $H^*(X;\mathbf F_p)$ in a functorial way. △ Less

Submitted 5 May, 2025; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: 25 pages. Improved exposition. Published in Homotopy, Homology and Applications 27 (2025), pp. 355--382. Partial overlap with arXiv:2106.01845

MSC Class: 14L05; 14L15; 14L17; 13A99; 13A35; 16T05

On the structure of abelian Hopf algebras

Authors: Tilman Bauer

Abstract: We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct sum of explicitly given indecomposables. This gives rise to a similar classification of not necessarily $p$-torsion objects that are either free as commutative a… ▽ More We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct sum of explicitly given indecomposables. This gives rise to a similar classification of not necessarily $p$-torsion objects that are either free as commutative algebras or cofree as cocommutative coalgebras. We also completely classify those objects that are indecomposable modulo $p$. △ Less

Submitted 2 July, 2024; v1 submitted 3 March, 2022; originally announced March 2022.

Comments: Corrected results, replacing the condition of countable dimension by pure-injectivity. Most proofs reworked or replaced

MSC Class: 57T05; 16T05

Ideal growth in amalgamated powers of nilpotent rings of class two and zeta functions of quiver representations

Authors: Tomer Bauer, Michael M. Schein

Abstract: Let $L$ be a nilpotent algebra of class two over a compact discrete valuation ring $A$ of characteristic zero or of sufficiently large positive characteristic. Let $q$ be the residue cardinality of $A$. The ideal zeta function of $L$ is a Dirichlet series enumerating finite-index ideals of $L$. We prove that there is a rational function in $q$, $q^m$, $q^{-s}$, and $q^{-ms}$ giving the ideal zeta… ▽ More Let $L$ be a nilpotent algebra of class two over a compact discrete valuation ring $A$ of characteristic zero or of sufficiently large positive characteristic. Let $q$ be the residue cardinality of $A$. The ideal zeta function of $L$ is a Dirichlet series enumerating finite-index ideals of $L$. We prove that there is a rational function in $q$, $q^m$, $q^{-s}$, and $q^{-ms}$ giving the ideal zeta function of the amalgamation of $m$ copies of $L$ over the derived subring, for every $m \geq 1$, up to an explicit factor. More generally, we prove this for the zeta functions of nilpotent quiver representations of class two defined by Lee and Voll, and in particular for Dirichlet series counting graded submodules of a graded $A$-module. If the algebra $L$, or the quiver representation, is defined over $\mathbb{Z}$, then we obtain a uniform rationality result. △ Less

Submitted 23 December, 2022; v1 submitted 22 February, 2022; originally announced February 2022.

Comments: Revised version, to appear in the Bulletin of the London Mathematical Society; 18 pages

MSC Class: 11M41; 11S80; 20E07

Graded $p$-polar rings and their abelian-group valued functors

Authors: Tilman Bauer

Abstract: As an extension of previous ungraded work, we define a graded $p$-polar ring to be an analog of a graded commutative ring where multiplication is only allowed on $p$-tuples (instead of pairs) of elements of equal degree. We show that the free affine $p$-adic group scheme functor, as well as the free formal group functor, defined on $k$-algebras for a perfect field $k$ of characteristic $p$, factor… ▽ More As an extension of previous ungraded work, we define a graded $p$-polar ring to be an analog of a graded commutative ring where multiplication is only allowed on $p$-tuples (instead of pairs) of elements of equal degree. We show that the free affine $p$-adic group scheme functor, as well as the free formal group functor, defined on $k$-algebras for a perfect field $k$ of characteristic $p$, factors through $p$-polar $k$-algebras. It follows that the same is true for any affine $p$-adic or formal group functor, in particular for the functor of $p$-typical Witt vectors. As an application, we show that the latter is free on the $p$-polar affine line. △ Less

Submitted 3 June, 2021; originally announced June 2021.

MSC Class: 14L05; 14L15; 14L17; 13A99; 13A35; 16T05

Affine and formal abelian group schemes on $p$-polar rings

Authors: Tilman Bauer

Abstract: We show that the functor of $p$-typical co-Witt vectors on commutative algebras over a perfect field $k$ of characteristic $p$ is defined on, and in fact only depends on, a weaker structure than that of a $k$-algebra. We call this structure a $p$-polar $k$-algebra. By extension, the functors of points for any $p$-adic affine commutative group scheme and for any formal group are defined on, and onl… ▽ More We show that the functor of $p$-typical co-Witt vectors on commutative algebras over a perfect field $k$ of characteristic $p$ is defined on, and in fact only depends on, a weaker structure than that of a $k$-algebra. We call this structure a $p$-polar $k$-algebra. By extension, the functors of points for any $p$-adic affine commutative group scheme and for any formal group are defined on, and only depend on, $p$-polar structures. In terms of abelian Hopf algebras, we show that a cofree cocommutative Hopf algebra can be defined on any $p$-polar $k$-algebra $P$, and it agrees with the cofree commutative Hopf algebra on a commutative $k$-algebra $A$ if $P$ is the $p$-polar algebra underlying $A$; a dual result holds for free commutative Hopf algebras on finite $k$-coalgebras. △ Less

Submitted 27 October, 2021; v1 submitted 18 December, 2020; originally announced December 2020.

Comments: version 3: 15 pages, exposition thorougly reworked, some minor errors fixed. To appear in Math. Scand

MSC Class: 14L05; 14L15; 14L17; 13A99; 13A35; 16T05

Seshadri constants on principally polarized abelian surfaces with real multiplication

Authors: Thomas Bauer, Maximilian Schmidt

Abstract: Seshadri constants on abelian surfaces are fully understood in the case of Picard number one. Little is known so far for simple abelian surfaces of higher Picard number. In this paper we investigate principally polarized abelian surfaces with real multiplication. They are of Picard number two and might be considered the next natural case to be studied. The challenge is to not only determine the Se… ▽ More Seshadri constants on abelian surfaces are fully understood in the case of Picard number one. Little is known so far for simple abelian surfaces of higher Picard number. In this paper we investigate principally polarized abelian surfaces with real multiplication. They are of Picard number two and might be considered the next natural case to be studied. The challenge is to not only determine the Seshadri constants of individual line bundles, but to understand the whole \emph{Seshadri function} on these surfaces. Our results show on the one hand that this function is surprisingly complex: On surfaces with real multiplication in $\mathbb Z[\sqrt e]$ it consists of linear segments that are never adjacent to each other -- it behaves like the Cantor function. On the other hand, we prove that the Seshadri function it is invariant under an infinite group of automorphisms, which shows that it does have interesting regular behavior globally. △ Less

Submitted 12 September, 2021; v1 submitted 20 August, 2020; originally announced August 2020.

MSC Class: 14C20; 14K12; 26A30

Journal ref: Math. Z., 300, 3433-3456 (2022)

Seshadri constants on abelian and bielliptic surfaces -- potential values and lower bounds

Authors: Thomas Bauer, Łucja Farnik

Abstract: In this note we contribute to the study of Seshadri constants on abelian and bielliptic surfaces. We specifically focus on bounds that hold on all such surfaces, depending only on the self-intersection of the ample line bundle under consideration. Our result improves previous bounds and it provides rational numbers as bounds, which are potential Seshadri constants. In this note we contribute to the study of Seshadri constants on abelian and bielliptic surfaces. We specifically focus on bounds that hold on all such surfaces, depending only on the self-intersection of the ample line bundle under consideration. Our result improves previous bounds and it provides rational numbers as bounds, which are potential Seshadri constants. △ Less

Submitted 17 August, 2020; originally announced August 2020.

Comments: 11 pages

MSC Class: 14C20; 14K05

Bounded volume denominators and bounded negativity

Authors: Thomas Bauer, Brian Harbourne, Alex Küronya, Matthias Nickel

Abstract: In this paper we study the question of whether on smooth projective surfaces the denominators in the volumes of big line bundles are bounded. In particular we investigate how this condition is related to bounded negativity (i.e., the boundedness of self-intersections of irreducible curves). Our first result shows that boundedness of volume denominators is equivalent to \emph{primitive bounded nega… ▽ More In this paper we study the question of whether on smooth projective surfaces the denominators in the volumes of big line bundles are bounded. In particular we investigate how this condition is related to bounded negativity (i.e., the boundedness of self-intersections of irreducible curves). Our first result shows that boundedness of volume denominators is equivalent to \emph{primitive bounded negativity}, which in turn is implied by bounded negativity. We connect this result to the study of semi-effective orders of divisors: Our second result shows that negative classes exist that become effective only after taking an arbitrarily large multiple. △ Less

Submitted 16 April, 2019; originally announced April 2019.

MSC Class: 14A25; 14C20

The realizability of some finite-length modules over the Steenrod algebra by spaces

Authors: Andrew Baker, Tilman Bauer

Abstract: The Joker is an important finite cyclic module over the mod-$2$ Steenrod algebra $\mathcal A$. We show that the Joker, its first two iterated Steenrod doubles, and their linear duals are realizable by spaces of as low a dimension as the instability condition of modules over the Steenrod algebra permits. This continues and concludes prior work by the first author and yields a complete characterizat… ▽ More The Joker is an important finite cyclic module over the mod-$2$ Steenrod algebra $\mathcal A$. We show that the Joker, its first two iterated Steenrod doubles, and their linear duals are realizable by spaces of as low a dimension as the instability condition of modules over the Steenrod algebra permits. This continues and concludes prior work by the first author and yields a complete characterization of which versions of Jokers are realizable by spaces or spectra and which are not. The constructions involve sporadic phenomena in homotopy theory ($2$-compact groups, topological modular forms) and may be of independent interest. △ Less

Submitted 18 October, 2019; v1 submitted 25 March, 2019; originally announced March 2019.

Comments: 11 pages, to appear in Algebraic and Geometric Topology

MSC Class: 55P42 (Primary); 55S10; 55S20 (Secondary)

Journal ref: Algebr. Geom. Topol. 20 (2020) 2129-2143

Counting lines on projective surfaces

Authors: Thomas Bauer, Slawomir Rams

Abstract: We prove a bound on the number of lines on a smooth degree-d surface in three-dimensional projective space for $d \geq 3$. This bound improves a bound due to Segre and renders some of his arguments rigorous. It is the best known bound for $d \geq 6$. We prove a bound on the number of lines on a smooth degree-d surface in three-dimensional projective space for $d \geq 3$. This bound improves a bound due to Segre and renders some of his arguments rigorous. It is the best known bound for $d \geq 6$. △ Less

Submitted 6 September, 2020; v1 submitted 13 February, 2019; originally announced February 2019.

MSC Class: Primary: 14J25; Secondary 14J70

On the integrality of Seshadri constants of abelian surfaces

Authors: Thomas Bauer, Felix Fritz Grimm, Maximilian Schmidt

Abstract: In this paper we consider the question of when Seshadri constants on abelian surfaces are integers. Our first result concerns self-products $E\times E$ of elliptic curves: If $E$ has complex multiplication in $\Z[i]$ or in $\Z[\frac12(1+i\sqrt3)]$ or if $E$ has no complex multiplication at all, then it is known that for every ample line bundle $L$ on $E\times E$, the Seshadri constant $\eps(L)$ is… ▽ More In this paper we consider the question of when Seshadri constants on abelian surfaces are integers. Our first result concerns self-products $E\times E$ of elliptic curves: If $E$ has complex multiplication in $\Z[i]$ or in $\Z[\frac12(1+i\sqrt3)]$ or if $E$ has no complex multiplication at all, then it is known that for every ample line bundle $L$ on $E\times E$, the Seshadri constant $\eps(L)$ is an integer. We show that, contrary to what one might expect, these are in fact the only elliptic curves for which this integrality statement holds. Our second result answers the question how -- on any abelian surface~-- integrality of Seshadri constants is related to elliptic curves. △ Less

Submitted 24 September, 2019; v1 submitted 14 May, 2018; originally announced May 2018.

MSC Class: 14C20; 14H52; 14Jxx; 14Kxx

Tensor products of affine and formal abelian groups

Authors: Tilman Bauer, Magnus Carlson

Abstract: In this paper we study tensor products of affine abelian group schemes over a perfect field $k.$ We first prove that the tensor product $G_1 \otimes G_2$ of two affine abelian group schemes $G_1,G_2$ over a perfect field $k$ exists. We then describe the multiplicative and unipotent part of the group scheme $G_1 \otimes G_2$. The multiplicative part is described in terms of Galois modules over the… ▽ More In this paper we study tensor products of affine abelian group schemes over a perfect field $k.$ We first prove that the tensor product $G_1 \otimes G_2$ of two affine abelian group schemes $G_1,G_2$ over a perfect field $k$ exists. We then describe the multiplicative and unipotent part of the group scheme $G_1 \otimes G_2$. The multiplicative part is described in terms of Galois modules over the absolute Galois group of $k.$ We describe the unipotent part of $G_1 \otimes G_2$ explicitly, using Dieudonné theory in positive characteristic. We relate these constructions to previously studied tensor products of formal group schemes. △ Less

Submitted 26 April, 2018; originally announced April 2018.

Comments: 46 pages, comments welcome

MSC Class: 14L17; 16W30; 14L05

Quartic unexpected curves and surfaces

Authors: Thomas Bauer, Grzegorz Malara, Tomasz Szemberg, Justyna Szpond

Abstract: Our research is motivated by recent work of Cook II, Harbourne, Migliore, and Nagel on configurations of points in the projective plane with properties that are unexpected from the point of view of the postulation theory. In this note, we revisit the basic configuration of nine points appearing in work of Gennaro/Ilardi/Vallès and Harbourne, and we exhibit some additional new properties of this co… ▽ More Our research is motivated by recent work of Cook II, Harbourne, Migliore, and Nagel on configurations of points in the projective plane with properties that are unexpected from the point of view of the postulation theory. In this note, we revisit the basic configuration of nine points appearing in work of Gennaro/Ilardi/Vallès and Harbourne, and we exhibit some additional new properties of this configuration. We then pass to projective three-space and exhibit a surface with unexpected postulation properties there. Such higher dimensional phenomena have not been observed so far. △ Less

Submitted 10 April, 2018; originally announced April 2018.

Comments: 8 pages, 1 figure

MSC Class: 14C20 and 14J26 and 14N20 and 13A15 and 13F20

Commuting Graphs of Boundedly Generated Semigroups

Authors: Tomer Bauer, Be'eri Greenfeld

Abstract: Araújo, Kinyon and Konieczny (2011) pose several problems concerning the construction of arbitrary commuting graphs of semigroups. We observe that every star-free graph is the commuting graph of some semigroup. Consequently, we suggest modifications for some of the original problems, generalized to the context of families of semigroups with a bounded number of generators, and pose related proble… ▽ More Araújo, Kinyon and Konieczny (2011) pose several problems concerning the construction of arbitrary commuting graphs of semigroups. We observe that every star-free graph is the commuting graph of some semigroup. Consequently, we suggest modifications for some of the original problems, generalized to the context of families of semigroups with a bounded number of generators, and pose related problems. We construct monomial semigroups with a bounded number of generators, whose commuting graphs have an arbitrary clique number. In contrast to that, we show that the diameter of the commuting graphs of semigroups in a wider class (containing the class of nilpotent semigroups), is bounded by the minimal number of generators plus two. We also address a problem concerning knit degree. △ Less

Submitted 14 October, 2017; originally announced October 2017.

Comments: 6 pages; Improved Proposition 8 from published version

Journal ref: European Journal of Combinatorics, Volume 56, 2016, Pages 40-45

On the postulation of lines and a fat line

Authors: Thomas Bauer, Sandra Di Rocco, David Schmitz, Tomasz Szemberg, Justyna Szpond

Abstract: In this note we show that the union of $r$ general lines and one fat line in ${\mathbb P}^3$ imposes independent conditions on forms of sufficiently high degree $d$, where the bound on $d$ is independent of the number of lines. This extends former results of Hartshorne and Hirschowitz on unions of general lines, and of Aladpoosh on unions of general lines and one double line. In this note we show that the union of $r$ general lines and one fat line in ${\mathbb P}^3$ imposes independent conditions on forms of sufficiently high degree $d$, where the bound on $d$ is independent of the number of lines. This extends former results of Hartshorne and Hirschowitz on unions of general lines, and of Aladpoosh on unions of general lines and one double line. △ Less

Submitted 7 June, 2017; originally announced June 2017.

Comments: 14 pages

MSC Class: 14C20; 14F17; 13D40; 14N05

Wolf Barth (1942--2016)

Authors: Thomas Bauer, Klaus Hulek, Slawomir Rams, Alessandra Sarti, Tomasz Szemberg

Abstract: In this article we describe the life and work of Wolf Barth who died on 30th December 2016. Wolf Barth's contributions to algebraic variety span a wide range of subjects. His achievements range from what is now called the Barth-Lefschetz theorems to his fundamental contributions to the theory of algebraic surfaces and moduli of vector bundles, and include his later work on algebraic surfaces with… ▽ More In this article we describe the life and work of Wolf Barth who died on 30th December 2016. Wolf Barth's contributions to algebraic variety span a wide range of subjects. His achievements range from what is now called the Barth-Lefschetz theorems to his fundamental contributions to the theory of algebraic surfaces and moduli of vector bundles, and include his later work on algebraic surfaces with many singularities, culminating in the famous Barth sextic. △ Less

Submitted 24 April, 2017; originally announced April 2017.

Comments: accepted for publication in Jahresbericht der Deutschen Mathematiker-Vereinigung, obituary, 17 pages, 2 figures, 1 photo

MSC Class: 01A70; 01A60; 01A61; 14F05; 14J10; 14J15; 14J25; 14J50; 14J60; 14K10; 32C25; 32G13; 32J15; 32L10; 32Q55

Negative curves on symmetric blowups of the projective plane, resurgences and Waldschmidt constants

Authors: Thomas Bauer, Sandra Di Rocco, Brian Harbourne, Jack Huizenga, Alexandra Seceleanu, Tomasz Szemberg

Abstract: The Klein and Wiman configurations are highly symmetric configurations of lines in the projective plane arising from complex reflection groups. One noteworthy property of these configurations is that all the singularities of the configuration have multiplicity at least three. In this paper we study the surface X obtained by blowing up the projective plane in the singular points of one of these lin… ▽ More The Klein and Wiman configurations are highly symmetric configurations of lines in the projective plane arising from complex reflection groups. One noteworthy property of these configurations is that all the singularities of the configuration have multiplicity at least three. In this paper we study the surface X obtained by blowing up the projective plane in the singular points of one of these line configurations. We study invariant curves on X in detail, with a particular emphasis on curves of negative self-intersection. We use the representation theory of the stabilizers of the singular points to discover several invariant curves of negative self-intersection on X, and use these curves to study Nagata-type questions for linear series on X. The homogeneous ideal I of the collection of points in the configuration is an example of an ideal where the symbolic cube of the ideal is not contained in the square of the ideal; ideals with this property are seemingly quite rare. The resurgence and asymptotic resurgence are invariants which were introduced to measure such failures of containment. We use our knowledge of negative curves on X to compute the resurgence of I exactly. We also compute the asymptotic resurgence and Waldschmidt constant exactly in the case of the Wiman configuration of lines, and provide estimates on both for the Klein configuration. △ Less

Submitted 10 October, 2017; v1 submitted 27 September, 2016; originally announced September 2016.

Comments: 39 pages. In v2: Section 4.1 rewritten for clarity and other minor changes

MSC Class: 14C20; 14J26; 13A50; 13P10 (Primary); 14J50; 14Q20; 11H46; 52C30; 32S22 (Secondary)

Nef cone volumes and discriminants of abelian surfaces

Authors: Thomas Bauer, Carsten Bornträger

Abstract: The nef cone volume appeared first in work of Peyre in a number-theoretic context on Del Pezzo surfaces, and it was studied by Derenthal and co-authors in a series of papers. The idea was subsequently extended to also measure the Zariski chambers of Del Pezzo surfaces. We start in this paper to explore the possibility to use this attractive concept to effectively measure the size of the nef cone o… ▽ More The nef cone volume appeared first in work of Peyre in a number-theoretic context on Del Pezzo surfaces, and it was studied by Derenthal and co-authors in a series of papers. The idea was subsequently extended to also measure the Zariski chambers of Del Pezzo surfaces. We start in this paper to explore the possibility to use this attractive concept to effectively measure the size of the nef cone on algebraic surfaces in general. This provides an interesting way of measuring in how big a space an ample line bundle can be moved without destroying its positivity. We give here complete results for simple abelian surfaces that admit a principal polarization and for products of elliptic curves. △ Less

Submitted 25 August, 2016; originally announced August 2016.

MSC Class: 14C20; 14K05

The Halphen cubics of order two

Authors: Thomas Bauer, Brian Harbourne, Joaquim Roé, Tomasz Szemberg

Abstract: For each $m\ge 1$, Roulleau and Urzúa give an implicit construction of a configuration of $4(3m^2-1)$ complex plane cubic curves. This construction was crucial for their work on surfaces of general type. We make this construction explicit by proving that the Roulleau-Urzúa configuration consists precisely of the Halphen cubics of order $m$, and we determine specific equations of the cubics for… ▽ More For each $m\ge 1$, Roulleau and Urzúa give an implicit construction of a configuration of $4(3m^2-1)$ complex plane cubic curves. This construction was crucial for their work on surfaces of general type. We make this construction explicit by proving that the Roulleau-Urzúa configuration consists precisely of the Halphen cubics of order $m$, and we determine specific equations of the cubics for $m=1$ (which were known) and for $m=2$ (which are new). △ Less

Submitted 14 March, 2016; originally announced March 2016.

Comments: 20 pages

MSC Class: 14C20; 14E05; 14H52; 14J26; 14K12

Fixed points of endomorphisms on two-dimensional complex tori

Authors: Thomas Bauer, Thorsten Herrig

Abstract: In this paper we investigate fixed-point numbers of endomorphisms on complex tori. Specifically, motivated by the asymptotic perspective that has turned out in recent years to be so fruitful in Algebraic Geometry, we study how the number of fixed points behaves when the endomorphism is iterated. Our first result shows that the fixed-points function of an endomorphism on a two-dimensional complex t… ▽ More In this paper we investigate fixed-point numbers of endomorphisms on complex tori. Specifically, motivated by the asymptotic perspective that has turned out in recent years to be so fruitful in Algebraic Geometry, we study how the number of fixed points behaves when the endomorphism is iterated. Our first result shows that the fixed-points function of an endomorphism on a two-dimensional complex torus can have only three different kinds of behaviours, and we characterize these behaviours in terms of the analytic eigenvalues. Our second result focuses on simple abelian surfaces and provides criteria for the fixed-points behaviour in terms of the possible types of endomorphism algebras. △ Less

Submitted 24 August, 2015; originally announced August 2015.

MSC Class: 14A10; 14K22; 14J50

On the boundedness of the denominators in the Zariski decomposition on surfaces

Authors: Thomas Bauer, Piotr Pokora, David Schmitz

Abstract: Zariski decompositions play an important role in the theory of algebraic surfaces. For making geometric use of the decomposition of a given divisor, one needs to pass to a multiple of the divisor in order to clear denominators. It is therefore an intriguing question whether the surface has a 'universal denominator' that can be used to simultaneously clear denominators in all Zariski decompositions… ▽ More Zariski decompositions play an important role in the theory of algebraic surfaces. For making geometric use of the decomposition of a given divisor, one needs to pass to a multiple of the divisor in order to clear denominators. It is therefore an intriguing question whether the surface has a 'universal denominator' that can be used to simultaneously clear denominators in all Zariski decompositions on the surface. We prove in this paper that, somewhat surprisingly, this condition of bounded Zariski denominators is equivalent to the bounded negativity of curves that is addressed in the Bounded Negativity Conjecture. Furthermore, we provide explicit bounds for Zariski denominators and negativity of curves in terms of each other. △ Less

Submitted 5 October, 2015; v1 submitted 10 November, 2014; originally announced November 2014.

Comments: Example 3.4 expanded; and minor edits in the text

MSC Class: 14A25; 14C20

Journal ref: Journal fur die reine und angewandte Mathematik 733 : 251 - 259 (2017)

Bounded Negativity and Arrangements of Lines

Authors: Thomas Bauer, Sandra Di Rocco, Brian Harbourne, Jack Huizenga, Anders Lundman, Piotr Pokora, Tomasz Szemberg

Abstract: The Bounded Negativity Conjecture predicts that for any smooth complex surface $X$ there exists a lower bound for the selfintersection of reduced divisors on $X$. This conjecture is open. It is also not known if the existence of such a lower bound is invariant in the birational equivalence class of $X$. In the present note we introduce certain constants $H(X)$ which measure in effect the variance… ▽ More The Bounded Negativity Conjecture predicts that for any smooth complex surface $X$ there exists a lower bound for the selfintersection of reduced divisors on $X$. This conjecture is open. It is also not known if the existence of such a lower bound is invariant in the birational equivalence class of $X$. In the present note we introduce certain constants $H(X)$ which measure in effect the variance of the lower bounds in the birational equivalence class of $X$. We focus on rational surfaces and relate the value of $H({\mathbb P}^2)$ to certain line arrangements. Our main result is Theorem 3.3 and the main open challenge is Problem 3.10. △ Less

Submitted 5 November, 2014; v1 submitted 10 July, 2014; originally announced July 2014.

Comments: v2, rewritten, extra material on arrangements of real lines, to appear in International Mathematics Research Notices

MSC Class: 14C20

Journal ref: International Mathematical Research Notes 2015, 9456 -- 9471 (2015)

On positivity and base loci of vector bundles

Authors: Thomas Bauer, Sándor J Kovács, Alex Küronya, Ernesto Carlo Mistretta, Tomasz Szemberg, Stefano Urbinati

Abstract: The aim of this note is to shed some light on the relationships among some notions of positivity for vector bundles that arose in recent decades. Our purpose is to study several of the positivity notions studied for vector bundles with some notions of asymptotic base loci that can be defined on the variety itself, rather than on the projectivization of the given vector bundle. We relate some of… ▽ More The aim of this note is to shed some light on the relationships among some notions of positivity for vector bundles that arose in recent decades. Our purpose is to study several of the positivity notions studied for vector bundles with some notions of asymptotic base loci that can be defined on the variety itself, rather than on the projectivization of the given vector bundle. We relate some of the different notions conjectured to be equivalent with the help of these base loci, and we show that these can help simplify the various relationships between the positivity properties present in the literature. In particular, we define augmented and restricted base loci $\mathbb{B}_+ (E)$ and $\mathbb{B}_- (E)$ of a vector bundle $E$ on the variety $X$, as generalizations of the corresponding notions studied extensively for line bundles. As it turns out, the asymptotic base loci defined here behave well with respect to the natural map induced by the projectivization of the vector bundle $E$. △ Less

Submitted 23 June, 2014; originally announced June 2014.

The effect of points fattening in dimension three

Authors: Thomas Bauer, Tomasz Szemberg

Abstract: There has been increased recent interest in understanding the relationship between the symbolic powers of an ideal and the geometric properties of the corresponding variety. While a number of results are available for the two-dimensional case, the higher-dimensional case is largely unexplored. In the present paper we study a natural conjecture arising from a result by Bocci and Chiantini. As a fir… ▽ More There has been increased recent interest in understanding the relationship between the symbolic powers of an ideal and the geometric properties of the corresponding variety. While a number of results are available for the two-dimensional case, the higher-dimensional case is largely unexplored. In the present paper we study a natural conjecture arising from a result by Bocci and Chiantini. As a first step towards understanding the higher-dimensional picture, we show that this conjecture is true in dimension three. Also, we provide examples showing that the hypotheses of the conjecture may not be weakened. △ Less

Submitted 27 January, 2014; v1 submitted 22 August, 2013; originally announced August 2013.

MSC Class: 14C20; 13C05; 14N05; 14H20; 14A05

Volumes of Zariski chambers

Authors: Thomas Bauer, David Schmitz

Abstract: Zariski chambers are natural pieces into which the big cone of an algebraic surface decomposes. They have so far been studied both from a geometric and from a combinatorial perspective. In the present paper we complement the picture with a metric point of view by studying a suitable notion of chamber sizes. Our first result gives a precise condition for the nef cone volume to be finite and provide… ▽ More Zariski chambers are natural pieces into which the big cone of an algebraic surface decomposes. They have so far been studied both from a geometric and from a combinatorial perspective. In the present paper we complement the picture with a metric point of view by studying a suitable notion of chamber sizes. Our first result gives a precise condition for the nef cone volume to be finite and provides a method for computing it inductively. Our second result determines the volumes of arbitrary Zariski chambers from nef cone volumes of blow-downs. We illustrate the applicability of this method by explicitly determining the chamber volumes on Del Pezzo and other anti-canonical surfaces. △ Less

Submitted 16 May, 2012; originally announced May 2012.

MSC Class: Primary 14C20; Secondary 14J26

Journal ref: Journal of Pure and Applied Algebra 217, No. 1, 1153-164 (2013)

Zariski chambers on surfaces of high Picard number

Authors: Thomas Bauer, David Schmitz

Abstract: We present an improved algorithm for the computation of Zariski chambers on algebraic surfaces. The new algorithm significantly outperforms the so far available method and allows therefore to treat surfaces of high Picard number, where huge chamber numbers occur. As an application, we efficiently compute the number of chambers supported by the lines on the Segre-Schur quartic. We present an improved algorithm for the computation of Zariski chambers on algebraic surfaces. The new algorithm significantly outperforms the so far available method and allows therefore to treat surfaces of high Picard number, where huge chamber numbers occur. As an application, we efficiently compute the number of chambers supported by the lines on the Segre-Schur quartic. △ Less

Submitted 19 April, 2012; originally announced April 2012.

MSC Class: 14C20 (Primary); 14Q05; 68W05 (Secondary) ACM Class: G.2.1; F.2.2

Journal ref: LMS J. Comput. Math. 15 (2012) 219-230

Negative curves on algebraic surfaces

Authors: Th. Bauer, B. Harbourne, A. L. Knutsen, A. Küronya, S. Müller-Stach, X. Roulleau, T. Szemberg

Abstract: We study curves of negative self-intersection on algebraic surfaces. We obtain results for smooth complex projective surfaces X on the number of reduced, irreducible curves C of negative self-intersection C^2. The only known examples of surfaces for which C^2 is not bounded below are in positive characteristic, and the general expectation is that no examples can arise over the complex numbers. Ind… ▽ More We study curves of negative self-intersection on algebraic surfaces. We obtain results for smooth complex projective surfaces X on the number of reduced, irreducible curves C of negative self-intersection C^2. The only known examples of surfaces for which C^2 is not bounded below are in positive characteristic, and the general expectation is that no examples can arise over the complex numbers. Indeed, we show that the idea underlying the examples in positive characteristic cannot produce examples over the complex number field. The previous version of this paper claimed to give a counterexample to the Bounded Negativity Conjecture. The idea of the counterexample was to use Hecke translates of a smooth Shimura curve in order to create an infinite sequence of curves violating the Bounded Negativity Conjecture. To this end we applied Hirzebruch Proportionality to all Hecke translates, simultaneously desingularized by a version of Jaffee's Lemma which exists in the literature but which turns out to be false. Indeed, in the new version of the paper, we show that only finitely many Hecke translates of a special subvariety of a Hilbert modular surface remain smooth. This new result is based on work done jointly with Xavier Roulleau, who has been added as an author. The other results in the original posting of this paper remain unchanged. △ Less

Submitted 4 April, 2012; v1 submitted 8 September, 2011; originally announced September 2011.

Comments: 14 pages, X. Roulleau added as author, counterexample to Bounded Negativity Conjecture withdrawn and replaced by a proof that there are only finitely many smooth Shimura curves on a compact Hilbert modular surface; the other results in the original posting of this paper remain unchanged

MSC Class: 14G35; 14J25

Journal ref: Duke Math. J. 162, no. 10 (2013), 1877-1894

Formal plethories

Authors: Tilman Bauer

Abstract: Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this paper I set up a framework to study the algebra of such functors, which I call formal plethories, in the case where $E_*$ is a Prüfer ring. I show that the "lo… ▽ More Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this paper I set up a framework to study the algebra of such functors, which I call formal plethories, in the case where $E_*$ is a Prüfer ring. I show that the "logarithmic" functors of primitives and indecomposables give linear approximations of formal plethories by bimonoids in the 2-monoidal category of bimodules over a ring. △ Less

Submitted 21 December, 2013; v1 submitted 28 July, 2011; originally announced July 2011.

Comments: 61 pages, to appear in Adv. Math

MSC Class: 16W99; 18D99; 18D20; 55S25; 14L05; 13A99

Recent developments and open problems in linear series

Authors: Thomas Bauer, Cristiano Bocci, Susan Cooper, Sandra Di Rocco, Marcin Dumnicki, Brian Harbourne, Kelly Jabbusch, Andreas Leopold Knutsen, Alex Kuronya, Rick Miranda, Joaquim Roe, Hal Schenck, Tomasz Szemberg, Zach Teitler

Abstract: In the week 3--9, October 2010, the Mathematisches Forschungsinstitut at Oberwolfach hosted a mini workshop Linear Series on Algebraic Varieties. These notes contain a variety of interesting problems which motivated the participants prior to the event, and examples, results and further problems which grew out of discussions during and shortly after the workshop. A lot of arguments presented here a… ▽ More In the week 3--9, October 2010, the Mathematisches Forschungsinstitut at Oberwolfach hosted a mini workshop Linear Series on Algebraic Varieties. These notes contain a variety of interesting problems which motivated the participants prior to the event, and examples, results and further problems which grew out of discussions during and shortly after the workshop. A lot of arguments presented here are scattered in the literature or constitute folklore. It was one of our aims to have a usable and easily accessible collection of examples and results. △ Less

Submitted 16 April, 2011; v1 submitted 23 January, 2011; originally announced January 2011.

Comments: fixed typos, grants information added, submitted, v.3. some linguistic corections, final version accepted for publication in "Contributions to Algebraic Geometry", Impanga Lecture Notes

MSC Class: 14C20

On the Seshadri constants of adjoint line bundles

Authors: Thomas Bauer, Tomasz Szemberg

Abstract: In the present paper we are concerned with the possible values of Seshadri constants. While in general every positive rational number appears as the local Seshadri constant of some ample line bundle, we point out that for adjoint line bundles there are explicit lower bounds depending only on the dimension of the underlying variety. In the surface case, where the optimal lower bound is 1/2, we char… ▽ More In the present paper we are concerned with the possible values of Seshadri constants. While in general every positive rational number appears as the local Seshadri constant of some ample line bundle, we point out that for adjoint line bundles there are explicit lower bounds depending only on the dimension of the underlying variety. In the surface case, where the optimal lower bound is 1/2, we characterize all possible values in the range between 1/2 and 1 -- there are surprisingly few. As expected, one obtains even more restrictive results for the Seshadri constants of adjoints of very ample line bundles. Our description of the border case in this situation makes use of adjunction-theoretical results on surfaces. Finally, we study Seshadri constants of adjoint line bundles in the multi-point setting. △ Less

Submitted 21 November, 2010; v1 submitted 3 November, 2010; originally announced November 2010.

Comments: Added Remark 3.3, which points out an improvement to the lower bound in Theorem 3.2 by using G. Heier's result

MSC Class: 14C20

Weyl and Zariski chambers on K3 surfaces

Authors: Thomas Bauer, Michael Funke

Abstract: The big cone of every K3 surface admits two natural chamber decompositions: the decomposition into Zariski chambers, and the decomposition into simple Weyl chambers. In the present paper we compare these two decompositions and we study their mutual relationship: First, we give a numerical criterion for the two decompositions to coincide. Secondly, we study the mutual inclusions of Zariski and simp… ▽ More The big cone of every K3 surface admits two natural chamber decompositions: the decomposition into Zariski chambers, and the decomposition into simple Weyl chambers. In the present paper we compare these two decompositions and we study their mutual relationship: First, we give a numerical criterion for the two decompositions to coincide. Secondly, we study the mutual inclusions of Zariski and simple Weyl chambers. Finally, we establish the fact that -- even though the decompositions themselves may differ -- the number of Zariski chambers always equals the number of simple Weyl chambers. △ Less

Submitted 2 June, 2010; originally announced June 2010.

MSC Class: 14C20; 14N10

Counting Zariski chambers on Del Pezzo surfaces

Authors: Thomas Bauer, Michael Funke, Sebastian Neumann

Abstract: Zariski chambers provide a natural decomposition of the big cone of an algebraic surface into rational locally polyhedral subcones that are interesting from the point of view of linear series. In the present paper we present an algorithm that allows to effectively determine Zariski chambers when the negative curves on the surface are known. We show how the algorithm can be used to compute the nu… ▽ More Zariski chambers provide a natural decomposition of the big cone of an algebraic surface into rational locally polyhedral subcones that are interesting from the point of view of linear series. In the present paper we present an algorithm that allows to effectively determine Zariski chambers when the negative curves on the surface are known. We show how the algorithm can be used to compute the number of chambers on Del Pezzo surfaces. △ Less

Submitted 4 December, 2009; originally announced December 2009.

MSC Class: 14C20; 14N10; 14Q10

Zariski decomposition: a new (old) chapter of linear algebra

Authors: Thomas Bauer, Mirel Caibar, Gary Kennedy

Abstract: In a 1962 paper, Zariski introduced the decomposition theory that now bears his name. Although it arose in the context of algebraic geometry and deals with the configuration of curves on an algebraic surface, we have recently observed that the essential concept is purely within the realm of linear algebra. In this paper, we formulate Zariski decomposition as a theorem in linear algebra and present… ▽ More In a 1962 paper, Zariski introduced the decomposition theory that now bears his name. Although it arose in the context of algebraic geometry and deals with the configuration of curves on an algebraic surface, we have recently observed that the essential concept is purely within the realm of linear algebra. In this paper, we formulate Zariski decomposition as a theorem in linear algebra and present a linear algebraic proof. We also sketch the geometric context in which Zariski first introduced his decomposition. △ Less

Submitted 23 June, 2011; v1 submitted 23 November, 2009; originally announced November 2009.

Comments: 20 pages, 5 figures; many small changes have been made to the previous version; the paper will appear in the American Math. Monthly

MSC Class: 14J99 (Primary) 14C20 (Secondary)

Seshadri constants and the generation of jets

Authors: Thomas Bauer, Tomasz Szemberg

Abstract: In this paper we explore the connection between Seshadri constants and the generation of jets. It is well-known that one way to view Seshadri constants is to consider them as measuring the rate of growth of the number of jets that multiples of a line bundle generate. Here we ask, conversely, what we can say about the number of jets once the Seshadri constant is known. As an application of our re… ▽ More In this paper we explore the connection between Seshadri constants and the generation of jets. It is well-known that one way to view Seshadri constants is to consider them as measuring the rate of growth of the number of jets that multiples of a line bundle generate. Here we ask, conversely, what we can say about the number of jets once the Seshadri constant is known. As an application of our results, we prove a characterization of projective space among all Fano varieties in terms of Seshadri constants. △ Less

Submitted 17 February, 2009; originally announced February 2009.

MSC Class: 14C20

A simplicial $A_\infty$-operad acting on $R$-resolutions

Authors: Tilman Bauer, Assaf Libman

Abstract: We construct a combinatorial model of an A-infinity-operad which acts simplicially on the cobar resolution (not just its total space) of a simplicial set with respect to a ring R. We construct a combinatorial model of an A-infinity-operad which acts simplicially on the cobar resolution (not just its total space) of a simplicial set with respect to a ring R. △ Less

Submitted 7 January, 2009; originally announced January 2009.

Comments: 18 pages; part 2 of a paper formerly called "$A_\infty$-monads and completion" which was split in two

Report number: MR2529233 MSC Class: 55P60; 18D50; 18C15

A primer on Seshadri constants

Authors: Thomas Bauer, Sandra Di Rocco, Brian Harbourne, Michal Kapustka, Andreas Leopold Knutsen, Wioletta Syzdek, Tomasz Szemberg

Abstract: Seshadri constants express the so called local positivity of a line bundle on a projective variety. They were introduced by Demailly. The original idea of using them towards a proof of the Fujita conjecture failed but they quickly became a subject of intensive study quite in their own right. Lazarsfeld's book "Positivity in Algebraic Geometry" contains a whole chapter devoted to local positivity a… ▽ More Seshadri constants express the so called local positivity of a line bundle on a projective variety. They were introduced by Demailly. The original idea of using them towards a proof of the Fujita conjecture failed but they quickly became a subject of intensive study quite in their own right. Lazarsfeld's book "Positivity in Algebraic Geometry" contains a whole chapter devoted to local positivity and serves as a very enjoyable introduction to Seshadri constants. Since this book has appeared, the subject witnessed quite a bit of development. It is the aim of these notes to give an account of recent progress as well as to discuss many open questions and provide some examples. △ Less

Submitted 1 July, 2010; v1 submitted 4 October, 2008; originally announced October 2008.

Comments: 37 pages, notes taken after the workshop on Seshadri consants held in Essen 12-15 Februar 2008, dedicated to Andrew J. Sommese the numbering in v.2 maches the numbering of the printed version

MSC Class: 14C20

Journal ref: Contemporary Mathematics 496 (2009), 33-70

Seshadri constants on the self-product of an elliptic curve

Authors: Thomas Bauer, Christoph Schulz

Abstract: The purpose of this paper is to study Seshadri constants on the self-product $E\times E$ of an elliptic curve $E$. We provide explicit formulas for computing the Seshadri constants of all ample line bundles on the surfaces considered. As an application, we obtain a good picture of the behaviour of the Seshadri function on the nef cone. The purpose of this paper is to study Seshadri constants on the self-product $E\times E$ of an elliptic curve $E$. We provide explicit formulas for computing the Seshadri constants of all ample line bundles on the surfaces considered. As an application, we obtain a good picture of the behaviour of the Seshadri function on the nef cone. △ Less

Submitted 27 June, 2008; originally announced June 2008.

MSC Class: 14C20; 14J25; 14K05}

A-infinity monads and completion

Authors: Tilman Bauer, Assaf Libman

Abstract: Given an operad A of topological spaces, we consider A-monads in a topological category C . When A is an A-infinity-operad, any A-monad K : C -> C can be thought of as a monad up to coherent homotopies. We define the completion functor with respect to an A-infinity-monad and prove that it is an A-infinity-monad itself. Given an operad A of topological spaces, we consider A-monads in a topological category C . When A is an A-infinity-operad, any A-monad K : C -> C can be thought of as a monad up to coherent homotopies. We define the completion functor with respect to an A-infinity-monad and prove that it is an A-infinity-monad itself. △ Less

Submitted 2 April, 2010; v1 submitted 20 May, 2008; originally announced May 2008.

Comments: 23 pages. Minor errors corrected. This version will appear in the Journal of Homotopy and Related Structures

MSC Class: 55P60; 18D50; 18C15

Convergence of the Eilenberg-Moore spectral sequence for generalized cohomology theories

Authors: Tilman Bauer

Abstract: We prove that the Morava-$K$-theory-based Eilenberg-Moore spectral sequence has good convergence properties whenever the base space is a $p$-local finite Postnikov system with vanishing $(n+1)$st homotopy group. We prove that the Morava-$K$-theory-based Eilenberg-Moore spectral sequence has good convergence properties whenever the base space is a $p$-local finite Postnikov system with vanishing $(n+1)$st homotopy group. △ Less

Submitted 26 March, 2008; originally announced March 2008.

MSC Class: 55T20; 57T35; 55N20

Seshadri constants on surfaces of general type

Authors: Thomas Bauer, Tomasz Szemberg

Abstract: We study Seshadri constants of the canonical bundle on minimal surfaces of general type. First, we prove that if the Seshadri constant $\eps(K_X,x)$ is between 0 and 1, then it is of the form $(m-1)/m$ for some integer $m\ge 2$. Secondly, we study values of $\eps(K_X,x)$ for a very general point $x$ and show that small values of the Seshadri constant are accounted for by the geometry of $X$. We study Seshadri constants of the canonical bundle on minimal surfaces of general type. First, we prove that if the Seshadri constant $\eps(K_X,x)$ is between 0 and 1, then it is of the form $(m-1)/m$ for some integer $m\ge 2$. Secondly, we study values of $\eps(K_X,x)$ for a very general point $x$ and show that small values of the Seshadri constant are accounted for by the geometry of $X$. △ Less

Submitted 21 January, 2008; originally announced January 2008.

MSC Class: 14C20; 14J29

A simple proof for the existence of Zariski decompositions on surfaces

Authors: Thomas Bauer

Abstract: In this note we give a quick and simple proof of the existence (and uniqueness) of Zariski decompositions on surfaces. While Zariski's original proof employs a rather sophisticated procedure to construct the negative part of the decomposition, the present approach is based on the idea that the positive part can be constructed from a maximality condition. It may also be useful that this approach… ▽ More In this note we give a quick and simple proof of the existence (and uniqueness) of Zariski decompositions on surfaces. While Zariski's original proof employs a rather sophisticated procedure to construct the negative part of the decomposition, the present approach is based on the idea that the positive part can be constructed from a maximality condition. It may also be useful that this approach yields a practical algorithm for the computation of the positive part. △ Less

Submitted 10 December, 2007; originally announced December 2007.

MSC Class: 14C20; 14F05

A criterion for an abelian variety to be simple

Authors: Thomas Bauer

Abstract: In this note we give a numerical criterion that expresses the condition that an abelian variety be simple in terms of an invariant that is closely related to the s-invariant of Ein-Cutkosky-Lazarsfeld. The criterion yields new examples where s-invariants are irrational. It may also be viewed as a statement about the geometry of the ample cone. In this note we give a numerical criterion that expresses the condition that an abelian variety be simple in terms of an invariant that is closely related to the s-invariant of Ein-Cutkosky-Lazarsfeld. The criterion yields new examples where s-invariants are irrational. It may also be viewed as a statement about the geometry of the ample cone. △ Less

Submitted 18 October, 2007; originally announced October 2007.

MSC Class: 14K05; 14C20

Adjoint spaces and flag varieties of p-compact groups

Authors: Tilman Bauer, Natalia Castellana

Abstract: For a compact Lie group $G$ with maximal torus $T$, Pittie and Smith showed that the flag variety $G/T$ is always a stably framed boundary. We generalize this to the category of $p$-compact groups, where the geometric argument is replaced by a homotopy theoretic argument showing that the class in the stable homotopy groups of spheres represented by $G/T$ is trivial, even $G$-equivariantly. As an… ▽ More For a compact Lie group $G$ with maximal torus $T$, Pittie and Smith showed that the flag variety $G/T$ is always a stably framed boundary. We generalize this to the category of $p$-compact groups, where the geometric argument is replaced by a homotopy theoretic argument showing that the class in the stable homotopy groups of spheres represented by $G/T$ is trivial, even $G$-equivariantly. As an application, we consider an unstable construction of a $G$-space mimicking the adjoint representation sphere of $G$ inspired by work of the second author and Kitchloo. This construction stably and $G$-equivariantly splits off its top cell, which is then shown to be a dualizing spectrum for $G$. △ Less

Submitted 20 February, 2006; originally announced February 2006.

Comments: 12 pages

MSC Class: 55P35; 55P60; 55P91

Zariski chambers, volumes, and stable base loci

Authors: Thomas Bauer, Alex Kuronya, Tomasz Szemberg

Abstract: The purpose of this paper is to investigate the behaviour of certain asymptotic invariants of line bundles on projective surfaces. In particular, we describe the volume of line bundles and their destabilizing numbers. The purpose of this paper is to investigate the behaviour of certain asymptotic invariants of line bundles on projective surfaces. In particular, we describe the volume of line bundles and their destabilizing numbers. △ Less

Submitted 10 December, 2003; originally announced December 2003.

Comments: 23 pages, 1 figure

MSC Class: 14C20 (primary); 14J99

Computation of the homotopy of the spectrum tmf

Authors: Tilman Bauer

Abstract: This paper contains a complete computation of the homotopy ring of the spectrum of topological modular forms constructed by Hopkins and Miller. The computation is done away from 6, and at the (interesting) primes 2 and 3 separately, and in each of the latter two cases, a sequence of algebraic Bockstein spectral sequences is used to compute the E_2 term of the elliptic Adams-Novikov spectral sequ… ▽ More This paper contains a complete computation of the homotopy ring of the spectrum of topological modular forms constructed by Hopkins and Miller. The computation is done away from 6, and at the (interesting) primes 2 and 3 separately, and in each of the latter two cases, a sequence of algebraic Bockstein spectral sequences is used to compute the E_2 term of the elliptic Adams-Novikov spectral sequence from the elliptic curve Hopf algebroid. In a further step, all the differentials in the latter spectral sequence are determined. The result of this computation is originally due to Hopkins and Mahowald (unpublished). △ Less

Submitted 2 April, 2009; v1 submitted 19 November, 2003; originally announced November 2003.

Comments: This is the version published by Geometry & Topology Monographs on 22 February 2008

MSC Class: 55N34; 55T15

Journal ref: Geom. Topol. Monogr. 13 (2008) 11-40

Nef reduction and anticanonical bundles

Authors: Thomas Bauer, Thomas Peternell

Abstract: We investigate the structure of smooth projective 3-folds X with -K_X nef and K_X^3=0. We investigate the structure of smooth projective 3-folds X with -K_X nef and K_X^3=0. △ Less

Submitted 31 October, 2003; originally announced October 2003.

Comments: 44 pages

MSC Class: 14J30; 14E30

A finite loop space not rationally equivalent to a compact Lie group

Authors: Kasper K. S. Andersen, Tilman Bauer, Jesper Grodal, Erik K. Pedersen

Abstract: We construct a connected finite loop space of rank 66 and dimension 1254 whose rational cohomology is not isomorphic as a graded vector space to the rational cohomology of any compact Lie group, hence providing a counterexample to a classical conjecture. Aided by machine calculation we verify that our counterexample is minimal, i.e., that any finite loop space of rank less than 66 is in fact rat… ▽ More We construct a connected finite loop space of rank 66 and dimension 1254 whose rational cohomology is not isomorphic as a graded vector space to the rational cohomology of any compact Lie group, hence providing a counterexample to a classical conjecture. Aided by machine calculation we verify that our counterexample is minimal, i.e., that any finite loop space of rank less than 66 is in fact rationally equivalent to a compact Lie group, extending the classical known bound of 5. △ Less

Submitted 16 June, 2003; originally announced June 2003.

Comments: 8 pages

MSC Class: 55P35; 55P15; 55R35

Journal ref: Invent. Math 157 (2004), no. 1, 1--10.

Stability and Futaki Invariants of Fano Hypersurfaces

Authors: Thomas Rudolf Bauer

Abstract: Let X be a Fano manifold. G.Tian proves that if X admits a Kaehler-Einstein metric, then it satisfies two different stability conditions: one involving the Futaki invariant of a special degeneration of X, the other Hilbert-Mumford-stability of X w.r.t. a certain polarization. He conjectures that each of these conditions is also sufficient for the existence of such a metric. If this is true, then… ▽ More Let X be a Fano manifold. G.Tian proves that if X admits a Kaehler-Einstein metric, then it satisfies two different stability conditions: one involving the Futaki invariant of a special degeneration of X, the other Hilbert-Mumford-stability of X w.r.t. a certain polarization. He conjectures that each of these conditions is also sufficient for the existence of such a metric. If this is true, then in particular the two stability conditions would be equivalent. We show that for Fano hypersurfaces in projective space, where due to the work of Lu and Yotov an explicit formula for the Futaki invariant is known, these two conditions are indeed very closely related. △ Less

Submitted 9 November, 2001; originally announced November 2001.

Comments: 11 pages

MSC Class: 14J45; 14J70; 14L24; 32Q20

A reduction map for nef line bundles

Authors: Thomas Bauer, Frederic Campana, Thomas Eckl, Stefan Kebekus, Thomas Peternell, Slawomir Rams, Tomasz Szemberg, Lorenz Wotzlaw

Abstract: In a recent preprint, H. Tsuji gave a number of interesting assertions on the structure of pseudo-effective line bundles on projective manifolds. In particular, he postulated the existence of an almost-holomorphic "reduction map", whose fibers are maximal subvarieties on which the line bundle is numerically trivial. The purpose of this note is to give a simple, algebraic proof of the existence… ▽ More In a recent preprint, H. Tsuji gave a number of interesting assertions on the structure of pseudo-effective line bundles on projective manifolds. In particular, he postulated the existence of an almost-holomorphic "reduction map", whose fibers are maximal subvarieties on which the line bundle is numerically trivial. The purpose of this note is to give a simple, algebraic proof of the existence of a reduction map in the case where the line bundle is nef. △ Less

Submitted 18 June, 2001; originally announced June 2001.

MSC Class: 14D06