We determine the degree of some strata of singular cubic surfaces in the projective space . These strata are subvarieties of the parametrizing all cubic surfaces in . It is known what their dimension is and that they are irreducible. In 1986, D. F. Coray and I. Vainsencher computed the degree of the 4 strata consisting on cubic surfaces with a double line. To work out the case of isolated singularities we relate the problem with (stationary) multiple-point theory.
One way to understand the geometry of the real Grassmann manifold parameterizing oriented -dimensional subspaces of is to understand the volume-minimizing subvarieties in each homology class. Some of these subvarieties can be determined by using a calibration. In previous work, one of the authors calculated the set of -planes calibrated by the first Pontryagin form on for all , and identified a family of mutually congruent round -spheres which are consequently homologically volume-minimizing. In the present work, we associate to the family of calibrated planes a Pfaffian system on the symmetry group , an analysis of which yields a uniqueness result; namely, that any connected submanifold of calibrated by is contained in one of these -spheres. A similar result holds for -calibrated submanifolds of the quotient Grassmannian of non-oriented -planes.
The two main theorems proved here are as follows: If is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of is invariant under derived equivalence. This invariance is obtained as a consequence of the following generalization of a result of Voigt. Namely, given an appropriate geometrization of the family of finite -module complexes with fixed sequence of dimensions and an ``almost projective' complex , there exists a canonical vector space embedding
where is the pertinent product of general linear groups acting on , tangent spaces at are denoted by , and is identified with its image in the derived category .
For any finite group the group of units in the integral group ring is an arithmetic group in a reductive algebraic group, namely the Zariski closure of . In particular, the isomorphism type of the -algebra determines the commensurability class of ; we show that, to a large extent, the converse is true. In fact, subject to a certain restriction on the -representations of the converse is exactly true.
A random variable satisfying the random variable dilation equation , where is a discrete random variable independent of with values in a lattice and weights and is an expanding and -preserving matrix, if absolutely continuous with respect to Lebesgue measure, will have a density which will satisfy a dilation equation
We have obtained necessary and sufficient conditions for the existence of the density and a simple sufficient condition for 's existence in terms of the weights Wavelets in can be generated in several ways. One is through a multiresolution analysis of generated by a compactly supported prescale function . The prescale function will satisfy a dilation equation and its lattice translates will form a Riesz basis for the closed linear span of the translates. The sufficient condition for the existence of allows a tractable method for designing candidates for multidimensional prescale functions, which includes the case of multidimensional splines. We also show that this sufficient condition is necessary in the case when is a prescale function.
We show that . We first use the Connes-Tzygan exact sequence to prove that this is equivalent to the vanishing of the third cyclic cohomology group , where is the non-unital Banach algebra , and then prove that .
The semisimplicity conjecture says that for any smooth projective scheme over a finite field , the Frobenius correspondence acts semisimply on , where is an algebraic closure of . Based on the works of Deligne and Laumon, we reduce this conjecture to a problem about the Galois representations of function fields. This reduction was also achieved by Laumon a few years ago (unpublished).
Recently, finite state automata, via the advent of hyperbolic and automatic groups, have become a powerful tool in geometric group theory. This paper develops a geometric approach to automata theory, analogous to various techniques used in combinatorial group theory, to solve various problems on the overlap between group theory and monoid theory. For instance, we give a geometric algorithm for computing the closure of a rational language in the profinite topology of a free group. We introduce some geometric notions for automata and show that certain important classes of monoids can be described in terms of the geometry of their Cayley graphs. A long standing open question, to which the answer was only known in the simplest of cases (and even then was non-trivial), is whether it is true, for a pseudovariety of groups , that a -trivial co-extension of a group in must divide a semidirect product of a -trivial monoid and a group in . We show the answer is affirmative if is closed under extension, and may be negative otherwise.
We prove that for the set of Cauchy problems of dimension which have a global solution is -complete and that the set of ordinary differential equations which have a global solution for every initial condition is -complete. The first result still holds if we restrict ourselves to second order equations (in dimension one). We also prove that for the set of Cauchy problems of dimension which have a global solution even if we perturb a bit the initial condition is -complete.
We define a pseudovariety of groups to be arboreous if all finitely generated free pro- groups are dendral (with respect to a free generating set). Our motivation for studying such pseudovarieties of groups is to answer several open questions in the theory of profinite topologies and the theory of finite monoids. We prove, for arboreous pseudovarieties , a pro- analog of the Ribes and Zalesski product theorem for the profinite topology on a free group. Also, arboreous pseudovarieties are characterized as precisely the solutions to the much studied pseudovariety equation .
We embed the quantum Heisenberg manifold in a crossed product -algebra. This enables us to show that all tracial states on induce the same homomorphism on , whose range is the group .