Elements of algebraic geometry and the positive theory of partially commutative groups

The first main result of the paper is a criterion for a partially commutative group G to be a domain. It allows us to reduce the study of algebraic sets over G to the study of irreducible algebraic sets, and reduce the elementary theory of G (of a coordinate group over G) to the elementary theories of the direct factors of G (to the elementary theory of coordinate groups of irreducible algebraic sets). Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group H. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of H has quantifier elimination and that arbitrary first-order formulas lift from H to H * F, where F is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable.

Inverse problems for invariant algebraic curves: explicit computations

Given an algebraic curve in the complex affine plane, we describe how to determine all planar polynomial vector fields which leave this curve invariant. If all (finite) singular points of the curve are nondegenerate, we give an explicit expression for these vector fields. In the general setting we provide an algorithmic approach, and as an alternative we discuss sigma processes.

A general construction of internal sheaves in algebraic set theory

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothen-dieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.

Hopf bifurcation in higher dimensional differential systems via the averaging method

"vegeu el resum a l'inici del document del fitxer adjunt."

Characterizations of Lojasiewicz inequalities and applications

The classical Lojasiewicz inequality and its extensions for partial differential equation problems (Simon) and to o-minimal structures (Kurdyka) have a considerable impact on the analysis of gradient-like methods and related problems: minimization methods, complexity theory, asymptotic analysis of dissipative partial differential equations, tame geometry. This paper provides alternative characterizations of this type of inequalities for nonsmooth lower semicontinuous functions defined on a metric or a real Hilbert space. In a metric context, we show that a generalized form of the Lojasiewicz inequality (hereby called the Kurdyka- Lojasiewicz inequality) relates to metric regularity and to the Lipschitz continuity of the sublevel mapping, yielding applications to discrete methods (strong convergence of the proximal algorithm). In a Hilbert setting we further establish that asymptotic properties of the semiflow generated by -∂f are strongly linked to this inequality. This is done by introducing the notion of a piecewise subgradient curve: such curves have uniformly bounded lengths if and only if the Kurdyka- Lojasiewicz inequality is satisfied. Further characterizations in terms of talweg lines -a concept linked to the location of the less steepest points at the level sets of f- and integrability conditions are given. In the convex case these results are significantly reinforced, allowing in particular to establish the asymptotic equivalence of discrete gradient methods and continuous gradient curves. On the other hand, a counterexample of a convex C2 function in R2 is constructed to illustrate the fact that, contrary to our intuition, and unless a specific growth condition is satisfied, convex functions may fail to fulfill the Kurdyka- Lojasiewicz inequality.

On the applicability of mathematics : philosophical and historical perspectives

The present thesis is a contribution to the debate on the applicability of mathematics; it examines the interplay between mathematics and the world, using historical case studies. The first part of the thesis consists of four small case studies. In chapter 1, I criticize "ante rem structuralism", proposed by Stewart Shapiro, by showing that his so-called "finite cardinal structures" are in conflict with mathematical practice. In chapter 2, I discuss Leonhard Euler's solution to the Königsberg bridges problem. I propose interpreting Euler's solution both as an explanation within mathematics and as a scientific explanation. I put the insights from the historical case to work against recent philosophical accounts of the Königsberg case. In chapter 3, I analyze the predator-prey model, proposed by Lotka and Volterra. I extract some interesting philosophical lessons from Volterra's original account of the model, such as: Volterra's remarks on mathematical methodology; the relation between mathematics and idealization in the construction of the model; some relevant details in the derivation of the Third Law, and; notions of intervention that are motivated by one of Volterra's main mathematical tools, phase spaces. In chapter 4, I discuss scientific and mathematical attempts to explain the structure of the bee's honeycomb. In the first part, I discuss a candidate explanation, based on the mathematical Honeycomb Conjecture, presented in Lyon and Colyvan (2008). I argue that this explanation is not scientifically adequate. In the second part, I discuss other mathematical, physical and biological studies that could contribute to an explanation of the bee's honeycomb. The upshot is that most of the relevant mathematics is not yet sufficiently understood, and there is also an ongoing debate as to the biological details of the construction of the bee's honeycomb. The second part of the thesis is a bigger case study from physics: the genesis of GR. Chapter 5 is a short introduction to the history, physics and mathematics that is relevant to the genesis of general relativity (GR). Chapter 6 discusses the historical question as to what Marcel Grossmann contributed to the genesis of GR. I will examine the so-called "Entwurf" paper, an important joint publication by Einstein and Grossmann, containing the first tensorial formulation of GR. By comparing Grossmann's part with the mathematical theories he used, we can gain a better understanding of what is involved in the first steps of assimilating a mathematical theory to a physical question. In chapter 7, I introduce, and discuss, a recent account of the applicability of mathematics to the world, the Inferential Conception (IC), proposed by Bueno and Colyvan (2011). I give a short exposition of the IC, offer some critical remarks on the account, discuss potential philosophical objections, and I propose some extensions of the IC. In chapter 8, I put the Inferential Conception (IC) to work in the historical case study: the genesis of GR. I analyze three historical episodes, using the conceptual apparatus provided by the IC. In episode one, I investigate how the starting point of the application process, the "assumed structure", is chosen. Then I analyze two small application cycles that led to revisions of the initial assumed structure. In episode two, I examine how the application of "new" mathematics - the application of the Absolute Differential Calculus (ADC) to gravitational theory - meshes with the IC. In episode three, I take a closer look at two of Einstein's failed attempts to find a suitable differential operator for the field equations, and apply the conceptual tools provided by the IC so as to better understand why he erroneously rejected both the Ricci tensor and the November tensor in the Zurich Notebook.

Strong solutions for stochastic porous media equations with jumps

We prove global well-posedness in the strong sense for stochastic generalized porous media equations driven by locally square integrable martingales with stationary independent increments.

Differential effect of long versus short wavelength light exposure on pupillary re-dilation in patients with outer retinal disease.

BACKGROUND: In patients with outer retinal degeneration, a differential pupil response to long wavelength (red) versus short wavelength (blue) light stimulation has been previously observed. The goal of this study was to quantify differences in the pupillary re-dilation following exposure to red versus blue light in patients with outer retinal disease and compare them with patients with optic neuropathy and with healthy subjects. DESIGN: Prospective comparative cohort study. PARTICIPANTS: Twenty-three patients with outer retinal disease, 13 patients with optic neuropathy and 14 normal subjects. METHODS: Subjects were tested using continuous red and blue light stimulation at three intensities (1, 10 and 100 cd/m2) for 13 s per intensity. Pupillary re-dilation dynamics following the brightest intensity was analysed and compared between the three groups. MAIN OUTCOME MEASURES: The parameters of pupil re-dilation used in this study were: time to recover 90% of baseline size; mean pupil size at early and late phases of re-dilation; and differential re-dilation time for blue versus red light. RESULTS: Patients with outer retinal disease showed a pupil that tended to stay smaller after light termination and thus had a longer time to recovery. The differential re-dilation time was significantly greater in patients with outer retinal disease (median = 28.0 s, P < 0.0001) compared with controls and patients with optic neuropathy. CONCLUSIONS: A differential response of pupil re-dilation following red versus blue light stimulation is present in patients with outer retinal disease but is not found in normal eyes or among patients with visual loss from optic neuropathy.

Differential regulations of AQP4 and Kir4.1 by triamcinolone acetonide and dexamethasone in the healthy and inflamed retina.

PURPOSE: Glucocorticoids are used to treat macular edema, although the mechanisms underlying this effect remain largely unknown. The authors have evaluated in the normal and endotoxin-induced uveitis (EIU) rats, the effects of dexamethasone (dex) and triamcinolone acetonide (TA) on potassium channel Kir4.1 and aquaporin-4 (AQP4), the two main retinal Müller glial (RMG) channels controlling retinal fluid movement. METHODS: Clinical as well as relatively low doses of dex and TA were injected in the vitreous of normal rats to evaluate their influence on Kir4.1 and AQP4 expression 24 hours later. The dose-dependent effects of the two glucocorticoids were investigated using rat neuroretinal organotypic cultures. EIU was induced by footpad lipopolysaccharide injection, without or with 100 nM intraocular dex or TA. Glucocorticoid receptor and channel expression levels were measured by quantitative PCR, Western blot, and immunohistochemistry. RESULTS: The authors found that dex and TA exert distinct and specific channel regulations at 24 hours after intravitreous injection. Dex selectively upregulated Kir4.1 (not AQP4) in healthy and inflamed retinas, whereas TA induced AQP4 (not Kir4.1) downregulation in normal retina and upregulation in EIU. The lower concentration (100 nM) efficiently regulated the channels. Moreover, in EIU, an inflammatory condition, the glucocorticoid receptor was downregulated in the retina, which was prevented by intravitreous injections of the low concentration of dex or TA. CONCLUSIONS: The results show that dex and TA are far from being equivalent to modulate RMG channels. Furthermore, the authors suggest that low doses of glucocorticoids may have antiedematous effects on the retina with reduced toxicity.

Differential peptide binding to CD40 evokes counteractive responses.

The antigen-presenting cell-expressed CD40 is implied in the regulation of counteractive immune responses such as induction of pro-inflammatory and anti-inflammatory cytokines interleukin (IL)-12 and IL-10, respectively. The mechanism of this duality in CD40 function remains unknown. Here, we investigated whether such duality depends on ligand binding. Based on CD40 binding, we identifed two dodecameric peptides, peptide-7 and peptide-19, from the phage peptide library. Peptide-7 induces IL-10 and increases Leishmania donovani infection in macrophages, whereas peptide-19 induces IL-12 and reduces L. donovani infection. CD40-peptide interaction analyses by surface plasmon resonance and atomic force microscopy suggest that the functional differences are not associated with the studied interaction parameters. The molecular dynamic simulation of the CD40-peptides interaction suggests that these two peptides bind to two different places on CD40. Thus, we suggest for the first time that differential binding of the ligands imparts functional duality to CD40.

Minu, Startu and all that:- Pitfalls in estimating the sensitivity of a worker’s wage to aggregate unemployment

In this paper we show that the inclusion of unemployment-tenure interaction variates in Mincer wage equations is subject to serious pitfalls. These variates were designed to test whether or not the sensitivity to the business cycle of a worker’s wage varies according to her tenure. We show that three canonical variates used in the literature - the minimum unemployment rate during a worker’s time at the firm(min u), the unemployment rate at the start of her tenure(Su) and the current unemployment rate interacted with a new hire dummy(δu) - can all be significant and "correctly" signed even when each worker in the firm receives the same wage, regardless of tenure (equal treatment). In matched data the problem can be resolved by the inclusion in the panel of firm-year interaction dummies. In unmatched data where this is not possible, we propose a solution for min u and Su based on Solon, Barsky and Parker’s(1994) two step method. This method is sub-optimal because it ignores a large amount of cross tenure variation in average wages and is only valid when the scaled covariances of firm wages and firm employment are acyclical. Unfortunately δu cannot be identified in unmatched data because a differential wage response to unemployment of new hires and incumbents will appear under both equal treatment and unequal treatment.

Stability of Growth Models with Generalised Lag Structures

This paper considers the lag structures of dynamic models in economics, arguing that the standard approach is too simple to capture the complexity of actual lag structures arising, for example, from production and investment decisions. It is argued that recent (1990s) developments in the the theory of functional differential equations provide a means to analyse models with generalised lag structures. The stability and asymptotic stability of two growth models with generalised lag structures are analysed. The paper concludes with some speculative discussion of time-varying parameters.