Syzygies of torsion bundles and the geometry of the level l modular variety over M_g

We formulate, and in some cases prove, three statements concerning the purity or, more generally the naturality of the resolution of various rings one can attach to a generic curve of genus g and a torsion point of order l in its Jacobian. These statements can be viewed an analogues of Green's Conjecture and we verify them computationally for bounded genus. We then compute the cohomology class of the corresponding non-vanishing locus in the moduli space R_{g,l} of twisted level l curves of genus g and use this to derive results about the birational geometry of R_{g, l}. For instance, we prove that R_{g,3} is a variety of general type when g>11 and the Kodaira dimension of R_{11,3} is greater than or equal to 19. In the last section we explain probabilistically the unexpected failure of the Prym-Green conjecture in genus 8 and level 2.Comment: 35 pages, appeared in Invent Math. We correct an inaccuracy in the statement of Prop 2.

Finite difference approximations for a size-structured population model with distributed states in the recruitment

In this paper we consider a size-structured population model where individuals may be recruited into the population at different sizes. First and second order finite difference schemes are developed to approximate the solution of the mathematical model. The convergence of the approximations to a unique weak solution with bounded total variation is proved. We then show that as the distribution of the new recruits become concentrated at the smallest size, the weak solution of the distributed states-at-birth model converges to the weak solution of the classical Gurtin-McCamy-type size-structured model in the weak$^*$ topology. Numerical simulations are provided to demonstrate the achievement of the desired accuracy of the two methods for smooth solutions as well as the superior performance of the second-order method in resolving solution-discontinuities. Finally we provide an example where supercritical Hopf-bifurcation occurs in the limiting single state-at-birth model and we apply the second-order numerical scheme to show that such bifurcation occurs in the distributed model as well

Revisiting the stability of spatially heterogeneous predator-prey systems under eutrophication

We employ partial integro-differential equations to model trophic interaction in a spatially extended heterogeneous environment. Compared to classical reaction-diffusion models, this framework allows us to more realistically describe the situation where movement of individuals occurs on a faster time scale than the demographic (population) time scale, and we cannot determine population growth based on local density. However, most of the results reported so far for such systems have only been verified numerically and for a particular choice of model functions, which obviously casts doubts about these findings. In this paper, we analyse a class of integro-differential predator-prey models with a highly mobile predator in a heterogeneous environment, and we reveal the main factors stabilizing such systems. In particular, we explore an ecologically relevant case of interactions in a highly eutrophic environment, where the prey carrying capacity can be formally set to 'infinity'. We investigate two main scenarios: (i) the spatial gradient of the growth rate is due to abiotic factors only, and (ii) the local growth rate depends on the global density distribution across the environment (e.g. due to non-local self-shading). For an arbitrary spatial gradient of the prey growth rate, we analytically investigate the possibility of the predator-prey equilibrium in such systems and we explore the conditions of stability of this equilibrium. In particular, we demonstrate that for a Holling type I (linear) functional response, the predator can stabilize the system at low prey density even for an 'unlimited' carrying capacity. We conclude that the interplay between spatial heterogeneity in the prey growth and fast displacement of the predator across the habitat works as an efficient stabilizing mechanism.Comment: 2 figures; appendices available on request. To appear in the Bulletin of Mathematical Biolog