All Questions
Tagged with examples reference-request
44
questions
9
votes
2
answers
630
views
Torsion-free virtually free-by-cyclic groups
Is it known if there are any examples of a finitely generated group $G$ such that:
$G$ has a finite index subgroup $H$ which is free-by-cyclic
$G$ itself is not free-by-cyclic
$G$ is torsion-free
...
0
votes
0
answers
167
views
A zoo of derivations
Recall that given a $k$-algebra $A$, a derivation on $A$ is a $k$-linear morphism $d:A\to A$ such that $$d(ab)=d(a)b+ad(b).$$
The use of derivations is of paramount importance in mathematics. I think ...
2
votes
1
answer
166
views
A stronger version of paracompactness
Given a topological space $(X,\tau)$, recall that a cover $\mathcal{U}$ of $X$ is locally finite if for every point $x\in \mathcal{U}$ has a neighborhood $U$ that intersects finitely many elements of $...
6
votes
1
answer
151
views
Mañé's example of an attractor with no natural measure
I'm reading Milnor's notes on dynamical systems and in Lecture 3 he gives an example of an attractor with no natural measure, which he attributes to Mañé. I can find no other reference in which this ...
0
votes
1
answer
134
views
What are examples of mathematical objects that are 'constructed out of' a range of other objects but fall out of them? [closed]
What are examples of mathematical objects that are somehow 'constructed out of' a whole range of other objects but fall out of them? One example that comes to my mind is that of ordinal numbers: $\...
2
votes
0
answers
476
views
description of very ample bundle of Hirzebruch surface
I learned some basic properties of Hirzebruch surface mainly from Vakil's notes "the rising sea", section 20.2.9. the Hirzebruch surface is defined as $\mathbb{F}_n:=\operatorname{Proj} (\...
1
vote
0
answers
64
views
Multivarate "RKHS" Examples
I've been reading about RKHSs and Hilbert spaces of functions these days a bit these days and I haven't yet come across an example of a hilbert space $H$ whose elements are all functions $f:\mathbb{R}^...
1
vote
1
answer
143
views
Proofs by Schubert calculus and combinatorics
Do you know some examples proved by two different methods: 1. Schubert calculus, 2. combinatorial method.
13
votes
2
answers
1k
views
Contrasting theorems in classical logic and constructivism
Is it possible there are examples of where classical logic proves a theorem that provably is false within constructivism? Is so what are some examples?
What are some examples of most contrasting ...
82
votes
11
answers
11k
views
What are examples of (collections of) papers which "close" a field?
There is sometimes talk of fields of mathematics being "closed", "ended", or "completed" by a paper or collection of papers. It seems as though this could happen in two ways:
A total characterisation,...
0
votes
0
answers
22
views
A linear map satisfying the given property
Let $A$ and $B$ be two Banach algebras such that $B$ is a Banach $A$-bimodue and $T:A\rightarrow B$ a linear map satisfying
$T(aa')=aT(a')+T(a)a'+T(a)T(a')$ for all $a,a'\in A$.
If the algerba ...
10
votes
1
answer
457
views
Intuition behind orthogonality in category theory, and origin of name
In category theory, two morphisms $e:A\to B$ and $m:C\to D$ are said to be orthogonal if for any $f:A\to C$ and $g:B\to D$ with $m\circ f=g\circ e$, there exists a unique morphism $d:B\to C$ such that ...
10
votes
2
answers
1k
views
Examples of set theory problems which are solved using methods outside of logic
The question is essentially the one in the title.
Question. What are some examples of (major) problems in set theory which are solved using techniques outside of mathematical logic?
6
votes
2
answers
278
views
Combinatorial proof that some model categories are monoidal/enriched?
I'm looking for examples of proofs that some Quillen model categories are monoidal, or enriched over an other model category, which are based on explicit computation of the "pushout product" of the ...
10
votes
1
answer
225
views
Naturally occurring, non-amenable Zappa-Szep products of discrete amenable groups?
We say $G$ is the Zappa-Szep product of two subgroups $K$ and $P$ if $K\cap P = \{e\}$ and the function $K\times P \to G$, $(k,p)\mapsto kp$, is bijective.
The Iwasawa decomposition shows that we can ...
1
vote
0
answers
53
views
Is it possible that a convex cone and its closure both induce vector lattices?
Given a convex cone $P\subset X$ where $X$ is a $K$-vector space, $K=\mathbb{R}\text{ or }\mathbb{C}$ is a field.
Suppose that $P$ satisfies positive element stipulations.
(1) $X=P-P$.
(2) $P\cap-P=...
10
votes
1
answer
429
views
Example of Banach spaces with non-unique uniform structures
While it is known that compact Hausdorff spaces admit unique uniform structures, it is further shown by Johson and Lindenstrauss's result that Banach spaces are characterized by their uniform ...
17
votes
2
answers
3k
views
Consequences of the Birch and Swinnerton-Dyer Conjecture?
Before asking my short question I had made some research. Unfortunately I did not find a good reference with some examples. My question is the following
What are the consequences of the Birch and ...
7
votes
0
answers
432
views
Is there a list of examples of orthogonal spectra?
Schwede's symmetric spectra book project provides point-set models of many important spectra as symmetric spectra, including (in §I.1) the sphere spectrum, Eilenberg-Mac Lane spectra, several Thom ...
14
votes
4
answers
1k
views
Is the "Moebius Stairway" Graph Already Known?
It is a wellknown fact, that Moebius Ladder Graphs have $2n$ vertices, but nowhere could I find any hint of how to generalize them to Graphs with $2n+1$ vertices.
Last week I had the idea of giving up ...
5
votes
2
answers
205
views
Confusion in some notations in Lie sub-algebras of exceptional Lie algebra
I was following Humphrey's Lie algebra for study, and came to study of Weyl groups of root systems. The book has stated orders of Weyl groups of exceptional Lie algebras, and there were no comments or ...
3
votes
1
answer
300
views
Simply connected 4-manifolds with boundary
I think I've encountered a question about 4-manifolds which maybe easy but I'm not familiar with. Can anyone give me an example of a simply connected 4-manifold $M$ (with boundary, of course) with $...
82
votes
17
answers
11k
views
Examples of algorithms requiring deep mathematics to prove correctness
I am looking for examples of algorithms for which the proof of correctness requires deep mathematics ( far beyond what is covered in a normal computer science course).
I hope this is not too broad.
2
votes
0
answers
642
views
Applications of the Weak and Weak$^*$ topologies to PDEs?
Chapter $3$ of Functional Analysis, Sobolev Spaces and Partial Differential Equations by Haim Brezis constructs and explains the Weak and Weak$^*$ topologies over a Banach Space $E$.
The most ...
4
votes
0
answers
55
views
Looking for a Collection of Examples and Counter Examples for Assumptions about the Properties of Planar Euclidean TSP Instances?
Where can I find example and counter examples to seemingly plausible assumption about the properties of optimal solutions of planar euclidean TSP instances?
The reason for asking is that the ...
3
votes
0
answers
186
views
Groups with probability measures
Are there algebraic structures that integrate groups with probability measures? For instance, can the closure operation on a group be assigned a probability that says "how much" a member belongs to ...
19
votes
1
answer
747
views
Vector field on a K3 surface with 24 zeroes
In https://mathoverflow.net/a/44885/4177, Tilman points out that one can use a $K3$ surface minus the zeroes of a generic vector field to build a nullcobordism for $24[SU(2)]$. Given that a) this is a ...
8
votes
2
answers
263
views
Roller's problem on median groups
At the end of his dissertation Poc Sets, Median Algebras and Group Actions, Martin Roller asks
A group $G$ is called median if it acts freely and transitively on a median algebra. This is ...
6
votes
1
answer
1k
views
Example of a triangulable topological manifold which does not admit a PL structure
I know there are some examples of manifolds which don't admit a PL structure (combinatorial triangulation), and that it has been recently proven that in dimension $n\geq5$ there are manifold which are ...
7
votes
0
answers
376
views
Linear vs smooth actions of finite groups on spheres, euclidean spaces and closed disks
I would like to know examples (with references, if possible) of the following:
(1) a finite group $G$ acting effectively and smoothly on a sphere $S^n$ (any $n$) but admitting no effective linear ...
9
votes
3
answers
2k
views
Need examples of homotopy orbit and fixed points
I am no expert in equivariant homotopy theory. Let's say, I am planing to give a talk on homotopy fixed points and orbits. My audience will be graduate students who are doing algebraic topology or ...
26
votes
4
answers
33k
views
Recent, elementary results in algebraic geometry
Next semester I will be teaching an introductory algebraic geometry class for a smallish group of undergrads. In the last couple weeks, I hope that each student will give a one-hour presentation. ...
0
votes
0
answers
317
views
Examples of functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition
there are examples of lacunary functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition.I want to know more examples of those functions,the more the better,...
8
votes
6
answers
683
views
Do you have examples of such "transitive" elements?
(I've asked the same question at the MSE, so far with no answers, so I thought I'd try it here as well. If there's some clash with any site rules, please let me know and I'll abide.)
Let $A$ be a set ...
0
votes
1
answer
351
views
Examples of groups such that order isomorphism of the subgroups of $G\times G$ and $H\times H$ does not imply isomorphism of $G$ and $H$
Let $G$ and $H$ be groups, $\operatorname{Sub}(G\times G)$ be the set of all subgroups of $G\times G$ and $\operatorname{Sub}(H\times H)$ be the set of all subgroups of $H\times H$. Assume there ...
14
votes
1
answer
2k
views
Learning a little Motivic Cohomology
Simply because I find it interesting, I have spent some time studying motivic cohomology from the lectures by Mazza, Voevodsky and Weibel. However, I'm finding it hard to tell if the theory is ...
10
votes
2
answers
639
views
Has there been any application of tensor species?
Joyal's combinatorial species, endofunctors in the category of finite sets with bijections $\mathbf B$ have found numerous applications. One generalisation is given by so-called "tensor species" (...
2
votes
2
answers
846
views
Non-split groups
I am looking for a reference with definitions on what it means for an algebraic group to be split, quasi-split, and non-split. I would like to see some examples of the different "types".
Thanks,
Tom
2
votes
2
answers
1k
views
description of functions of conditionally negative type on a group
Recall that a kernel conditionaly of negative type on a set $X$ is a map $\psi:X\times X\rightarrow\mathbb{R}$ with the following properties:
1) $\psi(x,x)=0$
2) $\psi(y,x)=\psi(x,y)$
3) for any ...
49
votes
15
answers
11k
views
Explicit computations using the Haar measure
This question is somewhat related to my previous one on Grassmanians. The few times I've encountered the Haar measure in the course of my mathematical education, it's always been used in a very ...
15
votes
1
answer
1k
views
Comodule exercises desired
This Question is inspired by a Quote of Moore's
"There are two ‘evil’ influences at work here:
1. we are toilet trained with algebras not coalgebras
2. some of us are addicted to manifolds and so ...
4
votes
3
answers
3k
views
Examples of Banach spaces and their duals
There are many representation theorems which state that the dual space of a Banach space $X$ has a particularly concrete form. For example, if $X = C([0,1],\mathbb R)$ is the space of real-valued ...
397
votes
84
answers
184k
views
Proofs without words
Can you give examples of proofs without words? In particular, can you give examples of proofs without words for non-trivial results?
(One could ask if this is of interest to mathematicians, and I ...
3
votes
4
answers
1k
views
Examples of divisors on an analytical manifold
I am trying to understand divisors reading through Griffith and Harris but it is difficult to come up with any particular interesting example. I have browsed through Hartshone's book but everything is ...