Let K be an algebraically closed field endowed with a complete non-archimedean norm. Let f : Y → X be a map of K-affinoid varieties. We prove that for each point x ∈ X, either f is flat at x, or there exists, at least locally around x, a maximal locally closed analytic subvariety Z ⊂ X containing x, such that the base change f−1(Z)→ Z is flat at x, and, moreover, g−1(Z) has again this property ...

We prove a geometric logarithmic derivative lemma for rigid analytic mappings to algebraic varieties in characteristic zero. We use the lemma to give a new and simpler proof (at least in characteristic zero) of Berkovich’s little Picard theorem [Ber, Theorem 4.5.1], which says there are no nonconstant rigid analytic maps from the affine line to non-singular projective curves of positive genus, ...

A novel dimensional synthesis technique for solving the mixed exact and approximate motion synthesis problem for spatial CC kinematic chains is presented. The methodology uses an analytic representation of the spatial CC dyad’s rigid body constraint equation in combination with an algebraic geometry formulation of the perpendicular screw bisector to yield designs that exactly reach the prescrib...

Let p be a prime > 3 and consider the Tate algebra A := Q p z defined to be the Banach algebra of formal power series over Q p that converge on the closed unit disk B[0, 1] ⊆ C p with the supremum norm ||f || := sup z∈B[0,1] |f (z)| for f ∈ A. Equivalently, we have (0.1) A = f (z) = ∞ k=0 a k z k a k ∈ Q p and lim k→∞ a k = 0 and the norm is given by (0.2) ||f || = sup k |a k |, for f = ∞ k=0 a...

Analytic and numerical approaches to calculation of derivatives of the free energy with respect to internal and external strains of a crystal are compared using lattice dynamics in the quasiharmonic approximation. The two approaches give very similar results. The analytic values are calculated by a code written by Kantorovich 1] which gives derivatives of free energy with respect to all interna...

The analysis of indentation of rigid cylindrical wheels into frictional/cohesive soils is presented. Threeand two-dimensional numerical simulations were performed using the finite element code ABAQUS to assess the influence of soil strength parameters, dilatancy, and wheel geometry on the relationship between the indentation force and wheel sinkage. The effect of three-dimensionality in the ind...

First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, as well as the well-known problems with equality, non-rigid designators, definite descriptions, and nondesignating terms. We show how all these problems disappear when modal language is made more expressive in a simple, ...

In the context of rigid analytic spaces over a non-Archimedean valued field, a rigid subanalytic set is a Boolean combination of images of rigid analytic maps. We give an analytic quantifier elimination theorem for (complete) algebraically closed valued fields that is independent of the field; in particular, the analytic quantifier elimination is independent of the valued field’s characteristic...