Showing 1–40 of 40 results for author: Böhning, C

Fourier-Mukai partners of non-syzygetic cubic fourfolds and Gale duality

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Lisa Marquand

Abstract: We study so-called non-syzygetic cubic fourfolds, i.e., smooth cubic fourfolds containing two cubic surface scrolls in distinct hyperplanes with intersection number between the two scrolls equal to $1$. We prove that a very general non-syzygetic cubic fourfold has precisely one nontrivial Fourier-Mukai partner that is also non-syzygetic. We characterise non-syzygetic cubic fourfolds algebraically… ▽ More We study so-called non-syzygetic cubic fourfolds, i.e., smooth cubic fourfolds containing two cubic surface scrolls in distinct hyperplanes with intersection number between the two scrolls equal to $1$. We prove that a very general non-syzygetic cubic fourfold has precisely one nontrivial Fourier-Mukai partner that is also non-syzygetic. We characterise non-syzygetic cubic fourfolds algebraically as those having a special type of equation that is almost linear determinantal, and show that the equation of the Fourier-Mukai partner can be obtained by applying Gale duality. We establish that Gale dual cubics are birational, Fourier-Mukai partners and have birational Fano varieties of lines under suitable genericity assumptions, recovering a result of Brooke-Frei-Marquand. We show that the birationality of the Fano varieties of lines continues to hold in the context of equivariant birational geometry, but birationality of the cubics may not. We exhibit examples of Gale dual cubics with faithful actions of the alternating group on four letters that could provide counterexamples to equivariant versions of a conjecture by Brooke-Frei-Marquand predicting birationality of the cubics if the Fano varieties of lines are birational, and also possibly a related conjecture by Huybrechts predicting birationality of Fourier-Mukai partners. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Comments: 24 pages. Accompanying Macaulay2 files available at https://zenodo.org/records/15396020

MSC Class: 14J35; 14J70; 14J42; 14E07

Explicit bounds on common projective torsion points of elliptic curves

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, David Hubbard

Abstract: Suppose E_1, E_2 are elliptic curves (over the complex numbers) together with standard double coverings of the projective line identifying a point and its inverse on E_i. Bogomolov, Fu and Tschinkel have asked if the number of common images of torsion points on the elliptic curves under these double coverings is uniformly bounded in the case when the branch loci of the double coverings do not coin… ▽ More Suppose E_1, E_2 are elliptic curves (over the complex numbers) together with standard double coverings of the projective line identifying a point and its inverse on E_i. Bogomolov, Fu and Tschinkel have asked if the number of common images of torsion points on the elliptic curves under these double coverings is uniformly bounded in the case when the branch loci of the double coverings do not coincide, and recently this was answered affirmatively by various authors, but realistic effective bounds are unknown. In this article we obtain such bounds for common projective torsion points on elliptic curves under some mild extra assumptions on the reduction type of the input data at given primes. The method is based on Raynaud's original groundbreaking work on the Manin-Mumford conjecture. In particular, we generalise several of his results to cases of bad reduction using techniques from logarithmic algebraic geometry. △ Less

Submitted 28 December, 2024; originally announced December 2024.

Comments: 30 pages

Equivariant birational types and derived categories

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Yuri Tschinkel

Abstract: We investigate equivariant birational geometry of rational surfaces and threefolds from the perspective of derived categories. We investigate equivariant birational geometry of rational surfaces and threefolds from the perspective of derived categories. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Comments: 32 pages

MSC Class: 14E07; 14E08; 14F08; 14L30

Equivariant birational geometry of cubic fourfolds and derived categories

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Yuri Tschinkel

Abstract: We study equivariant birationality from the perspective of derived categories. We produce examples of nonlinearizable but stably linearizable actions of finite groups on smooth cubic fourfolds. We study equivariant birationality from the perspective of derived categories. We produce examples of nonlinearizable but stably linearizable actions of finite groups on smooth cubic fourfolds. △ Less

Submitted 18 April, 2023; v1 submitted 30 March, 2023; originally announced March 2023.

Comments: 28 pages, with an appendix by Brendan Hassett

Moduli spaces of 6 x 6 skew matrices of linear forms on P^4 with a view towards intermediate Jacobians of cubic threefolds

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Lukas Buhr

Abstract: It is well known that every smooth cubic threefold is the zero locus of the Pfaffian of a 6 x 6 skew-symmetric matrix of linear forms in P^4. To compactify the space of such Pfaffian representations of a given cubic and to study the construction in families as well as for singular or reducible cubics, it is thus natural to consider the incidence correspondence of Pfaffian representations inside th… ▽ More It is well known that every smooth cubic threefold is the zero locus of the Pfaffian of a 6 x 6 skew-symmetric matrix of linear forms in P^4. To compactify the space of such Pfaffian representations of a given cubic and to study the construction in families as well as for singular or reducible cubics, it is thus natural to consider the incidence correspondence of Pfaffian representations inside the product of the space of semistable skew-symmetric 6 x 6 matrices of linear forms in P^4 and the space of cubics. Here we describe concretely the irreducible component of this incidence correspondence dominating the space of skew matrices. △ Less

Submitted 14 December, 2022; originally announced December 2022.

Comments: 14 pages

MSC Class: 14D20; 14H40

Formats of 6 x 6 skew matrices of linear forms with vanishing Pfaffian

Authors: Christian Böhning, Hans-Christian Graf von Bothmer

Abstract: We show that every skew-symmetric 6 x 6 matrix of linear forms with vanishing Pfaffian is congruent to one of finitely many types of matrices, each of which is characterised by a specific pattern of zeroes (and some other linear relations) among its entries. Such matrices are for example important for compactifying moduli spaces of stable rank 2 vector bundles with Chern classes c_1=0, c_2=2 on cu… ▽ More We show that every skew-symmetric 6 x 6 matrix of linear forms with vanishing Pfaffian is congruent to one of finitely many types of matrices, each of which is characterised by a specific pattern of zeroes (and some other linear relations) among its entries. Such matrices are for example important for compactifying moduli spaces of stable rank 2 vector bundles with Chern classes c_1=0, c_2=2 on cubic threefolds. △ Less

Submitted 16 December, 2022; v1 submitted 6 October, 2022; originally announced October 2022.

Comments: 17 pages; v2: section 4 has been expanded to include a proof of the stability properties of the matrices in Table 2

MSC Class: 15A21; 14D20

Matrix factorizations and intermediate Jacobians of cubic threefolds

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Lukas Buhr

Abstract: Results due to Druel and Beauville show that the blowup of the intermediate Jacobian of a smooth cubic threefold X in the Fano surface of lines can be identified with a moduli space of semistable sheaves of Chern classes c_1=0, c_2=2, c_3=0 on X. Here we further identify this space with a space of matrix factorizations. This has the advantage that this description naturally generalizes to singular… ▽ More Results due to Druel and Beauville show that the blowup of the intermediate Jacobian of a smooth cubic threefold X in the Fano surface of lines can be identified with a moduli space of semistable sheaves of Chern classes c_1=0, c_2=2, c_3=0 on X. Here we further identify this space with a space of matrix factorizations. This has the advantage that this description naturally generalizes to singular and even reducible cubic threefolds. In this way, given a degeneration of X to a reducible cubic threefold X_0, we obtain an associated degeneration of the above moduli spaces of semistable sheaves. △ Less

Submitted 15 December, 2022; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: 16 pages

MSC Class: 14D20; 14H40

A rigid, not infinitesimally rigid surface with K ample

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Roberto Pignatelli

Abstract: We produce an example of a rigid, but not infinitesimally rigid smooth compact complex surface with ample canonical bundle using results about arrangements of lines inspired by work of Hirzebruch, Kapovich and Millson, Manetti and Vakil. We produce an example of a rigid, but not infinitesimally rigid smooth compact complex surface with ample canonical bundle using results about arrangements of lines inspired by work of Hirzebruch, Kapovich and Millson, Manetti and Vakil. △ Less

Submitted 1 June, 2021; v1 submitted 27 October, 2020; originally announced October 2020.

Comments: 28 pages, 1 figure. For associated M2 files visit https://www.math.uni-hamburg.de/home/bothmer/M2/rigidNotInf/ To be published in the special issue of Bollettino dell'Unione Matematica Italiana dedicated to Fabrizio Catanese

MSC Class: 14B12; 14L30; 14J10; 14J29; 14E20; 32G05

Prelog Chow groups of self-products of degenerations of cubic threefolds

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Michel van Garrel

Abstract: It is unknown whether smooth cubic threefolds have an (integral Chow-theoretic) decomposition of the diagonal, or whether they are stably rational or not in general. As a first step towards making progress on these questions, we compute the (saturated numerical) prelog Chow group of the self-product of a certain degeneration of cubic threefolds. It is unknown whether smooth cubic threefolds have an (integral Chow-theoretic) decomposition of the diagonal, or whether they are stably rational or not in general. As a first step towards making progress on these questions, we compute the (saturated numerical) prelog Chow group of the self-product of a certain degeneration of cubic threefolds. △ Less

Submitted 22 September, 2021; v1 submitted 11 December, 2019; originally announced December 2019.

Comments: 25 pages, 1 figure

MSC Class: 14C15; 14C25; 14E08; 14D06

Prelog Chow rings and degenerations

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Michel van Garrel

Abstract: For a simple normal crossing variety $X$, we introduce the concepts of prelog Chow ring, saturated prelog Chow group, as well as their counterparts for numerical equivalence. Thinking of $X$ as the central fibre in a (strictly) semistable degeneration, these objects can intuitively be thought of as consisting of cycle classes on $X$ for which some initial obstruction to arise as specializations of… ▽ More For a simple normal crossing variety $X$, we introduce the concepts of prelog Chow ring, saturated prelog Chow group, as well as their counterparts for numerical equivalence. Thinking of $X$ as the central fibre in a (strictly) semistable degeneration, these objects can intuitively be thought of as consisting of cycle classes on $X$ for which some initial obstruction to arise as specializations of cycle classes on the generic fibre is absent. Cycle classes in the generic fibre specialize to their prelog counterparts in the central fibre, thus extending to Chow rings the method of studying smooth varieties via strictly semistable degenerations. After proving basic properties for prelog Chow rings and groups, we explain how they can be used in an envisaged further development of the degeneration method by Voisin et al. to prove stable irrationality of very general fibres of certain families of varieties; this extension would allow for much more singular degenerations, such as toric degenerations as occur in the Gross-Siebert programme, to be usable. We illustrate that by looking at the example of degenerations of elliptic curves, which, although simple, shows that our notion of prelog decomposition of the diagonal can also be used as an obstruction in cases where all components in a degeneration and their mutual intersections are rational. We also compute the saturated prelog Chow group of degenerations of cubic surfaces. △ Less

Submitted 4 May, 2022; v1 submitted 20 November, 2019; originally announced November 2019.

Comments: 33 pages, 14 figures

MSC Class: 14C15; 14C25; 14E08

On stable cohomology of central extensions of elementary abelian groups

Authors: Fedor Bogomolov, Christian Böhning, Alena Pirutka

Abstract: We study when kernels of inflation maps associated to extraspecial p-groups in stable group cohomology are generated by their degree two components. This turns out to be true if the prime is large enough compared to the rank of the elementary abelian quotient, but false in general. We study when kernels of inflation maps associated to extraspecial p-groups in stable group cohomology are generated by their degree two components. This turns out to be true if the prime is large enough compared to the rank of the elementary abelian quotient, but false in general. △ Less

Submitted 28 September, 2018; originally announced September 2018.

Comments: 13 pages

MSC Class: 14E08; 14F43

Universal triviality of the Chow group of 0-cycles and the Brauer group

Authors: Asher Auel, Alessandro Bigazzi, Christian Böhning, Hans-Christian Graf von Bothmer

Abstract: We prove that a smooth proper universally CH_0-trivial variety X over a field k has universally trivial Brauer group. This fills a gap in the literature concerning the p-torsion of the Brauer group when k has characteristic p. We prove that a smooth proper universally CH_0-trivial variety X over a field k has universally trivial Brauer group. This fills a gap in the literature concerning the p-torsion of the Brauer group when k has characteristic p. △ Less

Submitted 15 June, 2018; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: 12 pages; v2: improvements to exposition and notation. arXiv admin note: text overlap with arXiv:1806.02668

MSC Class: 11E04; 14C35; 14D06; 14E08; 14F22

Unramified Brauer groups of conic bundle threefolds in characteristic two

Authors: Asher Auel, Alessandro Bigazzi, Christian Böhning, Hans-Christian Graf von Bothmer

Abstract: We establish a formula for computing the unramified Brauer group of tame conic bundle threefolds in characteristic 2. The formula depends on the arrangement and residue double covers of the discriminant components, the latter being governed by Artin-Schreier theory (instead of Kummer theory in characteristic not 2). We use this to give new examples of threefold conic bundles defined over the integ… ▽ More We establish a formula for computing the unramified Brauer group of tame conic bundle threefolds in characteristic 2. The formula depends on the arrangement and residue double covers of the discriminant components, the latter being governed by Artin-Schreier theory (instead of Kummer theory in characteristic not 2). We use this to give new examples of threefold conic bundles defined over the integers that are not stably rational over the complex numbers. △ Less

Submitted 15 June, 2018; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: 29 pages; v2: added Prop. 3.11, removed assumption of rationality for the base surface of the conic bundles, other small improvements

MSC Class: 11E04; 14C35; 14D06; 14E08; 14F22

Stable rationality of quadric and cubic surface bundle fourfolds

Authors: Asher Auel, Christian Böhning, Alena Pirutka

Abstract: We study the stable rationality problem for quadric and cubic surface bundles over surfaces from the point of view of the degeneration method for the Chow group of 0-cycles. Our main result is that a very general hypersurface X of bidegree (2,3) in P^2 x P^3 is not stably rational. Via projections onto the two factors, X is a cubic surface bundle over P^2 and a conic bundle over P^3, and we analyz… ▽ More We study the stable rationality problem for quadric and cubic surface bundles over surfaces from the point of view of the degeneration method for the Chow group of 0-cycles. Our main result is that a very general hypersurface X of bidegree (2,3) in P^2 x P^3 is not stably rational. Via projections onto the two factors, X is a cubic surface bundle over P^2 and a conic bundle over P^3, and we analyze the stable rationality problem from both these points of view. This provides another example of a smooth family of rationally connected fourfolds with rational and nonrational fibers. Finally, we introduce new quadric surface bundle fourfolds over P^2 with discriminant curve of any even degree at least 8, having nontrivial unramified Brauer group and admitting a universally CH_0-trivial resolution. △ Less

Submitted 19 October, 2017; originally announced October 2017.

Comments: 27 pages, comments welcome!

MSC Class: 14C35; 14D06; 14E05; 14E08; 14F22; 14J20; 14J26

Journal ref: European Journal of Mathematics 4 (2018), no. 3, 732-760

Degenerations of Gushel-Mukai fourfolds, with a view towards irrationality proofs

Authors: Christian Böhning, Hans-Christian Graf von Bothmer

Abstract: We study a certain class of degenerations of Gushel-Mukai fourfolds as conic bundles, which we call tame degenerations and which are natural if one wants to prove that very general Gushel-Mukai fourfolds are irrational using the degeneration method due to Voisin, Colliot-Thélène-Pirutka, Totaro et al. However, we prove that no such tame degenerations do exist. We study a certain class of degenerations of Gushel-Mukai fourfolds as conic bundles, which we call tame degenerations and which are natural if one wants to prove that very general Gushel-Mukai fourfolds are irrational using the degeneration method due to Voisin, Colliot-Thélène-Pirutka, Totaro et al. However, we prove that no such tame degenerations do exist. △ Less

Submitted 6 April, 2017; originally announced April 2017.

Comments: 25 pages

MSC Class: 14D06; 14E08; 14J35; 14J45

Conic bundles with nontrivial unramified Brauer group over threefolds

Authors: Asher Auel, Christian Böhning, Hans-Christian Graf v. Bothmer, Alena Pirutka

Abstract: We derive a formula for the unramified Brauer group of a general class of rationally connected fourfolds birational to conic bundles over smooth threefolds. We produce new examples of conic bundles over P^3 where this formula applies and which have nontrivial unramified Brauer group. The construction uses the theory of contact surfaces and, at least implicitly, matrix factorizations and symmetric… ▽ More We derive a formula for the unramified Brauer group of a general class of rationally connected fourfolds birational to conic bundles over smooth threefolds. We produce new examples of conic bundles over P^3 where this formula applies and which have nontrivial unramified Brauer group. The construction uses the theory of contact surfaces and, at least implicitly, matrix factorizations and symmetric arithmetic Cohen--Macaulay sheaves, as well as the geometry of special arrangements of rational curves in P^2. We also prove the existence of universally CH_0-trivial resolutions for the general class of conic bundle fourfolds we consider. Using the degeneration method, we thus produce new families of rationally connected fourfolds whose very general member is not stably rational. △ Less

Submitted 18 October, 2016; v1 submitted 17 October, 2016; originally announced October 2016.

Comments: 36 pages, Macaulay 2 code used for verification of parts of the paper available at http://www.math.uni-hamburg.de/home/bothmer/M2/conicBundles/

MSC Class: 11E04; 14C35; 14D06; 14E08; 14F22

Journal ref: Journal of Algebraic Geometry 29 (2020), 285-327

On stable rationality of some conic bundles and moduli spaces of Prym curves

Authors: Christian Böhning, Hans-Christian Graf von Bothmer

Abstract: We prove that a very general hypersurface of bidegree (2, n) in P^2 x P^2 for n bigger than or equal to 2 is not stably rational, using Voisin's method of integral Chow-theoretic decompositions of the diagonal and their preservation under mild degenerations. At the same time, we also analyse possible ways to degenerate Prym curves, and the way how various loci inside the moduli space of stable Pry… ▽ More We prove that a very general hypersurface of bidegree (2, n) in P^2 x P^2 for n bigger than or equal to 2 is not stably rational, using Voisin's method of integral Chow-theoretic decompositions of the diagonal and their preservation under mild degenerations. At the same time, we also analyse possible ways to degenerate Prym curves, and the way how various loci inside the moduli space of stable Prym curves are nested. No deformation theory of stacks or sheaves of Azumaya algebras like in recent work of Hasset-Kresch-Tschinkel is used, rather we employ a more elementary and explicit approach via Koszul complexes, which is enough to treat this special case. △ Less

Submitted 17 May, 2016; v1 submitted 10 May, 2016; originally announced May 2016.

Comments: 23 pages; Macaulay 2 code used for verification of parts of the paper available at http://www.math.uni-hamburg.de/home/bothmer/m2.html and at the end of the TeX file; v2: in section 4, we now included a proof of the main theorem that works for all n (unconditional on the parity) that was communicated to us by Zhi Jiang, Zhiyu Tian, and Letao Zhang. Several other minor expository improvements

MSC Class: 14E08; 14M20

Some properties of dynamical degrees with a view towards cubic fourfolds

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Pawel Sosna

Abstract: Dynamical degrees and spectra can serve to distinguish birational automorphism groups of varieties in quantitative, as opposed to only qualitative, ways. We introduce and discuss some properties of those degrees and the Cremona degrees, which facilitate computing or deriving inequalities for them in concrete cases: (generalized) lower semi-continuity, sub-multiplicativity, and an analogue of Picar… ▽ More Dynamical degrees and spectra can serve to distinguish birational automorphism groups of varieties in quantitative, as opposed to only qualitative, ways. We introduce and discuss some properties of those degrees and the Cremona degrees, which facilitate computing or deriving inequalities for them in concrete cases: (generalized) lower semi-continuity, sub-multiplicativity, and an analogue of Picard-Manin/Zariski-Riemann spaces for higher codimension cycles. We also specialize to cubic fourfolds and show that under certain genericity assumptions the first and second dynamical degrees of a composition of reflections in points on the cubic coincide. △ Less

Submitted 29 September, 2015; originally announced September 2015.

Comments: 24 pages, 1 figure

MSC Class: 14E07; 14J35; 37F10

Journal ref: Res. Math. Sci. (2016) 3:23

On the dynamical degrees of reflections on cubic fourfolds

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Pawel Sosna

Abstract: We compute the dynamical degrees of certain compositions of reflections in points on a smooth cubic fourfold. Our interest in these computations stems from the irrationality problem for cubic fourfolds. Namely, we hope that they will provide numerical evidence for potential restrictions on tuples of dynamical degrees realisable on general cubic fourfolds which can be violated on the projective fou… ▽ More We compute the dynamical degrees of certain compositions of reflections in points on a smooth cubic fourfold. Our interest in these computations stems from the irrationality problem for cubic fourfolds. Namely, we hope that they will provide numerical evidence for potential restrictions on tuples of dynamical degrees realisable on general cubic fourfolds which can be violated on the projective four-space. △ Less

Submitted 4 February, 2015; originally announced February 2015.

Comments: 28 pages, 3 figures

MSC Class: 14E07; 14J35; 37F10

Journal ref: European Journal of Mathematics (2016) 2: 45

Essential dimension, stable cohomological dimension, and stable cohomology of finite Heisenberg groups

Authors: Fedor Bogomolov, Christian Böhning

Abstract: We compare the notions of essential dimension and stable cohomological dimension of a finite group G, prove that the latter is bounded by the length of any normal series with cyclic quotients for G, and show that, however, this bound is not sharp by showing that the stable cohomological dimension of the finite Heisenberg groups H_p, p any prime, is equal to two. We compare the notions of essential dimension and stable cohomological dimension of a finite group G, prove that the latter is bounded by the length of any normal series with cyclic quotients for G, and show that, however, this bound is not sharp by showing that the stable cohomological dimension of the finite Heisenberg groups H_p, p any prime, is equal to two. △ Less

Submitted 6 May, 2014; originally announced May 2014.

Comments: 18 pages

MSC Class: 14F43; 14E08

Birationally isotrivial fiber spaces

Authors: Fedor Bogomolov, Christian Böhning, Hans-Christian Graf von Bothmer

Abstract: We prove that a family of varieties is birationally isotrivial if all the fibers are birational to each other. We prove that a family of varieties is birationally isotrivial if all the fibers are birational to each other. △ Less

Submitted 12 November, 2015; v1 submitted 6 May, 2014; originally announced May 2014.

Comments: 10 pages; v2: thanks to helpful suggestions of the referee, the main result is now independent of the Eisenbud-Goto conjecture; also we removed the erroneous Prop. 3.4 of v1 which was not needed for anything else in the paper

MSC Class: 14E05; 14E07

Journal ref: European Journal of Mathematics (2016) 2:45-54

On uniformly rational varieties

Authors: Fedor Bogomolov, Christian Böhning

Abstract: We investigate basic properties of uniformly rational varieties, i.e. those smooth varieties for which every point has a Zariski open neighborhood isomorphic to an open subset of A^n. It is an open question of Gromov whether all smooth rational varieties are uniformly rational. We discuss some potential criteria that might allow one to show that they form a proper subclass in the class of all smoo… ▽ More We investigate basic properties of uniformly rational varieties, i.e. those smooth varieties for which every point has a Zariski open neighborhood isomorphic to an open subset of A^n. It is an open question of Gromov whether all smooth rational varieties are uniformly rational. We discuss some potential criteria that might allow one to show that they form a proper subclass in the class of all smooth rational varieties. Finally we prove that small algebraic resolutions and big resolutions of nodal cubic threefolds are uniformly rational. △ Less

Submitted 29 June, 2013; originally announced July 2013.

Comments: 18 pages

MSC Class: 14E08; 14M20

The transcendental lattice of the sextic Fermat surface

Authors: Asher Auel, Christian Böhning, Hans-Christian Graf v. Bothmer

Abstract: We prove that the integral polarized Hodge structure on the transcendental lattice of a sextic Fermat surface is decomposable. This disproves a conjecture of Kulikov related to a Hodge theoretic approach to proving the irrationality of the very general cubic fourfold. We prove that the integral polarized Hodge structure on the transcendental lattice of a sextic Fermat surface is decomposable. This disproves a conjecture of Kulikov related to a Hodge theoretic approach to proving the irrationality of the very general cubic fourfold. △ Less

Submitted 2 July, 2013; v1 submitted 28 June, 2013; originally announced June 2013.

Comments: 15 pages; v2: minor changes, streamlined the argument in Section 4

MSC Class: 14C30; 14E08; 14J25

Journal ref: Math. Res. Lett. 20 (2013), no. 6, 1017-1031

On the Jordan-Hölder property for geometric derived categories

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Pawel Sosna

Abstract: We prove that the semiorthogonal decompositions of the derived category of the classical Godeaux surface X do not satisfy the Jordan-Hölder property. More precisely, there are two maximal exceptional sequences in this category, one of length 11, the other of length 9. Assuming the Noetherian property for semiorthogonal decompositions, one can define, following Kuznetsov, the Clemens-Griffiths comp… ▽ More We prove that the semiorthogonal decompositions of the derived category of the classical Godeaux surface X do not satisfy the Jordan-Hölder property. More precisely, there are two maximal exceptional sequences in this category, one of length 11, the other of length 9. Assuming the Noetherian property for semiorthogonal decompositions, one can define, following Kuznetsov, the Clemens-Griffiths component for each fixed maximal decomposition. We then show that D^b (X) has two different maximal decompositions for which the Clemens-Griffiths components differ. Moreover, we produce examples of rational fourfolds whose derived categories also violate the Jordan-Hölder property. △ Less

Submitted 6 November, 2012; originally announced November 2012.

Comments: 13 pages; Macaulay2 code available at http://www.math.uni-hamburg.de/home/boehning/research/JordanHoelderM2/M2scripts.html

MSC Class: 14F05; 14J29; 18E30

Journal ref: Adv. Math. 256 (2014), 479-492

Determinantal Barlow surfaces and phantom categories

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Ludmil Katzarkov, Pawel Sosna

Abstract: We prove that the bounded derived category of the surface S constructed by Barlow admits a length 11 exceptional sequence consisting of (explicit) line bundles. Moreover, we show that in a small neighbourhood of S in the moduli space of determinantal Barlow surfaces, the generic surface has a semiorthogonal decomposition of its derived category into a length 11 exceptional sequence of line bundles… ▽ More We prove that the bounded derived category of the surface S constructed by Barlow admits a length 11 exceptional sequence consisting of (explicit) line bundles. Moreover, we show that in a small neighbourhood of S in the moduli space of determinantal Barlow surfaces, the generic surface has a semiorthogonal decomposition of its derived category into a length 11 exceptional sequence of line bundles and a category with trivial Grothendieck group and Hochschild homology, called a phantom category. This is done using a deformation argument and the fact that the derived endomorphism algebra of the sequence is constant. Applying Kuznetsov's results on heights of exceptional sequences, we also show that the sequence on S itself is not full and its (left or right) orthogonal complement is also a phantom category. △ Less

Submitted 1 October, 2012; originally announced October 2012.

Comments: 27 pages; 1 figure; Macaulay2 code for the paper available at http://www.math.uni-hamburg.de/home/boehning/research/BarlowM2/M2scripts

MSC Class: 14F05; 14J29; 18E30

Journal ref: J. Eur. Math. Soc. (2015) 17, 1569-1592

On the derived category of the classical Godeaux surface

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Pawel Sosna

Abstract: We construct an exceptional sequence of length 11 on the classical Godeaux surface X which is the Z/5-quotient of the Fermat quintic surface in P^3. This is the maximal possible length of such a sequence on this surface which has Grothendieck group Z^11+Z/5. In particular, the result answers Kuznetsov's Nonvanishing Conjecture, which concerns Hochschild homology of an admissible subcategory, in… ▽ More We construct an exceptional sequence of length 11 on the classical Godeaux surface X which is the Z/5-quotient of the Fermat quintic surface in P^3. This is the maximal possible length of such a sequence on this surface which has Grothendieck group Z^11+Z/5. In particular, the result answers Kuznetsov's Nonvanishing Conjecture, which concerns Hochschild homology of an admissible subcategory, in the negative. The sequence carries a symmetry when interpreted in terms of the root lattice of the simple Lie algebra of type E_8. We also produce explicit nonzero objects in the (right) orthogonal to the exceptional sequence. △ Less

Submitted 3 October, 2012; v1 submitted 8 June, 2012; originally announced June 2012.

Comments: 33 pages, 1 figure; version 2: apart from small changes, section 10 on the derived endomorphism algebra of the sequence added

MSC Class: 14F05; 14J29

Journal ref: Adv. Math. 243 (2013), 203-231

Isoclinism and stable cohomology of wreath products

Authors: Fedor Bogomolov, Christian Böhning

Abstract: Using the notion of isoclinism introduced by P. Hall for finite p-groups, we show that many important classes of finite p-groups have stable cohomology detected by abelian subgroups, see Theorem 4.4. Moreover, we show that the stable cohomology of the n-fold wreath product of cyclic groups ZZ/p is detected by elementary abelian p-subgroups and we describe the resulting cohomology algebra explicitl… ▽ More Using the notion of isoclinism introduced by P. Hall for finite p-groups, we show that many important classes of finite p-groups have stable cohomology detected by abelian subgroups, see Theorem 4.4. Moreover, we show that the stable cohomology of the n-fold wreath product of cyclic groups ZZ/p is detected by elementary abelian p-subgroups and we describe the resulting cohomology algebra explicitly. Some applications to the computation of unramified and stable cohomology of finite groups of Lie type are given. △ Less

Submitted 20 April, 2012; originally announced April 2012.

Comments: 19 pages

MSC Class: 14E08; 14F43

Stable cohomology of alternating groups

Authors: Fedor Bogomolov, Christian Böhning

Abstract: In this article we determine the stable cohomology groups H^i_s (A_n, Z/p) of the alternating groups A_n for all integers n and i, and all primes p. In this article we determine the stable cohomology groups H^i_s (A_n, Z/p) of the alternating groups A_n for all integers n and i, and all primes p. △ Less

Submitted 20 April, 2012; v1 submitted 13 August, 2011; originally announced August 2011.

Comments: 21 pages; v3: supplied a new argument in section 2 for the fact that the stable cohomology of the alternating groups is detected by elementary abelian subgroups

MSC Class: 14E08; 14F43

Birational properties of some moduli spaces related to tetragonal curves of genus 7

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Gianfranco Casnati

Abstract: Let M_{7,n} be the (coarse) moduli space of smooth curves of genus 7 with n marked points defined over the complex field. We denote by M^1_{7,n;4} the locus of points inside M_{7,n} representing curves carrying a g^1_4. It is classically known that M^1_{7,n;4} is irreducible of dimension 17+n. We prove in this paper that M^1_{7,n;4} is rational for 0<= n <= 11. Let M_{7,n} be the (coarse) moduli space of smooth curves of genus 7 with n marked points defined over the complex field. We denote by M^1_{7,n;4} the locus of points inside M_{7,n} representing curves carrying a g^1_4. It is classically known that M^1_{7,n;4} is irreducible of dimension 17+n. We prove in this paper that M^1_{7,n;4} is rational for 0<= n <= 11. △ Less

Submitted 6 July, 2011; v1 submitted 2 May, 2011; originally announced May 2011.

Comments: 20 pages; in the second version we replaced the previous Lemma 4.3 by Lemma 4.5, and fixed the proof of the rationality of the moduli space of unpointed tetragonal genus 7 curves in section 4. Hans-Christian von Bothmer as further author added

MSC Class: 14H10; 14H45; 14E08; 14L30

Journal ref: International Mathematics Research Notices 2012 (22), 5219-5245

Linear bounds for levels of stable rationality

Authors: Fedor Bogomolov, Christian Böhning, Hans-Christian Graf von Bothmer

Abstract: Let G be one of the groups SL_n C, Sp_2n C, SO_m C, O_m C, or G_2. For a generically free G-representation V, we say that N is a level of stable rationality for V/G if V/G x P^N is rational. In this paper we improve known bounds for the levels of stable rationality for the quotients V/G. In particular, their growth as functions of the rank of the group is linear for G one of the classical groups. Let G be one of the groups SL_n C, Sp_2n C, SO_m C, O_m C, or G_2. For a generically free G-representation V, we say that N is a level of stable rationality for V/G if V/G x P^N is rational. In this paper we improve known bounds for the levels of stable rationality for the quotients V/G. In particular, their growth as functions of the rank of the group is linear for G one of the classical groups. △ Less

Submitted 24 February, 2011; originally announced February 2011.

Comments: 63 pages

MSC Class: 14E08; 14M20; 14L24

Rationality of quotients by linear actions of affine groups

Authors: Fedor Bogomolov, Christian Böhning, Hans-Christian Graf von Bothmer

Abstract: Let G be the (special) affine group, semidirect product of SL_n and C^n. In this paper we study the representation theory of G and in particular the question of rationality for V/G where V is a generically free G-representation. We show that the answer to this question is positive if the dimension of V is sufficiently large and V is indecomposable. We have a more precise theorem if V is a two-st… ▽ More Let G be the (special) affine group, semidirect product of SL_n and C^n. In this paper we study the representation theory of G and in particular the question of rationality for V/G where V is a generically free G-representation. We show that the answer to this question is positive if the dimension of V is sufficiently large and V is indecomposable. We have a more precise theorem if V is a two-step extension 0 -> S -> V -> Q -> 0 with S, Q completely reducible. △ Less

Submitted 16 July, 2010; v1 submitted 13 May, 2010; originally announced May 2010.

Comments: 18 pages; dedicated to Fabrizio Catanese on the occasion of his 60th birthday

MSC Class: 14E08; 14M20; 14L24

On the rationality of the moduli space of Lüroth quartics

Authors: Christian Böhning, Hans-Christian Graf v. Bothmer

Abstract: We prove that the moduli space M_L of L"uroth quartics in P^2, i.e. the space of quartics which can be circumscribed around a complete pentagon of lines modulo the action of PGL_3(CC) is rational, as is the related moduli space of Bateman seven-tuples of points in P^2. We prove that the moduli space M_L of L"uroth quartics in P^2, i.e. the space of quartics which can be circumscribed around a complete pentagon of lines modulo the action of PGL_3(CC) is rational, as is the related moduli space of Bateman seven-tuples of points in P^2. △ Less

Submitted 24 March, 2010; originally announced March 2010.

Comments: 7 pages

MSC Class: 14E08; 14M20; 14L24

Journal ref: Math. Ann. (2012) 353:1273-1281

The Rationality Problem in Invariant Theory

Authors: Christian Böhning

Abstract: This is a survey of the rationality problem in invariant theory. It also contains some new results, in particular in Chapter 2 on moduli spaces of plane curves with a theta-characteristic, and a detailed account of the relation of the Hesselink stratification of the Hilbert nullcone to the rationality problem, with an application to the rationality of the moduli space of plane curves of degree… ▽ More This is a survey of the rationality problem in invariant theory. It also contains some new results, in particular in Chapter 2 on moduli spaces of plane curves with a theta-characteristic, and a detailed account of the relation of the Hesselink stratification of the Hilbert nullcone to the rationality problem, with an application to the rationality of the moduli space of plane curves of degree 34. △ Less

Submitted 6 April, 2009; originally announced April 2009.

Comments: 78 pages

MSC Class: 14E08; 14M20; 14L24

Rationality of moduli spaces of plane curves of small degree

Authors: Christian Böhning, Hans-Christian Graf von Bothmer, Jakob Kröker

Abstract: We prove that the moduli space C(d) of plane curves of degree d (for projective equivalence) is rational except possibly if d= 6, 7, 8, 11, 12, 14, 15, 16, 18, 20, 23, 24, 26, 32, 48. We prove that the moduli space C(d) of plane curves of degree d (for projective equivalence) is rational except possibly if d= 6, 7, 8, 11, 12, 14, 15, 16, 18, 20, 23, 24, 26, 32, 48. △ Less

Submitted 6 April, 2009; originally announced April 2009.

Comments: 17 pages

MSC Class: 14E08; 14M20; 14L24

Journal ref: Exp. Math. 18, No. 4, 499-508 (2009).

A Clebsch-Gordan formula for SL_3 and applications to rationality

Authors: Christian Böhning, Hans-Christian Graf v. Bothmer

Abstract: If R, S, T are irreducible SL_3-representations, we give an easy and explicit description of a basis of the space of equivariant maps from R tensor S to T. We apply this method to the rationality problem for invariant function fields. In particular, we prove the rationality of the moduli space of plane curves of degree 34. This uses a criterion which ensures the stable rationality of some quotie… ▽ More If R, S, T are irreducible SL_3-representations, we give an easy and explicit description of a basis of the space of equivariant maps from R tensor S to T. We apply this method to the rationality problem for invariant function fields. In particular, we prove the rationality of the moduli space of plane curves of degree 34. This uses a criterion which ensures the stable rationality of some quotients of Grassmannians by an SL-action. △ Less

Submitted 17 December, 2008; originally announced December 2008.

Comments: 16 pages; 1 figure; Macaulay2 scripts used can be found at http://www.uni-math.gwdg.de/bothmer/ClebschGordan/ or at the end of the latex source file

MSC Class: 14E08; 14M20; 14L24

Journal ref: Advances in Mathematics Volume 224, Issue 1 (2010), 246-259

The rationality of the moduli space of curves of genus 3 after P. Katsylo

Authors: Christian Böhning

Abstract: This article is a survey of P. Katsylo's proof that the moduli space of smooth projective complex curves of genus 3 is rational. We hope to make the argument more comprehensible and transparent by emphasizing the underlying geometry in the proof and its key structural features. This article is a survey of P. Katsylo's proof that the moduli space of smooth projective complex curves of genus 3 is rational. We hope to make the argument more comprehensible and transparent by emphasizing the underlying geometry in the proof and its key structural features. △ Less

Submitted 9 April, 2008; originally announced April 2008.

Comments: 39 pages

MSC Class: 14E08; 14M20; 14L24

Rationality of the moduli spaces of plane curves of sufficiently large degree

Authors: Christian Böhning, Hans-Christian Graf v. Bothmer

Abstract: We prove that the moduli space of plane curves of degree d is rational for all sufficiently large d. We prove that the moduli space of plane curves of degree d is rational for all sufficiently large d. △ Less

Submitted 9 April, 2008; originally announced April 2008.

Comments: 18 pages; 1 figure; Macaulay2 scripts used can be found at http://www.uni-math.gwdg.de/bothmer/rationality/ or at the end of the latex source file

MSC Class: 14E08; 14M20; 14L24

Journal ref: Inventiones Mathematicae, Volume 179, Number 1 (2010), 159-173

Derived categories of coherent sheaves on rational homogeneous manifolds

Authors: Christian Böhning

Abstract: Starting point of the present work is a conjecture of F. Catanese which says that in the derived category of coherent sheaves on any rational homogeneous manifold G/P there should exist a complete strong exceptional poset and a bijection of the elements of the poset with the Schubert varieties in G/P such that the partial order on the poset is the order induced by the Bruhat-Chevalley order. The… ▽ More Starting point of the present work is a conjecture of F. Catanese which says that in the derived category of coherent sheaves on any rational homogeneous manifold G/P there should exist a complete strong exceptional poset and a bijection of the elements of the poset with the Schubert varieties in G/P such that the partial order on the poset is the order induced by the Bruhat-Chevalley order. The goal of this work is to provide further evidence for Catanese's conjecture, clarify some aspects of it and supply new techniques. In particular we prove a theorem on the derived categories of quadric bundles, and show how one can find "small" generating sets for D^b(X) on symplectic or orthogonal isotropic Grassmannians by fibrational techniques.- The last section discusses a different approach based on a theorem of M. Brion and cellular resolutions of monomial ideals. △ Less

Submitted 21 June, 2005; originally announced June 2005.

Comments: 82 pages

MSC Class: 14F05 (Primary) 14M15; 18E30 (Secondary)

L. Szpiro's conjecture on Gorenstein algebras in codimension 2

Authors: Christian Böhning

Abstract: A Gorenstein A-algebra R of codimension 2 is a perfect finite A-algebra such that R=Ext^2(R,A) holds as R-modules, A being a Cohen-Macaulay local ring with dim(A)-dim_A(R)=2. I prove a structure theorem for these algebras improving on an old theorem of M. Grassi. Special attention is paid to the question how the ring structure of R is encoded in its Hilbert resolution. It is shown that R is auto… ▽ More A Gorenstein A-algebra R of codimension 2 is a perfect finite A-algebra such that R=Ext^2(R,A) holds as R-modules, A being a Cohen-Macaulay local ring with dim(A)-dim_A(R)=2. I prove a structure theorem for these algebras improving on an old theorem of M. Grassi. Special attention is paid to the question how the ring structure of R is encoded in its Hilbert resolution. It is shown that R is automatically a ring once one imposes a weak depth condition on a determinantal ideal derived from a presentation matrix of R over A. The interplay of Gorenstein algebras and Koszul modules as introduced by M. Grassi is clarified. Questions of applicability to canonical surfaces in P^4 have served as a guideline in these investigations. △ Less

Submitted 23 February, 2004; originally announced February 2004.

Comments: 20 pages

MSC Class: 13D02

Canonical surfaces in P^4 and Gorenstein algebras in codimension 2

Authors: Christian Böhning

Abstract: In this paper I investigate minimal surfaces of general type with p_g=5, q=0 for which the 1-canonical map is a birational morphism onto a surface in P^4 (so called canonical surfaces in P^4) via a structure theorem for the Hilbert resolutions of the canonical rings of the afore-mentioned surfaces, viewed as Gorenstein algebras of codimension 2 over the homogeneous coordinate ring of P^4. I disc… ▽ More In this paper I investigate minimal surfaces of general type with p_g=5, q=0 for which the 1-canonical map is a birational morphism onto a surface in P^4 (so called canonical surfaces in P^4) via a structure theorem for the Hilbert resolutions of the canonical rings of the afore-mentioned surfaces, viewed as Gorenstein algebras of codimension 2 over the homogeneous coordinate ring of P^4. I discuss how the ring structure of such an algebra is encoded in its resolution. Among other things I show how this method can be applied to analyze the moduli space of canonical surfaces with p_g=5, q=0, K^2=11, thus recovering a result previously obtained by D. Rossberg with different techniques. △ Less

Submitted 23 February, 2004; originally announced February 2004.

Comments: 40 pages

MSC Class: 14J29