Motivic Serre invariants of curves

In this article, we generalize the theory of motivic integration on formal schemes topologically of finite type and the notion of motivic Serre invariant, to a relative point of view. We compute the relative motivic Serre invariant for curves defined over the field of fractions of a complete discrete valuation ring R of equicharacteristic zero. One aim of this study is to understand the behavior of motivic Serre invariants under ramified extension of the ring R. Thanks to our constructions, we obtain, in particular, an expression for the generating power series, whose coefficients are the motivic Serre invariant associated to a curve, computed on a tower of ramified extensions of R. We give an interpretation of this series in terms of the motivic zeta function of Denef and Loeser.     

Hom stacks

We study Hom 2-functors parameterizing 1-morphisms of algebraic stacks, and prove that they are representable by algebraic stacks under certain conditions, using Artin's criterion. As an application we study Picard 2-functors which parameterize line bundles on algebraic stacks. An erratum to this article is available at .     

On proper coverings of Artin stacks

We prove that every separated Artin stack of finite type over a noetherian base scheme admits a proper covering by a quasi-projective scheme. An application of this result is a version of the Grothendieck existence theorem for Artin stacks.     

Convex polarities over ordered fields

We use tools and methods from real algebraic geometry (spaces of ultrafilters, elimination of quantifiers) to formulate a theory of convexity in K^N over an arbitrary ordered field. By defining certain ideal points (which can be viewed as generalizations of recession cones) we obtain a generalized notion of polar set. These satisfy a form of polar duality that applies to general convex sets and does not reduce to classical duality if K is the field of real numbers. As an application we give a partial classification of total orderings of Artinian local rings and two applications to ordinary convex geometry over the real numbers.     

Modification systems and integration in their Chow groups

We introduce a notion of integration on the category of proper birational maps to a given variety X, with value in an associated Chow group. Applications include new birational invariants; comparison results for Chern classes and numbers of nonsingular birational varieties; ‘stringy’ Chern classes of singular varieties; and a zeta function specializing to the topological zeta function. In its simplest manifestation, the integral gives a new expression for Chern–Schwartz–MacPherson classes of possibly singular varieties, placing them into a context in which a ‘change-of-variable’ formula holds.     

Basic deformation theory of smooth formal schemes

We provide the main results of a deformation theory of smooth formal schemes as defined in [L. Alonso Tarrío, A. Jeremías López, M. Pérez Rodríguez, Infinitesimal lifting and Jacobi criterion for smoothness on formal schemes, Comm. Algebra 35 (2007) 1341-1367]. Smoothness is defined by the local existence of infinitesimal liftings. Our first result is the existence of an obstruction in a certain Ext¹ group whose vanishing guarantees the existence of global liftings of morphisms. Next, given a smooth morphism f₀:X₀→Y₀ of noetherian formal schemes and a closed immersion Y₀?Y given by a square zero ideal I, we prove that the set of isomorphism classes of smooth formal schemes lifting X₀ over Y is classified by and that there exists an element in which vanishes if and only if there exists a smooth formal scheme lifting X₀ over Y.     

Configurations in abelian categories. IV. Invariants and changing stability conditions

This is the last in a series on configurations in an abelian category A. Given a finite poset (I,?), an (I,?)-configuration (σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects.The first paper defined configurations and studied moduli spaces of configurations in A, using Artin stacks. It showed well-behaved moduli stacks ObjA,MA(I,?) of objects and configurations in A exist when A is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod-KQ of representations of a quiver Q. The second studied algebras of constructible functions and stack functions on ObjA.The third introduced stability conditions(τ,T,?) on A, and showed the moduli space of τ-semistable objects in class α is a constructible subset in ObjA, so its characteristic function is a constructible function. It formed algebras , , , of constructible and stack functions on ObjA, and proved many identities in them.In this paper, if (τ,T,?) and are stability conditions on A we write in terms of the , and deduce the algebras are independent of (τ,T,?). We study invariants or Iss(I,?,κ,τ) ‘counting’ τ-semistable objects or configurations in A, which satisfy additive and multiplicative identities. We compute them completely when A=mod-KQ or A=coh(P) for P a smooth curve. We also find invariants with special properties when A=coh(P) for P a smooth surface with nef, or a Calabi-Yau 3-fold.     

Some moduli stacks of symplectic bundles on a curve are rational

Let C be a smooth projective curve of genus g?2 over a field k. Given a line bundle L on C, let Sympl2n,L be the moduli stack of vector bundles E of rank 2n on C endowed with a nowhere degenerate symplectic form up to scalars. We prove that this stack is birational to BGm×As for some s if deg(E)=n⋅deg(L) is odd and C admits a rational point P∈C(k) as well as a line bundle ξ of degree 0 with ξ⊗2?OC. It follows that the corresponding coarse moduli scheme of Ramanathan-stable symplectic bundles is rational in this case.     

Completions of orthomodular lattices II

If is a variety of orthomodular lattices generated by a set of orthomodular lattices having a finite uniform upper bound om the length of their chains, then the MacNeille completion of every algebra in again belongs to .The author gratefully acknowledges the support of NSERC.     

Polynomiality of monotone Hurwitz numbers in higher genera

Hurwitz numbers count branched covers of the Riemann sphere with specified ramification, or equivalently, transitive permutation factorizations in the symmetric group with specified cycle types. Monotone Hurwitz numbers count a restricted subset of these branched covers, related to the expansion of complete symmetric functions in the Jucys–Murphy elements, and have arisen in recent work on the asymptotic expansion of the Harish-Chandra–Itzykson–Zuber integral. In previous work we gave an explicit formula for monotone Hurwitz numbers in genus zero. In this paper we consider monotone Hurwitz numbers in higher genera, and prove a number of results that are reminiscent of those for classical Hurwitz numbers. These include an explicit formula for monotone Hurwitz numbers in genus one, and an explicit form for the generating function in arbitrary positive genus. From the form of the generating function we are able to prove that monotone Hurwitz numbers exhibit a polynomiality that is reminiscent of that for the classical Hurwitz numbers, i.e.  , up to a specified combinatorial factor, the monotone Hurwitz number in genus g$g$ with ramification specified by a given partition is a polynomial indexed by g$g$ in the parts of the partition.     

Motivic zeta functions of infinite-dimensional Lie algebras

The paper shows how to associate a motivic zeta function with a large class of infinite dimensional Lie algebras. These include loop algebras, affine Kac-Moody algebras, the Virasoro algebra and Lie algebras of Cartan type. The concept of a motivic zeta functions provides a good language to talk about the uniformity in p of local p-adic zeta functions of finite dimensional Lie algebras. The theory of motivic integration is employed to prove the rationality of motivic zeta functions associated to certain classes of infinite dimensional Lie algebras.     

Gaps in the number of generators of monomial Togliatti systems

Let $I_{d,n}?k[x_0,?,x_n]$ be a minimal monomial Togliatti system of forms of degree d. In [4], Mezzetti and Miró-Roig proved that the minimal number of generators $\mu (I_{d,n})$ of $I_{d,n}$ lies in the interval $[2n+1,\left(\begin{array}{c}n+d?1\\ n?1\end{array}\right)]$. In this paper, we prove that for $n\ge 4$ and $d\ge 3$, the integer values in $[2n+3,3n?1]$ cannot be realized as the number of minimal generators of a minimal monomial Togliatti system. We classify minimal monomial Togliatti systems $I_{d,n}?k[x_0,?,x_n]$ of forms of degree d with $\mu (I_{d,n})=2n+2$ or 3n (i.e. with the minimal number of generators reaching the border of the non-existence interval). Finally, we prove that for $n=4$, $d\ge 3$ and $\mu \in [9,\left(\begin{array}{c}d+3\\ 3\end{array}\right)]?\{11\}$ there exists a minimal monomial Togliatti system $I_{d,n}?k[x_0,?,x_n]$ of forms of degree d with $\mu (I_{n,d})=\mu$.     

Designs and partial geometries over finite fields

Let be a finite field, and let (, B) be a nontrivial 2-(n, k, 1)-design over . Then each point induces a (k–1)-spread S on /. (, B) is said to be a geometric design if S is a geometric spread on / for each . In this paper, we prove that there are no geometric designs over any finite field .Research partially supported by NSF grant DMS-8703229.     

The Picard group of algebras over an algebraically nonclosed field

Let k be a field that is not algebraically closed, and let A be a k-algebra, whose each maximal ideal has residue field k. We prove that each element of the Picard group of A is of finite order and give an optimal upper bound for its order.     

Laplace equations,Lefschetz properties and line arrangements

In this note we extend the main result in [6] on artinian ideals failing Lefschetz properties, varieties satisfying Laplace equations and existence of suitable singular hypersurfaces. Moreover we characterize the minimal generation of ideals generated by powers of linear forms by the configuration of their dual points in the projective plane and we use this result to improve some propositions on line arrangements and Strong Lefschetz Property at range 2 in [6]. The starting point was an example in [3]. Finally we show the equivalence among failing SLP, Laplace equations and some unexpected curves introduced in [3].     

Mirror fibrations and root stacks of weighted projective spaces

We show that the orbifold Chow ring of a root stack over a well-formed weighted projective space can be naturally seen as the Jacobian algebra of a function on a singular variety.     

On the de Rham cohomology of differential and algebraic stacks

We introduce the notion of cofoliation on a stack. A cofoliation is a change of the differentiable structure which amounts to giving a full representable smooth epimorphism. Cofoliations are uniquely determined by their associated Lie algebroids.Cofoliations on stacks arise from flat connections on groupoids. Connections on groupoids generalize connections on gerbes and bundles in a natural way. A flat connection on a groupoid is an integrable distribution of the morphism space compatible with the groupoid structure and complementary to both source and target fibres. A cofoliation of a stack determines the flat groupoid up to étale equivalence.We show how a cofoliation on a stack gives rise to a refinement of the Hodge to De Rham spectral sequence, where the E₁-term consists entirely of vector bundle valued cohomology groups.Our theory works for differentiable, holomorphic and algebraic stacks.     

Singular points of cyclic weighted shift matrices

Let S be an n-by-n   cyclic weighted shift matrix, and _FS(t,x,y)=det(tI+xℜ(S)+yℑ(S))$F_S(t,x,y)=\det (tI+x\Re (S)+y\Im (S))$ be a ternary form associated with S  . We investigate the number of singular points of the curve _FS(t,x,y)=0$F_S(t,x,y)=0$, and show that the number of singular points of _FS(t,x,y)=0$F_S(t,x,y)=0$ associated with a cyclic weighted shift matrix whose weights are neither 1-periodic nor 2-periodic is less than or equal to n(n−3)/2$n(n-3)/2$. Furthermore, we verify the upper bound n(n−3)/2$n(n-3)/2$ is sharp for 4?n?7$4?n?7$.     

Permanents,Doty coalgebras and dominant dimension of Schur algebras

A (hidden) multiplication on _AZ(n,r)$A_{\mathbb{Z}}(n,r)$, the Z$\mathbb{Z}$-dual of the integral Schur algebra _SZ(n,r)$S_{\mathbb{Z}}(n,r)$ is explicitly constructed, possibly without a unit. The image of the multiplication map is shown to be spanned by bipermanents. Let k   be any field of characteristic p>0$p>0$. The image of the induced multiplication on _Ak(n,r)=_AZ(n,r)_⊗Zk$A_k(n,r)=A_{\mathbb{Z}}(n,r){\otimes }_{\mathbb{Z}}k$ turns out to coincide with the Doty coalgebra _Dn,r,p$D_{n,r,p}$ of truncated symmetric powers. Combined with a new straightening formula for bipermanents, it is proved that such a multiplication induces an isomorphism _Ak(n,r)_⊗Sk(n,r)Ak(n,r)≅_Ak(n,r)$A_k(n,r){\otimes }_{S_k(n,r)}{A}_k(n,r)\cong A_k(n,r)$ as _Sk(n,r)$S_k(n,r)$-bimodules if and only if r≤n(p−1)$r\le n(p-1)$, if and only if _Dn,r,p=_Ak(n,r)$D_{n,r,p}=A_k(n,r)$. As a result, _Sk(n,r)$S_k(n,r)$ is a gendo-symmetric algebra, and its dominant dimension is at least two and admits a combinatorial characterization as long as r≤n(p−1)$r\le n(p-1)$.