Showing 1–40 of 40 results for author: Breuer, F

Quadratic units and cubic fields

Authors: Florian Breuer, James Punch

Abstract: We investigate Eisenstein discriminants, which are squarefree integers $d \equiv 5 \pmod{8}$ such that the fundamental unit $\varepsilon_d$ of the real quadratic field $K=\mathbb{Q}(\sqrt{d})$ satisfies $\varepsilon_d \equiv 1 \pmod{2\mathcal{O}_K}$. These discriminants are related to a classical question of Eisenstein and have connections to the class groups of orders in quadratic fields as well… ▽ More We investigate Eisenstein discriminants, which are squarefree integers $d \equiv 5 \pmod{8}$ such that the fundamental unit $\varepsilon_d$ of the real quadratic field $K=\mathbb{Q}(\sqrt{d})$ satisfies $\varepsilon_d \equiv 1 \pmod{2\mathcal{O}_K}$. These discriminants are related to a classical question of Eisenstein and have connections to the class groups of orders in quadratic fields as well as to real cubic fields. We present numerical computations of Eisenstein discriminants up to $10^{11}$, suggesting that their counting function up to $x$ is approximated by $π_{\mathcal{E}}(x) \approx \frac{1}{3π^2}x - 0.024x^{5/6}$. This supports a conjecture of Stevenhagen while revealing a surprising secondary term, which is similar to (but subtly different from) the secondary term in the counting function of real cubic fields. We include technical details of our computation method, which uses a modified infrastructure approach implemented on GPUs. △ Less

Submitted 9 July, 2025; originally announced July 2025.

Comments: 12 pages

MSC Class: {Primary 11R11; 11R16; 11R27; Secondary 11R29; 11Y40; 11R45

The Arboricity Polynomial

Authors: Felix Breuer, Caroline J Klivans

Abstract: We introduce a new matroid (graph) invariant, the arboricity polynomial. Given a matroid, the arboricity polynomial enumerates the number of covers of the ground set by disjoint independent sets. We establish the polynomiality of the counting function as a special case of a scheduling polynomial, i.e. both in terms of quasisymmetric functions and via Ehrhart theory of the normal fan of the matroid… ▽ More We introduce a new matroid (graph) invariant, the arboricity polynomial. Given a matroid, the arboricity polynomial enumerates the number of covers of the ground set by disjoint independent sets. We establish the polynomiality of the counting function as a special case of a scheduling polynomial, i.e. both in terms of quasisymmetric functions and via Ehrhart theory of the normal fan of the matroid base polytope. We show basic properties of the polynomial and demonstrate that it is not a Tutte invariant. Namely, the arboricity polynomial does not satisfy a contraction / deletion recursion. △ Less

Submitted 7 May, 2025; v1 submitted 5 May, 2025; originally announced May 2025.

MSC Class: 05B35; 05E99; 05C30

Drinfeld modular polynomials of level $T$

Authors: Florian Breuer, Mahefason Heriniaina Razafinjatovo

Abstract: We investigate Drinfeld modular polynomials parametrizing $T$-isogenies between Drinfeld $\mathbb{F}_q[T]$-modules of rank $r\geq 2$. By providing an explicit classification of such isogenies, we derive explicit bounds on the $T$-degrees of the coefficients of the associated modular polynomials. In particular, we obtain exact expressions for the height (i.e. degree of the largest coefficient) of t… ▽ More We investigate Drinfeld modular polynomials parametrizing $T$-isogenies between Drinfeld $\mathbb{F}_q[T]$-modules of rank $r\geq 2$. By providing an explicit classification of such isogenies, we derive explicit bounds on the $T$-degrees of the coefficients of the associated modular polynomials. In particular, we obtain exact expressions for the height (i.e. degree of the largest coefficient) of these modular polynomials. Numerical computations show that the bounds on the smaller coefficients are often sharp, too. △ Less

Submitted 19 December, 2024; v1 submitted 15 December, 2024; originally announced December 2024.

Comments: 10 pages; improved exposition

MSC Class: 11G09; 11F52

Heights of Drinfeld modular polynomials and Hecke images

Authors: Florian Breuer, Fabien Pazuki, Zhenlin Ran

Abstract: We obtain explicit upper and lower bounds on the size of the coefficients of the Drinfeld modular polynomials $Φ_N$ for any monic $N\in\mathbb{F}_q[t]$. These polynomials vanish at pairs of $j$-invariants of Drinfeld $\mathbb{F}_q[t]$-modules of rank 2 linked by cyclic isogenies of degree $N$. The main term in both bounds is asymptotically optimal as $\mathrm{deg}(N)$ tends to infinity. We also ob… ▽ More We obtain explicit upper and lower bounds on the size of the coefficients of the Drinfeld modular polynomials $Φ_N$ for any monic $N\in\mathbb{F}_q[t]$. These polynomials vanish at pairs of $j$-invariants of Drinfeld $\mathbb{F}_q[t]$-modules of rank 2 linked by cyclic isogenies of degree $N$. The main term in both bounds is asymptotically optimal as $\mathrm{deg}(N)$ tends to infinity. We also obtain precise estimates on the Weil height and Taguchi height of Hecke images of Drinfeld modules of rank 2. △ Less

Submitted 14 October, 2024; originally announced October 2024.

MSC Class: 11F52; 11G09; 11R58; 14H25

SeCritMass: Threshold Secret Petitions

Authors: Florian Breuer

Abstract: We introduce the notion of an $n$-threshold secret petition, in which users add encrypted signatures to a petition, and the signatures are decrypted if and only if at least $n$ signatures have been gathered. This solves the coordination problem in which users wish to sign a petition or commit to a cause, but do not want to be identified as having signed it before enough others have signed it too.… ▽ More We introduce the notion of an $n$-threshold secret petition, in which users add encrypted signatures to a petition, and the signatures are decrypted if and only if at least $n$ signatures have been gathered. This solves the coordination problem in which users wish to sign a petition or commit to a cause, but do not want to be identified as having signed it before enough others have signed it too. We present an implementation of such a petition based on the ElGamal cryptosystem. Applications include reporting misconduct in situations were complainants hesitate to come forward alone, such as in allegations of sexual harassment or police brutality. △ Less

Submitted 2 August, 2024; originally announced August 2024.

Comments: 10 pages, comments welcome

MSC Class: 94A60 ACM Class: E.3; K.4.2

Explicit bounds on the coefficients of the modular polynomials and the size of $X_0(N)$

Authors: Florian Breuer, Desirée Gijón Gómez, Fabien Pazuki

Abstract: We give explicit upper and lower bounds on the size of the coefficients of the modular polynomials $Φ_N$ for the elliptic $j$-function. These bounds make explicit the best previously known asymptotic bounds. We then give an explicit version of Silverman's Hecke points estimates. Finally, we give an asymptotic comparison between the Faltings height of the modular curve $X_0(N)$ and the height of th… ▽ More We give explicit upper and lower bounds on the size of the coefficients of the modular polynomials $Φ_N$ for the elliptic $j$-function. These bounds make explicit the best previously known asymptotic bounds. We then give an explicit version of Silverman's Hecke points estimates. Finally, we give an asymptotic comparison between the Faltings height of the modular curve $X_0(N)$ and the height of the modular polynomial $Φ_N$. △ Less

Submitted 13 November, 2023; v1 submitted 22 October, 2023; originally announced October 2023.

MSC Class: 11F32; 11G05; 11G50; 14G40

Explicit bounds on the coefficients of modular polynomials for the elliptic $j$-invariant

Authors: Florian Breuer, Fabien Pazuki

Abstract: We obtain an explicit upper bound on the size of the coefficients of the elliptic modular polynomials $Φ_N$ for any $N\geq1$. These polynomials vanish at pairs of $j$-invariants of elliptic curves linked by cyclic isogenies of degree $N$. The main term in the bound is asymptotically optimal as $N$ tends to infinity. We obtain an explicit upper bound on the size of the coefficients of the elliptic modular polynomials $Φ_N$ for any $N\geq1$. These polynomials vanish at pairs of $j$-invariants of elliptic curves linked by cyclic isogenies of degree $N$. The main term in the bound is asymptotically optimal as $N$ tends to infinity. △ Less

Submitted 5 October, 2023; v1 submitted 11 November, 2022; originally announced November 2022.

Comments: 9 pages, to appear in Proc. Amer. Math. Soc

MSC Class: 11G05

Multiplicative orders of Gauss periods and the arithmetic of real quadratic fields

Authors: Florian Breuer

Abstract: We obtain divisibility conditions on the multiplicative orders of elements of the form $ζ+ ζ^{-1}$ in a finite field by exploiting a link to the arithmetic of real quadratic fields. We obtain divisibility conditions on the multiplicative orders of elements of the form $ζ+ ζ^{-1}$ in a finite field by exploiting a link to the arithmetic of real quadratic fields. △ Less

Submitted 18 June, 2020; originally announced June 2020.

Comments: 10 pages

MSC Class: Primary: 11T30; Secondary: 11R11; 11R29

The generic monodromy of Drinfeld modular varieties in special characteristic

Authors: Gebhard Böckle, Florian Breuer

Abstract: By combining theorems of Drinfeld and Strauch, we show that the monodromy representation on the special fibre of a Drinfeld modular variety, with level not divisible by the characteristic, is surjective. We illustrate this result in the special case of Drinfeld $\mathbb{F}_q[t]$-modules in level $t$, and apply this to show that the Kronecker factors of a Drinfeld modular polynomial in rank $r$ are… ▽ More By combining theorems of Drinfeld and Strauch, we show that the monodromy representation on the special fibre of a Drinfeld modular variety, with level not divisible by the characteristic, is surjective. We illustrate this result in the special case of Drinfeld $\mathbb{F}_q[t]$-modules in level $t$, and apply this to show that the Kronecker factors of a Drinfeld modular polynomial in rank $r$ are irreducible. △ Less

Submitted 20 December, 2019; originally announced December 2019.

Comments: 12 pages

MSC Class: 11G09; 11F80; 14L05

Lower bounds for periods of Ducci sequences

Authors: Florian Breuer, Igor E. Shparlinski

Abstract: A Ducci sequence is a sequence of integer $n$-tuples obtained by iterating the map \[ D : (a_1, a_2, \ldots, a_n) \mapsto \big(|a_1-a_2|,|a_2-a_3|,\ldots,|a_n-a_1|\big). \] Such a sequence is eventually periodic and we denote by $P(n)$ the maximal period of such sequences for given $n$. We prove lower bounds for $P(n)$ by counting certain partitions. A Ducci sequence is a sequence of integer $n$-tuples obtained by iterating the map \[ D : (a_1, a_2, \ldots, a_n) \mapsto \big(|a_1-a_2|,|a_2-a_3|,\ldots,|a_n-a_1|\big). \] Such a sequence is eventually periodic and we denote by $P(n)$ the maximal period of such sequences for given $n$. We prove lower bounds for $P(n)$ by counting certain partitions. △ Less

Submitted 10 September, 2019; originally announced September 2019.

Comments: 10 pages

MSC Class: 11B83 (Primary); 11P83; 11T30 (Secondary)

Journal ref: Bull. Aust. Math. Soc. 102 (2020) 31-38

Heights and isogenies of Drinfeld modules

Authors: Florian Breuer, Fabien Pazuki, Mahefason Heriniaina Razafinjatovo

Abstract: We provide explicit bounds on the difference of heights of isogenous Drinfeld modules. We derive a finiteness result in isogeny classes. In the rank 2 case, we also obtain an explicit upper bound on the size of the coefficients of modular polynomials attached to Drinfeld modules. We provide explicit bounds on the difference of heights of isogenous Drinfeld modules. We derive a finiteness result in isogeny classes. In the rank 2 case, we also obtain an explicit upper bound on the size of the coefficients of modular polynomials attached to Drinfeld modules. △ Less

Submitted 23 January, 2020; v1 submitted 9 August, 2019; originally announced August 2019.

Comments: Acta Arithmetica

MSC Class: 11G09; 11G50; 14G17; 14G40

Drinfeld modular forms of arbitrary rank, Part III: Examples

Authors: Dirk Basson, Florian Breuer, Richard Pink

Abstract: This is the third part of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank. In the present article we construct and study some examples of Drinfeld modular forms. In particular we define Eisenstein series, as well as the action of Hecke operators upon them, coefficient forms and discriminant forms. In the special case A=F_q[t] we show that all… ▽ More This is the third part of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank. In the present article we construct and study some examples of Drinfeld modular forms. In particular we define Eisenstein series, as well as the action of Hecke operators upon them, coefficient forms and discriminant forms. In the special case A=F_q[t] we show that all modular forms for GL_r(Γ(t)) are generated by certain weight one Eisenstein series, and all modular forms for GL_r(A) and SL_r(A) are generated by certain coefficient forms and discriminant forms. We also compute the dimensions of the spaces of such modular forms. △ Less

Submitted 31 May, 2018; originally announced May 2018.

Comments: 30 pages

MSC Class: 11F52; 11G09

Drinfeld modular forms of arbitrary rank, Part II: Comparison with Algebraic Theory

Authors: Dirk Basson, Florian Breuer, Richard Pink

Abstract: This is the second of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank. In the present part, we compare the analytic theory with the algebraic one that was begun in a paper of the third author. For any arithmetic congruence subgroup and any integral weight we establish an isomorphism between the space of analytic modular forms with the space of… ▽ More This is the second of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank. In the present part, we compare the analytic theory with the algebraic one that was begun in a paper of the third author. For any arithmetic congruence subgroup and any integral weight we establish an isomorphism between the space of analytic modular forms with the space of algebraic modular forms defined in terms of the Satake compactification. From this we deduce the important result that this space is finite dimensional. △ Less

Submitted 31 May, 2018; originally announced May 2018.

Comments: 29 pages

MSC Class: 11F52; 11G09; 14G22

Drinfeld modular forms of arbitrary rank, Part I: Analytic Theory

Authors: Dirk Basson, Florian Breuer, Richard Pink

Abstract: This is the first of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank r. In the present part, we develop the analytic theory. Most of the work goes into defining and studying the u-expansion of a weak Drinfeld modular form, whose coefficients are weak Drinfeld modular forms of rank r-1. Based on that we give a precise definition of when a weak… ▽ More This is the first of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank r. In the present part, we develop the analytic theory. Most of the work goes into defining and studying the u-expansion of a weak Drinfeld modular form, whose coefficients are weak Drinfeld modular forms of rank r-1. Based on that we give a precise definition of when a weak Drinfeld modular form is holomorphic at infinity and thus a Drinfeld modular form in the proper sense. △ Less

Submitted 31 May, 2018; originally announced May 2018.

Comments: 24 pages

MSC Class: 11F52; 11G09; 14G22

A note on Gekeler's h-function

Authors: Florian Breuer

Abstract: We give a brief introduction to Drinfeld modular forms, concentrating on the many equivalent constructions of the form h of weight q+1 and type 1, to which we contribute some new characterizations involving Moore determinants, and an application to the Weil pairing on Drinfeld modules. We also define Drinfeld modular functions of non-zero type and provide a moduli interpretation of these. We give a brief introduction to Drinfeld modular forms, concentrating on the many equivalent constructions of the form h of weight q+1 and type 1, to which we contribute some new characterizations involving Moore determinants, and an application to the Weil pairing on Drinfeld modules. We also define Drinfeld modular functions of non-zero type and provide a moduli interpretation of these. △ Less

Submitted 9 May, 2016; originally announced May 2016.

Comments: 8 pages; submitted to special issue of Arch. Math. in honor of Ernst-Ulrich Gekeler

MSC Class: 11F52 (Primary); 11G09 (Secondary)

Polyhedral geometry, supercranks, and combinatorial witnesses of congruences for partitions into three parts

Authors: Felix Breuer, Dennis Eichhorn, Brandt Kronholm

Abstract: In this paper, we use a branch of polyhedral geometry, Ehrhart theory, to expand our combinatorial understanding of congruences for partition functions. Ehrhart theory allows us to give a new decomposition of partitions, which in turn allows us to define statistics called {\it supercranks} that combinatorially witness every instance of divisibility of $p(n,3)$ by any prime $m \equiv -1 \pmod 6$, w… ▽ More In this paper, we use a branch of polyhedral geometry, Ehrhart theory, to expand our combinatorial understanding of congruences for partition functions. Ehrhart theory allows us to give a new decomposition of partitions, which in turn allows us to define statistics called {\it supercranks} that combinatorially witness every instance of divisibility of $p(n,3)$ by any prime $m \equiv -1 \pmod 6$, where $p(n,3)$ is the number of partitions of $n$ into three parts. A rearrangement of lattice points allows us to demonstrate with explicit bijections how to divide these sets of partitions into $m$ equinumerous classes. The behavior for primes $m' \equiv 1 \pmod 6$ is also discussed. △ Less

Submitted 3 August, 2015; originally announced August 2015.

Comments: 28 pages, 19 figures

MSC Class: 05; 11 ACM Class: G.2.1

A polyhedral model of partitions with bounded differences and a bijective proof of a theorem of Andrews, Beck, and Robbins

Authors: Felix Breuer, Brandt Kronholm

Abstract: The main result of this paper is a bijective proof showing that the generating function for partitions with bounded differences between largest and smallest part is a rational function. This result is similar to the closely related case of partitions with fixed differences between largest and smallest parts which has recently been studied through analytic methods by Andrews, Beck, and Robbins. Our… ▽ More The main result of this paper is a bijective proof showing that the generating function for partitions with bounded differences between largest and smallest part is a rational function. This result is similar to the closely related case of partitions with fixed differences between largest and smallest parts which has recently been studied through analytic methods by Andrews, Beck, and Robbins. Our approach is geometric: We model partitions with bounded differences as lattice points in an infinite union of polyhedral cones. Surprisingly, this infinite union tiles a single simplicial cone. This construction then leads to a bijection that can be interpreted on a purely combinatorial level. △ Less

Submitted 1 May, 2015; originally announced May 2015.

Comments: 12 pages, 5 figures

Explicit Drinfeld moduli schemes and Abhyankar's generalized iteration conjecture

Authors: Florian Breuer

Abstract: Let $k$ be a field containing $\mathbb{F}_q$. Let $ψ$ be a rank $r$ Drinfeld $\mathbb{F}_q[t]$-module determined by $ψ_t(X) = tX+a_1X^q+\cdots+a_{r-1}X^{q^{r-1}}+X^{q^r}$, where $t,a_1,\ldots,a_{r-1}$ are algebraically independent over $k$. Let $n\in\mathbb{F}_q[T]$ be a monic polynomial. We show that the Galois group of $ψ_n(X)$ over $k(t,a_1,\ldots,a_{r-1})$ is isomorphic to… ▽ More Let $k$ be a field containing $\mathbb{F}_q$. Let $ψ$ be a rank $r$ Drinfeld $\mathbb{F}_q[t]$-module determined by $ψ_t(X) = tX+a_1X^q+\cdots+a_{r-1}X^{q^{r-1}}+X^{q^r}$, where $t,a_1,\ldots,a_{r-1}$ are algebraically independent over $k$. Let $n\in\mathbb{F}_q[T]$ be a monic polynomial. We show that the Galois group of $ψ_n(X)$ over $k(t,a_1,\ldots,a_{r-1})$ is isomorphic to $\mathrm{GL}_r(\mathbb{F}_q[t]/n\mathbb{F}_q[t])$, settling a conjecture of Abhyankar. Along the way we obtain an explicit construction of Drinfeld moduli schemes of level $tn$. △ Less

Submitted 19 August, 2015; v1 submitted 22 March, 2015; originally announced March 2015.

Comments: 14 pages, minor corrections and simplifications

MSC Class: 11G09; 12F10; 14D22

Polyhedral Omega: A New Algorithm for Solving Linear Diophantine Systems

Authors: Felix Breuer, Zafeirakis Zafeirakopoulos

Abstract: Polyhedral Omega is a new algorithm for solving linear Diophantine systems (LDS), i.e., for computing a multivariate rational function representation of the set of all non-negative integer solutions to a system of linear equations and inequalities. Polyhedral Omega combines methods from partition analysis with methods from polyhedral geometry. In particular, we combine MacMahon's iterative approac… ▽ More Polyhedral Omega is a new algorithm for solving linear Diophantine systems (LDS), i.e., for computing a multivariate rational function representation of the set of all non-negative integer solutions to a system of linear equations and inequalities. Polyhedral Omega combines methods from partition analysis with methods from polyhedral geometry. In particular, we combine MacMahon's iterative approach based on the Omega operator and explicit formulas for its evaluation with geometric tools such as Brion decompositions and Barvinok's short rational function representations. In this way, we connect two recent branches of research that have so far remained separate, unified by the concept of symbolic cones which we introduce. The resulting LDS solver Polyhedral Omega is significantly faster than previous solvers based on partition analysis and it is competitive with state-of-the-art LDS solvers based on geometric methods. Most importantly, this synthesis of ideas makes Polyhedral Omega the simplest algorithm for solving linear Diophantine systems available to date. Moreover, we provide an illustrated geometric interpretation of partition analysis, with the aim of making ideas from both areas accessible to readers from a wide range of backgrounds. △ Less

Submitted 30 January, 2015; originally announced January 2015.

Comments: 49 pages, 17 figures

An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics

Authors: Felix Breuer

Abstract: In this expository article we give an introduction to Ehrhart theory, i.e., the theory of integer points in polyhedra, and take a tour through its applications in enumerative combinatorics. Topics include geometric modeling in combinatorics, Ehrhart's method for proving that a couting function is a polynomial, the connection between polyhedral cones, rational functions and quasisymmetric functions… ▽ More In this expository article we give an introduction to Ehrhart theory, i.e., the theory of integer points in polyhedra, and take a tour through its applications in enumerative combinatorics. Topics include geometric modeling in combinatorics, Ehrhart's method for proving that a couting function is a polynomial, the connection between polyhedral cones, rational functions and quasisymmetric functions, methods for bounding coefficients, combinatorial reciprocity theorems, algorithms for counting integer points in polyhedra and computing rational function representations, as well as visualizations of the greatest common divisor and the Euclidean algorithm. △ Less

Submitted 22 July, 2014; v1 submitted 29 May, 2014; originally announced May 2014.

Comments: 30 pages, 18 figures

MSC Class: 05-02; 52-02; 05A10; 05A15; 05A19; 52B12; 52B55; 52C45; 11H06

Scheduling Problems

Authors: Felix Breuer, Caroline J. Klivans

Abstract: We introduce the notion of a scheduling problem which is a boolean function $S$ over atomic formulas of the form $x_i \leq x_j$. Considering the $x_i$ as jobs to be performed, an integer assignment satisfying $S$ schedules the jobs subject to the constraints of the atomic formulas. The scheduling counting function counts the number of solutions to $S$. We prove that this counting function is a pol… ▽ More We introduce the notion of a scheduling problem which is a boolean function $S$ over atomic formulas of the form $x_i \leq x_j$. Considering the $x_i$ as jobs to be performed, an integer assignment satisfying $S$ schedules the jobs subject to the constraints of the atomic formulas. The scheduling counting function counts the number of solutions to $S$. We prove that this counting function is a polynomial in the number of time slots allowed. Scheduling polynomials include the chromatic polynomial of a graph, the zeta polynomial of a lattice, the Billera-Jia-Reiner polynomial of a matroid. To any scheduling problem, we associate not only a counting function for solutions, but also a quasisymmetric function and a quasisymmetric function in non-commuting variables. These scheduling functions include the chromatic symmetric functions of Sagan, Gebhard, and Stanley, and a close variant of Ehrenborg's quasisymmetric function for posets. Geometrically, we consider the space of all solutions to a given scheduling problem. We extend a result of Steingrímmson by proving that the $h$-vector of the space of solutions is given by a shift of the scheduling polynomial. Furthermore, under certain niceness conditions on the defining boolean function, we prove partitionability of the space of solutions and positivity of fundamental expansions of the scheduling quasisymmetric functions and of the $h$-vector of the scheduling polynomial. △ Less

Submitted 1 December, 2015; v1 submitted 13 January, 2014; originally announced January 2014.

Comments: Final version, substantially shortened, 18 pages

Drinfeld modular polynomials in higher rank II: Kronecker congruences

Authors: Florian Breuer, Hans-Georg Rück

Abstract: This is a sequel to the paper [F. Breuer, H.-G. Rück, Drinfeld modular polynomials in higher rank, J. Number Theory 129 (2009), 59-83.], in which we introduced Drinfeld modular polynomials of higher rank, using an analytic construction. These polynomials relate the isomorphism invariants of Drinfeld F_q[T]-modules of rank r\geq 2 linked by isogenies of a specified type. In the current paper, we gi… ▽ More This is a sequel to the paper [F. Breuer, H.-G. Rück, Drinfeld modular polynomials in higher rank, J. Number Theory 129 (2009), 59-83.], in which we introduced Drinfeld modular polynomials of higher rank, using an analytic construction. These polynomials relate the isomorphism invariants of Drinfeld F_q[T]-modules of rank r\geq 2 linked by isogenies of a specified type. In the current paper, we give an algebraic construction of greater generality, and prove a generalization of the Kronecker congruences relations, which describe what happens when modular polynomials associated to P-isogenies are reduced modulo a prime P. We also correct an error in [loc. cit.]. △ Less

Submitted 14 September, 2015; v1 submitted 17 March, 2013; originally announced March 2013.

Comments: 11 pages, substantial revisions made

Galois groups associated to generic Drinfeld modules and a conjecture of Abhyankar

Authors: Florian Breuer

Abstract: Let $φ$ be a rank $r$ Drinfeld $\BF_q[T]$-module determined by $φ_T(X) = TX+g_1X^q+...+g_{r-1}X^{q^{r-1}}+X^{q^r}$, where $g_1,...,g_{r-1}$ are algebraically independent over $\BF_q(T)$. Let $N\in\BF_q[T]$ be a polynomial, and $k/\BF_q$ an algebraic extension. We show that the Galois group of $φ_N(X)$ over $k(T,g_1,...,g_{r-1})$ is isomorphic to $\GL_r(\BF_q[T]/N\BF_q[T])$, settling a conjecture o… ▽ More Let $φ$ be a rank $r$ Drinfeld $\BF_q[T]$-module determined by $φ_T(X) = TX+g_1X^q+...+g_{r-1}X^{q^{r-1}}+X^{q^r}$, where $g_1,...,g_{r-1}$ are algebraically independent over $\BF_q(T)$. Let $N\in\BF_q[T]$ be a polynomial, and $k/\BF_q$ an algebraic extension. We show that the Galois group of $φ_N(X)$ over $k(T,g_1,...,g_{r-1})$ is isomorphic to $\GL_r(\BF_q[T]/N\BF_q[T])$, settling a conjecture of Abhyankar. △ Less

Submitted 19 August, 2015; v1 submitted 10 March, 2013; originally announced March 2013.

Comments: Notice of replacement: The previous version contains a fatal flaw, briefly explained here. This article is now replaced by the longer paper arXiv:1503.06420 [math.NT], where the flaw is corrected

Enumerating Colorings, Tensions and Flows in Cell Complexes

Authors: Matthias Beck, Felix Breuer, Logan Godkin, Jeremy L. Martin

Abstract: We study quasipolynomials enumerating proper colorings, nowhere-zero tensions, and nowhere-zero flows in an arbitrary CW-complex $X$, generalizing the chromatic, tension and flow polynomials of a graph. Our colorings, tensions and flows may be either modular (with values in $\mathbb{Z}/k\mathbb{Z}$ for some $k$) or integral (with values in $\{-k+1,\dots,k-1\}$). We obtain deletion-contraction recu… ▽ More We study quasipolynomials enumerating proper colorings, nowhere-zero tensions, and nowhere-zero flows in an arbitrary CW-complex $X$, generalizing the chromatic, tension and flow polynomials of a graph. Our colorings, tensions and flows may be either modular (with values in $\mathbb{Z}/k\mathbb{Z}$ for some $k$) or integral (with values in $\{-k+1,\dots,k-1\}$). We obtain deletion-contraction recurrences and closed formulas for the chromatic, tension and flow quasipolynomials, assuming certain unimodularity conditions. We use geometric methods, specifically Ehrhart theory and inside-out polytopes, to obtain reciprocity theorems for all of the aforementioned quasipolynomials, giving combinatorial interpretations of their values at negative integers as well as formulas for the numbers of acyclic and totally cyclic orientations of $X$. △ Less

Submitted 24 October, 2013; v1 submitted 28 December, 2012; originally announced December 2012.

Comments: 28 pages, 3 figures. Final version, to appear in J. Combin. Theory Series A

MSC Class: 05A15; 05C15; 11P21; 52C35

Journal ref: Journal of Combinatorial Theory Series A 122 (2014), 82-106

Ehrhart f*-coefficients of polytopal complexes are non-negative integers

Authors: Felix Breuer

Abstract: The Ehrhart polynomial $L_P$ of an integral polytope $P$ counts the number of integer points in integral dilates of $P$. Ehrhart polynomials of polytopes are often described in terms of their Ehrhart $h^*$-vector (aka Ehrhart $δ$-vector), which is the vector of coefficients of $L_P$ with respect to a certain binomial basis and which coincides with the $h$-vector of a regular unimodular triangulati… ▽ More The Ehrhart polynomial $L_P$ of an integral polytope $P$ counts the number of integer points in integral dilates of $P$. Ehrhart polynomials of polytopes are often described in terms of their Ehrhart $h^*$-vector (aka Ehrhart $δ$-vector), which is the vector of coefficients of $L_P$ with respect to a certain binomial basis and which coincides with the $h$-vector of a regular unimodular triangulation of $P$ (if one exists). One important result by Stanley about $h^*$-vectors of polytopes is that their entries are always non-negative. However, recent combinatorial applications of Ehrhart theory give rise to polytopal complexes with $h^*$-vectors that have negative entries. In this article we introduce the Ehrhart $f^*$-vector of polytopes or, more generally, of polytopal complexes $K$. These are again coefficient vectors of $L_K$ with respect to a certain binomial basis of the space of polynomials and they have the property that the $f^*$-vector of a unimodular simplicial complex coincides with its $f$-vector. The main result of this article is a counting interpretation for the $f^*$-coefficients which implies that $f^*$-coefficients of integral polytopal complexes are always non-negative integers. This holds even if the polytopal complex does not have a unimodular triangulation and if its $h^*$-vector does have negative entries. Our main technical tool is a new partition of the set of lattice points in a simplicial cone into discrete cones. Further results include a complete characterization of Ehrhart polynomials of integral partial polytopal complexes and a non-negativity theorem for the $f^*$-vectors of rational polytopal complexes. △ Less

Submitted 5 March, 2012; v1 submitted 13 February, 2012; originally announced February 2012.

Comments: 19 pages, 1 figure

MSC Class: 52B20; 52B70; 05A10; 05A15; 05E45; 11C08

Hypergraph Coloring Complexes

Authors: Felix Breuer, Aaron Dall, Martina Kubitzke

Abstract: The aim of this paper is to generalize the notion of the coloring complex of a graph to hypergraphs. We present three different interpretations of those complexes -- a purely combinatorial one and two geometric ones. It is shown, that most of the properties, which are known to be true for coloring complexes of graphs, break down in this more general setting, e.g., Cohen-Macaulayness and partitiona… ▽ More The aim of this paper is to generalize the notion of the coloring complex of a graph to hypergraphs. We present three different interpretations of those complexes -- a purely combinatorial one and two geometric ones. It is shown, that most of the properties, which are known to be true for coloring complexes of graphs, break down in this more general setting, e.g., Cohen-Macaulayness and partitionabilty. Nevertheless, we are able to provide bounds for the $f$- and $h$-vectors of those complexes which yield new bounds on chromatic polynomials of hypergraphs. Moreover, it is shown that the coloring complex of a hypergraph has a wedge decomposition, though we conjecture that in general this decomposition is not homotopy equivalent to a wedge of spheres. In addition, we can completely characterize those hypergraphs whose coloring complex is connected. △ Less

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

Comments: 2 figures, small changes and counterexample to a conjecture added

MSC Class: 05C65; 05C15; 05E45; 52B05

Bounds on the Coefficients of Tension and Flow Polynomials

Authors: Felix Breuer, Aaron Dall

Abstract: The goal of this article is to obtain bounds on the coefficients of modular and integral flow and tension polynomials of graphs. To this end we make use of the fact that these polynomials can be realized as Ehrhart polynomials of inside-out polytopes. Inside-out polytopes come with an associated relative polytopal complex and, for a wide class of inside-out polytopes, we show that this complex has… ▽ More The goal of this article is to obtain bounds on the coefficients of modular and integral flow and tension polynomials of graphs. To this end we make use of the fact that these polynomials can be realized as Ehrhart polynomials of inside-out polytopes. Inside-out polytopes come with an associated relative polytopal complex and, for a wide class of inside-out polytopes, we show that this complex has a convex ear decomposition. This leads to the desired bounds on the coefficients of these polynomials. △ Less

Submitted 20 April, 2010; originally announced April 2010.

Comments: 16 pages

MSC Class: 05C21; 05C30; 05C31; 52B20

Viewing counting polynomials as Hilbert functions via Ehrhart theory

Authors: Felix Breuer, Aaron Dall

Abstract: Steingrimsson (2001) showed that the chromatic polynomial of a graph is the Hilbert function of a relative Stanley-Reisner ideal. We approach this result from the point of view of Ehrhart theory and give a sufficient criterion for when the Ehrhart polynomial of a given relative polytopal complex is a Hilbert function in Steingrimsson's sense. We use this result to establish that the modular and… ▽ More Steingrimsson (2001) showed that the chromatic polynomial of a graph is the Hilbert function of a relative Stanley-Reisner ideal. We approach this result from the point of view of Ehrhart theory and give a sufficient criterion for when the Ehrhart polynomial of a given relative polytopal complex is a Hilbert function in Steingrimsson's sense. We use this result to establish that the modular and integral flow and tension polynomials of a graph are Hilbert functions. △ Less

Submitted 27 November, 2009; originally announced November 2009.

Comments: 11 pages

MSC Class: 05B35; 05C21; 05C30; 05C31; 52B20; 13A02; 52C35

Ehrhart theory, Modular flow reciprocity, and the Tutte polynomial

Authors: Felix Breuer, Raman Sanyal

Abstract: Given an oriented graph G, the modular flow polynomial counts the number of nowhere-zero Z_k-flows of G. We give a description of the modular flow polynomial in terms of (open) Ehrhart polynomials of lattice polytopes. Using Ehrhart-Macdonald reciprocity we give a combinatorial interpretation for the values of the modular flow polynomial at negative arguments which answers a question of Beck and… ▽ More Given an oriented graph G, the modular flow polynomial counts the number of nowhere-zero Z_k-flows of G. We give a description of the modular flow polynomial in terms of (open) Ehrhart polynomials of lattice polytopes. Using Ehrhart-Macdonald reciprocity we give a combinatorial interpretation for the values of the modular flow polynomial at negative arguments which answers a question of Beck and Zaslavsky (2006). Our construction extends to Z_l-tensions and we recover Stanley's reciprocity theorem for the chromatic polynomial. Combining the combinatorial reciprocity statements for flows and tensions, we give an enumerative interpretation for positive evaluations of the Tutte polynomial of G. △ Less

Submitted 5 July, 2009; originally announced July 2009.

Comments: 14 pages, 5 figures

MSC Class: 05C99

Journal ref: Math. Z. 270 (2012), no. 1-2, 1-18

Staircases in Z^2

Authors: Felix Breuer, Frederik von Heymann

Abstract: A staircase is the set of points in Z^2 below a given rational line in the plane that have Manhattan Distance less than 1 to the line. Staircases are closely related to Beatty and Sturmian sequences of rational numbers. Connecting the geometry and the number theoretic concepts, we obtain three equivalent characterizations of Sturmian sequences of rational numbers, as well as a new proof of Barvi… ▽ More A staircase is the set of points in Z^2 below a given rational line in the plane that have Manhattan Distance less than 1 to the line. Staircases are closely related to Beatty and Sturmian sequences of rational numbers. Connecting the geometry and the number theoretic concepts, we obtain three equivalent characterizations of Sturmian sequences of rational numbers, as well as a new proof of Barvinok's Theorem in dimension two, a recursion formula for Dedekind-Carlitz polynomials and a partially new proof of White's characterization of empty lattice tetrahedra. Our main tool is a recursive description of staircases in the spirit of the Euclidean Algorithm. △ Less

Submitted 5 June, 2009; originally announced June 2009.

Comments: 32 pages, 11 figures

MSC Class: 11P21; 11H06; 52C05; 11Y55; 05A15

Torsion bounds for elliptic curves and Drinfeld modules

Authors: Florian Breuer

Abstract: We derive asymptotically optimal upper bounds on the number of L-rational torsion points on a given elliptic curve or Drinfeld module defined over a finitely generated field K, as a function of the degree [L:K]. Our main tool is the adelic openness of the image of Galois representations attached to elliptic curves and Drinfeld modules, due to Serre and Pink-Ruetsche, respectively. Our approach i… ▽ More We derive asymptotically optimal upper bounds on the number of L-rational torsion points on a given elliptic curve or Drinfeld module defined over a finitely generated field K, as a function of the degree [L:K]. Our main tool is the adelic openness of the image of Galois representations attached to elliptic curves and Drinfeld modules, due to Serre and Pink-Ruetsche, respectively. Our approach is to prove a general result for certain Galois modules, which applies simultaneously to elliptic curves and to Drinfeld modules. △ Less

Submitted 17 October, 2008; originally announced October 2008.

Comments: 10 pages

MSC Class: 11G05; 11G09

Uneven Splitting of Ham Sandwiches

Authors: Felix Breuer

Abstract: Let m_1,...,m_n be continuous probability measures on R^n and a_1,...,a_n in [0,1]. When does there exist an oriented hyperplane H such that the positive half-space H^+ has m_i(H^+)=a_i for all i in [n]? It is well known that such a hyperplane does not exist in general. The famous ham sandwich theorem states that if a_i=1/2 for all i, then such a hyperplane always exists. In this paper we give… ▽ More Let m_1,...,m_n be continuous probability measures on R^n and a_1,...,a_n in [0,1]. When does there exist an oriented hyperplane H such that the positive half-space H^+ has m_i(H^+)=a_i for all i in [n]? It is well known that such a hyperplane does not exist in general. The famous ham sandwich theorem states that if a_i=1/2 for all i, then such a hyperplane always exists. In this paper we give sufficient criteria for the existence of H for general a_i in [0,1]. Let f_1,...,f_n:S^{n-1}->R^n denote auxiliary functions with the property that for all i the unique hyperplane H_i with normal v that contains the point f_i(v) has m_i(H_i^+)=a_i. Our main result is that if Im(f_1),...,Im(f_n) are bounded and can be separated by hyperplanes, then there exists a hyperplane H with m_i(H^+)=a_i for all i. This gives rise to several corollaries, for instance if the supports of m_1,...,m_n are bounded and can be separated by hyperplanes, then H exists for any choice of a_1,...,a_n in [0,1]. We also obtain results that can be applied if the supports of m_1,...,m_n overlap. △ Less

Submitted 17 July, 2008; originally announced July 2008.

Comments: 18 pages, 2 figures

MSC Class: 52A37

Journal ref: Discrete and Computational Geometry, Volume 43, Number 4 / Juni 2010, Pages 876-892

Drinfeld Modular Polynomials in Higher Rank

Authors: Florian Breuer, Hans-Georg Rück

Abstract: We study modular polynomials classifying cyclic isogenies between Drinfeld modules of arbitrary rank over the ring F_q[T]. We study modular polynomials classifying cyclic isogenies between Drinfeld modules of arbitrary rank over the ring F_q[T]. △ Less

Submitted 10 January, 2007; originally announced January 2007.

Comments: 16 pages

MSC Class: 11G09 (primary); 11F52 (secondary)

Heegner points and the rank of elliptic curves over large extensions of global fields

Authors: Florian Breuer, Bo-Hae Im

Abstract: Let k be a global field, $\bar{k}$ a separable closure of k, and $G_k$ the absolute Galois group $\Gal(\bar{k}/k)$ of $\bar{k}$ over k. For every g in $G_k$, let $\bar{k}^g$ be the fixed subfield of $\bar{k}$ under g. Let E/k be an elliptic curve over k. We show that for each g in $G_k$, the Mordell-Weil group $E(\bar{k}^g)$ has infinite rank in the following two cases. Firstly when k is a globa… ▽ More Let k be a global field, $\bar{k}$ a separable closure of k, and $G_k$ the absolute Galois group $\Gal(\bar{k}/k)$ of $\bar{k}$ over k. For every g in $G_k$, let $\bar{k}^g$ be the fixed subfield of $\bar{k}$ under g. Let E/k be an elliptic curve over k. We show that for each g in $G_k$, the Mordell-Weil group $E(\bar{k}^g)$ has infinite rank in the following two cases. Firstly when k is a global function field of odd characteristic and E is parametrized by a Drinfeld modular curve, and secondly when k is a totally real number field and E/k is parametrized by a Shimura curve. In both cases our approach uses the non-triviality of a sequence of Heegner points on E defined over ring class fields. △ Less

Submitted 5 April, 2006; v1 submitted 5 April, 2006; originally announced April 2006.

Comments: 12 pages

MSC Class: 11G05

Special subvarieties of Drinfeld modular varieties

Authors: Florian Breuer

Abstract: We explore an analogue of the André-Oort conjecture for subvarieties of Drinfeld modular varieties. The conjecture states that a subvariety $X$ of a Drinfeld modular variety contains a Zariski-dense set of complex multiplication (CM) points if and only if $X$ is a "special" subvariety (i.e. $X$ is defined by requiring additional endomorphisms). We prove this conjecture in two cases. Firstly when… ▽ More We explore an analogue of the André-Oort conjecture for subvarieties of Drinfeld modular varieties. The conjecture states that a subvariety $X$ of a Drinfeld modular variety contains a Zariski-dense set of complex multiplication (CM) points if and only if $X$ is a "special" subvariety (i.e. $X$ is defined by requiring additional endomorphisms). We prove this conjecture in two cases. Firstly when $X$ contains a Zariski-dense set of CM points with a certain behaviour above a fixed prime (which is the case if these CM points lie in one Hecke orbit), and secondly when $X$ is a curve containing infinitely many CM points without any additional assumptions. △ Less

Submitted 28 February, 2009; v1 submitted 22 March, 2005; originally announced March 2005.

Comments: 22 pages, significant rewrite

MSC Class: 11G09; 14G35

Images of isogeny classes on modular elliptic curves

Authors: Florian Breuer

Abstract: Let K be a number field and E/K a modular elliptic curve, with modular parametrization $X_0(N) \to E$ defined over K. The purpose of this note is to study the images in E of classes of isogenous points in X_0(N). Let K be a number field and E/K a modular elliptic curve, with modular parametrization $X_0(N) \to E$ defined over K. The purpose of this note is to study the images in E of classes of isogenous points in X_0(N). △ Less

Submitted 20 July, 2004; originally announced July 2004.

Comments: LaTeX, 2 pages, to appear in Math. Res. Lett

MSC Class: 11G05

Monodromy Groups associated to Non-Isotrivial Drinfeld Modules in Generic Characteristic

Authors: Florian Breuer, Richard Pink

Abstract: Let $φ$ be a non-isotrivial family of Drinfeld A-modules of rank r in generic characteristic with a suitable level structure over a connected smooth algebraic variety X. Suppose that the endomorphism ring of $φ$ is equal to A. Then we show that the closure of the analytic fundamental group of X in $SL_r(\mathbb{A}_F^f)$ is open, where $\mathbb{A}_F^f$ denotes the ring of finite adeles of the quo… ▽ More Let $φ$ be a non-isotrivial family of Drinfeld A-modules of rank r in generic characteristic with a suitable level structure over a connected smooth algebraic variety X. Suppose that the endomorphism ring of $φ$ is equal to A. Then we show that the closure of the analytic fundamental group of X in $SL_r(\mathbb{A}_F^f)$ is open, where $\mathbb{A}_F^f$ denotes the ring of finite adeles of the quotient field F of A. From this we deduce two further results: (1) If X is defined over a finitely generated field extension of F, the image of the arithmetic étale fundamental group of X on the adelic Tate module of $φ$ is open in $GL_r(\mathbb{A}_F^f)$. (2) Let $ψ$ be a Drinfeld A-module of rank r defined over a finitely generated field extension of F, and suppose that $ψ$ cannot be defined over a finite extension of F. Suppose again that the endomorphism ring of $ψ$ is A. Then the image of the Galois representation on the adelic Tate module of $ψ$ is open in $GL_r(\mathbb{A}_F^f)$. Finally, we extend the above results to the case of arbitrary endomorphism rings. △ Less

Submitted 20 July, 2004; originally announced July 2004.

Comments: LaTeX, 7 pages

MSC Class: 11F80; 11G09; 14D05

CM points on products of Drinfeld modular curves

Authors: Florian Breuer

Abstract: Let X be a product of Drinfeld modular curves over a general base ring A of odd characteristic. We classify those subvarieties of X which contain a Zariski-dense set of CM points. This is an analogue of the André-Oort conjecture. As an application, we construct non-trivial families of higher Heegner points on modular elliptic curves over global function fields. Let X be a product of Drinfeld modular curves over a general base ring A of odd characteristic. We classify those subvarieties of X which contain a Zariski-dense set of CM points. This is an analogue of the André-Oort conjecture. As an application, we construct non-trivial families of higher Heegner points on modular elliptic curves over global function fields. △ Less

Submitted 20 July, 2004; originally announced July 2004.

Comments: LaTeX, 27 pages

MSC Class: 11G09; 14G35

Higher Heegner points on elliptic curves over function fields

Authors: Florian Breuer

Abstract: Let E be a modular elliptic curve defined over a rational function field k of odd characteristic. We construct a sequence of Heegner points on E, defined over a $Z_p^{\infty}$-tower of finite extensions of k, and show that these Heegner points generate a group of infinite rank. This is a function field analogue of a result of C.Cornut and V.Vatsal Let E be a modular elliptic curve defined over a rational function field k of odd characteristic. We construct a sequence of Heegner points on E, defined over a $Z_p^{\infty}$-tower of finite extensions of k, and show that these Heegner points generate a group of infinite rank. This is a function field analogue of a result of C.Cornut and V.Vatsal △ Less

Submitted 22 September, 2003; v1 submitted 16 April, 2003; originally announced April 2003.

Comments: 14 Pages, LaTeX; Minor changes made; To appear in Journal of Number Theory

MSC Class: 11G05; 11R58

The Andre-Oort conjecture for products of Drinfeld modular curves

Authors: Florian Breuer

Abstract: Let $Z=X_1\times...\times X_n$ be a product of Drinfeld modular curves. We characterize those algebraic subvarieties $X \subset Z$ containing a Zariski-dense set of CM points, i.e. points corresponding to $n$-tuples of Drinfeld modules with complex multiplication (and suitable level structure). This is a characteristic $p$ analogue of a special case of the André-Oort conjecture. We follow closel… ▽ More Let $Z=X_1\times...\times X_n$ be a product of Drinfeld modular curves. We characterize those algebraic subvarieties $X \subset Z$ containing a Zariski-dense set of CM points, i.e. points corresponding to $n$-tuples of Drinfeld modules with complex multiplication (and suitable level structure). This is a characteristic $p$ analogue of a special case of the André-Oort conjecture. We follow closely the approach used by Bas Edixhoven in characteristic zero, see math.NT/0302138. Note that in this paper we assume that the characteristic $p$ is odd, and we only treat the case of Drinfeld $F_q[T]$-modules. △ Less

Submitted 20 July, 2004; v1 submitted 4 March, 2003; originally announced March 2003.

Comments: LaTeX, 28 pages. Minor corrections made. To appear in J. reine. Angew. Math

MSC Class: 11G09 (primary); 11G15 (secondary)