相关论文: A geometric proof of the classification of complex…

We introduce the notion of a bicocycle double cross product (resp. sum) Lie group (resp. Lie algebra), and a bicocycle double cross product bialgebra, generalizing the unified products. On the level of Lie groups the construction yields a…

Let $X$ be a real algebraic variety with set of complex points $X_{\mathbb C}$ and set of real points $X_{\mathbb R}$. A complex slice of $X$ is a transverse intersection of $X_{\mathbb R}$ with a complex subvariety $V$ of $X_{\mathbb C}$.…

We construct a hypersimplicial subdivision of the $r$-dilation of the $i$-th hypersimplex of dimension $d$ that provides a geometric proof of the Brenti--Welker identity.

We prove Union-Closed sets conjecture.

We present a thorough study of the differential geometry of weightings and develop the theory of weightings for vector bundles, Lie groupoids, and Lie algebroids. We begin by extending the work of Loizides and Meinrenken on weighted…

We study realizations of Lie algebras by vector fields. A correspondence between classification of transitive local realizations and classification of subalgebras is generalized to the case of regular local realizations. A reasonable…

Essentially generalizing Lie's results, we prove that the contact equivalence groupoid of a class of (1+1)-dimensional generalized nonlinear Klein-Gordon equations is the first-order prolongation of its point equivalence groupoid, and then…

We classify crossed product gradings for arbitrary groups and fields up to several equivalence relations in terms of group actions and their orbits.

A polynomial complexity algorithm is designed which tests whether a point belongs to a given tropical linear variety.

The cocycle bicrossed product construction allows certain freedom in producing examples of locally compact quantum groups. We give an overview of some recent examples of this kind having remarkable properties.

For any cssc-crossed module a category is constructed, equipped with a structure and proved that this is a coherent categorical group. Together with a result of the previous paper, where to any categorical group the cssc-crossed module is…

We give a new proof of the "super Kazhdan-Lusztig conjecture" for the Lie super algebra $\mathfrak{gl}_{n|m}(\mathbb{C})$ as formulated originally by the first author. We also prove for the first time that any integral block of category O…

Linear discriminant analysis (LDA) is a well-known method for multiclass classification and dimensionality reduction. However, in general, ordinary LDA does not achieve high prediction accuracy when observations in some classes are…

We present a proof of the algorithm for computing line bundle valued cohomology classes over toric varieties conjectured by R.~Blumenhagen, B.~Jurke and the authors (arXiv:1003.5217) and suggest a kind of Serre duality for combinatorial…

We classify $\mathcal{R}$- and $\mathcal{L}$-cross-sections of wreath products of finite inverse symmetric semigroups $\mathcal{IS}_m \wr_p \mathcal{IS}_n$ up to isomorphism. We show that every isomorphism of $\mathcal{R}$ ($\mathcal{L}$-)…

In this paper we will prove a super-analogue of a well-known result by Kontsevich which states that the homology of a certain complex which is generated by isomorphism classes of oriented graphs can be calculated as the Lie algebra homology…

Consider a projective limit G of finite groups G_n. Fix a compatible family \delta^n of coactions of the G_n on a C*-algebra A. From this data we obtain a coaction \delta of G on A. We show that the coaction crossed product of A by \delta…

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification…

It is shown that the proof theory for sketches and forms provided in Part I of this paper (see http://www.cwru.edu/1/class/mans/math/pub/wells) is strong enough to produce all the theorems of the entailment system for multisorted equational…

In [8] we proved that any categorical group defines a c-crossed module, which is a cssc-crossed module defined in the same paper. In [9] we constructed a categorical group for any cssc-crossed module. In the presented paper we prove that…