BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Oliver Lorscheid

Oliver Lorscheid appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.NTmath.ACmath.COmath.RTmath.KTmath.GRmath.RA

Catalog footprint

What is connected

26works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

26 published item(s)

preprint2026arXiv

A modern perspective on Tutte's homotopy theorem

We begin with a review of Tutte's homotopy theory, which concerns the structure of certain graph associated to a matroid (together with some extra data). Concretely, Tutte's path theorem asserts that this graph is connected, and his homotopy theorem asserts that every cycle in the graph is a composition of ''elementary cycles'', which come in four different flavors. We present an extended version of the homotopy theorem, in which we give a more refined classification of the different types of elementary cycles. We explain in detail how the path theorem allows one to prove that the foundation of a matroid (in the sense of Baker--Lorscheid) is generated by universal cross-ratios, and how the extended homotopy theorem allows one to classify all algebraic relations between universal cross-ratios. The resulting ''fundamental presentation'' of the foundation was previously established in [Baker--Lorscheid], but the argument here is more self-contained. We then recall a few applications of the fundamental presentation to the representation theory of matroids. Finally, in the most novel but also the most speculative part of the paper, we discuss what a ''higher Tutte homotopy theorem'' might look like, and we present some preliminary computations along these lines.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A unifying approach to tropicalization

In this paper, we introduce ordered blueprints and ordered blue schemes, which serve as a common language for the different approaches to tropicalizations and which enhances tropical varieties with a schematic structure. As an abstract concept, we consider a tropicalization as a moduli problem about extensions of a given valuation $v:k\to T$ between ordered blueprints $k$ and $T$. If $T$ is idempotent, then we show that a generalization of the Giansiracusa bend relation leads to a representing object for the tropicalization, and that it has yet another interpretation in terms of a base change along $v$. We call such a representing object a scheme theoretic tropicalization. This theory recovers and improves other approaches to tropicalizations as we explain with care in the second part of this text. The Berkovich analytification and the Kajiwara-Payne tropicalization appear as rational point sets of a scheme theoretic tropicalization. The same holds true for its generalization by Foster and Ranganathan to higher rank valuations. The scheme theoretic Giansiracusa tropicalization can be recovered from the scheme theoretic tropicalizations in our sense. We obtain an improvement due to the resulting blueprint structure, which is sufficient to remember the Maclagan-Rincón weights. The Macpherson analytification has an interpretation in terms of a scheme theoretic tropicalization, and we give an alternative approach to Macpherson's construction of tropicalizations. The Thuillier analytification and the Ulirsch tropicalization are rational point sets of a scheme theoretic tropicalization. Our approach yields a generalization to any, possibly nontrivial, valuation $v:k\to T$ with idempotent $T$ and enhances the tropicalization with a schematic structure.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Factorizations of tropical and sign polynomials

In this text, we study factorizations of polynomials over the tropical hyperfield and the sign hyperfield, which we call `tropical polynomials' and `sign polynomials', respectively. We classify all irreducible polynomials in either case. We show that tropical polynomials factor uniquely into irreducible factors, but that unique factorization fails for sign polyomials. We describe division algorithms for tropical and sign polynomials by linear terms that correspond to roots of the polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Foundations of matroids I: Matroids without large uniform minors

The foundation of a matroid is a canonical algebraic invariant which classifies representations of the matroid up to rescaling equivalence. Foundations of matroids are pastures, a simultaneous generalization of partial fields and hyperfields. Using deep results due to Tutte, Dress-Wenzel, and Gelfand-Rybnikov-Stone, we give a presentation for the foundation of a matroid in terms of generators and relations. The generators are certain "cross-ratios" generalizing the cross-ratio of four points on a projective line, and the relations encode dependencies between cross-ratios in certain low-rank configurations arising in projective geometry. Although the presentation of the foundation is valid for all matroids, it is simplest to apply in the case of matroids without large uniform minors, i.e. matroids having no minor corresponding to five points on a line or its dual configuration. For such matroids, we obtain a complete classification of all possible foundations. We then give a number of applications of this classification theorem, for example: - We prove the following strengthening of a theorem of Lee and Scobee: every orientation of a matroid without large uniform minors comes from a dyadic representation, which is unique up to rescaling. - For a matroid $M$ without large uniform minors, we establish the following strengthening of a 2017 theorem of Ardila-Rincón-Williams: if $M$ is positively oriented then $M$ is representable over every field with at least three elements. - Two matroids are said to belong to the same representation class if they are representable over precisely the same pastures. We prove that there are precisely 12 possibilities for the representation class of a matroid without large uniform minors, exactly three of which are not representable over any field.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Tropical geometry over the tropical hyperfield

In this text, we merge ideas around the tropical hyperfield with the theory of ordered blueprints to give a new formulation of tropical scheme theory. The key insight is that a nonarchimedean absolute value can be considered as a morphism into the tropical hyperfield. In turn, ordered blueprints make it possible to consider the base change of a classical variety to the tropical hyperfield. We call this base change the scheme theoretic tropicalization of the classical variety. Our first main result describes the Berkovich analytification and the tropicalization of a classical variety as sets of rational points of scheme theoretic tropicalizations, including a characterization of the respective topologies. Our second main result shows that the Giansiracusa bend relations can be derived by a natural construction from the scheme theoretic tropicalization.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Blue schemes, semiring schemes, and relative schemes after Toën and Vaquié

It is a classical insight that the Yoneda embedding defines an equivalence of schemes as locally ringed spaces with schemes as sheaves on the big Zariski site. Similarly, the Yoneda embedding identifies monoid schemes (or $\mathbb{F}_1$-schemes in the sense of Deitmar) with schemes relative to sets (in the sense of Toën and Vaquié). In this paper, we investigate the generalization to blue schemes and to semiring schemes. We establish Yoneda functors for both schemes theories. These functors fail, however, to be equivalences in both situations. The reason for this failure is a divergence in the Grothendieck pretopologies coming from schemes as topological spaces and schemes as sheaves. Restricted to blue schemes that are locally of finite type over a blue field, we construct an inverse to the Yoneda functor, which establishes an equivalence for this subclass of blue schemes. Moreover, we verify the compatibility of the Yoneda functors with the base extension from blue schemes to semiring schemes and with the base extension from semiring schemes to usual schemes.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the relation between hyperrings and fuzzy rings

We construct a full embedding of the category of hyperfields into Dress's category of fuzzy rings and explicitly characterize the essential image --- it fails to be essentially surjective in a very minor way. This embedding provides an identification of Baker's theory of matroids over hyperfields with Dress's theory of matroids over fuzzy rings (provided one restricts to those fuzzy rings in the essential image). The embedding functor extends from hyperfields to hyperrings, and we study this extension in detail. We also analyze the relation between hyperfields and Baker's partial demifields.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Quasicoherent sheaves on projective schemes over F_1

Given a graded monoid A with 1, one can construct a projective monoid scheme MProj(A) analogous to Proj(R) of a graded ring R. This paper is concerned with the study of quasicoherent sheaves (of pointed sets) on MProj(A), and we prove several basic results regarding these. We show that: 1.) Every quasicoherent sheaf F on MProj(A) can be constructed from a graded A--set in analogy with the construction of quasicoherent sheaves on Proj(R) from graded R--modules. 2.) High enough twists of coherent sheaves are generated by finitely many global sections, hence that every coherent sheaf is a quotient of a locally free sheaf. 3.) Coherent sheaves have finite spaces of global sections. The last part of the paper is devoted to classifying coherent sheaves on P^1 in terms of certain directed graphs and gluing data. The classification of these over F_1 is shown to be much richer and combinatorially interesting than in the case of ordinary P^1, and several new phenomena emerge.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Cech cohomology over $\mathbb{F}_{1^2}$

In this text, we generalize Cech cohomology to sheaves $\mathcal F$ with values in blue $B$-modules where $B$ is a blueprint with $-1$. If $X$ is an object of the underlying site, then the cohomology sets $H^l(X,\mathcal F)$ turn out to be blue $B$-modules. For locally free $\mathcal O_X$-module $\mathcal F$ on a monoidal scheme $X$, we prove that $H^l(X,\mathcal F)^+=H^l(X^+,\mathcal F^+)$ where $X^+$ is the scheme associated with $X$ and $\mathcal F^+$ is the locally free $\mathcal O_{X^+}$-module associated with $\mathcal F$. In an appendix, we show that the naive generalization of cohomology as a right derived functor is infinite-dimensional for the projective line over $\mathbb F_1$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quiver Grassmannians of type extended Dynkin type D - Part 1: Schubert systems and decompositions into affine spaces

Let $Q$ be a quiver of extended Dynkin type $D$. In this first of two papers, we show that the quiver Grassmannian $Gr_e(M)$ has a decomposition into affine spaces for every dimension vector $e$ and every indecomposable representation $M$ of defect $-1$ and defect $0$, with exception of the non-Schurian representations in homogeneous tubes. We characterize the affine spaces in terms of the combinatorics of a fixed coefficient quiver for $M$. The method of proof is to exhibit explicit equations for the Schubert cells of $Gr_e(M)$ and to solve this system of equations successively in linear terms. This leads to an intricate combinatorial problem, for whose solution we develop the theory of Schubert systems. In the sequel to this paper, we extend the result of this paper to all indecomposable representations $M$ of $Q$ and determine explicit formulae for their $F$-polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Schemes as functors on topological rings

Let $X$ be a scheme. In this text, we extend the known definitions of a topology on the set $X(R)$ of $R$-rational points from topological fields, local rings and adèle rings to any ring $R$ with a topology. This definition is functorial in both $X$ and $R$, and it does not rely on any restriction on $X$ like separability or finiteness conditions. We characterize properties of $R$, such as being a topological Hausdorff ring, a local ring or having $R^\times$ as an open subset for which inversion is continuous, in terms of functorial properties of the topology of $X(R)$. Particular instances of this general approach yield a new characterization of adelic topologies, and a definition of topologies for higher local fields.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Schubert decompositions for quiver Grassmannians of tree modules

Let $Q$ be a quiver, $M$ a representation of $Q$ with an ordered basis $\cB$ and $\ue$ a dimension vector for $Q$. In this note we extend the methods of \cite{L12} to establish Schubert decompositions of quiver Grassmannians $\Gr_\ue(M)$ into affine spaces to the ramified case, i.e.\ the canonical morphism $F:T\to Q$ from the coefficient quiver $T$ of $M$ w.r.t.\ $\cB$ is not necessarily unramified. In particular, we determine the Euler characteristic of $\Gr_\ue(M)$ as the number of \emph{extremal successor closed subsets of $T_0$}, which extends the results of Cerulli Irelli (\cite{Cerulli11}) and Haupt (\cite{Haupt12}) (under certain additional assumptions on $\cB$).

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A blueprinted view on $\mathbb F_1$-geometry

This overview paper has two parts. In the first part, we review the development of $\mathbb F_1$-geometry from the first mentioning by Jacques Tits in 1956 until the present day. We explain the main ideas around $\mathbb F_1$, embedded into the historical context, and give an impression of the multiple connections of $\mathbb F_1$-geometry to other areas of mathematics. In the second part, we review (and preview) the geometry of blueprints. Beyond the basic definitions of blueprints, blue schemes and projective geometry, this includes a theory of Chevalley groups over $\mathbb F_1$ together with their action on buildings over $\mathbb F_1$; computations of the Euler characteristic in terms of $\mathbb F_1$-rational points, which involve quiver Grassmannians; $K$-theory of blue schemes that reproduces the formula $K_i(\mathbb F_1)=π^{st}_i(S^0)$; models of the compactifications of $\Spec \mathbb Z$ and other arithmetic curves; and explanations about the connections to other approaches towards $\mathbb F_1$ like monoidal schemes after Deitmar, $B_1$-algebras after Lescot, $Λ$-schemes after Borger, relative schemes after Toën and Vaquié, log schemes after Kato and congruence schemes after Berkovich and Deitmar.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On Schubert decompositions of quiver Grassmannians

In this paper, we introduce Schubert decompositions for quiver Grassmannians and investigate example classes of quiver Grassmannians with a Schubert decomposition into affine spaces. The main theorem puts the cells of a Schubert decomposition into relation to the cells of a certain simpler quiver Grassmannian. This allows us to extend known examples of Schubert decompositions into affine spaces to a larger class of quiver Grassmannians. This includes exceptional representations of the Kronecker quiver as well as representations of forests with block matrices of the form $\begin{pmatrix} 0&1\\ 0&0 \end{pmatrix}$. Finally, we draw conclusions on the Euler characteristics and the cohomology of quiver Grassmannians.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Torified varieties and their geometries over F_1

This paper invents the notion of torified varieties: A torification of a scheme is a decomposition of the scheme into split tori. A torified variety is a reduced scheme of finite type over $\Z$ that admits a torification. Toric varieties, split Chevalley schemes and flag varieties are examples of this type of scheme. Given a torified variety whose torification is compatible with an affine open covering, we construct a gadget in the sense of Connes-Consani and an object in the sense of Soulé and show that both are varieties over $\F_1$ in the corresponding notion. Since toric varieties and split Chevalley schemes satisfy the compatibility condition, we shed new light on all examples of varieties over $\F_1$ in the literature so far. Furthermore, we compare Connes-Consani's geometry, Soulé's geometry and Deitmar's geometry, and we discuss to what extent Chevalley groups can be realized as group objects over $\F_1$ in the given categories.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Blueprints - towards absolute arithmetic?

One of the driving motivations to develop $\F_1$-geometry is the hope to translate Weil's proof of the Riemann hypothesis from positive characteristics to number fields, which might result in a proof of the classical Riemann hypothesis. The underlying idea is that the spectrum of $\Z$ should find an interpretation as a curve over $\F_1$, which has a completion $\bar{\Spec\Z}$ analogous to a curve over a finite field. The hope is that intersection theory for divisors on the arithmetic surface $\bar{\Spec\Z} \times \bar{\Spec\Z}$ will allow to mimic Weil's proof. It turns out that it is possible to define an object $\bar{\Spec\Z}$ from the viewpoint of blueprints that has certain properties, which come close to the properties of its analogs in positive characteristic. This shall be explained in the following note, which is a summary of a talk given at the Max Planck Institute in March, 2012.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Sheaves and $K$-theory for $\mathbb{F}_1$-schemes

This paper is devoted to the open problem in $\mathbb{F}_1$-geometry of developing $K$-theory for $\mathbb{F}_1$-schemes. We provide all necessary facts from the theory of monoid actions on pointed sets and we introduce sheaves for $\mathcal{M}_0$-schemes and $\mathbb{F}_1$-schemes in the sense of Connes and Consani. A wide range of results hopefully lies the background for further developments of the algebraic geometry over $\mathbb{F}_1$. Special attention is paid to two aspects particular to $\mathbb{F}_1$-geometry, namely, normal morphisms and locally projective sheaves, which occur when we adopt Quillen's Q-construction to a definition of $G$-theory and $K$-theory for $\mathbb{F}_1$-schemes. A comparison with Waldhausen's $S_{\bullet}$-construction yields the ring structure of $K$-theory. In particular, we generalize Deitmar's $K$-theory of monoids and show that $K_*(\Spec\mathbb{F}_1)$ realizes the stable homotopy of the spheres as a ring spectrum.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The geometry of blueprints. Part I: Algebraic background and scheme theory

In this paper, we introduce the category of blueprints, which is a category of algebraic objects that include both commutative (semi)rings and commutative monoids. This generalization allows a simultaneous treatment of ideals resp.\ congruences for rings and monoids and leads to a common scheme theory. In particular, it bridges the gap between usual schemes and $\mathbb{F}_1$-schemes (after Kato, Deitmar and Connes-Consani). Beside this unification, the category of blueprints contains new interesting objects as "improved" cyclotomic field extensions $\mathbb{F}_{1^n}$ of $\mathbb{F}_1$ and "archimedean valuation rings". It also yields a notion of semiring schemes. This first paper lays the foundation for subsequent projects, which are devoted to the following problems: Tits' idea of Chevalley groups over $\mathbb{F}_1$, congruence schemes, sheaf cohomology, $K$-theory and a unified view on analytic geometry over $\mathbb{F}_1$, adic spaces (after Huber), analytic spaces (after Berkovich) and tropical geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The geometry of blueprints. Part II: Tits-Weyl models of algebraic groups

This paper is dedicated to a problem raised by Jacquet Tits in 1956: the Weyl group of a Chevalley group should find an interpretation as a group over what is nowadays called $\mathbb{F}_1$, \emph{the field with one element}. Based on Part I of The geometry of blueprints, we introduce the class of \emph{Tits morphisms} between blue schemes. The resulting \emph{Tits category} $\textup{Sch}_\mathcal{T}$ comes together with a base extension to (semiring) schemes and the so-called \emph{Weyl extension} to sets. We prove for $\mathcal{G}$ in a wide class of Chevalley groups---which includes the special and general linear groups, symplectic and special orthogonal groups, and all types of adjoint groups---that a linear representation of $\mathcal{G}$ defines a model $G$ in $\textup{Sch}_\mathcal{T}$ whose Weyl extension is the Weyl group $W$ of $\mathcal{G}$. We call such models \emph{Tits-Weyl models}. The potential of Tits-Weyl models lies in \textit{(a)} their intrinsic definition that is given by a linear representation; \textit{(b)} the (yet to be formulated) unified approach towards thick and thin geometries; and \textit{(c)} the extension of a Chevalley group to a functor on blueprints, which makes it, in particular, possible to consider Chevalley groups over semirings. This opens applications to idempotent analysis and tropical geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Toroidal automorphic forms, Waldspurger periods and double Dirichlet series

The space of toroidal automorphic forms was introduced by Zagier in the 1970s: a GL_2-automorphic form is toroidal if it has vanishing constant Fourier coefficients along all embedded non-split tori. The interest in this space stems (amongst others) from the fact that an Eisenstein series of weight s is toroidal for a given torus precisely if s is a non-trivial zero of the zeta function of the quadratic field corresponding to the torus. In this paper, we study the structure of the space of toroidal automorphic forms for an arbitrary number field F. We prove that it decomposes into a space spanned by all derivatives up to order n-1 of an Eisenstein series of weight s and class group character omega precisely if s is a zero of order n of the L-series corresponding to omega at s, and a space consisting of exactly those cusp forms the central value of whose L-series is zero. The proofs are based on an identity of Hecke for toroidal integrals of Eisenstein series and a result of Waldspurger about toroidal integrals of cusp forms combined with non-vanishing results for twists of L-series proven by the method of double Dirichlet series.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Automorphic forms for elliptic function fields

Let $F$ be the function field of an elliptic curve $X$ over $\F_q$. In this paper, we calculate explicit formulas for unramified Hecke operators acting on automorphic forms over $F$. We determine these formulas in the language of the graph of an Hecke operator, for which we use its interpretation in terms of $¶^1$-bundles on $X$. This allows a purely geometric approach, which involves, amongst others, a classification of the $¶^1$-bundles on $X$. We apply the computed formulas to calculate the dimension of the space of unramified cusp forms and the support of a cusp form. We show that a cuspidal Hecke eigenform does not vanish in the trivial $¶^1$-bundle. Further, we determine the space of unramified $F'$-toroidal automorphic forms where $F'$ is the quadratic constant field extension of $F$. It does not contain non-trivial cusp forms. An investigation of zeros of certain Hecke $L$-series leads to the conclusion that the space of unramified toroidal automorphic forms is spanned by the Eisenstein series $E(\blanc,s)$ where $s+1/2$ is a zero of the zeta function of $X$---with one possible exception in the case that $q$ is even and the class number $h$ equals $q+1$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Functional equations for zeta functions of $\mathbb{F}_1$-schemes

For a scheme $X$ whose $\mathbb F_q$-rational points are counted by a polynomial $N(q)=\sum a_iq^i$, the $\mathbb{F}_1$-zeta function is defined as $ζ(s)=\prod(s-i)^{-a_i}$. Define $χ=N(1)$. In this paper we show that if $X$ is a smooth projective scheme, then its $\mathbb{F}_1$-zeta function satisfies the functional equation $ζ(n-s) = (-1)^χζ(s)$. We further show that the $\mathbb{F}_1$-zeta function $ζ(s)$ of a split reductive group scheme $G$ of rank $r$ with $N$ positive roots satisfies the functional equation $ζ(r+N-s) = (-1)^χ( ζ(s) )^{(-1)^r}$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Graphs of Hecke operators

Let $X$ be a curve over $\F_q$ with function field $F$. In this paper, we define a graph for each Hecke operator with fixed ramification. A priori, these graphs can be seen as a convenient language to organize formulas for the action of Hecke operators on automorphic forms. However, they will prove to be a powerful tool for explicit calculations and proofs of finite dimensionality results. We develop a structure theory for certain graphs $G_x$ of unramified Hecke operators, which is of a similar vein to Serre's theory of quotients of Bruhat Tits trees. To be precise, $G_x$ is locally a quotient of a Bruhat Tits tree and has finitely many components. An interpretation of $G_x$ in terms of rank 2 bundles on $X$ and methods from reduction theory show that $G_x$ is the union of finitely many cusps, which are infinite subgraphs of a simple nature, and a nucleus, which is a finite subgraph that depends heavily on the arithmetics of $F$. We describe how one recovers unramified automorphic forms as functions on the graphs $G_x$. In the exemplary cases of the cuspidal and the toroidal condition, we show how a linear condition on functions on $G_x$ leads to a finite dimensionality result. In particular, we re-obtain the finite-dimensionality of the space of unramified cusp forms and the space of unramified toroidal automorphic forms. In an Appendix, we calculate a variety of examples of graphs over rational function fields.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Toroidal automorphic forms for function fields

The space of toroidal automorphic forms was introduced by Zagier in 1979. Let $F$ be a global field. An automorphic form on $\GL(2)$ is toroidal if it has vanishing constant Fourier coefficients along all embedded non-split tori. The interest in this space stems from the fact (amongst others) that an Eisenstein series of weight $s$ is toroidal if $s$ is a non-trivial zero of the zeta function, and thus a connection with the Riemann hypothesis is established. In this paper, we concentrate on the function field case. We show the following results. The $(n-1)$-th derivative of a non-trivial Eisenstein series of weight $s$ and Hecke character $χ$ is toroidal if and only if $L(χ,s+1/2)$ vanishes in $s$ to order at least $n$ (for the "only if"-part we assume that the characteristic of $F$ is odd). There are no non-trivial toroidal residues of Eisenstein series. The dimension of the space of derivatives of unramified Eisenstein series equals $h(g-1)+1$ if the characterisitc is not 2; in characteristic 2, the dimension is bounded from below by this number. Here $g$ is the genus and $h$ is the class number of $F$. The space of toroidal automorphic forms is an admissible representation and every irreducible subquotient is tempered.

0 citations0 reviewsNo code linkedOpen access