Singular del Pezzo surfaces that are equivariant compactifications

We determine which singular del Pezzo surfaces are equivariant compactifications of \mathbbG_\texta² \mathbb{G}_{\text{a}}^2 , to assist with proofs of Manin’s conjecture for such surfaces. Additionally, we give an example of a singular quartic del Pezzo surface that is an equivariant compactification of \mathbbG_\texta {\mathbb{G}_{\text{a}}} ⋊ \mathbbG_\textm {\mathbb{G}_{\text{m}}} . Bibliography: 32 titles.     

Initial Enlargement of Filtrations and Entropy of Poisson Compensators

Let μ be a Poisson random measure, let \mathbbF\mathbb{F} be the smallest filtration satisfying the usual conditions and containing the one generated by μ, and let \mathbbG\mathbb{G} be the initial enlargement of \mathbbF\mathbb{F} with the σ-field generated by a random variable G. In this paper, we first show that the mutual information between the enlarging random variable G and the σ-algebra generated by the Poisson random measure μ is equal to the expected relative entropy of the \mathbbG\mathbb{G}-compensator relative to the \mathbbF\mathbb{F}-compensator of the random measure μ. We then use this link to gain some insight into the changes of Doob–Meyer decompositions of stochastic processes when the filtration is enlarged from  \mathbbF\mathbb{F} to  \mathbbG\mathbb{G}. In particular, we show that if the mutual information between G and the σ-algebra generated by the Poisson random measure μ is finite, then every square-integrable \mathbbF\mathbb{F}-martingale is a \mathbbG\mathbb{G}-semimartingale that belongs to the normed space S¹\mathcal{S}^{1} relative to  \mathbbG\mathbb{G}.     

M?bius transform, moment-angle complexes and Halperin–Carlsson conjecture

The motivation for this paper comes from the Halperin–Carlsson conjecture for (real) moment-angle complexes. We first give an algebraic combinatorics formula for the M?bius transform of an abstract simplicial complex K on [m]={1,…,m} in terms of the Betti numbers of the Stanley–Reisner face ring k(K) of K over a field k. We then employ a way of compressing K to provide the lower bound on the sum of those Betti numbers using our formula. Next we consider a class of generalized moment-angle complexes Z_K^{(\mathbb D, \mathbb S)}\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})}, including the moment-angle complex Z_K\mathcal{Z}_{K} and the real moment-angle complex \mathbbRZ_K\mathbb{R}\mathcal {Z}_{K} as special examples. We show that H^*(Z_K^{(\mathbb D, \mathbb S)};k)H^{*}(\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})};\mathbf{k}) has the same graded k-module structure as Tor  ^k[v](k(K),k). Finally we show that the Halperin–Carlsson conjecture holds for Z_K\mathcal{Z}_{K} (resp. \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}) under the restriction of the natural T ^m -action on Z_K\mathcal{Z}_{K} (resp. (ℤ₂) ^m -action on \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}).     

Modular Lie algebras and the Gelfand–Kirillov conjecture

Let ${\mathfrak{g}}Let \mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field \mathbbK\mathbb{K} of characteristic 0. Let \mathfrakg_\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of \mathfrakg{\mathfrak{g}} and \mathfrakg_\Bbbk=\mathfrakg_\mathbbZ?_\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where \Bbbk\Bbbk is the algebraic closure of  \mathbbF_p{\mathbb{F}}_{p}. Let G_\BbbkG_{\Bbbk} be a simple, simply connected algebraic \Bbbk\Bbbk-group with \operatornameLie(G_\Bbbk)=\mathfrakg_\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra U(\mathfrakg_\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for \mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions \Bbbk (\mathfrakg_\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield \Bbbk(\mathfrakg_\Bbbk)^G_\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions \mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield \mathbbK(\mathfrakg)^\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the above types. In other words, if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.     

Second cohomology group of extended W-algebras

Let \mathbbF\mathbb{F} be a field of characteristic 0, and let G be an additive subgroup of \mathbbF\mathbb{F}. We define a class of infinite-dimensional Lie algebras \mathbbF\mathbb{F}-basis {L _μ, V _μ, W _μ | μ ∈ G}, which are very closely related to W-algebras. In this paper, the second cohomology group of is determined.     

Bijective maps on standard Borel subgroup of symplectic group preserving commutators

Let F be a field, and let \mathbbG\mathbb{G} be the standard Borel subgroup of the symplectic group Sp(2m, F). In this paper, we characterize the bijective maps ϕ: \mathbbG\mathbb{G} → \mathbbG\mathbb{G} satisfying ϕ[x, y] = [ϕ(x), ϕ(y)].     

Group measure space decomposition of II1 factors and W*-superrigidity

We prove a “unique crossed product decomposition” result for group measure space II₁ factors L ^∞(X)⋊Γ arising from arbitrary free ergodic probability measure preserving (p.m.p.) actions of groups Γ in a fairly large family G\mathcal{G}, which contains all free products of a Kazhdan group and a non-trivial group, as well as certain amalgamated free products over an amenable subgroup. We deduce that if T _n denotes the group of upper triangular matrices in PSL (n,ℤ), then any free, mixing p.m.p. action of G = \operatornamePSL(n,\mathbbZ)*_Tn\operatornamePSL(n,\mathbbZ)\Gamma=\operatorname{PSL}(n,\mathbb{Z})*_{T_{n}}\operatorname{PSL}(n,\mathbb{Z}) is W^∗-superrigid, i.e. any isomorphism between L ^∞(X)⋊Γ and an arbitrary group measure space factor L ^∞(Y)⋊Λ, comes from a conjugacy of the actions. We also prove that for many groups Γ in the family G\mathcal{G}, the Bernoulli actions of Γ are W^∗-superrigid.     

Metric Flips with Calabi Ansatz

We study the limiting behavior of the K?hler–Ricci flow on \mathbbP(O_\mathbbPⁿ ?O_\mathbbPⁿ(-1)^?(m+1)){{\mathbb{P}(\mathcal{O}_{\mathbb{P}^n} \oplus \mathcal{O}_{\mathbb{P}^n}(-1)^{\oplus(m+1)})}} for m, n ≥ 1, assuming the initial metric satisfies the Calabi symmetry. We show that the flow either shrinks to a point, collapses to \mathbbPⁿ{{\mathbb{P}^n}} or contracts a subvariety of codimension m + 1 in the Gromov–Hausdorff sense. We also show that the K?hler–Ricci flow resolves a certain type of cone singularities in the Gromov–Hausdorff sense.     

Some presentations of the real number field

It is proved that every two Σ-presentations of an ordered field \mathbbR \mathbb{R} of reals over \mathbbH\mathbbF ( \mathbbR ) \mathbb{H}\mathbb{F}\,\left( \mathbb{R} \right) , whose universes are subsets of \mathbbR \mathbb{R} , are mutually Σ-isomorphic. As a consequence, for a series of functions f:\mathbbR ? \mathbbR f:\mathbb{R} \to \mathbb{R} (e.g., exp, sin, cos, ln), it is stated that the structure \mathbbR \mathbb{R} = 〈R, +, ×, <, 0, 1, f〉 lacks such Σ-presentations over \mathbbH\mathbbF ( \mathbbR ) \mathbb{H}\mathbb{F}\,\left( \mathbb{R} \right) .     

Cohomology of solvable lie algebras and solvmanifolds

The cohomology H _{\mathfrakg\mathfrak{g} ) of the tangent Lie algebra \mathfrakg\mathfrak{g} of the group G with coefficients in the one-dimensional representation \mathfrakg\mathfrak{g} \mathbbK\mathbb{K} defined by [(W)\tilde] \mathfrakg \tilde \Omega _\mathfrak{g} of H ¹(G/ \mathfrakg\mathfrak{g} .}     

Characterization of $ {\mathbb{A}_{16}} $ by a noncommuting graph

Let G be a finite non-Abelian group. We define a graph Γ _G ; called the noncommuting graph of G; with a vertex set G − Z(G) such that two vertices x and y are adjacent if and only if xy ≠ yx: Abdollahi, Akbari, and Maimani put forward the following conjecture (the AAM conjecture): If S is a finite non-Abelian simple group and G is a group such that Γ _S ≅ Γ _G ; then S ≅ G: It is still unknown if this conjecture holds for all simple finite groups with connected prime graph except \mathbbA₁₀ {\mathbb{A}_{10}} , L ₄(8), L ₄(4), and U ₄(4). In this paper, we prove that if \mathbbA₁₆ {\mathbb{A}_{16}} denotes the alternating group of degree 16; then, for any finite group G; the graph isomorphism G_\mathbbA16 @ G_G {\Gamma_{{\mathbb{A}_{16}}}} \cong {\Gamma_G} implies that \mathbbA₁₆ @ G {\mathbb{A}_{16}} \cong G .     

A characterization of non-tube type Hermitian symmetric spaces by visible actions

Let G/K be an irreducible Hermitian symmetric space of non-compact type, and G_\mathbbC/K_\mathbbC{G_{\mathbb{C}}/K_{\mathbb{C}}} its complexification by forgetting the original complex structure. Then, D :=G_\mathbbC/[K_\mathbbC, K_\mathbbC]{D :=G_{\mathbb{C}}/[K_{\mathbb{C}}, K_{\mathbb{C}}]} is a non-symmetric Stein manifold. We prove that a maximal compact subgroup of G_\mathbbC{G_{\mathbb{C}}} acts on D in a strongly visible fashion in the sense of Kobayashi (Publ Res Inst Math Sci 41:497–549, 2005) if and only if G/K is of non-tube type. Our proof uses the theory of multiplicity-free representations and a construction of a slice and an anti-holomorphic involution on D.     

Density of the polynomials in Hardy and Bergman spaces of slit domains

It is shown that for any t, 0<t<∞, there is a Jordan arc Γ with endpoints 0 and 1 such that G\{1} í \mathbbD:={z:|z| < 1}\Gamma\setminus\{1\}\subseteq\mathbb{D}:=\{z:|z|<1\} and with the property that the analytic polynomials are dense in the Bergman space \mathbbA^t(\mathbbD\G)\mathbb{A}^{t}(\mathbb{D}\setminus\Gamma) . It is also shown that one can go further in the Hardy space setting and find such a Γ that is in fact the graph of a continuous real-valued function on [0,1], where the polynomials are dense in H^t(\mathbbD\G)H^{t}(\mathbb{D}\setminus\Gamma) ; improving upon a result in an earlier paper.     

Hypersurfaces in the Lorentz-Minkowski space satisfying Lkψ?=?Aψ?+?b

We study hypersurfaces in the Lorentz-Minkowski space \mathbbLⁿ⁺¹{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L _k ψ = Aψ + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR^(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLⁿ⁺¹{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSⁿ₁(r){\mathbb{S}^n_1(r)} or \mathbbHⁿ(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbS^m₁(r)×\mathbbR^n-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbH^m(-r)×\mathbbR^n-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbL^m×\mathbbS^n-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ n − m ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

An explicit growth condition for middle-degree cuspidal cohomology of arithmetically defined quaternionic hyperbolic n-manifolds

Let G/\mathbb Q{G/\mathbb Q} be the simple algebraic group Sp(n, 1) and G = G(N){\Gamma=\Gamma(N)} a principal congruence subgroup of level N ≥ 3. Denote by K a maximal compact subgroup of the real Lie group G(\mathbb R){G(\mathbb R)} . Then a double quotient G\G(\mathbb R)/K{\Gamma\backslash G(\mathbb R)/K} is called an arithmetically defined, quaternionic hyperbolic n-manifold. In this paper we give an explicit growth condition for the dimension of cuspidal cohomology H²ⁿ_cusp(G\G(\mathbb R)/K,E){H^{2n}_{cusp}(\Gamma\backslash G(\mathbb R)/K,E)} in terms of the underlying arithmetic structure of G and certain values of zeta-functions. These results rely on the work of Arakawa (Automorphic Forms of Several Variables: Taniguchi Symposium, Katata, 1983, eds. I. Satake and Y. Morita (Birkh?user, Boston), pp. 1–48, 1984).     

A criterion for the splitting of a principal bundle over a projective space

Let E_G be an algebraic principal G-bundle over \mathbbC\mathbbPⁿ ,\mathbb{C}\mathbb{P}^n , n  \mathbbC.\mathbb{C}. We prove that E_G admits a reduction of structure group to a one-parameter subgroup of G if and only if

On the Second Cohomology of K?hler Groups

Carlson and Toledo conjectured that if an infinite group Γ is the fundamental group of a compact K?hler manifold, then virtually H²(G, \mathbb R) 1 0{H^{2}(\Gamma, {\mathbb R}) \ne 0} . We assume that Γ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ( \mathbbC{\mathbb{C}} -VHS) on the K?hler manifold. We prove the conjecture under some assumption on the \mathbbC{\mathbb{C}} -VHS. We also study some related geometric/topological properties of period domains associated to such a \mathbbC{\mathbb{C}} -VHS.     

Compact Surfaces with Constant Gaussian Curvature in Product Spaces

We prove that the only compact surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} (resp. positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}}) whose boundary Γ is contained in a slice of the ambient space and such that the surface intersects this slice at a constant angle along Γ, are the pieces of a rotational complete surface. We also obtain some area estimates for surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} and positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}} whose boundary is contained in a slice of the ambient space. These estimates are optimal in the sense that if the bounds are attained, the surface is again a piece of a rotational complete surface.     

On Algebraic K-theory Categorical Groups

Homotopy categorical groups of any pointed space are defined via the fundamental groupoid of iterated loop spaces. This notion allows, paralleling the group case, to introduce the notion of K-categorical groups \mathbbK_iR\mathbb{K}_iR of any ring R. We also show the existence of a fundamental categorical crossed module associated to any fibre homotopy sequence and then, \mathbbK₁R\mathbb{K}_1R and \mathbbK₂R\mathbb{K}_2R are characterized, respectively, as the homotopy cokernel and kernel of the fundamental categorical crossed module associated to the fibre homotopy sequence FR\xrightarrowd_R BGLR\xrightarrowq_R BGLR ⁺ FR\xrightarrow{{d_{R} }}BGLR\xrightarrow{{q_{R} }}BGLR^{ + } As consequence, the 3th level of the Postnikov tower of the K-theory spectrum of R is classified by this categorical crossed module.