Resolutions of Stanley-Reisner rings and Alexander duality

Associated to any simplicial complex Δ on n vertices is a square-free monomial ideal I_Δ in the polynomial ring A = k[x₁, …, x_n], and its quotient k[Δ] = A/I_Δ known as the Stanley-Reisner ring. This note considers a simplicial complex Δ^* which is in a sense a canonical Alexander dual to Δ, previously considered in [1, 5]. Using Alexander duality and a result of Hochster computing the Betti numbers dim_k Tor_i^A (k[Δ],k), it is shown (Proposition 1) that these Betti numbers are computable from the homology of links of faces in Δ^*. As corollaries, we prove that I_Δ has a linear resolution as A-module if and only if Δ^* is Cohen-Macaulay over k, and show how to compute the Betti numbers dim_k Tor_i^A (k[Δ],k) in some cases where Δ^* is wellbehaved (shellable, Cohen-Macaulay, or Buchsbaum). Some other applications of the notion of shellability are also discussed.     

The Lex-Plus-Powers Conjecture holds for pure powers

We prove Evans' Lex-Plus-Powers Conjecture for ideals containing a monomial regular sequence.     

Cyclic homology of affine hypersurfaces with isolated Singularities

We consider reduced, affine hypersurfaces with only isolated singularities. We give an explicit computation of the Hodge-components of their cyclic homology in terms of de Rham cohomology and torsion modules of differentials for large n. It turns out that the vector spaces HC_n(A) are finite dimensional for n ≥ N − 1.     

Motivic zeta functions of abelian varieties, and the monodromy conjecture

We prove for abelian varieties a global form of Denef and Loeser?s motivic monodromy conjecture, in arbitrary characteristic. More precisely, we prove that for every tamely ramified abelian variety A over a complete discretely valued field with algebraically closed residue field, its motivic zeta function has a unique pole at Chai?s base change conductor c(A) of A, and that the order of this pole equals one plus the potential toric rank of A. Moreover, we show that for every embedding of Q? in C, the value exp(2πic(A)) is an ?-adic tame monodromy eigenvalue of A. The main tool in the paper is Edixhoven?s filtration on the special fiber of the Néron model of A, which measures the behavior of the Néron model under tame base change.     

The relaxation-time limit in the compressible Euler–Maxwell equations

The aim of this paper is to study multidimensional Euler–Maxwell equations for plasmas with short momentum relaxation time. The convergence for the smooth solutions to the compressible Euler–Maxwell equations toward the solutions to the smooth solutions to the drift–diffusion equations is proved by means of the Maxwell iteration, as the relaxation time tends to zero. Meanwhile, the formal derivation of the latter from the former is justified.     

On topological Radon transformations

We construct a functor, which we call the topological Radon transform, from a category of complex algebraic varieties with morphisms given by divergent diagrams, to constructible functions. The topological Radon transform is thus the composition of a pull-back and a push-forward of constructible functions. We show that the Chern-Schwartz-MacPherson transformation makes the topological Radon transform of constructible functions compatible with a certain homological Verdier-Radon transform. We use this set-up to prove, given a projective variety X, a formula for the Chern-Mather class of the dual variety in terms of that of X.     

Differential equations with singular fields

This paper investigates the well posedness of ordinary differential equations and more precisely the existence (or uniqueness) of a flow through explicit compactness estimates. Instead of assuming a bounded divergence condition on the vector field, a compressibility condition on the flow (bounded Jacobian) is considered. The main result provides existence under the condition that the vector field belongs to BV in dimension 2 and SBV in higher dimensions.     

Deformations of equivelar Stanley–Reisner abelian surfaces

The versal deformation of Stanley–Reisner schemes associated to equivelar triangulations of the torus is studied. The deformation space is defined by binomials and there is a toric smoothing component which I describe in terms of cones and lattices. Connections to moduli of abelian surfaces are considered. The case of the Möbius torus is especially nice and leads to a projective Calabi–Yau 3-fold with Euler number 6.     

Limit cycles, invariant meridians and parallels for polynomial vector fields on the torus

We study the polynomial vector fields of arbitrary degree in R³ having the 2-dimensional torus invariant by their flow. We characterize all the possible configurations of invariant meridians and parallels that these vector fields can exhibit. Furthermore we analyze when these invariant either meridians or parallels can be limit cycles.     

Restriction varieties and geometric branching rules

This paper develops a new method for studying the cohomology of orthogonal flag varieties. Restriction varieties are subvarieties of orthogonal flag varieties defined by rank conditions with respect to (not necessarily isotropic) flags. They interpolate between Schubert varieties in orthogonal flag varieties and the restrictions of general Schubert varieties in ordinary flag varieties. We give a positive, geometric rule for calculating their cohomology classes, obtaining a branching rule for Schubert calculus for the inclusion of the orthogonal flag varieties in Type A flag varieties. Our rule, in addition to being an essential step in finding a Littlewood–Richardson rule, has applications to computing the moment polytopes of the inclusion of SO(n) in SU(n), the asymptotic of the restrictions of representations of SL(n) to SO(n) and the classes of the moduli spaces of rank two vector bundles with fixed odd determinant on hyperelliptic curves. Furthermore, for odd orthogonal flag varieties, we obtain an algorithm for expressing a Schubert cycle in terms of restrictions of Schubert cycles of Type A flag varieties, thereby giving a geometric (though not positive) algorithm for multiplying any two Schubert cycles.     

An infinite dimensional KAM theorem and its application to the two dimensional cubic Schrödinger equation

We prove an infinite dimensional KAM theorem. As an application, we use the theorem to study the two dimensional nonlinear Schrödinger equation with periodic boundary conditions. We obtain for the equation a Whitney smooth family of small-amplitude quasi-periodic solutions corresponding to finite dimensional invariant tori of an associated infinite dimensional dynamical system.     

The Baum–Connes conjecture for free orthogonal quantum groups

We prove an analogue of the Baum–Connes conjecture for free orthogonal quantum groups. More precisely, we show that these quantum groups have a γ-element and that γ=1. It follows that free orthogonal quantum groups are K-amenable. We compute explicitly their K-theory and deduce in the unimodular case that the corresponding reduced C^?-algebras do not contain nontrivial idempotents.Our approach is based on the reformulation of the Baum–Connes conjecture by Meyer and Nest using the language of triangulated categories. An important ingredient is the theory of monoidal equivalence of compact quantum groups developed by Bichon, De Rijdt and Vaes. This allows us to study the problem in terms of the quantum group SUq(2). The crucial part of the argument is a detailed analysis of the equivariant Kasparov theory of the standard Podle? sphere.     

Lyubeznik numbers of projective schemes

Let X be a projective scheme over a field k and let A be the local ring at the vertex of the affine cone of X under some embedding . We prove that, when char(k)>0, the Lyubeznik numbers λi,j(A) are intrinsic numerical invariants of X, i.e., λi,j(A) depend only on X, but not on the embedding.     

The relative Picard functor on schemes over a symmetric monoidal category

We consider schemes (X,OX) over an abelian closed symmetric monoidal category (C,⊗,1). Our aim is to extend a theorem of Kleiman on the relative Picard functor to schemes over (C,⊗,1). For this purpose, we also develop some basic theory on quasi-coherent modules on schemes (X,OX) over C.     

The p-rank strata of the moduli space of hyperelliptic curves

We prove results about the intersection of the p-rank strata and the boundary of the moduli space of hyperelliptic curves in characteristic p?3. This yields a strong technique that allows us to analyze the stratum of hyperelliptic curves of genus g and p-rank f. Using this, we prove that the endomorphism ring of the Jacobian of a generic hyperelliptic curve of genus g and p-rank f is isomorphic to Z if g?4. Furthermore, we prove that the Z/?-monodromy of every irreducible component of is the symplectic group Sp2g(Z/?) if g?3, and ?≠p is an odd prime (with mild hypotheses on ? when f=0). These results yield numerous applications about the generic behavior of hyperelliptic curves of given genus and p-rank over finite fields, including applications about Newton polygons, absolutely simple Jacobians, class groups and zeta functions.     

The existence and asymptotics of solutions for the Abelian Chern–Simons system with two Higgs fields and two gauge fields

In this paper, we study a system of elliptic equations in R² which arises from the self-dual equations for the Abelian Chern–Simons system with two Higgs fields and two gauge fields. We provide a new proof for the existence of topological solutions by constructing explicit supersolutions and subsolutions. We also study the asymptotic behavior of condensate solutions on the torus. It is shown that the maximal solutions converge uniformly to zero away from the vortex points, and the convergence rate is computed.     

A uniqueness theorem for Dirichlet series satisfying a Riemann type functional equation

We will prove a uniqueness theorem for L-functions in terms of the pre-images of two values in the complex plane.     

Cox rings of surfaces and the anticanonical Iitaka dimension

In this paper we investigate the relation between the finite generation of the Cox ring R(X) of a smooth projective surface X and its anticanonical Iitaka dimension κ(−KX).