Related papers: Bounded ultraimaginary independence and its total …

Starting from an elementary calculation of super Lie group elements associating with non(anti)-commutative Grassmann parameters, we derive several closed expressions of Baker-Campbell-Hausdorff (BCH) formula which represent multiplication…

An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…

Let $(X,d)$ be a proper ultrametric space. Given a measure $m$ on $X$ and a function $C(B)$ defined on the set of all non-singleton balls $B$ we consider the hierarchical Laplacian $L=L_{C}$. Choosing a sequence $\{\varepsilon (B)\}$ of…

Given a correspondence $V$ between a connected Shimura variety $S$, a commutative connected algebraic group $G$, and $n \in \mathbb{N}$, we prove that the $V$-images of any $n$ special points on $S$ outside a proper Zariski closed subset…

In this paper we study the semigroup $\mathscr{I}^{\infty}_\lambda$ of injective partial selfmaps almost everywhere the identity of a set of infinite cardinality $\lambda$. We describe the Green relations on $\mathscr{I}^{\infty}_\lambda$,…

Let $(S, d, \rho)$ be the affine group $\mathrm{R}^n \ltimes \mathrm{R}^+$ endowed with the left-invariant Riemannian metric $d$ and the right Haar measure $\rho$, which is of exponential growth at infinity. In this paper, for any linear…

We introduce the notion of normal hyperimaginary and we develop its basic theory. We present a new proof of Lascar-Pillay's theorem on bounded hyperimaginaries based on properties of normal hyperimaginaries. However, the use of Peter-Weyl's…

Let K be a complete discretely valued field with residue field k. If char(K) = 0, char(k) = 2 and the 2-rank of k is d, we prove that there exists an integer N depending on d such that the u-invariant of any function field in one variable…

We reconsider the ingredients of moduli stabilization in heterotic M-theory. On this line we close a gap in the literature deriving the Kaehler potential dependence on vector bundle moduli and charged matter. Crucial in this derivation is…

We introduce a notion of non-commutative joint independence for multiple algebras in a non-commutative probability space. The pairwise relationships between these algebras are encoded by a graph with two edge sets -- a combinatorial…

We study Calabi-Yau manifolds which are complete intersections of hypersurfaces of multidegree $1$ in an $m$-fold product of $n$-dimensional projective spaces. Using the theory of Coxeter groups, we show that the birational automorphism…

We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of…

Let $F$ be a Bedford-McMullen carpet defined by independent exponents. We prove that $\overline{\dim}_B (\ell \cap F) \leq \max \lbrace \dim^* F -1,0 \rbrace$ for all lines $\ell$ not parallel to the principal axes, where $\dim^*$ is…

We introduce a combinatorial argument to study closed minimal hypersurfaces of bounded area and high Morse index. Let $(M^{n+1},g)$ be a closed Riemannian manifold and $\Sigma\subset M$ be a closed embedded minimal hypersurface with area at…

We study the spectrum of limit models assuming the existence of a nicely behaved independence notion. Under reasonable assumptions, we show that all `long' limit models are isomorphic, and all `short' limit models are non-isomorphic.…

Let ${\mathbb C}[x_1,\dots,x_n]_{d+1}$ be the vector space of homogeneous forms of degree $d+1$ on ${\mathbb C}^n$, with $n,d\ge 2$. In earlier articles by J. Alper, M. Eastwood and the author, we introduced a morphism, called $A$, that…

We give the first (ZFC) dividing line in Keisler's order among the unstable theories, specifically among the simple unstable theories. That is, for any infinite cardinal $\lambda$ for which there is $\mu < \lambda \leq 2^\mu$, we construct…

In this short note we show that if we add predicate for a dense complete indiscernible sequence in a dependent theory then the result is still dependent. This answers a question of Baldwin and Benedikt and implies that every unstable…

We prove that for every smooth projective integral curve $X$ of genus at least $2$ over $\mathbb C$, there exists $x \in X(\mathbb C)$ such that no connected finite \'etale cover of $X-\{x\}$ admits a nonconstant morphism to $\mathbb G_m$.…

We show that it is consistent with ZFC (relative to large cardinals) that every infinite Boolean algebra B has an irredundant subset A such that 2^{|A|} = 2^{|B|}. This implies in particular that B has 2^{|B|} subalgebras. We also discuss…