Volume preserving mean curvature flow of revolution hypersurfaces between two equidistants

In a rotationally symmetric space ${{\overline M}}$ around an axis ${\mathcal{A}}$ (whose precise definition is satisfied by all real space forms), we consider a domain G limited by two equidistant hypersurfaces orthogonal to ${\mathcal{A}}$ . Let ${M \subset {\overline M}}$ be a revolution hypersurface generated by a graph over ${\mathcal{A}}$ , with boundary in ?G and orthogonal to it. We study the evolution M _t of M under the volume-preserving mean curvature flow requiring that the boundary of M _t rests on ?G and stays orthogonal to it. We prove that: (a) the generating curve of M _t remains a graph; (b) the flow exists as long as M _t does not touch the rotation axis; (c) under a suitable hypothesis relating the enclosed volume and the area of M, the flow is defined for every ${t\in [0,\infty[}$ and a sequence of hypersurfaces ${M_{t_n}}$ converges to a revolution hypersurface of constant mean curvature. Some key points are: (i) the results are true even for ambient spaces with positive curvature, (ii) the averaged mean curvature does not need to be positive and (iii) for the proof it is necessary to carry out a detailed study of the boundary conditions.     

Levi Factors of the Special Fiber of a Parahoric Group Scheme and Tame Ramification

Let $\cal{A}$ be a Henselian discrete valuation ring with fractions K and with perfect residue field k of characteristic p?>?0. Let G be a connected and reductive algebraic group over K, and let $\cal{P}$ be a parahoric group scheme over $\cal{A}$ with generic fiber ${\cal{P}}_{/K} = G$ . The special fiber ${\cal{P}}_{/k}$ is a linear algebraic group over k. If G splits over an unramified extension of K, we proved in some previous work that the special fiber ${\cal{P}}_{/k}$ has a Levi factor, and that any two Levi factors of ${\cal{P}}_{/k}$ are geometrically conjugate. In the present paper, we extend a portion of this result. Following a suggestion of Gopal Prasad, we prove that if G splits over a tamely ramified extension of K, then the geometric special fiber ${\cal{P}}_{/k_{\rm{alg}}}$ has a Levi factor, where k _alg is an algebraic closure of k.     

Loops with two-sided inverses constructed by a class of regular permutation sets

In this paper we present a technique for building a new loop starting from the loops (K,+), ${(P,\widehat{+})}$ and (P,?+) fulfilling suitable conditions, generalizing the construction presented in Zizioli (J Geom 95(1?C2):173?C186, 2009) where ${K=\mathbb{Z}_2}$ or ${K=\mathbb{Z}_3}$ and (P,?+) is an abelian group. We investigate the dependence of the properties of the new loop on the corresponding properties of the initial ones (associativity, Bol condition, automorphic inverse property, Moufang condition), and we provide some examples.     

Nef line bundles on flag bundles on a curve over {\overline{{\mathbb F}}_p}

Let E be a vector bundle of rank r over an irreducible smooth projective curve X defined over the field ${\overline{{\mathbb F}}_p}$ F ¯ p . For fixed integers ${r_1\, , \ldots\, , r_\nu}$ r 1 , ... , r ν with ${1\, \leq\, r_1\, <\, \cdots\, <\, r_\nu\, <\, r}$ 1 ≤ r 1 < ? < r ν < r , let ${\text{Fl}(E)}$ Fl ( E ) be the corresponding flag bundle over X associated to E. Let ${\xi\, \longrightarrow \, {\rm Fl}(E)}$ ξ ? Fl ( E ) be a line bundle such that for every pair of the form ${(C\, ,\phi)}$ ( C , ? ) , where C is an irreducible smooth projective curve defined over ${\overline{\mathbb F}_p}$ F ¯ p and ${\phi\, :\, C\, \longrightarrow\, {\rm Fl}(E)}$ ? : C ? Fl ( E ) is a nonconstant morphism, the inequality ${{\rm degree}(\phi^* \xi)\, > \, 0}$ degree ( ? ? ξ ) > 0 holds. We prove that the line bundle ${\xi}$ ξ is ample.     

A Clifford Bundle Approach to the Differential Geometry of Branes

We first recall using the Clifford bundle formalism (CBF) of differential forms and the theory of extensors acting on \({\mathcal{C}\ell}\) (M, g) (the Clifford bundle of differential forms) the formulation of the intrinsic geometry of a differential manifold M equipped with a metric field g of signature (p, q) and an arbitrary metric compatible connection \({\nabla}\) introducing the torsion (2?1)-extensor field \({\tau}\) , the curvature (2 ? 2) extensor field \({\Re}\) and (once fixing a gauge) the connection (1?2)-extensor \({\omega}\) and the Ricci operator \({\partial \bigwedge \partial}\) (where \({\partial}\) is the Dirac operator acting on sections of \({\mathcal{C}\ell(M, g)}\) ) which plays an important role in this paper. Next, using the CBF we give a thoughtful presentation the Riemann or the Lorentzian geometry of an orientable submanifold M (dim M =  m) living in a manifold M? (such that M? \({\simeq \mathbb{R}^n}\) is equipped with a semi- Riemannian metric g? with signature (p?, q?) and p?+q? = n and its Levi- Civita connection D?) and where there is defined a metric g =  i*g?, where \({i : M \rightarrow}\) M? is the inclusion map. We prove several equivalent forms for the curvature operator \({\Re}\) of M. Moreover we show a very important result, namely that the Ricci operator of M is the (negative) square of the shape operator S of M (object obtained by applying the restriction on M of the Dirac operator ?? of \({\mathcal{C}\ell}\) (M?, g?) to the projection operator P). Also we disclose the relationship between the (1?2)-extensor \({\omega}\) and the shape biform \({\mathcal{S}}\) (an object related to S). The results obtained are used to give a mathematical formulation to Clifford’s theory of matter. It is hoped that our presentation will be useful for differential geometers and theoretical physicists interested, e.g., in string and brane theories and relativity theory by divulging, improving and expanding very important and so far unfortunately largely ignored results appearing in reference [13].     

Deciding the existence of uniform interpolants over transitive models

We consider the problem of the existence of uniform interpolants in the modal logic K4. We first prove that all ${\square}$ -free formulas have uniform interpolants in this logic. In the general case, we shall prove that given a modal formula ${\phi}$ and a sublanguage L of the language of the formula, we can decide whether ${\phi}$ has a uniform interpolant with respect to L in K4. The ${\square}$ -free case is proved using a reduction to the G?del L?b Logic GL, while in the general case we prove that the question of whether a modal formula has uniform interpolants over transitive frames can be reduced to a decidable expressivity problem on the???-calculus.     

Approximating Tverberg Points in Linear Time for Any Fixed Dimension

Let $P \subseteq \mathbb{R }^d$ P ? R d be a $d$ d -dimensional $n$ n -point set. A Tverberg partition is a partition of $P$ P into $r$ r sets $P_1, \dots , P_r$ P 1 , ? , P r such that the convex hulls $\hbox {conv}(P_1), \dots , \hbox {conv}(P_r)$ conv ( P 1 ) , ? , conv ( P r ) have non-empty intersection. A point in $\bigcap _{i=1}^{r} \hbox {conv}(P_i)$ ? i = 1 r conv ( P i ) is called a Tverberg point of depth $r$ r for $P$ P . A classic result by Tverberg shows that there always exists a Tverberg partition of size $\lceil n/(d+1) \rceil $ ? n / ( d + 1 ) ? , but it is not known how to find such a partition in polynomial time. Therefore, approximate solutions are of interest. We describe a deterministic algorithm that finds a Tverberg partition of size $\lceil n/4(d+1)^3 \rceil $ ? n / 4 ( d + 1 ) 3 ? in time $d^{O(\log d)} n$ d O ( log d ) n . This means that for every fixed dimension we can compute an approximate Tverberg point (and hence also an approximate centerpoint) in linear time. Our algorithm is obtained by combining a novel lifting approach with a recent result by Miller and Sheehy (Comput Geom Theory Appl 43(8):647–654, 2010).     

A proof of a theorem by Fried and MacRae and applications to the composition of polynomial functions

Fried and MacRae (Math. Ann. 180, 220?C226 (1969)) proved that for univariate polynomials ${p,q, f, g \in \mathbb{K}[t]}$ ( ${\mathbb{K}}$ a field) with p, q nonconstant, p(x) ? q(y) divides f(x) ? g(y) in ${\mathbb{K}[x,y]}$ if and only if there is ${h \in \mathbb{K}[t]}$ such that f?=?h(p(t)) and g?=?h(q(t)). Schicho (Arch. Math. 65, 239?C243 (1995)) proved this theorem from the viewpoint of category theory, thereby providing several generalizations to multivariate polynomials. In the present note, we give a new proof of one of these generalizations. The theorem by Fried and MacRae yields a way to prove the following fact for nonconstant functions f, g from ${\mathbb{C}}$ to ${\mathbb{C}}$ : if both the composition ${f \circ g}$ and g are polynomial functions, then f has to be a polynomial function as well. We give an algebraic proof of this fact and present a generalization to multivariate polynomials over algebraically closed fields. This provides a way to prove a generalization of a result by Carlitz (Acta Sci. Math. (Szeged) 24, 196?C203 (1963)) that describes those univariate polynomials over finite fields that induce bijective functions on all of their finite extensions.     

Characterization of Co-blockers for Simple Perfect Matchings in a Convex Geometric Graph

Consider the complete convex geometric graph on $2m$ 2 m vertices, CGG $(2m)$ ( 2 m ) , i.e., the set of all boundary edges and diagonals of a planar convex $2m$ 2 m -gon P. In (Keller and Perles, Israel J Math 187:465–484, 2012), the smallest sets of edges that meet all the simple perfect matchings (SPMs) in CGG $(2m)$ ( 2 m ) (called “blockers”) are characterized, and it is shown that all these sets are caterpillar graphs with a special structure, and that their total number is $m \cdot 2^{m-1}$ m · 2 m ? 1 . In this paper we characterize the co-blockers for SPMs in CGG $(2m)$ ( 2 m ) , that is, the smallest sets of edges that meet all the blockers. We show that the co-blockers are exactly those perfect matchings M in CGG $(2m)$ ( 2 m ) where all edges are of odd order, and two edges of M that emanate from two adjacent vertices of P never cross. In particular, while the number of SPMs and the number of blockers grow exponentially with m, the number of co-blockers grows super-exponentially.     

L-spaces and the P-ideal dichotomy

We extend a theorem of Todor?evi?: Under the assumption ( $ \mathcal{K} $ ) (see Definition 1.11), $$ \boxtimes \left\{ \begin{gathered} any regular space Z with countable tightness such that \hfill \\ Z^n is Lindel\ddot of for all n \in \omega has no L - subspace. \hfill \\ \end{gathered} \right. $$ We assume $ \mathfrak{p} $ > ω ₁ and a weak form of Abraham and Todor?evi?’s P-ideal dichotomy instead and get the same conclusion. Then we show that $ \mathfrak{p} $ > ω ₁ and the dichotomy principle for P-ideals that have at most ?₁ generators together with ? do not imply that every Aronszajn tree is special, and hence do not imply (ie1-4). So we really extended the mentioned theorem.     

A note on K?hler–Ricci flow

Let g(t) with ${t\in [0,T)}$ be a complete solution to the K?hler–Ricci flow: ${\frac{d}{dt}g_{i\bar j}=-R_{i\bar j}}$ where T may be ∞. In this article, we show that the curvature of g(t) is uniformly bounded if the solution g(t) is uniformly equivalent. This result is stronger than the main result in ?e?um (Am J Math 127(6):1315–1324, 2005) within the category of K?hler–Ricci flow.     

Infinite Combinatorial Issues Raised by Lifting Problems in Universal Algebra

The critical point between varieties? $\mathcal{A}$ and? $\mathcal{B}$ of algebras is defined as the least cardinality of the semilattice of compact congruences of a member of? $\mathcal{A}$ but of no member of? $\mathcal{B}$ , if it exists. The study of critical points gives rise to a whole array of problems, often involving lifting problems of either diagrams or objects, with respect to functors. These, in turn, involve problems that belong to infinite combinatorics. We survey some of the combinatorial problems and results thus encountered. The corresponding problematic is articulated around the notion of a k-ladder (for proving that a critical point is large), large free set theorems and the classical notation (??,r,??)??m (for proving that a critical point is small). In the middle, we find ??-lifters of posets and the relation $(\kappa,{<}\lambda)\leadsto P$ , for infinite cardinals??? and??? and a poset?P.     

The Gauss�CKronecker curvature of minimal hypersurfaces in four-dimensional space forms

Let ${{\mathbb{Q}^4}(c)}$ be a four-dimensional space form of constant curvature c. In this paper we show that the infimum of the absolute value of the Gauss?CKronecker curvature of a complete minimal hypersurface in ${\mathbb{Q}^4(c), c\leq 0}$ , whose Ricci curvature is bounded from below, is equal to zero. Further, we study the connected minimal hypersurfaces M ³ of a space form ${{\mathbb{Q}^4}(c)}$ with constant Gauss?CKronecker curvature K. For the case c ?? 0, we prove, by a local argument, that if K is constant, then K must be equal to zero. We also present a classification of complete minimal hypersurfaces of ${\mathbb{Q}^4(c)}$ with K constant.     

On a conjecture of Rapoport and Zink

In their book, Rapoport and Zink constructed rigid analytic period spaces ${\mathcal {F}}^{wa}$ for Fontaine’s filtered isocrystals, and period morphisms from PEL moduli spaces of p-divisible groups to some of these period spaces. They conjectured the existence of an étale bijective morphism ${\mathcal {F}}^{a}\to {\mathcal {F}}^{wa}$ of rigid analytic spaces and of a universal local system of ? _p -vector spaces on  ${\mathcal {F}}^{a}$ . Such a local system would give rise to a tower of étale covering spaces $\breve {{\mathcal {E}}}_{{\widetilde {K}}}$ of ${\mathcal {F}}^{a}$ , equipped with a Hecke-action, and an action of the automorphism group J(? _p ) of the isocrystal with extra structure. For Hodge-Tate weights n?1 and n we construct in this article an intrinsic Berkovich open subspace ${\mathcal {F}}^{0}$ of ${\mathcal {F}}^{wa}$ and the universal local system on ${\mathcal {F}}^{0}$ . We show that only in exceptional cases ${\mathcal {F}}^{0}$ equals all of ${\mathcal {F}}^{wa}$ and when the Shimura group is $\operatorname {GL}_{n}$ we determine all these cases. We conjecture that the rigid-analytic space associated with ${\mathcal {F}}^{0}$ is the maximal possible ${\mathcal {F}}^{a}$ , and that ${\mathcal {F}}^{0}$ is connected. We give evidence for these conjectures. For those period spaces possessing PEL period morphisms, we show that ${\mathcal {F}}^{0}$ equals the image of the period morphism. Then our local system is the rational Tate module of the universal p-divisible group and carries a J(? _p )-linearization. We construct the tower $\breve {{\mathcal {E}}}_{{\widetilde {K}}}$ of étale covering spaces, and we show that it is canonically isomorphic in a Hecke and J(? _p )-equivariant way to the tower constructed by Rapoport and Zink using the universal p-divisible group.     

Permanent Versus Determinant over a Finite Field

Let $ \mathbb{F} $ be a finite field of characteristic different from 2. We study the cardinality of sets of matrices with a given determinant or a given permanent for the set of Hermitian matrices $ {{\mathcal{H}}_n}\left( \mathbb{F} \right) $ and for the whole matrix space M _n ( $ \mathbb{F} $ ). It is known that for n = 2, there are bijective linear maps Φ on $ {{\mathcal{H}}_n}\left( \mathbb{F} \right) $ and M _n ( $ \mathbb{F} $ ) satisfying the condition per A = det Φ(A). As an application of the obtained results, we show that if n ≥ 3, then the situation is completely different and already for n = 3, there is no pair of maps (Φ, ?), where Φ is an arbitrary bijective map on matrices and ? : $ \mathbb{F} $ → $ \mathbb{F} $ is an arbitrary map such that per A = ?(det Φ(A)) for all matrices A from the spaces $ {{\mathcal{H}}_n}\left( \mathbb{F} \right) $ and M _n ( $ \mathbb{F} $ ), respectively. Moreover, for the space M _n ( $ \mathbb{F} $ ), we show that such a pair of transformations does not exist also for an arbitrary n > 3 if the field $ \mathbb{F} $ contains sufficiently many elements (depending on n). Our results are illustrated by a number of examples.     

Inverse problem of finding n coefficients of lower derivatives in a parabolic equation

We consider the problem of reconstructing the vector function $\vec b(x) = (b_1 ,...,b_n )$ in the term $(\vec b,\nabla u)$ in a linear parabolic equation. This coefficient inverse problem is considered in a bounded domain Ω ? R ⁿ . To find the above-mentioned function $\vec b(x)$ , in addition to initial and boundary conditions we pose an integral observation of the form $\int_0^T {u(x,t)\vec \omega (t)dt = \vec \chi (x)} $ , where $\vec \omega (t) = (\omega _1 (t),...,\omega _n (t))$ is a given weight vector function. We derive sufficient existence and uniqueness conditions for the generalized solution of the inverse problem. We present an example of input data for which the assumptions of the theorems proved in the paper are necessarily satisfied.