Amalgamation of types in pseudo-algebraically closed fields and applications

This paper studies unbounded PAC fields and shows an amalgamation result for types over algebraically closed sets. It discusses various applications, for instance that omega-free PAC fields have the property NSOP3. It also contains a description of imaginaries in PAC fields.Comment: Minor changes in v3. Accepted versio

An invariant for difference field extensions

In this paper we introduce a new invariant (the distant degree) for difference field extensions of finite transcendence degree, and we explore some of its properties. We also discuss a generalisation of this invariant and of the limit degree to groups with an automorphism.Comment: After posting the previous version, we discovered the work of Willis on totally disconnected locally compact groups. Over a large area of overlap, our "distant degree" invariant of an automorphism agrees with Willis' {\em scale}. In the new version we describe the relations between the two frameworks. 14pp. July 2011: Small change

Differential-algebraic jet spaces preserve internality to the constants

This paper concerns the model theory of jet spaces (i.e., higher-order tangent spaces) in differentially closed fields. Suppose p is the generic type of the jet space to a finite dimensional differential-algebraic variety at a generic point. It is shown that p satisfies a certain strengthening of almost internality to the constant field called "preserving internality to the constants". This strengthening is a model-theoretic abstraction of the generic behaviour of jet spaces in complex-analytic geometry. A counterexample is constructed showing that only this generic analogue holds in differential-algebraic geometry.Comment: 13 page

A Torsional potential for graphene derived from fitting to DFT results

We present a simple torsional potential for graphene to accurately describe its out-of-plane deformations. The parameters of the potential are derived through appropriate fitting with suitable DFT calculations regarding the deformation energy of graphene sheets folded around two different folding axes, along an armchair or along a zig-zag direction. Removing the energetic contribution of bending angles, using a previously introduced angle bending potential, we isolate the purely torsional deformation energy, which is then fitted to simple torsional force fields. The presented out-of-plane torsional potential can accurately fit the deformation energy for relatively large torsional angles up to 0.5 rad. To test our proposed potential, we apply it to the problem of the vertical displacement of a single carbon atom out of the graphene plane and compare the obtained deformation energy with corresponding DFT calculations. The dependence of the deformation energy on the vertical displacement of the pulled carbon atom is indistinguishable in these two cases, for displacements up to about 0.5 $\AA$. The presented potential is applicable to other sp$^2$ carbon structures.Comment: 10 pages, 10 figure

Θεωρητική μελέτη και μοντελοποίηση των δομικών ιδιοτήτων του γραφενίου

Εθνικό Μετσόβιο Πολυτεχνείο--Μεταπτυχιακή Εργασία. Διεπιστημονικό-Διατμηματικό Πρόγραμμα Μεταπτυχιακών Σπουδών (Δ.Π.Μ.Σ.) “Επιστήμη και Τεχνολογία Υδατικών Πόρων

Some Definability Results in Abstract Kummer Theory

Let $S$ be a semiabelian variety over an algebraically closed field, and let $X$ be an irreducible subvariety not contained in a coset of a proper algebraic subgroup of $S$. We show that the number of irreducible components of $[n]^{-1}(X)$ is bounded uniformly in $n$, and moreover that the bound is uniform in families $X_t$. We prove this by purely Galois-theoretic methods. This proof applies in the more general context of divisible abelian groups of finite Morley rank. In this latter context, we deduce a definability result under the assumption of the Definable Multiplicity Property (DMP). We give sufficient conditions for finite Morley rank groups to have the DMP, and hence give examples where our definability result holds.Comment: 21 pages; minor notational fixe